>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 54583200
Perturbation colors: 9007199254740992
All colors: 491641758361378500000000
Unknown update functions: 5
Lowest cardinality: 1
Highest cardinality: 5
Backward progress: 103108
Backward progress: 103259
Backward progress: 102533
Backward progress: 101480
Backward progress: 101826
Backward progress: 101796
Backward progress: 101666
Backward progress: 102893
Backward progress: 102569
Backward progress: 104715
Backward progress: 106607
Backward progress: 107207
Backward progress: 107692
Backward progress: 106546
Backward progress: 105406
Backward progress: 107995
Backward progress: 104906
Backward progress: 105207
Backward progress: 105021
Backward progress: 103469
Backward progress: 103463
Backward progress: 105283
Backward progress: 105272
Backward progress: 105249
Backward progress: 104718
Backward progress: 104475
Backward progress: 105957
Backward progress: 103203
Backward progress: 102347
Backward progress: 103163
Backward progress: 101760
Backward progress: 103644
Backward progress: 113080
Backward progress: 113196
Backward progress: 107511
Backward progress: 105016
Backward progress: 107041
Backward progress: 131551
Backward progress: 129570
Backward progress: 132015
Backward progress: 137514
Backward progress: 147870
Backward progress: 153363
Backward progress: 148454
Backward progress: 148517
Backward progress: 105779
Backward progress: 102041
Backward progress: 102225
Backward progress: 101618
Backward progress: 101981
Backward progress: 101087
Backward progress: 100243
Backward progress: 107846
Backward progress: 104772
Backward progress: 111307
Backward progress: 111182
Backward progress: 116693
Backward progress: 116026
Backward progress: 113870
Backward progress: 113862
Backward progress: 113867
Backward progress: 113871
Backward progress: 114122
Backward progress: 109631
Backward progress: 109218
Backward progress: 110586
Backward progress: 111490
Backward progress: 111496
Backward progress: 109913
Backward progress: 101584
Backward progress: 101572
Backward progress: 101573
Backward progress: 101573
Backward progress: 106231
Backward progress: 105477
Backward progress: 131737
Backward progress: 145728
Backward progress: 198451
Backward progress: 207357
Backward progress: 206575
Backward progress: 206944
Backward progress: 207413
Backward progress: 193225
Backward progress: 195733
Backward progress: 196382
Backward progress: 196261
Backward progress: 202597
Backward progress: 202823
Backward progress: 203281
Backward progress: 203255
Backward progress: 202869
Backward progress: 204779
Backward progress: 204731
Backward progress: 204935
Backward progress: 204972
Backward progress: 208401
Backward progress: 209211
Backward progress: 209123
Backward progress: 208969
Backward progress: 209131
Backward progress: 209590
Backward progress: 209604
Backward progress: 209491
Backward progress: 221304
Backward progress: 229668
Backward progress: 230277
Backward progress: 230262
Backward progress: 230143
Backward progress: 230159
Backward progress: 229996
Backward progress: 226053
Backward progress: 227285
Backward progress: 218392
Backward progress: 218526
Backward progress: 218368
Backward progress: 221750
Backward progress: 222465
Backward progress: 222386
Backward progress: 222187
Backward progress: 223039
Backward progress: 219078
Backward progress: 217645
Backward progress: 217559
Backward progress: 216920
Backward progress: 216930
Backward progress: 216519
Backward progress: 214342
Backward progress: 214262
Backward progress: 213962
Backward progress: 213968
Backward progress: 213847
Backward progress: 213963
Backward progress: 213973
Backward progress: 213907
Backward progress: 211998
Backward progress: 213970
Backward progress: 214177
Backward progress: 214199
Backward progress: 214109
Backward progress: 215882
Backward progress: 215904
Backward progress: 217000
Backward progress: 217309
Backward progress: 217199
Backward progress: 217239
Backward progress: 217089
Backward progress: 216902
Backward progress: 216966
Backward progress: 216323
Backward progress: 216272
Backward progress: 252649
Backward progress: 254047
Backward progress: 254120
Backward progress: 249876
Backward progress: 248901
Backward progress: 248037
Backward progress: 212251
Backward progress: 206109
Backward progress: 206391
Backward progress: 206391
Backward progress: 205386
Backward progress: 204900
Backward progress: 205764
Backward progress: 204844
Backward progress: 208023
Backward progress: 200206
Backward progress: 182894
Backward progress: 185315
Backward progress: 188596
Backward progress: 188566
Backward progress: 188555
Backward progress: 188569
Backward progress: 188268
Backward progress: 188353
Backward progress: 192862
Backward progress: 194278
Backward progress: 194059
Backward progress: 194130
Backward progress: 194232
Backward progress: 194248
Backward progress: 194242
Backward progress: 194251
Backward progress: 193745
Backward progress: 193702
Backward progress: 193574
Backward progress: 193191
Backward progress: 193098
Backward progress: 193050
Backward progress: 192710
Backward progress: 192795
Backward progress: 192786
Backward progress: 192596
Backward progress: 192604
Backward progress: 192556
Backward progress: 192493
Backward progress: 192496
Backward progress: 192420
Backward progress: 192622
Backward progress: 192622
Backward progress: 191442
Backward progress: 191327
Backward progress: 191169
Backward progress: 191109
Backward progress: 191137
Backward progress: 190558
Backward progress: 190682
Backward progress: 190290
Backward progress: 189646
Backward progress: 178107
Backward progress: 167343
Backward progress: 157358
Backward progress: 159500
Backward progress: 159613
Backward progress: 159659
Backward progress: 159655
Backward progress: 159114
Backward progress: 151093
Backward progress: 150802
Backward progress: 150892
Backward progress: 150949
Backward progress: 140141
Backward progress: 140160
Backward progress: 139934
Backward progress: 139850
Backward progress: 139848
Backward progress: 139890
Backward progress: 139896
Backward progress: 139858
Backward progress: 139472
Backward progress: 139480
Backward progress: 139278
Backward progress: 137174
Backward progress: 143012
Backward progress: 142609
Backward progress: 142541
Backward progress: 143119
Backward progress: 143091
Backward progress: 143071
Backward progress: 143086
Backward progress: 143103
Backward progress: 143065
Backward progress: 142833
Backward progress: 142846
Backward progress: 142155
Backward progress: 142313
Backward progress: 142066
Backward progress: 141953
Backward progress: 142132
Backward progress: 141086
Backward progress: 139931
Backward progress: 140710
Backward progress: 112000
Backward progress: 111952
Backward progress: 115393
Backward progress: 115524
Backward progress: 115473
Backward progress: 115557
Backward progress: 115545
Backward progress: 115541
Backward progress: 115545
Backward progress: 115466
Backward progress: 115209
Backward progress: 115221
Backward progress: 114958
Backward progress: 115000
Backward progress: 114925
Backward progress: 114882
Backward progress: 114981
Backward progress: 114664
Backward progress: 115037
Backward progress: 114513
Backward progress: 113742
Backward progress: 113564
Backward progress: 113497
Backward progress: 117080
Backward progress: 118749
Backward progress: 123260
Backward progress: 124029
Backward progress: 124358
Backward progress: 124048
Backward progress: 127587
Backward progress: 127924
Backward progress: 129729
Backward progress: 128112
Backward progress: 127295
Backward progress: 127219
Backward progress: 129440
Backward progress: 127245
Backward progress: 127104
Backward progress: 127216
Backward progress: 126338
Backward progress: 126945
Backward progress: 126989
Backward progress: 126991
Backward progress: 126993
Backward progress: 126915
Backward progress: 125744
Backward progress: 156701
Backward progress: 134490
Backward progress: 141316
Backward progress: 141690
Backward progress: 141540
Backward progress: 141076
Backward progress: 139817
Backward progress: 140850
Backward progress: 140902
Backward progress: 140922
Backward progress: 140907
Backward progress: 138578
Backward progress: 139025
Backward progress: 138578
Backward progress: 138711
Backward progress: 136859
Backward progress: 136450
Backward progress: 136232
Backward progress: 135723
Backward progress: 133484
Backward progress: 133990
Backward progress: 133996
Backward progress: 133942
Backward progress: 133930
Backward progress: 133818
Backward progress: 132073
Backward progress: 186894
Backward progress: 200243
Backward progress: 243477
Backward progress: 251883
Backward progress: 262630
Backward progress: 257388
Backward progress: 261450
Backward progress: 258803
Backward progress: 257375
Backward progress: 257373
Backward progress: 257398
Backward progress: 265173
Backward progress: 192329
Backward progress: 206766
Backward progress: 200687
Backward progress: 200663
Backward progress: 197299
Backward progress: 186272
Backward progress: 192468
Backward progress: 192535
Backward progress: 189523
Backward progress: 193208
Backward progress: 191290
Backward progress: 192135
Backward progress: 191090
Backward progress: 190461
Backward progress: 187578
Backward progress: 183352
Backward progress: 183279
Backward progress: 182072
Backward progress: 182330
Backward progress: 181970
Backward progress: 178798
Backward progress: 186568
Backward progress: 186430
Backward progress: 186114
Backward progress: 185760
Backward progress: 185759
Backward progress: 185673
Backward progress: 185674
Backward progress: 185845
Backward progress: 180020
Backward progress: 178903
Backward progress: 163794
Backward progress: 161310
Backward progress: 159888
Backward progress: 158771
Backward progress: 158524
Backward progress: 158141
Backward progress: 158008
Backward progress: 156037
Backward progress: 155776
Backward progress: 155788
Backward progress: 155716
Backward progress: 156728
Backward progress: 153797
Backward progress: 153942
Backward progress: 153943
Backward progress: 153862
Backward progress: 153816
Backward progress: 153787
Backward progress: 153843
Backward progress: 153801
Backward progress: 154661
Backward progress: 154379
Backward progress: 154375
Backward progress: 154299
Backward progress: 154636
Backward progress: 154310
Backward progress: 152719
Backward progress: 152668
Backward progress: 153340
Backward progress: 153263
Backward progress: 148797
Backward progress: 142599
Backward progress: 138694
Backward progress: 138876
Backward progress: 138703
Backward progress: 138568
Backward progress: 138547
Backward progress: 138543
Backward progress: 138549
Backward progress: 138574
Backward progress: 138544
Backward progress: 138547
Backward progress: 138543
Backward progress: 138429
Backward progress: 138517
Backward progress: 138336
Backward progress: 138596
Backward progress: 133760
Backward progress: 132580
Backward progress: 132580
Attractor colors: 48109973235362966000000
Attractor colors computed in 688149 ms.
Control exists for 5341280 color(s), jumping through 2251799813685248 vertices.
Elapsed: 72164 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 72.164
user ??
sys ??
