>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 65318400
Perturbation colors: 9007199254740992
All colors: 588335843800874000000000
Unknown update functions: 8
Lowest cardinality: 1
Highest cardinality: 4
Backward progress: 105673
Backward progress: 105284
Backward progress: 103391
Backward progress: 107011
Backward progress: 116330
Backward progress: 116782
Backward progress: 116786
Backward progress: 116394
Backward progress: 116003
Backward progress: 117131
Backward progress: 110011
Backward progress: 109557
Backward progress: 110542
Backward progress: 107854
Backward progress: 107875
Backward progress: 105315
Backward progress: 118413
Backward progress: 117785
Backward progress: 113006
Backward progress: 111820
Backward progress: 108441
Backward progress: 195246
Backward progress: 211614
Backward progress: 193525
Backward progress: 183715
Backward progress: 183735
Backward progress: 181992
Backward progress: 168556
Backward progress: 169246
Backward progress: 166147
Backward progress: 166641
Backward progress: 166101
Backward progress: 164740
Backward progress: 158786
Backward progress: 159842
Backward progress: 159771
Backward progress: 161239
Backward progress: 165068
Backward progress: 165070
Backward progress: 163401
Backward progress: 157940
Backward progress: 148139
Backward progress: 149748
Backward progress: 141449
Backward progress: 141755
Backward progress: 141483
Backward progress: 140615
Backward progress: 146169
Backward progress: 144728
Backward progress: 148465
Backward progress: 146889
Backward progress: 146911
Backward progress: 147042
Backward progress: 146991
Backward progress: 141612
Backward progress: 140873
Backward progress: 140945
Backward progress: 141025
Backward progress: 141135
Backward progress: 141061
Backward progress: 141831
Backward progress: 140117
Backward progress: 140773
Backward progress: 140695
Backward progress: 140409
Backward progress: 139918
Backward progress: 139223
Backward progress: 138543
Backward progress: 138599
Backward progress: 135287
Backward progress: 136063
Backward progress: 135828
Backward progress: 136851
Backward progress: 136815
Backward progress: 136821
Backward progress: 136937
Backward progress: 136895
Backward progress: 135079
Backward progress: 135098
Backward progress: 135778
Backward progress: 135404
Backward progress: 133574
Backward progress: 143465
Backward progress: 140703
Backward progress: 143157
Backward progress: 127969
Backward progress: 127377
Backward progress: 127618
Backward progress: 122551
Backward progress: 122312
Backward progress: 118996
Backward progress: 113520
Backward progress: 111752
Backward progress: 108488
Backward progress: 108939
Backward progress: 106764
Backward progress: 107030
Backward progress: 107230
Backward progress: 107230
Backward progress: 107331
Backward progress: 106887
Backward progress: 107037
Backward progress: 106837
Backward progress: 101162
Backward progress: 163832
Backward progress: 156129
Backward progress: 161213
Backward progress: 176019
Backward progress: 172517
Backward progress: 172577
Backward progress: 172051
Backward progress: 172048
Backward progress: 159340
Backward progress: 140107
Backward progress: 136468
Backward progress: 134140
Backward progress: 135305
Backward progress: 125912
Backward progress: 126457
Backward progress: 125892
Backward progress: 126318
Backward progress: 125992
Backward progress: 128255
Backward progress: 124080
Backward progress: 125100
Backward progress: 125054
Backward progress: 132975
Backward progress: 139635
Backward progress: 139637
Backward progress: 138007
Backward progress: 131866
Backward progress: 128159
Backward progress: 127230
Backward progress: 130646
Backward progress: 123885
Backward progress: 124556
Backward progress: 123951
Backward progress: 123008
Backward progress: 132706
Backward progress: 131122
Backward progress: 128945
Backward progress: 128958
Backward progress: 129240
Backward progress: 128902
Backward progress: 128979
Backward progress: 132597
Backward progress: 131338
Backward progress: 131420
Backward progress: 131714
Backward progress: 131593
Backward progress: 128401
Backward progress: 125897
Backward progress: 125934
Backward progress: 125877
Backward progress: 125546
Backward progress: 125572
Backward progress: 125589
Backward progress: 125612
Backward progress: 125584
Backward progress: 127033
Backward progress: 125966
Backward progress: 127236
Backward progress: 127101
Backward progress: 126726
Backward progress: 127130
Backward progress: 124723
Backward progress: 123213
Backward progress: 122321
Backward progress: 122293
Backward progress: 122295
Backward progress: 129497
Backward progress: 127742
Backward progress: 128066
Backward progress: 127983
Backward progress: 127686
Backward progress: 127886
Backward progress: 127889
Backward progress: 127852
Backward progress: 127879
Backward progress: 127870
Backward progress: 125542
Backward progress: 125232
Backward progress: 125150
Backward progress: 124913
Backward progress: 117716
Backward progress: 117715
Backward progress: 112131
Backward progress: 112854
Backward progress: 112161
Backward progress: 110790
Backward progress: 110774
Backward progress: 110378
Backward progress: 110378
Backward progress: 122313
Backward progress: 126815
Backward progress: 181749
Backward progress: 315792
Backward progress: 303607
Backward progress: 302693
Backward progress: 302952
Backward progress: 302785
Backward progress: 302109
Backward progress: 302107
Backward progress: 301321
Backward progress: 307294
Backward progress: 349731
Backward progress: 345230
Backward progress: 352845
Backward progress: 353615
Backward progress: 350319
Backward progress: 349171
Backward progress: 347826
Backward progress: 380909
Backward progress: 384055
Backward progress: 395494
Backward progress: 409311
Backward progress: 431026
Backward progress: 417997
Backward progress: 417496
Backward progress: 417599
Backward progress: 417531
Backward progress: 416923
Backward progress: 416923
Backward progress: 412531
Backward progress: 407494
Backward progress: 406105
Backward progress: 382470
Backward progress: 384480
Backward progress: 377416
Backward progress: 379150
Backward progress: 378438
Backward progress: 386576
Backward progress: 371192
Backward progress: 338069
Backward progress: 389848
Backward progress: 389928
Backward progress: 388102
Backward progress: 388046
Backward progress: 399560
Backward progress: 362151
Backward progress: 361502
Backward progress: 290840
Backward progress: 285375
Backward progress: 290408
Backward progress: 285611
Backward progress: 278911
Backward progress: 295285
Backward progress: 290241
Backward progress: 289964
Backward progress: 289528
Backward progress: 295970
Backward progress: 275425
Backward progress: 268327
Backward progress: 269302
Backward progress: 269018
Backward progress: 268664
Backward progress: 257765
Backward progress: 293733
Backward progress: 287374
Backward progress: 287633
Backward progress: 334124
Backward progress: 326432
Backward progress: 328683
Backward progress: 345745
Backward progress: 346188
Backward progress: 355537
Backward progress: 355274
Backward progress: 355284
Backward progress: 354733
Backward progress: 354725
Backward progress: 355123
Backward progress: 355125
Backward progress: 355179
Backward progress: 355066
Backward progress: 354527
Backward progress: 349614
Backward progress: 353830
Backward progress: 354288
Backward progress: 351982
Backward progress: 351991
Backward progress: 346723
Backward progress: 346013
Backward progress: 345971
Backward progress: 345818
Backward progress: 343837
Backward progress: 343503
Backward progress: 343273
Backward progress: 342231
Backward progress: 342321
Backward progress: 349769
Backward progress: 355644
Backward progress: 356822
Backward progress: 356868
Backward progress: 350517
Backward progress: 349988
Backward progress: 348705
Backward progress: 348955
Backward progress: 349095
Backward progress: 348939
Backward progress: 350020
Backward progress: 343872
Backward progress: 344124
Backward progress: 344148
Backward progress: 345757
Backward progress: 350415
Backward progress: 349731
Backward progress: 350215
Backward progress: 348679
Backward progress: 348703
Backward progress: 348871
Backward progress: 348751
Backward progress: 347119
Backward progress: 347119
Backward progress: 346987
Backward progress: 345723
Backward progress: 345963
Backward progress: 346011
Backward progress: 360043
Backward progress: 360802
Backward progress: 340721
Backward progress: 344462
Backward progress: 347503
Backward progress: 345533
Backward progress: 325421
Backward progress: 326906
Backward progress: 325921
Backward progress: 322997
Backward progress: 322760
Backward progress: 322515
Backward progress: 325000
Backward progress: 324427
Backward progress: 323739
Backward progress: 321197
Backward progress: 321187
Backward progress: 320943
Backward progress: 320132
Backward progress: 320186
Backward progress: 317907
Backward progress: 318035
Backward progress: 318500
Backward progress: 317983
Backward progress: 317281
Backward progress: 289695
Backward progress: 284121
Backward progress: 274535
Backward progress: 224114
Backward progress: 215438
Backward progress: 215118
Backward progress: 222084
Backward progress: 219490
Backward progress: 214887
Backward progress: 213132
Backward progress: 208949
Backward progress: 209006
Backward progress: 209070
Backward progress: 209103
Backward progress: 209029
Backward progress: 211073
Backward progress: 210125
Backward progress: 209118
Backward progress: 208332
Backward progress: 210446
Backward progress: 208302
Backward progress: 208257
Backward progress: 208259
Backward progress: 207387
Backward progress: 211228
Backward progress: 211223
Backward progress: 207332
Backward progress: 207370
Backward progress: 206711
Backward progress: 206680
Backward progress: 206018
Backward progress: 206017
Backward progress: 231388
Backward progress: 232714
Backward progress: 215985
Backward progress: 215987
Backward progress: 216059
Backward progress: 215922
Backward progress: 211773
Backward progress: 125593
Backward progress: 126351
Backward progress: 124615
Backward progress: 123517
Backward progress: 120489
Backward progress: 146123
Backward progress: 164424
Backward progress: 164338
Backward progress: 164348
Backward progress: 163866
Backward progress: 163412
Backward progress: 178073
Backward progress: 185960
Backward progress: 189439
Backward progress: 189477
Backward progress: 182390
Backward progress: 182234
Backward progress: 180922
Backward progress: 176576
Backward progress: 175457
Backward progress: 154870
Backward progress: 149704
Backward progress: 149740
Backward progress: 148094
Backward progress: 145981
Backward progress: 131068
Backward progress: 127792
Backward progress: 132040
Backward progress: 130093
Backward progress: 129408
Backward progress: 126315
Backward progress: 126320
Backward progress: 126536
Backward progress: 115844
Backward progress: 103117
Backward progress: 101318
Backward progress: 100218
Attractor colors: 19665670334455140000000
Attractor colors computed in 712088 ms.
Control exists for 2183328 color(s), jumping through 2251799813685248 vertices.
Elapsed: 43733 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 43.733
user ??
sys ??
