>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> one-step CONTROL
Variables: 53
Uncertainty colors: 229249440
Perturbation colors: 9007199254740992
All colors: 2064895385117789800000000
Unknown update functions: 5
Lowest cardinality: 1
Highest cardinality: 5
Backward progress: 100070
Backward progress: 121178
Backward progress: 100091
Backward progress: 121012
Backward progress: 137269
Backward progress: 137207
Backward progress: 137820
Backward progress: 137798
Backward progress: 137875
Backward progress: 137856
Backward progress: 137854
Backward progress: 143699
Backward progress: 143668
Backward progress: 139210
Backward progress: 139234
Backward progress: 165539
Backward progress: 164477
Backward progress: 164291
Backward progress: 164335
Backward progress: 164347
Backward progress: 164002
Backward progress: 142988
Backward progress: 159892
Backward progress: 117213
Backward progress: 130400
Backward progress: 150481
Backward progress: 137449
Backward progress: 143819
Backward progress: 145922
Backward progress: 145941
Backward progress: 145925
Backward progress: 143604
Backward progress: 143582
Backward progress: 145847
Backward progress: 144246
Backward progress: 144058
Backward progress: 143862
Backward progress: 143902
Backward progress: 143910
Backward progress: 143840
Backward progress: 112446
Backward progress: 110953
Backward progress: 108914
Backward progress: 110582
Backward progress: 110041
Backward progress: 111433
Backward progress: 121574
Backward progress: 122637
Backward progress: 121339
Backward progress: 119988
Backward progress: 120538
Backward progress: 120533
Backward progress: 120523
Backward progress: 120482
Backward progress: 122682
Backward progress: 112721
Backward progress: 113929
Backward progress: 103628
Backward progress: 100787
Backward progress: 100872
Backward progress: 101702
Backward progress: 100904
Backward progress: 102172
Backward progress: 103956
Backward progress: 103675
Backward progress: 102320
Backward progress: 100908
Backward progress: 100888
Backward progress: 101138
Backward progress: 111620
Backward progress: 105473
Backward progress: 101266
Backward progress: 112989
Backward progress: 108448
Backward progress: 100754
FWD-attractor: 112751
FWD-attractor: 119709
FWD-attractor: 132506
FWD-attractor: 143921
FWD-attractor: 146259
FWD-attractor: 153182
FWD-attractor: 157852
FWD-attractor: 130601
FWD-attractor: 160170
FWD-attractor: 159046
FWD-attractor: 156657
FWD-attractor: 160185
FWD-attractor: 166264
FWD-attractor: 151463
FWD-attractor: 152656
FWD-attractor: 155880
FWD-attractor: 145997
FWD-attractor: 144632
FWD-attractor: 143543
FWD-attractor: 139165
FWD-attractor: 134745
FWD-attractor: 131599
FWD-attractor: 132168
FWD-attractor: 136877
FWD-attractor: 136121
FWD-attractor: 136373
FWD-attractor: 126569
FWD-attractor: 173979
FWD-attractor: 169987
FWD-attractor: 144533
FWD-attractor: 139853
FWD-attractor: 139604
FWD-attractor: 140082
FWD-attractor: 145377
FWD-attractor: 139900
FWD-attractor: 141520
FWD-attractor: 139920
FWD-attractor: 142861
FWD-attractor: 143196
FWD-attractor: 142582
FWD-attractor: 142736
FWD-attractor: 138900
FWD-attractor: 135271
FWD-attractor: 131345
FWD-attractor: 130498
FWD-attractor: 136531
FWD-attractor: 139697
FWD-attractor: 140233
FWD-attractor: 140137
FWD-attractor: 139642
FWD-attractor: 140460
FWD-attractor: 143524
FWD-attractor: 143351
FWD-attractor: 144403
FWD-attractor: 144693
FWD-attractor: 143477
FWD-attractor: 143263
FWD-attractor: 143849
FWD-attractor: 143865
FWD-attractor: 142164
FWD-attractor: 143275
FWD-attractor: 144326
FWD-attractor: 143112
FWD-attractor: 143768
FWD-attractor: 143891
FWD-attractor: 146791
FWD-attractor: 145695
FWD-attractor: 148467
FWD-attractor: 149401
FWD-attractor: 150254
FWD-attractor: 149590
FWD-attractor: 150171
FWD-attractor: 149755
FWD-attractor: 150346
FWD-attractor: 150840
FWD-attractor: 150601
FWD-attractor: 150642
FWD-attractor: 150064
FWD-attractor: 149566
FWD-attractor: 148732
FWD-attractor: 148651
FWD-attractor: 148619
FWD-attractor: 236785
FWD-attractor: 198391
FWD-attractor: 188270
FWD-attractor: 172035
Attractor colors: 414310647318183300000000
Attractor colors computed in 379964 ms.
Control exists for 45997722 color(s), jumping through 9007199254740992 vertices.
Elapsed: 88995 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 88.995
user ??
sys ??
