>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 362880
Perturbation colors: 9007199254740992
All colors: 3268532465560411000000
Unknown update functions: 7
Lowest cardinality: 0
Highest cardinality: 4
Attractor colors: 84739730588603250000
Attractor colors computed in 29190 ms.
Backward progress: 107279
Backward progress: 107817
Backward progress: 109047
Backward progress: 110409
Backward progress: 110421
Backward progress: 125061
Backward progress: 135246
Backward progress: 144074
Backward progress: 148477
Backward progress: 148416
Backward progress: 148594
Backward progress: 148483
Backward progress: 148485
Backward progress: 147437
Backward progress: 163395
Backward progress: 164687
Backward progress: 162517
Backward progress: 168827
Backward progress: 160121
Backward progress: 149071
Backward progress: 174545
Backward progress: 182285
Backward progress: 174784
Backward progress: 174893
Backward progress: 174902
Backward progress: 174904
Backward progress: 173386
Backward progress: 179477
Backward progress: 181256
Backward progress: 181200
Backward progress: 181114
Backward progress: 179954
Backward progress: 179996
Backward progress: 171924
Backward progress: 172834
Backward progress: 175233
Backward progress: 175100
Backward progress: 175120
Backward progress: 174790
Backward progress: 187160
Backward progress: 186976
Backward progress: 183970
Backward progress: 186464
Backward progress: 186636
Backward progress: 223943
Backward progress: 240432
Backward progress: 241100
Backward progress: 241104
Backward progress: 240870
Backward progress: 258008
Backward progress: 275124
Backward progress: 275146
Backward progress: 274858
Backward progress: 274686
Backward progress: 296969
Backward progress: 276778
Backward progress: 283676
Backward progress: 283694
Backward progress: 277314
Backward progress: 277218
Backward progress: 272376
Backward progress: 271711
Backward progress: 317405
Backward progress: 318365
Backward progress: 298537
Backward progress: 297649
Backward progress: 357389
Backward progress: 356452
Backward progress: 336956
Backward progress: 334884
Backward progress: 331958
Backward progress: 330758
Backward progress: 300492
Backward progress: 298713
Backward progress: 286668
Backward progress: 290426
Backward progress: 290444
Backward progress: 286188
Backward progress: 285124
Backward progress: 269729
Backward progress: 282043
Backward progress: 281263
Backward progress: 285668
Backward progress: 284961
Backward progress: 285246
Backward progress: 282226
Backward progress: 756755
Backward progress: 754448
Backward progress: 598151
Backward progress: 548525
Backward progress: 548719
Backward progress: 524432
Backward progress: 472944
Backward progress: 476382
Backward progress: 477294
Backward progress: 488502
Backward progress: 487346
Backward progress: 513401
Backward progress: 518435
Backward progress: 510814
Backward progress: 523972
Backward progress: 523972
Backward progress: 525017
Backward progress: 484157
Backward progress: 453501
Backward progress: 463706
Backward progress: 447892
Backward progress: 442008
Backward progress: 408130
Backward progress: 429697
Backward progress: 429709
Backward progress: 423715
Backward progress: 423697
Backward progress: 422318
Backward progress: 408155
Backward progress: 400776
Backward progress: 399320
Backward progress: 404656
Backward progress: 405392
Backward progress: 405913
Backward progress: 409768
Backward progress: 409575
Backward progress: 386307
Backward progress: 397213
Backward progress: 385915
Backward progress: 376836
Backward progress: 376898
Backward progress: 375030
Backward progress: 375369
Backward progress: 374925
Backward progress: 373196
Backward progress: 371304
Backward progress: 356770
Backward progress: 361827
Backward progress: 350027
Backward progress: 322459
Backward progress: 319737
Backward progress: 335760
Backward progress: 335768
Backward progress: 329728
Backward progress: 318393
Backward progress: 311616
Backward progress: 511768
Backward progress: 471156
Backward progress: 477040
Backward progress: 466103
Backward progress: 464957
Backward progress: 454275
Backward progress: 507065
Backward progress: 507121
Backward progress: 466718
Backward progress: 462013
Backward progress: 452589
Backward progress: 448770
Backward progress: 446899
Backward progress: 451924
Backward progress: 456673
Backward progress: 456183
Backward progress: 456447
Backward progress: 456350
Backward progress: 456855
Backward progress: 456502
Backward progress: 458666
Backward progress: 456397
Backward progress: 430612
Backward progress: 453512
Backward progress: 446704
Backward progress: 440482
Backward progress: 500990
Backward progress: 516998
Backward progress: 465752
Backward progress: 910126
Backward progress: 1262214
Backward progress: 1414311
Backward progress: 1468117
Backward progress: 1455284
Backward progress: 1455506
Backward progress: 1455461
Backward progress: 1195697
Backward progress: 1162602
Backward progress: 1083435
Backward progress: 1058325
Backward progress: 1062850
Backward progress: 1078563
Backward progress: 1106047
Backward progress: 1105666
Backward progress: 1165571
Backward progress: 1175882
Backward progress: 1173778
Backward progress: 1194606
Backward progress: 1194606
Backward progress: 1196307
Backward progress: 1195560
Backward progress: 1152090
Backward progress: 1171606
Backward progress: 1135638
Backward progress: 1178372
Backward progress: 1176212
Backward progress: 1201283
Backward progress: 1152929
Backward progress: 1185265
Backward progress: 1185277
Backward progress: 1175269
Backward progress: 1175251
Backward progress: 1171899
Backward progress: 1151279
Backward progress: 1145008
Backward progress: 1215049
Backward progress: 1208101
Backward progress: 1199226
Backward progress: 1199698
Backward progress: 1206442
Backward progress: 1201851
Backward progress: 1202414
Backward progress: 1371502
Backward progress: 1378762
Backward progress: 1386324
Backward progress: 1422107
Backward progress: 1421293
Backward progress: 1428840
Backward progress: 1365487
Backward progress: 1385554
Backward progress: 1466113
Backward progress: 1414734
Backward progress: 1373103
Backward progress: 1316485
Backward progress: 1320965
Backward progress: 1309502
Backward progress: 1313185
Backward progress: 1309887
Backward progress: 1304791
Backward progress: 1304839
Backward progress: 1304994
Backward progress: 1293583
Backward progress: 1246023
Backward progress: 1245579
Backward progress: 1279247
Backward progress: 1210635
Backward progress: 1232276
Backward progress: 1202599
Backward progress: 1132108
Backward progress: 1116899
Backward progress: 1195865
Backward progress: 1195866
Backward progress: 1169508
Backward progress: 1169470
Backward progress: 1166507
Backward progress: 1114087
Backward progress: 1101809
Backward progress: 1102209
Backward progress: 1102211
Backward progress: 1101870
Backward progress: 1101831
Backward progress: 1101820
Backward progress: 1102018
Backward progress: 1240970
Backward progress: 1240926
Backward progress: 1240074
Backward progress: 1236452
Backward progress: 1242123
Backward progress: 1243422
Backward progress: 1241250
Backward progress: 1255351
Backward progress: 1253903
Backward progress: 1197276
Backward progress: 1221359
Backward progress: 1170525
Backward progress: 1156908
Backward progress: 1157134
Backward progress: 1147161
Backward progress: 1147659
Backward progress: 1144595
Backward progress: 1141395
Backward progress: 1137809
Backward progress: 1084023
Backward progress: 1091868
Backward progress: 1063037
Backward progress: 1018029
Backward progress: 1013884
Backward progress: 1036696
Backward progress: 1036712
Backward progress: 1030236
Backward progress: 1030198
Backward progress: 1028243
Backward progress: 1012744
Backward progress: 1004534
Backward progress: 840710
Backward progress: 750630
Backward progress: 808905
Backward progress: 808951
Backward progress: 756056
Backward progress: 755970
Backward progress: 755909
Backward progress: 747288
Backward progress: 683877
Backward progress: 683987
Backward progress: 553560
Backward progress: 554936
Backward progress: 518087
Backward progress: 526171
Backward progress: 170618
Backward progress: 100838
Backward progress: 100625
Backward progress: 109747
Backward progress: 109747
Backward progress: 110287
Backward progress: 110110
Backward progress: 100549
Backward progress: 100387
Backward progress: 126098
Backward progress: 102922
Backward progress: 136787
Backward progress: 138128
Backward progress: 137345
Backward progress: 137578
Backward progress: 137577
Backward progress: 127681
Backward progress: 129961
Backward progress: 144101
Backward progress: 144010
Backward progress: 144428
Backward progress: 151368
Backward progress: 145260
Backward progress: 148910
Backward progress: 177472
Backward progress: 182783
Backward progress: 192552
Backward progress: 194990
Backward progress: 191623
Backward progress: 191003
Backward progress: 190971
Backward progress: 191105
Backward progress: 182992
Backward progress: 175233
Backward progress: 167677
Backward progress: 166133
Backward progress: 167285
Backward progress: 179261
Backward progress: 174498
Backward progress: 177888
Backward progress: 178078
Backward progress: 178219
Backward progress: 189351
Backward progress: 195170
Backward progress: 194924
Backward progress: 194528
Backward progress: 204841
Backward progress: 185717
Backward progress: 185355
Backward progress: 135617
Backward progress: 131294
Backward progress: 129682
Backward progress: 129725
Backward progress: 125806
Backward progress: 129707
Backward progress: 128924
Backward progress: 137734
Backward progress: 132591
Backward progress: 134571
Backward progress: 134579
Backward progress: 134031
Backward progress: 134029
Backward progress: 133783
Backward progress: 132003
Backward progress: 127105
Backward progress: 127748
Backward progress: 140063
Backward progress: 135308
Backward progress: 135446
Backward progress: 135418
Backward progress: 148383
Backward progress: 149298
Backward progress: 143490
Backward progress: 144796
Backward progress: 144800
Backward progress: 143935
Backward progress: 143920
Backward progress: 143681
Backward progress: 140545
Backward progress: 140486
Backward progress: 142141
Backward progress: 142648
Backward progress: 142704
Backward progress: 160583
Backward progress: 161708
Backward progress: 169810
Backward progress: 161708
Backward progress: 165264
Backward progress: 163050
Backward progress: 163579
Backward progress: 163756
Backward progress: 163879
Backward progress: 163885
Backward progress: 164849
Backward progress: 164863
Backward progress: 165730
Backward progress: 165732
Backward progress: 165410
Backward progress: 165351
Backward progress: 165349
Backward progress: 166207
Backward progress: 166218
Backward progress: 166272
Backward progress: 166235
Backward progress: 166294
Backward progress: 166532
Backward progress: 166534
Backward progress: 166356
Backward progress: 166330
Backward progress: 166321
Backward progress: 166273
Backward progress: 167279
Backward progress: 167194
Backward progress: 166794
Backward progress: 166710
Backward progress: 166850
Backward progress: 172554
Control exists for 9408 color(s), jumping through 8 vertices.
Elapsed: 1852384 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 1852.384
user ??
sys ??
