>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 3240
Perturbation colors: 9007199254740992
All colors: 29183325585360814000
Unknown update functions: 5
Lowest cardinality: 1
Highest cardinality: 3
Attractor colors: 3026418949592973300
Attractor colors computed in 5319 ms.
Backward progress: 201119
Backward progress: 215742
Backward progress: 162017
Backward progress: 166424
Backward progress: 165604
Backward progress: 160717
Backward progress: 161121
Backward progress: 156470
Backward progress: 129467
Backward progress: 122383
Backward progress: 126733
Backward progress: 107687
Backward progress: 119825
Backward progress: 109927
Backward progress: 111622
Backward progress: 117231
Backward progress: 116761
Backward progress: 126630
Backward progress: 132158
Backward progress: 127090
Backward progress: 133295
Backward progress: 128447
Backward progress: 130195
Backward progress: 125288
Backward progress: 106159
Backward progress: 108547
Backward progress: 105247
Backward progress: 105479
Backward progress: 103983
Backward progress: 104023
Backward progress: 100797
Backward progress: 100771
Backward progress: 100069
Backward progress: 108509
Backward progress: 142864
Backward progress: 141847
Backward progress: 143029
Backward progress: 147188
Backward progress: 146963
Backward progress: 151547
Backward progress: 148635
Backward progress: 158759
Backward progress: 151169
Backward progress: 146374
Backward progress: 146428
Backward progress: 145865
Backward progress: 146105
Backward progress: 145794
Backward progress: 144942
Backward progress: 146628
Backward progress: 133099
Backward progress: 134303
Backward progress: 130425
Backward progress: 108791
Backward progress: 107284
Backward progress: 125366
Backward progress: 125408
Backward progress: 118878
Backward progress: 106804
Backward progress: 101407
Backward progress: 167100
Backward progress: 161515
Backward progress: 162747
Backward progress: 155487
Backward progress: 153131
Backward progress: 174467
Backward progress: 174569
Backward progress: 163845
Backward progress: 158349
Backward progress: 155789
Backward progress: 152306
Backward progress: 151758
Backward progress: 151840
Backward progress: 152494
Backward progress: 153134
Backward progress: 151746
Backward progress: 151974
Backward progress: 151615
Backward progress: 152167
Backward progress: 152008
Backward progress: 153272
Backward progress: 151874
Backward progress: 147992
Backward progress: 151938
Backward progress: 150974
Backward progress: 149598
Backward progress: 165530
Backward progress: 168443
Backward progress: 155346
Backward progress: 167245
Backward progress: 124214
Backward progress: 120701
Backward progress: 123651
Backward progress: 121585
Backward progress: 117975
Backward progress: 117694
Backward progress: 117610
Backward progress: 118122
Backward progress: 117235
Backward progress: 122604
Backward progress: 120803
Backward progress: 121224
Backward progress: 123745
Backward progress: 123638
Backward progress: 115116
Backward progress: 119603
Backward progress: 116645
Backward progress: 113612
Backward progress: 114444
Backward progress: 114014
Backward progress: 114479
Backward progress: 114123
Backward progress: 114210
Backward progress: 114224
Backward progress: 113730
Backward progress: 109695
Backward progress: 109597
Backward progress: 110743
Backward progress: 109060
Backward progress: 110131
Backward progress: 104256
Backward progress: 106374
Backward progress: 106371
Backward progress: 103501
Control exists for 336 color(s), jumping through 6 vertices.
Elapsed: 156642 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 156.642
user ??
sys ??
