>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 1944
Perturbation colors: 9007199254740992
All colors: 17509995351216488000
Unknown update functions: 7
Lowest cardinality: 0
Highest cardinality: 2
Attractor colors: 432345564227567600
Attractor colors computed in 5246 ms.
Backward progress: 119826
Backward progress: 125418
Backward progress: 102014
Backward progress: 112727
Backward progress: 106860
Backward progress: 108015
Backward progress: 104808
Backward progress: 102231
Backward progress: 114480
Backward progress: 114532
Backward progress: 106255
Backward progress: 104915
Backward progress: 102549
Backward progress: 101500
Backward progress: 101302
Backward progress: 101497
Backward progress: 102241
Backward progress: 101663
Backward progress: 102077
Backward progress: 102095
Backward progress: 102557
Backward progress: 102454
Backward progress: 103276
Backward progress: 102401
Backward progress: 102770
Backward progress: 101886
Backward progress: 100620
Backward progress: 113539
Backward progress: 115478
Backward progress: 103801
Backward progress: 105691
Control exists for 48 color(s), jumping through 6 vertices.
Elapsed: 122938 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 122.938
user ??
sys ??
