>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 2947492800
Perturbation colors: 9007199254740992
All colors: 26548654951514440000000000
Unknown update functions: 8
Lowest cardinality: 1
Highest cardinality: 5
Backward progress: 117954
Backward progress: 139947
Backward progress: 109811
Backward progress: 110200
Backward progress: 119119
Backward progress: 118836
Backward progress: 119220
Backward progress: 118649
Backward progress: 122197
Backward progress: 116559
Backward progress: 122198
Backward progress: 121931
Backward progress: 118037
Backward progress: 118043
Backward progress: 134104
Backward progress: 133571
Backward progress: 133498
Backward progress: 133500
Backward progress: 133410
Backward progress: 133270
Backward progress: 188963
Backward progress: 188679
Backward progress: 189703
Backward progress: 190166
Backward progress: 192116
Backward progress: 197026
Backward progress: 196987
Backward progress: 196804
Backward progress: 187749
Backward progress: 174813
Backward progress: 175044
Backward progress: 174950
Backward progress: 174930
Backward progress: 178167
Backward progress: 179256
Backward progress: 179283
Backward progress: 179091
Backward progress: 179097
Backward progress: 178748
Backward progress: 154903
Backward progress: 157501
Backward progress: 153823
Backward progress: 151898
Backward progress: 151904
Backward progress: 152539
Backward progress: 203806
Backward progress: 211239
Backward progress: 207519
Backward progress: 187102
Backward progress: 188470
Backward progress: 188560
Backward progress: 188521
Backward progress: 170924
Backward progress: 170979
Backward progress: 170498
Backward progress: 196067
Backward progress: 197091
Backward progress: 198720
Backward progress: 198139
Backward progress: 194235
Backward progress: 195410
Backward progress: 193995
Backward progress: 193987
Backward progress: 193908
Backward progress: 193616
Backward progress: 193614
Backward progress: 193145
Backward progress: 147451
Backward progress: 184369
Backward progress: 196367
Backward progress: 191267
Backward progress: 175478
Backward progress: 175854
Backward progress: 175792
Backward progress: 176305
Backward progress: 168127
Backward progress: 140027
Backward progress: 140063
Backward progress: 139727
Backward progress: 139791
Backward progress: 139854
Backward progress: 139629
Backward progress: 139106
Backward progress: 106396
Backward progress: 110150
Backward progress: 102718
Backward progress: 106901
Backward progress: 132408
Backward progress: 123089
Backward progress: 133501
Backward progress: 125216
Backward progress: 125394
Backward progress: 125418
Backward progress: 125394
Backward progress: 124712
Backward progress: 124584
Backward progress: 122148
Backward progress: 125448
Backward progress: 122909
Backward progress: 122839
Backward progress: 122855
Backward progress: 122693
Backward progress: 122534
Backward progress: 120482
Backward progress: 120935
Backward progress: 119463
Backward progress: 119471
Backward progress: 121031
Backward progress: 118283
Backward progress: 117895
Backward progress: 117889
Backward progress: 118431
Backward progress: 118346
Backward progress: 119812
Backward progress: 119900
Backward progress: 119936
Backward progress: 119400
Backward progress: 117355
Backward progress: 117805
Backward progress: 117357
Attractor colors: 1803651658797192600000000
Attractor colors computed in 266286 ms.
Control exists for 200245560 color(s), jumping through 9007199254740992 vertices.
Elapsed: 79618 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 79.618
user ??
sys ??
