>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 11
Uncertainty colors: 13168189440
Perturbation colors: 2048
All colors: 26968451973120
Unknown update functions: 9
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 1465042636800
Attractor colors computed in 1157 ms.
Backward progress: 103827
Backward progress: 112985
Backward progress: 107115
Backward progress: 105167
Backward progress: 116649
Backward progress: 116381
Backward progress: 115395
Backward progress: 107169
Backward progress: 152048
Backward progress: 138834
Backward progress: 123918
Backward progress: 118591
Backward progress: 120449
Backward progress: 118513
Backward progress: 115535
Backward progress: 109440
Backward progress: 179806
Backward progress: 181509
Backward progress: 177388
Backward progress: 178094
Backward progress: 178517
Backward progress: 178841
Backward progress: 174255
Backward progress: 168701
Backward progress: 380493
Backward progress: 384156
Backward progress: 426415
Backward progress: 424641
Backward progress: 402001
Backward progress: 399188
Backward progress: 400135
Backward progress: 441188
Backward progress: 443651
Backward progress: 466853
Backward progress: 461013
Backward progress: 457128
Backward progress: 452829
Backward progress: 446587
Backward progress: 585378
Backward progress: 576445
Backward progress: 590552
Backward progress: 585649
Backward progress: 579296
Backward progress: 580283
Backward progress: 582670
Backward progress: 582934
Backward progress: 582360
Backward progress: 573312
Backward progress: 565283
Backward progress: 559013
Backward progress: 559013
Forward closed progress: 559021
Forward closed progress: 528684
Forward closed progress: 637623
Forward closed progress: 710778
Forward closed progress: 701296
Forward closed progress: 785764
Forward closed progress: 772571
Forward closed progress: 755875
Forward closed progress: 724464
Forward closed progress: 724936
Forward closed progress: 637670
Forward closed progress: 631969
Forward closed progress: 612287
Forward closed progress: 613808
Forward closed progress: 612287
Forward closed progress: 608545
Forward closed progress: 602176
Forward closed progress: 866292
Forward closed progress: 822522
Forward closed progress: 849640
Forward closed progress: 1712336
Forward closed progress: 1659233
Forward closed progress: 1662294
Forward closed progress: 1660846
Forward closed progress: 1660005
Forward closed progress: 1663625
Forward closed progress: 1705241
Forward closed progress: 1708080
Forward closed progress: 1706979
Forward closed progress: 1710156
Forward closed progress: 1710587
Forward closed progress: 1709934
Forward closed progress: 1647451
Forward closed progress: 1647451
Forward closed progress: 1642630
Forward closed progress: 1624011
Forward closed progress: 1621026
Forward closed progress: 1623568
Forward closed progress: 1622672
Forward closed progress: 1620978
Forward closed progress: 1607688
Forward closed progress: 1600639
Forward closed progress: 1597644
Forward closed progress: 1594661
Forward closed progress: 1593727
Forward closed progress: 1587710
Forward closed progress: 1585900
Forward closed progress: 1578562
Forward closed progress: 1578562
Control exists for 715352850 color(s), jumping through 2048 vertices.
Elapsed: 164718 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 164.718
user ??
sys ??
