>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 32
Uncertainty colors: 152832960
Perturbation colors: 4294967296
All colors: 656412564950876200
Unknown update functions: 5
Lowest cardinality: 0
Highest cardinality: 5
Attractor colors: 202047708419063800
Attractor colors computed in 41099 ms.
Backward progress: 103279
Backward progress: 101803
Backward progress: 103651
Backward progress: 104010
Backward progress: 103621
Backward progress: 105597
Backward progress: 105437
Backward progress: 105757
Backward progress: 106245
Backward progress: 106301
Backward progress: 109303
Backward progress: 109935
Backward progress: 109863
Backward progress: 107973
Backward progress: 108577
Backward progress: 107829
Backward progress: 104603
Backward progress: 104635
Backward progress: 105379
Backward progress: 104103
Backward progress: 103903
Backward progress: 102043
Backward progress: 101691
Backward progress: 109439
Backward progress: 108027
Backward progress: 117907
Backward progress: 114591
Backward progress: 104370
Backward progress: 102314
Backward progress: 102501
Forward closed progress: 101130
Forward closed progress: 101065
Forward closed progress: 100268
Forward closed progress: 106657
Forward closed progress: 104219
Forward closed progress: 101901
Forward closed progress: 103123
Forward closed progress: 103180
Forward closed progress: 103149
Forward closed progress: 103227
Forward closed progress: 103256
Forward closed progress: 102715
Forward closed progress: 102713
Forward closed progress: 102241
Forward closed progress: 102059
Forward closed progress: 106914
Forward closed progress: 105839
Forward closed progress: 105895
Forward closed progress: 105848
Forward closed progress: 105846
Forward closed progress: 105843
Forward closed progress: 104065
Forward closed progress: 104211
Forward closed progress: 103359
Forward closed progress: 103563
Forward closed progress: 102573
Forward closed progress: 102483
Forward closed progress: 102467
Forward closed progress: 102493
Forward closed progress: 102674
Forward closed progress: 102672
Forward closed progress: 102375
Forward closed progress: 102236
Forward closed progress: 102239
Forward closed progress: 106067
Forward closed progress: 105813
Forward closed progress: 105811
Forward closed progress: 106367
Forward closed progress: 103888
Forward closed progress: 103967
Forward closed progress: 104362
Forward closed progress: 104358
Forward closed progress: 103747
Forward closed progress: 103075
Forward closed progress: 102568
Forward closed progress: 102562
Forward closed progress: 102550
Forward closed progress: 102540
Forward closed progress: 102551
Forward closed progress: 102515
Forward closed progress: 101721
Forward closed progress: 101641
Forward closed progress: 101651
Forward closed progress: 101649
Forward closed progress: 101633
Forward closed progress: 101629
Forward closed progress: 101713
Forward closed progress: 102367
Forward closed progress: 100536
Forward closed progress: 100419
Forward closed progress: 100229
Forward closed progress: 100805
Control exists for 47042898 color(s), jumping through 12 vertices.
Elapsed: 212024 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 212.024
user ??
sys ??
