>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 24758939520
Perturbation colors: 9007199254740992
All colors: 223008701592721300000000000
Unknown update functions: 8
Lowest cardinality: 1
Highest cardinality: 5
Backward progress: 102906
Backward progress: 108507
Backward progress: 109069
Backward progress: 110114
Backward progress: 108760
Backward progress: 106263
Backward progress: 118458
Backward progress: 114419
Backward progress: 113421
Backward progress: 125643
Backward progress: 124151
Backward progress: 124146
Backward progress: 144229
Backward progress: 144703
Backward progress: 145235
Backward progress: 145249
Backward progress: 150672
Backward progress: 140159
Backward progress: 140019
Backward progress: 127532
Backward progress: 127904
Backward progress: 122578
Backward progress: 120886
Backward progress: 120228
Backward progress: 145568
Backward progress: 144623
Backward progress: 137833
Backward progress: 128432
Backward progress: 143464
Backward progress: 145799
Backward progress: 142739
Backward progress: 138864
Backward progress: 137900
Backward progress: 136230
Backward progress: 134605
Backward progress: 134081
Backward progress: 130297
Backward progress: 130322
Backward progress: 130445
Backward progress: 129514
Backward progress: 129299
Backward progress: 129233
Backward progress: 128809
Backward progress: 126864
Backward progress: 125518
Backward progress: 126959
Backward progress: 126977
Backward progress: 126778
Backward progress: 125532
Backward progress: 129752
Backward progress: 125280
Backward progress: 130433
Backward progress: 130752
Backward progress: 128116
Backward progress: 126691
Backward progress: 125494
Backward progress: 120657
Backward progress: 187681
Backward progress: 189444
Backward progress: 192866
Backward progress: 205739
Backward progress: 218155
Backward progress: 219239
Backward progress: 210189
Backward progress: 142249
Backward progress: 135658
Backward progress: 135371
Backward progress: 135600
Backward progress: 138828
Backward progress: 138573
Backward progress: 140796
Backward progress: 138663
Backward progress: 138661
Backward progress: 135083
Backward progress: 135115
Backward progress: 135139
Backward progress: 134147
Backward progress: 132017
Backward progress: 132183
Backward progress: 130784
Backward progress: 132182
Backward progress: 130906
Backward progress: 129539
Backward progress: 129708
Backward progress: 129730
Backward progress: 129722
Backward progress: 129541
Backward progress: 128024
Backward progress: 127544
Backward progress: 127565
Backward progress: 127609
Backward progress: 127635
Backward progress: 127782
Backward progress: 127776
Backward progress: 125965
Backward progress: 126114
Backward progress: 124109
Backward progress: 122688
Backward progress: 122608
Backward progress: 122512
Backward progress: 122604
Backward progress: 123101
Backward progress: 123097
Backward progress: 122514
Backward progress: 120609
Backward progress: 178929
Backward progress: 163049
Backward progress: 149327
Backward progress: 138787
Backward progress: 124664
Backward progress: 155036
Backward progress: 159117
Backward progress: 153688
Backward progress: 145179
Backward progress: 142081
Backward progress: 138471
Backward progress: 142856
Backward progress: 142088
Backward progress: 141682
Backward progress: 141282
Backward progress: 137345
Backward progress: 137267
Backward progress: 135997
Backward progress: 136735
Backward progress: 136625
Backward progress: 136638
Backward progress: 136891
Backward progress: 135998
Backward progress: 135825
Backward progress: 135733
Backward progress: 135382
Backward progress: 120692
Backward progress: 110708
Backward progress: 113309
Backward progress: 113317
Backward progress: 113609
Backward progress: 113677
Backward progress: 115974
Backward progress: 116845
Backward progress: 117077
Backward progress: 116797
Backward progress: 116441
Backward progress: 116462
Backward progress: 114125
Backward progress: 112887
Backward progress: 112419
Backward progress: 112177
Backward progress: 111982
Backward progress: 112124
Backward progress: 111943
Backward progress: 111759
Backward progress: 110238
Backward progress: 111633
Backward progress: 111650
Backward progress: 110798
Backward progress: 111533
Backward progress: 112000
Backward progress: 111921
Backward progress: 111940
Backward progress: 110879
Backward progress: 110824
Backward progress: 110744
Backward progress: 111008
Backward progress: 109611
Backward progress: 106856
Backward progress: 114061
Backward progress: 112629
Backward progress: 105663
Backward progress: 100087
Backward progress: 110814
Backward progress: 111283
Backward progress: 105781
Backward progress: 102709
Backward progress: 100354
Backward progress: 123004
Backward progress: 133333
Backward progress: 149932
Backward progress: 148973
Backward progress: 148174
Backward progress: 145547
Backward progress: 142322
Backward progress: 141041
Backward progress: 141090
Backward progress: 142062
Backward progress: 147973
Backward progress: 147869
Backward progress: 146048
Backward progress: 150600
Backward progress: 151520
Backward progress: 151513
Backward progress: 150770
Backward progress: 150173
Backward progress: 150047
Backward progress: 149545
Backward progress: 149573
Backward progress: 148680
Backward progress: 148526
Backward progress: 146862
Backward progress: 146778
Backward progress: 146535
Backward progress: 146367
Backward progress: 144504
Backward progress: 141755
Backward progress: 146479
Backward progress: 143033
Backward progress: 140615
Backward progress: 143448
Backward progress: 143714
Backward progress: 142528
Backward progress: 140834
Backward progress: 140619
Backward progress: 140539
Backward progress: 145465
Backward progress: 144220
Backward progress: 138655
Backward progress: 134429
Backward progress: 140390
Backward progress: 140656
Backward progress: 138248
Backward progress: 134854
Backward progress: 134461
Backward progress: 127860
Backward progress: 121538
Backward progress: 118536
Backward progress: 119385
Backward progress: 119786
Backward progress: 119480
Backward progress: 119446
Backward progress: 119506
Backward progress: 116001
Backward progress: 115238
Backward progress: 114779
Backward progress: 114369
Backward progress: 115314
Backward progress: 115771
Backward progress: 116994
Backward progress: 115309
Backward progress: 116297
Backward progress: 115797
Backward progress: 117725
Backward progress: 117736
Backward progress: 117468
Backward progress: 119130
Backward progress: 120254
Backward progress: 120495
Backward progress: 120582
Backward progress: 119447
Backward progress: 119346
Backward progress: 119307
Backward progress: 119081
Backward progress: 119311
Backward progress: 118903
Backward progress: 116392
Backward progress: 116322
Backward progress: 115348
Backward progress: 121156
Backward progress: 115566
Backward progress: 115466
Backward progress: 117036
Backward progress: 116488
Backward progress: 119040
Backward progress: 119321
Backward progress: 120301
Backward progress: 120661
Backward progress: 120797
Backward progress: 120346
Backward progress: 120797
Backward progress: 120812
Backward progress: 120788
Backward progress: 120968
Backward progress: 120804
Backward progress: 121150
Backward progress: 120768
Backward progress: 122763
Backward progress: 120643
Backward progress: 121578
Backward progress: 122013
Backward progress: 122013
Backward progress: 122011
Backward progress: 122042
Backward progress: 120757
Backward progress: 120773
Backward progress: 119901
Backward progress: 121108
Backward progress: 120528
Backward progress: 114816
Backward progress: 112759
Backward progress: 103448
Backward progress: 103493
Backward progress: 102966
Backward progress: 131836
Backward progress: 138047
Backward progress: 141439
Backward progress: 141439
Backward progress: 138225
Backward progress: 136509
Backward progress: 132110
Backward progress: 132164
Backward progress: 132164
Backward progress: 132458
Backward progress: 103979
Backward progress: 104027
Backward progress: 104036
Backward progress: 103190
Backward progress: 105800
Backward progress: 104528
Backward progress: 103591
Backward progress: 103357
Backward progress: 103279
Backward progress: 103357
Backward progress: 106531
Backward progress: 106587
Backward progress: 145696
Backward progress: 134334
Backward progress: 128140
Backward progress: 126513
Backward progress: 112845
Backward progress: 108194
Backward progress: 108252
Backward progress: 105202
Backward progress: 103236
Backward progress: 100204
Backward progress: 100029
Backward progress: 101748
Backward progress: 100026
Backward progress: 103582
Backward progress: 103825
Backward progress: 102086
Backward progress: 101454
Backward progress: 101587
Backward progress: 101367
Backward progress: 103820
Backward progress: 104150
Backward progress: 104882
Backward progress: 103672
Backward progress: 103627
Backward progress: 101752
Backward progress: 101670
Backward progress: 101215
Backward progress: 101213
Backward progress: 100814
Backward progress: 100988
Backward progress: 100614
Backward progress: 101616
Backward progress: 101220
Backward progress: 100744
Backward progress: 101527
Backward progress: 101643
Backward progress: 101407
Backward progress: 101087
Backward progress: 100734
Backward progress: 100620
Backward progress: 100652
Backward progress: 100864
Backward progress: 102623
Backward progress: 102551
Backward progress: 102205
Backward progress: 101338
Backward progress: 104251
Backward progress: 104367
Backward progress: 102940
Backward progress: 101376
Backward progress: 124888
Backward progress: 127807
Backward progress: 137362
Backward progress: 138050
Backward progress: 122810
Backward progress: 122292
Backward progress: 124630
Backward progress: 128168
Backward progress: 128924
Backward progress: 128447
Backward progress: 127755
Backward progress: 129823
Backward progress: 145221
Backward progress: 145432
Backward progress: 145428
Backward progress: 145563
Backward progress: 145572
Backward progress: 145552
Backward progress: 145665
Backward progress: 147076
Backward progress: 145047
Backward progress: 145634
Backward progress: 138677
Backward progress: 138560
Backward progress: 138644
Backward progress: 138588
Backward progress: 138274
Backward progress: 136975
Backward progress: 163516
Backward progress: 153193
Backward progress: 159628
Backward progress: 153489
Backward progress: 158505
Backward progress: 158554
Backward progress: 158554
Backward progress: 158550
Backward progress: 160119
Backward progress: 160538
Backward progress: 160656
Backward progress: 149316
Backward progress: 149446
Backward progress: 149420
Backward progress: 149391
Backward progress: 149561
Backward progress: 149144
Backward progress: 144979
Backward progress: 144979
Backward progress: 144627
Backward progress: 145105
Backward progress: 144107
Backward progress: 144093
Backward progress: 144193
Backward progress: 143928
Backward progress: 144013
Backward progress: 143880
Backward progress: 143863
Backward progress: 143931
Backward progress: 143846
Backward progress: 143846
Attractor colors: 8457226874005911000000000
Attractor colors computed in 482780 ms.
Control exists for 938940800 color(s), jumping through 99354673152 vertices.
Elapsed: 25008 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 25.008
user ??
sys ??
