>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 818748
Perturbation colors: 9007199254740992
All colors: 7374626375420678000000
Unknown update functions: 5
Lowest cardinality: 0
Highest cardinality: 5
Backward progress: 100229
Backward progress: 100425
Backward progress: 103129
Backward progress: 100465
Backward progress: 116793
Backward progress: 110281
Backward progress: 110296
Backward progress: 108800
Backward progress: 105417
Backward progress: 106101
Backward progress: 114663
Backward progress: 114729
Backward progress: 114464
Backward progress: 115334
Backward progress: 115759
Backward progress: 115669
Backward progress: 120067
Backward progress: 118637
Backward progress: 107438
Backward progress: 115623
Backward progress: 115299
Backward progress: 110397
Backward progress: 144013
Backward progress: 128001
Backward progress: 138587
Backward progress: 132585
Backward progress: 132746
Backward progress: 130799
Backward progress: 123073
Backward progress: 124121
Backward progress: 122523
Backward progress: 117840
Backward progress: 118103
Backward progress: 117182
Backward progress: 117163
Backward progress: 118340
Backward progress: 118481
Backward progress: 119156
Backward progress: 119124
Backward progress: 120277
Backward progress: 120245
Backward progress: 119907
Backward progress: 119633
Backward progress: 119866
Backward progress: 101133
Backward progress: 101052
Backward progress: 100064
Backward progress: 100651
Backward progress: 101579
Backward progress: 101645
Backward progress: 101689
Backward progress: 101557
Backward progress: 100383
Backward progress: 100057
Backward progress: 100012
Backward progress: 100409
Backward progress: 100211
Backward progress: 100979
Backward progress: 100804
Backward progress: 101486
Backward progress: 101664
Backward progress: 101922
Backward progress: 102341
Backward progress: 102335
Backward progress: 102445
Backward progress: 102265
Backward progress: 102304
Backward progress: 102193
Backward progress: 102221
Backward progress: 102112
Backward progress: 101994
Backward progress: 102118
Backward progress: 102119
Backward progress: 102092
Backward progress: 101995
Backward progress: 101893
Backward progress: 106170
Backward progress: 105776
Backward progress: 105622
Backward progress: 103744
Backward progress: 101861
Backward progress: 102344
Backward progress: 102345
Backward progress: 102279
Backward progress: 102183
Backward progress: 100642
Backward progress: 100389
Backward progress: 100984
Backward progress: 101509
Backward progress: 101583
Backward progress: 101539
Backward progress: 101852
Backward progress: 101853
Backward progress: 101787
Backward progress: 101544
Backward progress: 101277
Backward progress: 100430
Backward progress: 100476
Attractor colors: 361729122070398240000
Attractor colors computed in 198451 ms.
Control exists for 40160 color(s), jumping through 2251799813685248 vertices.
Elapsed: 15589 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 15.589
user ??
sys ??
