>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 1080
Perturbation colors: 9007199254740992
All colors: 9727775195120271000
Unknown update functions: 4
Lowest cardinality: 1
Highest cardinality: 3
Attractor colors: 3422735716801577000
Attractor colors computed in 887 ms.
Backward progress: 100175
Backward progress: 100163
Backward progress: 103474
Backward progress: 118906
Backward progress: 119203
Backward progress: 110889
Backward progress: 109673
Backward progress: 123099
Backward progress: 122919
Backward progress: 115708
Backward progress: 114848
Backward progress: 114826
Backward progress: 113381
Backward progress: 112234
Backward progress: 111924
Backward progress: 111736
Backward progress: 111843
Backward progress: 110370
Backward progress: 110586
Backward progress: 105398
Backward progress: 109035
Backward progress: 109079
Backward progress: 105690
Backward progress: 103261
Backward progress: 100590
Backward progress: 104204
Backward progress: 104273
Backward progress: 105448
Backward progress: 105273
Backward progress: 105295
Backward progress: 103367
Backward progress: 180567
Backward progress: 186161
Backward progress: 155067
Backward progress: 149980
Backward progress: 150147
Backward progress: 147619
Backward progress: 140109
Backward progress: 140295
Backward progress: 139701
Backward progress: 146100
Backward progress: 144819
Backward progress: 150863
Backward progress: 149371
Backward progress: 146627
Backward progress: 147747
Backward progress: 167816
Backward progress: 168392
Backward progress: 158501
Backward progress: 135929
Backward progress: 137277
Backward progress: 134150
Backward progress: 134536
Backward progress: 126443
Backward progress: 129108
Backward progress: 129128
Backward progress: 126940
Backward progress: 126916
Backward progress: 126312
Backward progress: 124034
Backward progress: 123098
Backward progress: 123802
Backward progress: 123622
Backward progress: 123715
Backward progress: 125463
Backward progress: 125405
Backward progress: 118800
Backward progress: 121606
Backward progress: 118268
Backward progress: 116563
Backward progress: 116565
Backward progress: 116186
Backward progress: 116332
Backward progress: 115988
Backward progress: 115538
Backward progress: 115305
Backward progress: 112441
Backward progress: 112850
Backward progress: 111246
Backward progress: 106739
Backward progress: 106094
Backward progress: 108370
Backward progress: 108398
Backward progress: 106176
Backward progress: 106160
Backward progress: 105912
Backward progress: 103240
Backward progress: 168056
Backward progress: 160271
Backward progress: 161792
Backward progress: 148191
Backward progress: 144213
Backward progress: 175855
Backward progress: 175973
Backward progress: 161168
Backward progress: 159489
Backward progress: 159457
Backward progress: 154390
Backward progress: 151030
Backward progress: 150406
Backward progress: 150198
Backward progress: 150341
Backward progress: 147700
Backward progress: 142626
Backward progress: 141904
Backward progress: 141563
Backward progress: 140912
Backward progress: 141478
Backward progress: 141542
Backward progress: 141577
Backward progress: 141432
Backward progress: 142600
Backward progress: 141418
Backward progress: 138073
Backward progress: 139643
Backward progress: 138190
Backward progress: 135190
Backward progress: 153184
Backward progress: 153103
Backward progress: 136976
Backward progress: 137675
Backward progress: 114070
Backward progress: 110977
Backward progress: 113402
Backward progress: 110241
Backward progress: 107384
Backward progress: 111109
Backward progress: 110697
Backward progress: 113499
Backward progress: 111372
Backward progress: 111934
Backward progress: 112868
Backward progress: 112940
Backward progress: 113309
Backward progress: 113124
Backward progress: 113885
Backward progress: 114462
Backward progress: 114464
Backward progress: 114322
Backward progress: 114121
Backward progress: 114600
Backward progress: 106968
Backward progress: 108187
Backward progress: 108195
Backward progress: 108252
Backward progress: 108244
Backward progress: 108308
Backward progress: 108463
Backward progress: 108465
Backward progress: 108389
Backward progress: 108277
Backward progress: 108264
Backward progress: 109476
Backward progress: 109392
Backward progress: 108805
Backward progress: 108729
Backward progress: 108737
Backward progress: 127322
Backward progress: 128132
Forward closed progress: 102035
Control exists for 380 color(s), jumping through 6 vertices.
Elapsed: 148603 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 148.603
user ??
sys ??
