>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 44212392
Perturbation colors: 9007199254740992
All colors: 398229824272716600000000
Unknown update functions: 7
Lowest cardinality: 1
Highest cardinality: 5
Backward progress: 101681
Backward progress: 138842
Backward progress: 155081
Backward progress: 154993
Backward progress: 160902
Backward progress: 160791
Backward progress: 158527
Backward progress: 158331
Backward progress: 158416
Backward progress: 158527
Backward progress: 164782
Backward progress: 139690
Backward progress: 187203
Backward progress: 205117
Backward progress: 205815
Backward progress: 256098
Backward progress: 254720
Backward progress: 254654
Backward progress: 255194
Backward progress: 255244
Backward progress: 253224
Backward progress: 202332
Backward progress: 225453
Backward progress: 227948
Backward progress: 197293
Backward progress: 215282
Backward progress: 224731
Backward progress: 225712
Backward progress: 225684
Backward progress: 219115
Backward progress: 219170
Backward progress: 218134
Backward progress: 222962
Backward progress: 222700
Backward progress: 222268
Backward progress: 222379
Backward progress: 222403
Backward progress: 222142
Backward progress: 203475
Backward progress: 223256
Backward progress: 220726
Backward progress: 220676
Backward progress: 222708
Backward progress: 222756
Backward progress: 221614
Backward progress: 215147
Backward progress: 241689
Backward progress: 243331
Backward progress: 246626
Backward progress: 251728
Backward progress: 250853
Backward progress: 266985
Backward progress: 268615
Backward progress: 265911
Backward progress: 252858
Backward progress: 252979
Backward progress: 252969
Backward progress: 253033
Backward progress: 253030
Backward progress: 253024
Backward progress: 253003
Backward progress: 255964
Backward progress: 245146
Backward progress: 250594
Backward progress: 208759
Backward progress: 204785
Backward progress: 204694
Backward progress: 206028
Backward progress: 206279
Backward progress: 207457
Backward progress: 207472
Backward progress: 207457
Backward progress: 207878
Backward progress: 199520
Backward progress: 194840
Backward progress: 185432
Backward progress: 184447
Backward progress: 184191
Backward progress: 183926
Backward progress: 181825
Backward progress: 177973
Backward progress: 183509
Backward progress: 178901
Backward progress: 185728
Backward progress: 188430
Backward progress: 187685
Backward progress: 182541
Backward progress: 178959
Backward progress: 178031
Backward progress: 180426
Backward progress: 180120
Backward progress: 179546
Backward progress: 180738
Backward progress: 190695
Backward progress: 188353
Backward progress: 187728
Backward progress: 185558
Backward progress: 185862
Backward progress: 187711
Backward progress: 187381
Backward progress: 187593
Backward progress: 187852
Backward progress: 187958
Backward progress: 187850
Backward progress: 186970
Backward progress: 186566
Backward progress: 186945
Backward progress: 186390
Backward progress: 187005
Backward progress: 187089
Backward progress: 187086
Backward progress: 186958
Backward progress: 186384
Backward progress: 185532
Backward progress: 185392
Backward progress: 186668
Backward progress: 187480
Backward progress: 187908
Backward progress: 188124
Backward progress: 189260
Backward progress: 188968
Backward progress: 189144
Backward progress: 189012
Backward progress: 189108
Backward progress: 189200
Backward progress: 188764
Backward progress: 189116
Backward progress: 189164
Backward progress: 189124
Backward progress: 188768
Backward progress: 188468
Backward progress: 196820
Backward progress: 193794
Backward progress: 193266
Backward progress: 184749
Backward progress: 184741
Backward progress: 201099
Backward progress: 203875
Backward progress: 203040
Backward progress: 190308
Backward progress: 183489
Backward progress: 166338
Backward progress: 165912
Backward progress: 166744
Backward progress: 166360
Backward progress: 166720
Backward progress: 166428
Backward progress: 167224
Backward progress: 167272
Backward progress: 167232
Backward progress: 166432
Backward progress: 165716
Backward progress: 171657
Backward progress: 174834
Backward progress: 174885
Backward progress: 175537
Backward progress: 175790
Backward progress: 175634
Backward progress: 175399
Backward progress: 176623
Backward progress: 176748
Backward progress: 176954
Backward progress: 177021
Backward progress: 177066
Backward progress: 177012
Backward progress: 143788
Backward progress: 138306
Backward progress: 140432
Backward progress: 138953
Backward progress: 138311
Backward progress: 138363
Backward progress: 138302
Backward progress: 138307
Backward progress: 138334
Backward progress: 138484
Backward progress: 138430
Backward progress: 138526
Backward progress: 138779
Backward progress: 139061
Backward progress: 139032
Backward progress: 138764
Backward progress: 138556
Backward progress: 138460
Backward progress: 138513
Backward progress: 138523
Backward progress: 138642
Backward progress: 138662
Backward progress: 138667
Backward progress: 138426
Backward progress: 138480
Backward progress: 138490
Backward progress: 138044
Backward progress: 131332
Backward progress: 130272
Backward progress: 148734
Backward progress: 138588
Backward progress: 111621
Backward progress: 110771
Backward progress: 107345
Backward progress: 109317
Backward progress: 109445
Backward progress: 109561
Backward progress: 109615
Backward progress: 108434
Backward progress: 108378
Backward progress: 107358
Backward progress: 106003
Backward progress: 104196
Backward progress: 104535
Backward progress: 103363
Backward progress: 101581
Backward progress: 103935
Backward progress: 105970
Backward progress: 106148
Backward progress: 106204
Backward progress: 106252
Backward progress: 104000
Backward progress: 102088
Attractor colors: 9642927378140611000000
Attractor colors computed in 503135 ms.
Control exists for 1070580 color(s), jumping through 2251799813685248 vertices.
Elapsed: 27396 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 27.396
user ??
sys ??
