>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 1306368000
Perturbation colors: 9007199254740992
All colors: 11766716876017480000000000
Unknown update functions: 9
Lowest cardinality: 1
Highest cardinality: 4
Backward progress: 102437
Backward progress: 118659
Backward progress: 125822
Backward progress: 122460
Backward progress: 122446
Backward progress: 122453
Backward progress: 122439
Backward progress: 122339
Backward progress: 117880
Backward progress: 120296
Backward progress: 122090
Backward progress: 119809
Backward progress: 113942
Backward progress: 113958
Backward progress: 113998
Backward progress: 113028
Backward progress: 127103
Backward progress: 124485
Backward progress: 126999
Backward progress: 125917
Backward progress: 125162
Backward progress: 125442
Backward progress: 121489
Backward progress: 141043
Backward progress: 140051
Backward progress: 138449
Backward progress: 138025
Backward progress: 153801
Backward progress: 163651
Backward progress: 163683
Backward progress: 163689
Backward progress: 160006
Backward progress: 159858
Backward progress: 160179
Backward progress: 158001
Backward progress: 156354
Backward progress: 155695
Backward progress: 157447
Backward progress: 148363
Backward progress: 150504
Backward progress: 149028
Backward progress: 150442
Backward progress: 145742
Backward progress: 219109
Backward progress: 217013
Backward progress: 204366
Backward progress: 194147
Backward progress: 202299
Backward progress: 201411
Backward progress: 204023
Backward progress: 178211
Backward progress: 145480
Backward progress: 258829
Backward progress: 284772
Backward progress: 235787
Backward progress: 206553
Backward progress: 206560
Backward progress: 197604
Backward progress: 185354
Backward progress: 192928
Backward progress: 188577
Backward progress: 188852
Backward progress: 188728
Backward progress: 191099
Backward progress: 190047
Backward progress: 191313
Backward progress: 191252
Backward progress: 187208
Backward progress: 187355
Backward progress: 187354
Backward progress: 182205
Backward progress: 167885
Backward progress: 167402
Backward progress: 166024
Backward progress: 166776
Backward progress: 166644
Backward progress: 171249
Backward progress: 170802
Backward progress: 168302
Backward progress: 168542
Backward progress: 168423
Backward progress: 159822
Backward progress: 154956
Backward progress: 154856
Backward progress: 151710
Backward progress: 149350
Backward progress: 142889
Backward progress: 145361
Backward progress: 136674
Backward progress: 135543
Backward progress: 137426
Backward progress: 130602
Backward progress: 134486
Backward progress: 125187
Backward progress: 126030
Backward progress: 123062
Backward progress: 125188
Backward progress: 121586
Backward progress: 113249
Backward progress: 113247
Backward progress: 114128
Backward progress: 113933
Backward progress: 113708
Backward progress: 113261
Backward progress: 113368
Backward progress: 112811
Backward progress: 100290
Backward progress: 138927
Backward progress: 125737
Backward progress: 144765
Backward progress: 156397
Backward progress: 149424
Backward progress: 149433
Backward progress: 147120
Backward progress: 147126
Backward progress: 133312
Backward progress: 120287
Backward progress: 116057
Backward progress: 110056
Backward progress: 110350
Backward progress: 104184
Backward progress: 103302
Backward progress: 103510
Backward progress: 103394
Backward progress: 105516
Backward progress: 104562
Backward progress: 105908
Backward progress: 105855
Backward progress: 107887
Backward progress: 108001
Backward progress: 108000
Backward progress: 105643
Backward progress: 101058
Backward progress: 100230
Backward progress: 105801
Backward progress: 104770
Backward progress: 103396
Backward progress: 105446
Backward progress: 104414
Backward progress: 104690
Backward progress: 123055
Backward progress: 119162
Backward progress: 116529
Backward progress: 117117
Backward progress: 116719
Backward progress: 111115
Backward progress: 104581
Backward progress: 104921
Backward progress: 102358
Backward progress: 102125
Backward progress: 100047
Backward progress: 100037
Backward progress: 102815
Backward progress: 102513
Backward progress: 100712
Backward progress: 100878
Backward progress: 100759
Backward progress: 118941
Backward progress: 116014
Backward progress: 114918
Backward progress: 114941
Backward progress: 114930
Backward progress: 114063
Backward progress: 114092
Backward progress: 111483
Backward progress: 103620
Backward progress: 100758
Backward progress: 100951
Backward progress: 100594
Backward progress: 100115
Backward progress: 101091
Backward progress: 101104
Backward progress: 100824
Backward progress: 102229
Attractor colors: 369888924019253200000000
Attractor colors computed in 282541 ms.
Control exists for 41065920 color(s), jumping through 9007199254740992 vertices.
Elapsed: 47744 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 47.744
user ??
sys ??
