>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 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 2968 ms.
Backward progress: 183783
Backward progress: 194352
Backward progress: 140250
Backward progress: 144267
Backward progress: 141865
Backward progress: 137011
Backward progress: 137323
Backward progress: 133314
Backward progress: 106532
Backward progress: 101106
Backward progress: 100113
Backward progress: 102401
Backward progress: 106687
Backward progress: 103767
Backward progress: 107871
Backward progress: 104261
Backward progress: 105543
Backward progress: 101399
Backward progress: 113860
Backward progress: 112127
Backward progress: 112807
Backward progress: 119350
Backward progress: 119104
Backward progress: 120814
Backward progress: 118984
Backward progress: 129780
Backward progress: 121998
Backward progress: 117371
Backward progress: 117395
Backward progress: 116942
Backward progress: 117218
Backward progress: 116767
Backward progress: 115839
Backward progress: 116246
Backward progress: 108693
Backward progress: 110156
Backward progress: 105147
Backward progress: 165214
Backward progress: 159537
Backward progress: 160641
Backward progress: 147042
Backward progress: 143986
Backward progress: 180479
Backward progress: 180581
Backward progress: 163999
Backward progress: 156115
Backward progress: 152229
Backward progress: 147240
Backward progress: 146692
Backward progress: 146632
Backward progress: 146838
Backward progress: 147685
Backward progress: 146477
Backward progress: 146833
Backward progress: 146650
Backward progress: 147169
Backward progress: 147068
Backward progress: 148166
Backward progress: 146983
Backward progress: 143469
Backward progress: 148027
Backward progress: 147151
Backward progress: 144955
Backward progress: 158754
Backward progress: 158011
Backward progress: 150054
Backward progress: 164769
Backward progress: 116067
Backward progress: 113188
Backward progress: 115529
Backward progress: 113312
Backward progress: 110456
Backward progress: 110141
Backward progress: 110020
Backward progress: 110188
Backward progress: 109810
Backward progress: 114972
Backward progress: 113163
Backward progress: 113438
Backward progress: 117322
Backward progress: 117206
Backward progress: 108706
Backward progress: 113845
Backward progress: 110443
Backward progress: 107585
Backward progress: 108599
Backward progress: 108225
Backward progress: 108875
Backward progress: 108361
Backward progress: 108444
Backward progress: 106900
Backward progress: 103503
Backward progress: 103353
Backward progress: 104975
Backward progress: 102688
Backward progress: 103633
Control exists for 560 color(s), jumping through 6 vertices.
Elapsed: 110692 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 110.692
user ??
sys ??
