>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 10080
Perturbation colors: 9007199254740992
All colors: 90792568487789200000
Unknown update functions: 3
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 42117663715168880000
Attractor colors computed in 3307 ms.
Backward progress: 198283
Backward progress: 212882
Backward progress: 159159
Backward progress: 163566
Backward progress: 162900
Backward progress: 158203
Backward progress: 158607
Backward progress: 153956
Backward progress: 127123
Backward progress: 120230
Backward progress: 125226
Backward progress: 106430
Backward progress: 118558
Backward progress: 108670
Backward progress: 110365
Backward progress: 115854
Backward progress: 115384
Backward progress: 124957
Backward progress: 130445
Backward progress: 125377
Backward progress: 131582
Backward progress: 126922
Backward progress: 128670
Backward progress: 123763
Backward progress: 105011
Backward progress: 107387
Backward progress: 104143
Backward progress: 104255
Backward progress: 102811
Backward progress: 102851
Backward progress: 105715
Backward progress: 140070
Backward progress: 139053
Backward progress: 140235
Backward progress: 144274
Backward progress: 144049
Backward progress: 148623
Backward progress: 145721
Backward progress: 155665
Backward progress: 148189
Backward progress: 143812
Backward progress: 143866
Backward progress: 143323
Backward progress: 143563
Backward progress: 143262
Backward progress: 142520
Backward progress: 144302
Backward progress: 131205
Backward progress: 132409
Backward progress: 128651
Backward progress: 107247
Backward progress: 105810
Backward progress: 123712
Backward progress: 123754
Backward progress: 117344
Backward progress: 105390
Backward progress: 100053
Backward progress: 163422
Backward progress: 158319
Backward progress: 159551
Backward progress: 152663
Backward progress: 150563
Backward progress: 171637
Backward progress: 171739
Backward progress: 161139
Backward progress: 155671
Backward progress: 153303
Backward progress: 149866
Backward progress: 149318
Backward progress: 149336
Backward progress: 149926
Backward progress: 150536
Backward progress: 149148
Backward progress: 149376
Backward progress: 149017
Backward progress: 149549
Backward progress: 149410
Backward progress: 150674
Backward progress: 149276
Backward progress: 145650
Backward progress: 149212
Backward progress: 148376
Backward progress: 147128
Backward progress: 162221
Backward progress: 161796
Backward progress: 152399
Backward progress: 163651
Backward progress: 122670
Backward progress: 119177
Backward progress: 122127
Backward progress: 120261
Backward progress: 116651
Backward progress: 116392
Backward progress: 116310
Backward progress: 116822
Backward progress: 115935
Backward progress: 121304
Backward progress: 119523
Backward progress: 119944
Backward progress: 122417
Backward progress: 122310
Backward progress: 113788
Backward progress: 118179
Backward progress: 115257
Backward progress: 112464
Backward progress: 113296
Backward progress: 112874
Backward progress: 113327
Backward progress: 112981
Backward progress: 113118
Backward progress: 113132
Backward progress: 112638
Backward progress: 108699
Backward progress: 108605
Backward progress: 109741
Backward progress: 108106
Backward progress: 109177
Backward progress: 103302
Backward progress: 105348
Backward progress: 105345
Backward progress: 102523
Control exists for 4676 color(s), jumping through 6 vertices.
Elapsed: 165991 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 165.991
user ??
sys ??
