>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 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: 5044031582654956000
Attractor colors computed in 2340 ms.
Backward progress: 154265
Backward progress: 162989
Backward progress: 122055
Backward progress: 125395
Backward progress: 123618
Backward progress: 119374
Backward progress: 119778
Backward progress: 117007
Backward progress: 106321
Backward progress: 104677
Backward progress: 105232
Backward progress: 111667
Backward progress: 111442
Backward progress: 112651
Backward progress: 111125
Backward progress: 121801
Backward progress: 114019
Backward progress: 109066
Backward progress: 109090
Backward progress: 108661
Backward progress: 108901
Backward progress: 108474
Backward progress: 107450
Backward progress: 107547
Backward progress: 100118
Backward progress: 101322
Backward progress: 151133
Backward progress: 145349
Backward progress: 146261
Backward progress: 132518
Backward progress: 129246
Backward progress: 161490
Backward progress: 161592
Backward progress: 148228
Backward progress: 140904
Backward progress: 136898
Backward progress: 132284
Backward progress: 131736
Backward progress: 131676
Backward progress: 131818
Backward progress: 132593
Backward progress: 131516
Backward progress: 131860
Backward progress: 131721
Backward progress: 132208
Backward progress: 132095
Backward progress: 133109
Backward progress: 131990
Backward progress: 128364
Backward progress: 133210
Backward progress: 132262
Backward progress: 129922
Backward progress: 143902
Backward progress: 146990
Backward progress: 135354
Backward progress: 148960
Backward progress: 103523
Backward progress: 101220
Backward progress: 103416
Backward progress: 101297
Backward progress: 102515
Backward progress: 100903
Backward progress: 101132
Backward progress: 104874
Backward progress: 104767
Backward progress: 103148
Control exists for 560 color(s), jumping through 6 vertices.
Elapsed: 86070 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 86.07
user ??
sys ??
