>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 27993600
Perturbation colors: 9007199254740992
All colors: 252143933057517430000000
Unknown update functions: 10
Lowest cardinality: 0
Highest cardinality: 3
Backward progress: 111350
Backward progress: 111561
Backward progress: 110792
Backward progress: 102321
Backward progress: 113835
Backward progress: 104856
Backward progress: 105761
Backward progress: 105399
Backward progress: 109196
Backward progress: 106149
Backward progress: 106000
Backward progress: 106432
Backward progress: 105670
Backward progress: 105455
Backward progress: 118300
Backward progress: 100524
Backward progress: 100527
Backward progress: 100520
Backward progress: 100373
Backward progress: 100320
Backward progress: 100066
Backward progress: 100600
Backward progress: 109802
Backward progress: 108646
Backward progress: 108274
Backward progress: 119337
Backward progress: 114389
Backward progress: 114374
Backward progress: 114651
Backward progress: 114520
Backward progress: 118435
Backward progress: 121091
Backward progress: 124353
Backward progress: 124968
Backward progress: 124880
Backward progress: 124992
Backward progress: 124914
Backward progress: 123975
Backward progress: 123425
Backward progress: 123184
Backward progress: 124579
Backward progress: 124607
Backward progress: 124379
Backward progress: 124338
Backward progress: 127441
Backward progress: 126768
Backward progress: 125281
Backward progress: 125388
Backward progress: 125548
Backward progress: 122125
Backward progress: 123798
Backward progress: 123669
Backward progress: 124617
Backward progress: 124360
Backward progress: 124303
Backward progress: 125277
Backward progress: 125244
Backward progress: 125276
Backward progress: 125156
Backward progress: 133415
Backward progress: 132782
Backward progress: 131909
Backward progress: 131681
Backward progress: 131266
Backward progress: 152784
Backward progress: 155415
Backward progress: 156508
Backward progress: 156260
Backward progress: 153258
Backward progress: 151853
Backward progress: 152075
Backward progress: 152499
Backward progress: 151758
Backward progress: 151285
Backward progress: 168105
Backward progress: 158563
Backward progress: 159876
Backward progress: 159038
Backward progress: 180399
Backward progress: 155031
Backward progress: 164067
Backward progress: 163690
Backward progress: 155538
Backward progress: 155176
Backward progress: 155192
Backward progress: 158761
Backward progress: 151534
Backward progress: 151640
Backward progress: 151645
Backward progress: 151134
Backward progress: 151040
Backward progress: 150791
Backward progress: 148512
Backward progress: 146766
Backward progress: 185173
Backward progress: 189818
Backward progress: 172058
Backward progress: 164069
Backward progress: 164087
Backward progress: 162637
Backward progress: 155942
Backward progress: 156034
Backward progress: 155765
Backward progress: 156229
Backward progress: 153802
Backward progress: 154094
Backward progress: 151968
Backward progress: 152823
Backward progress: 152727
Backward progress: 154284
Backward progress: 154320
Backward progress: 154397
Backward progress: 153648
Backward progress: 152128
Backward progress: 153014
Backward progress: 151663
Backward progress: 152061
Backward progress: 150017
Backward progress: 151018
Backward progress: 149937
Backward progress: 150792
Backward progress: 150814
Backward progress: 150817
Backward progress: 150988
Backward progress: 150907
Backward progress: 147797
Backward progress: 148015
Backward progress: 148021
Backward progress: 147522
Backward progress: 147243
Backward progress: 147217
Backward progress: 147391
Backward progress: 147140
Backward progress: 146566
Backward progress: 150398
Backward progress: 142368
Backward progress: 148664
Backward progress: 122818
Backward progress: 120083
Backward progress: 129332
Backward progress: 124964
Backward progress: 125290
Backward progress: 123737
Backward progress: 123583
Backward progress: 124775
Backward progress: 116806
Backward progress: 105787
Backward progress: 106202
Backward progress: 107851
Backward progress: 105582
Backward progress: 105181
Backward progress: 104627
Backward progress: 104580
Backward progress: 103844
Backward progress: 103943
Backward progress: 103179
Backward progress: 102662
Backward progress: 103166
Backward progress: 102463
Backward progress: 104547
Backward progress: 124593
Backward progress: 122731
Backward progress: 122738
Backward progress: 121431
Backward progress: 120837
Backward progress: 119953
Backward progress: 138471
Backward progress: 144988
Backward progress: 143805
Backward progress: 143062
Backward progress: 161265
Backward progress: 161098
Backward progress: 159699
Backward progress: 177303
Backward progress: 177310
Backward progress: 175372
Backward progress: 174268
Backward progress: 173811
Backward progress: 247202
Backward progress: 297870
Backward progress: 302022
Backward progress: 302063
Backward progress: 278172
Backward progress: 277896
Backward progress: 280555
Backward progress: 271535
Backward progress: 239136
Backward progress: 236278
Backward progress: 235217
Backward progress: 234401
Backward progress: 240754
Backward progress: 240239
Backward progress: 242096
Backward progress: 241412
Backward progress: 250444
Backward progress: 252292
Backward progress: 222565
Backward progress: 224106
Backward progress: 218306
Backward progress: 215833
Backward progress: 215839
Backward progress: 214843
Backward progress: 214686
Backward progress: 214137
Backward progress: 215710
Backward progress: 203049
Backward progress: 195612
Backward progress: 192457
Backward progress: 196259
Backward progress: 180174
Backward progress: 178994
Backward progress: 185400
Backward progress: 182964
Backward progress: 182690
Backward progress: 181556
Backward progress: 180946
Backward progress: 171036
Backward progress: 161947
Backward progress: 161985
Backward progress: 160482
Backward progress: 156302
Backward progress: 156305
Backward progress: 146311
Backward progress: 154561
Backward progress: 109789
Backward progress: 109692
Backward progress: 106052
Backward progress: 106061
Backward progress: 106637
Backward progress: 108240
Backward progress: 127987
Backward progress: 161127
Backward progress: 214785
Backward progress: 211708
Backward progress: 207684
Backward progress: 207704
Backward progress: 207628
Backward progress: 205536
Backward progress: 205747
Backward progress: 159159
Backward progress: 153629
Backward progress: 152319
Backward progress: 147050
Backward progress: 147164
Backward progress: 136315
Backward progress: 128165
Backward progress: 126218
Backward progress: 125924
Backward progress: 132119
Backward progress: 132937
Backward progress: 136612
Backward progress: 137941
Backward progress: 139157
Backward progress: 139193
Backward progress: 139166
Backward progress: 137339
Backward progress: 137380
Backward progress: 130965
Backward progress: 127463
Backward progress: 125860
Backward progress: 123857
Backward progress: 124071
Backward progress: 123707
Backward progress: 122379
Backward progress: 122685
Backward progress: 119999
Backward progress: 118086
Backward progress: 124330
Backward progress: 124272
Backward progress: 123444
Backward progress: 103919
Attractor colors: 2496795633414203000000
Attractor colors computed in 313624 ms.
Control exists for 277200 color(s), jumping through 9007199254740992 vertices.
Elapsed: 13591 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 13.591
user ??
sys ??
