>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 3657830400
Perturbation colors: 9007199254740992
All colors: 32946807252848945000000000
Unknown update functions: 9
Lowest cardinality: 0
Highest cardinality: 4
Backward progress: 193367
Backward progress: 210057
Backward progress: 150096
Backward progress: 154499
Backward progress: 151500
Backward progress: 146709
Backward progress: 146735
Backward progress: 146641
Backward progress: 118039
Backward progress: 113237
Backward progress: 116521
Backward progress: 112105
Backward progress: 127093
Backward progress: 112689
Backward progress: 116309
Backward progress: 126861
Backward progress: 130802
Backward progress: 132528
Backward progress: 136632
Backward progress: 136582
Backward progress: 142510
Backward progress: 140708
Backward progress: 140712
Backward progress: 137133
Backward progress: 122889
Backward progress: 133822
Backward progress: 124920
Backward progress: 126004
Backward progress: 121124
Backward progress: 118826
Backward progress: 126652
Backward progress: 122092
Backward progress: 118562
Backward progress: 119508
Backward progress: 117169
Backward progress: 133577
Backward progress: 127409
Backward progress: 124875
Backward progress: 128517
Backward progress: 132376
Backward progress: 134386
Backward progress: 137964
Backward progress: 137574
Backward progress: 145172
Backward progress: 146252
Backward progress: 150956
Backward progress: 149240
Backward progress: 149232
Backward progress: 149244
Backward progress: 149236
Backward progress: 149238
Backward progress: 145259
Backward progress: 145258
Backward progress: 146916
Backward progress: 145048
Backward progress: 145360
Backward progress: 147958
Backward progress: 146860
Backward progress: 139397
Backward progress: 145687
Backward progress: 146324
Backward progress: 145301
Backward progress: 145384
Backward progress: 145387
Backward progress: 145388
Backward progress: 144002
Backward progress: 145482
Backward progress: 146846
Backward progress: 143863
Backward progress: 144739
Backward progress: 144018
Backward progress: 143496
Backward progress: 143283
Backward progress: 142741
Backward progress: 143495
Backward progress: 144086
Backward progress: 143559
Backward progress: 143724
Backward progress: 148162
Backward progress: 146643
Backward progress: 144292
Backward progress: 143702
Backward progress: 143369
Backward progress: 152846
Backward progress: 162277
Backward progress: 160002
Backward progress: 160004
Backward progress: 150303
Backward progress: 147015
Backward progress: 147095
Backward progress: 146896
Backward progress: 145603
Backward progress: 144205
Backward progress: 154396
Backward progress: 144543
Backward progress: 147983
Backward progress: 147988
Backward progress: 144687
Backward progress: 142073
Backward progress: 144087
Backward progress: 142880
Backward progress: 139259
Backward progress: 137785
Backward progress: 150213
Backward progress: 150228
Backward progress: 143772
Backward progress: 142408
Backward progress: 142407
Backward progress: 142275
Backward progress: 142025
Backward progress: 141094
Backward progress: 137751
Backward progress: 137678
Backward progress: 137691
Backward progress: 137590
Backward progress: 134028
Backward progress: 133006
Backward progress: 134009
Backward progress: 134014
Backward progress: 132946
Backward progress: 131228
Backward progress: 131733
Backward progress: 130863
Backward progress: 132975
Backward progress: 130819
Backward progress: 131067
Backward progress: 131999
Backward progress: 132859
Backward progress: 131257
Backward progress: 130557
Backward progress: 129737
Backward progress: 128607
Backward progress: 186763
Backward progress: 163610
Backward progress: 164784
Backward progress: 143406
Backward progress: 142631
Backward progress: 172257
Backward progress: 172272
Backward progress: 152294
Backward progress: 148895
Backward progress: 148894
Backward progress: 148627
Backward progress: 146566
Backward progress: 144507
Backward progress: 144423
Backward progress: 144444
Backward progress: 144243
Backward progress: 132823
Backward progress: 125550
Backward progress: 101353
Backward progress: 123902
Backward progress: 123542
Backward progress: 123549
Backward progress: 115587
Backward progress: 113855
Backward progress: 114213
Backward progress: 113585
Backward progress: 107188
Backward progress: 126597
Backward progress: 129309
Backward progress: 124035
Backward progress: 124040
Backward progress: 124031
Backward progress: 103145
Backward progress: 113548
Backward progress: 110405
Backward progress: 105901
Backward progress: 106833
Backward progress: 107202
Backward progress: 106833
Backward progress: 104677
Backward progress: 103460
Backward progress: 107209
Backward progress: 107320
Backward progress: 106835
Backward progress: 106837
Backward progress: 102316
Backward progress: 102074
Backward progress: 102079
Backward progress: 102046
Backward progress: 109716
Backward progress: 109468
Backward progress: 111272
Backward progress: 111309
Backward progress: 112914
Backward progress: 112917
Backward progress: 108106
Backward progress: 108051
Backward progress: 103853
Backward progress: 103108
Backward progress: 101459
Backward progress: 118968
Backward progress: 130584
Backward progress: 129121
Backward progress: 131738
Backward progress: 131596
Backward progress: 131603
Backward progress: 126060
Backward progress: 126529
Backward progress: 125265
Backward progress: 124959
Backward progress: 129861
Backward progress: 130029
Backward progress: 128925
Backward progress: 129005
Backward progress: 128893
Backward progress: 132036
Backward progress: 132166
Backward progress: 131740
Backward progress: 173597
Backward progress: 173300
Backward progress: 142334
Backward progress: 142316
Backward progress: 142362
Backward progress: 145790
Backward progress: 151007
Backward progress: 148744
Backward progress: 148759
Backward progress: 101353
Backward progress: 100846
Backward progress: 100932
Backward progress: 101018
Backward progress: 105171
Backward progress: 104592
Backward progress: 105625
Backward progress: 105635
Backward progress: 104760
Backward progress: 103812
Backward progress: 105259
Backward progress: 105773
Backward progress: 106615
Backward progress: 106502
Backward progress: 106504
Backward progress: 104277
Backward progress: 104276
Backward progress: 104237
Backward progress: 104339
Backward progress: 101954
Backward progress: 101956
Backward progress: 101965
Backward progress: 101971
Backward progress: 101344
Backward progress: 104123
Backward progress: 103849
Backward progress: 104392
Backward progress: 106215
Backward progress: 109290
Backward progress: 109293
Backward progress: 107836
Backward progress: 112925
Backward progress: 114754
Backward progress: 114568
Backward progress: 114570
Backward progress: 111231
Backward progress: 110956
Backward progress: 111068
Backward progress: 110788
Backward progress: 111213
Backward progress: 106487
Backward progress: 104736
Backward progress: 102388
Backward progress: 101626
Backward progress: 101634
Backward progress: 103569
Backward progress: 104079
Backward progress: 105325
Backward progress: 102244
Backward progress: 111378
Backward progress: 112183
Backward progress: 106519
Backward progress: 120461
Backward progress: 120347
Backward progress: 113296
Backward progress: 115223
Backward progress: 126347
Backward progress: 126361
Backward progress: 125076
Backward progress: 124998
Backward progress: 114869
Backward progress: 140285
Backward progress: 130660
Backward progress: 136540
Backward progress: 132539
Backward progress: 120648
Backward progress: 119518
Backward progress: 124668
Backward progress: 124674
Backward progress: 122619
Backward progress: 122585
Backward progress: 118770
Backward progress: 119880
Backward progress: 117952
Backward progress: 130078
Backward progress: 124267
Backward progress: 123517
Backward progress: 132810
Backward progress: 133122
Backward progress: 138344
Backward progress: 142294
Backward progress: 144368
Backward progress: 143971
Backward progress: 143981
Backward progress: 143101
Backward progress: 142304
Backward progress: 142093
Backward progress: 142095
Backward progress: 142311
Backward progress: 142863
Backward progress: 138011
Backward progress: 139594
Backward progress: 140206
Backward progress: 140190
Backward progress: 141655
Backward progress: 145093
Backward progress: 146100
Backward progress: 146124
Backward progress: 145871
Backward progress: 143688
Backward progress: 142652
Backward progress: 142674
Backward progress: 142299
Backward progress: 142293
Backward progress: 141867
Backward progress: 141524
Backward progress: 141438
Backward progress: 141701
Backward progress: 141382
Backward progress: 163666
Backward progress: 169900
Backward progress: 163667
Backward progress: 165913
Backward progress: 163122
Backward progress: 160973
Backward progress: 160999
Backward progress: 158779
Backward progress: 159048
Backward progress: 157767
Backward progress: 157770
Backward progress: 158131
Backward progress: 159217
Backward progress: 153396
Backward progress: 150235
Backward progress: 151669
Backward progress: 151306
Backward progress: 153348
Backward progress: 156460
Backward progress: 158134
Backward progress: 155796
Backward progress: 155800
Backward progress: 154686
Backward progress: 146070
Backward progress: 146334
Backward progress: 144766
Backward progress: 145294
Backward progress: 146036
Backward progress: 145186
Backward progress: 168743
Backward progress: 156220
Backward progress: 150458
Backward progress: 149817
Backward progress: 130055
Backward progress: 126927
Backward progress: 127171
Backward progress: 127183
Backward progress: 122850
Backward progress: 122006
Backward progress: 121372
Backward progress: 113619
Backward progress: 110826
Backward progress: 102570
Backward progress: 104440
Backward progress: 101587
Backward progress: 103937
Backward progress: 104536
Backward progress: 104022
Backward progress: 104023
Backward progress: 103157
Backward progress: 102484
Backward progress: 104017
Backward progress: 103618
Backward progress: 104442
Backward progress: 107597
Backward progress: 108678
Backward progress: 107614
Backward progress: 107616
Backward progress: 103592
Backward progress: 102839
Backward progress: 102867
Backward progress: 102334
Backward progress: 102208
Backward progress: 100890
Backward progress: 100305
Backward progress: 100404
Attractor colors: 424546050248902300000000
Attractor colors computed in 466261 ms.
Control exists for 47134080 color(s), jumping through 1928075411456 vertices.
Elapsed: 23827 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 23.827
user ??
sys ??
