>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 38880
Perturbation colors: 9007199254740992
All colors: 350199907024329800000
Unknown update functions: 7
Lowest cardinality: 0
Highest cardinality: 3
Attractor colors: 9079256848778920000
Attractor colors computed in 9059 ms.
Backward progress: 205579
Backward progress: 215302
Backward progress: 164547
Backward progress: 169689
Backward progress: 166545
Backward progress: 160901
Backward progress: 161213
Backward progress: 157204
Backward progress: 129680
Backward progress: 123272
Backward progress: 115065
Backward progress: 109831
Backward progress: 108078
Backward progress: 107639
Backward progress: 120047
Backward progress: 125029
Backward progress: 121629
Backward progress: 125733
Backward progress: 121427
Backward progress: 122709
Backward progress: 118101
Backward progress: 103314
Backward progress: 101850
Backward progress: 138389
Backward progress: 135536
Backward progress: 136216
Backward progress: 144663
Backward progress: 144417
Backward progress: 146218
Backward progress: 144396
Backward progress: 158880
Backward progress: 147986
Backward progress: 141975
Backward progress: 141999
Backward progress: 141466
Backward progress: 141742
Backward progress: 141211
Backward progress: 140003
Backward progress: 139418
Backward progress: 130281
Backward progress: 131744
Backward progress: 125695
Backward progress: 105573
Backward progress: 103833
Backward progress: 114114
Backward progress: 114156
Backward progress: 103301
Backward progress: 197882
Backward progress: 190821
Backward progress: 191925
Backward progress: 171810
Backward progress: 167626
Backward progress: 208863
Backward progress: 208965
Backward progress: 191879
Backward progress: 182307
Backward progress: 177293
Backward progress: 171256
Backward progress: 170708
Backward progress: 170648
Backward progress: 170854
Backward progress: 171541
Backward progress: 170189
Backward progress: 170737
Backward progress: 170554
Backward progress: 171057
Backward progress: 170972
Backward progress: 172390
Backward progress: 170887
Backward progress: 166621
Backward progress: 172683
Backward progress: 171431
Backward progress: 168483
Backward progress: 185766
Backward progress: 184631
Backward progress: 174706
Backward progress: 176973
Backward progress: 136297
Backward progress: 133434
Backward progress: 136995
Backward progress: 134594
Backward progress: 130511
Backward progress: 129676
Backward progress: 129455
Backward progress: 132484
Backward progress: 132042
Backward progress: 152652
Backward progress: 151459
Backward progress: 152048
Backward progress: 156353
Backward progress: 156240
Backward progress: 159757
Backward progress: 165656
Backward progress: 163244
Backward progress: 162814
Backward progress: 163833
Backward progress: 163637
Backward progress: 164334
Backward progress: 163869
Backward progress: 164432
Backward progress: 164050
Backward progress: 161439
Backward progress: 161273
Backward progress: 163020
Backward progress: 160580
Backward progress: 161616
Backward progress: 155252
Backward progress: 154031
Backward progress: 153125
Backward progress: 157068
Backward progress: 157081
Backward progress: 152873
Backward progress: 152869
Backward progress: 153048
Backward progress: 153050
Backward progress: 152962
Backward progress: 152834
Backward progress: 152848
Backward progress: 142753
Backward progress: 141063
Backward progress: 147942
Backward progress: 147966
Backward progress: 140530
Backward progress: 140442
Backward progress: 133889
Backward progress: 133897
Backward progress: 132720
Backward progress: 133569
Control exists for 1008 color(s), jumping through 6 vertices.
Elapsed: 141143 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 141.143
user ??
sys ??
