>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 13716864
Perturbation colors: 9007199254740992
All colors: 123550527198183540000000
Unknown update functions: 7
Lowest cardinality: 1
Highest cardinality: 4
Backward progress: 104966
Backward progress: 101113
Backward progress: 101115
Backward progress: 183945
Backward progress: 194524
Backward progress: 139741
Backward progress: 124382
Backward progress: 124381
Backward progress: 124358
Backward progress: 123053
Backward progress: 123367
Backward progress: 118142
Backward progress: 119711
Backward progress: 118117
Backward progress: 117914
Backward progress: 117890
Backward progress: 117876
Backward progress: 115716
Backward progress: 115749
Backward progress: 111967
Backward progress: 107142
Backward progress: 107276
Backward progress: 106834
Backward progress: 108603
Backward progress: 107177
Backward progress: 108431
Backward progress: 110931
Backward progress: 111091
Backward progress: 111847
Backward progress: 110861
Backward progress: 108756
Backward progress: 109076
Backward progress: 108772
Backward progress: 108778
Backward progress: 110599
Backward progress: 107687
Backward progress: 108695
Backward progress: 107094
Backward progress: 106307
Backward progress: 106259
Backward progress: 106257
Backward progress: 106460
Backward progress: 106140
Backward progress: 106574
Backward progress: 106572
Backward progress: 106791
Backward progress: 105992
Backward progress: 101646
Backward progress: 101678
Backward progress: 102008
Backward progress: 102983
Backward progress: 103013
Backward progress: 103451
Backward progress: 103199
Backward progress: 101551
Backward progress: 101945
Backward progress: 102062
Backward progress: 102278
Backward progress: 102325
Backward progress: 102328
Backward progress: 102524
Backward progress: 101089
Backward progress: 101608
Backward progress: 100960
Backward progress: 100682
Backward progress: 121086
Backward progress: 105420
Backward progress: 111356
Backward progress: 100017
Backward progress: 109708
Backward progress: 107199
Backward progress: 104394
Backward progress: 105941
Backward progress: 103701
Backward progress: 105934
Backward progress: 111997
Backward progress: 110120
Backward progress: 111452
Backward progress: 101638
Backward progress: 100552
Backward progress: 102172
Backward progress: 101352
Backward progress: 101737
Backward progress: 103986
Backward progress: 100855
Backward progress: 100301
Backward progress: 100254
Backward progress: 102910
Backward progress: 112120
Backward progress: 112142
Backward progress: 107082
Backward progress: 107001
Backward progress: 106887
Backward progress: 114765
Backward progress: 106334
Backward progress: 103670
Backward progress: 103646
Backward progress: 103716
Attractor colors: 3050630301189717000000
Attractor colors computed in 272003 ms.
Control exists for 338688 color(s), jumping through 2251799813685248 vertices.
Elapsed: 19097 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 19.097
user ??
sys ??
