>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 82301184
Perturbation colors: 9007199254740992
All colors: 741303163189101300000000
Unknown update functions: 8
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 30324717874921593000000
Attractor colors computed in 44465 ms.
Backward progress: 105698
Backward progress: 106324
Backward progress: 106579
Backward progress: 103949
Backward progress: 103328
Backward progress: 131661
Backward progress: 131433
Backward progress: 111565
Backward progress: 108914
Backward progress: 107409
Backward progress: 105696
Backward progress: 109624
Backward progress: 102846
Backward progress: 106868
Backward progress: 106886
Backward progress: 102982
Backward progress: 102052
Backward progress: 100695
Backward progress: 100830
Backward progress: 104536
Backward progress: 104332
Backward progress: 104428
Backward progress: 101846
Backward progress: 187441
Backward progress: 201618
Backward progress: 148626
Backward progress: 142731
Backward progress: 142868
Backward progress: 137976
Backward progress: 133290
Backward progress: 134432
Backward progress: 134931
Backward progress: 143977
Backward progress: 141719
Backward progress: 143903
Backward progress: 147905
Backward progress: 145316
Backward progress: 149346
Backward progress: 149346
Backward progress: 149990
Backward progress: 139167
Backward progress: 133891
Backward progress: 138342
Backward progress: 133102
Backward progress: 131960
Backward progress: 121874
Backward progress: 126981
Backward progress: 126993
Backward progress: 122968
Backward progress: 122942
Backward progress: 121866
Backward progress: 118124
Backward progress: 117414
Backward progress: 117963
Backward progress: 118486
Backward progress: 118549
Backward progress: 120655
Backward progress: 120315
Backward progress: 118092
Backward progress: 118488
Backward progress: 117264
Backward progress: 115795
Backward progress: 116099
Backward progress: 115467
Backward progress: 116127
Backward progress: 115559
Backward progress: 115075
Backward progress: 116379
Backward progress: 113921
Backward progress: 114978
Backward progress: 113215
Backward progress: 109959
Backward progress: 105953
Backward progress: 110204
Backward progress: 110212
Backward progress: 105867
Backward progress: 101781
Backward progress: 189281
Backward progress: 177098
Backward progress: 184163
Backward progress: 190688
Backward progress: 188393
Backward progress: 247843
Backward progress: 247895
Backward progress: 214198
Backward progress: 208922
Backward progress: 203650
Backward progress: 198919
Backward progress: 198717
Backward progress: 198929
Backward progress: 200614
Backward progress: 199764
Backward progress: 199332
Backward progress: 200136
Backward progress: 201665
Backward progress: 201572
Backward progress: 203217
Backward progress: 201527
Backward progress: 197945
Backward progress: 200929
Backward progress: 200390
Backward progress: 198840
Backward progress: 222058
Backward progress: 224135
Backward progress: 203969
Backward progress: 209683
Backward progress: 190336
Backward progress: 174450
Backward progress: 182431
Backward progress: 180819
Backward progress: 170157
Backward progress: 179112
Backward progress: 177934
Backward progress: 180834
Backward progress: 185979
Backward progress: 186929
Backward progress: 189257
Backward progress: 189224
Backward progress: 191497
Backward progress: 196639
Backward progress: 195726
Backward progress: 195291
Backward progress: 195340
Backward progress: 199108
Backward progress: 199622
Backward progress: 200497
Backward progress: 200482
Backward progress: 202534
Backward progress: 211355
Backward progress: 211361
Backward progress: 209449
Backward progress: 209409
Backward progress: 208857
Backward progress: 204862
Backward progress: 208643
Backward progress: 185476
Backward progress: 187764
Backward progress: 187816
Backward progress: 188757
Backward progress: 188729
Backward progress: 190242
Backward progress: 191886
Backward progress: 191888
Backward progress: 191074
Backward progress: 190682
Backward progress: 189890
Backward progress: 192270
Backward progress: 192202
Backward progress: 190767
Backward progress: 189952
Backward progress: 189459
Backward progress: 190419
Forward closed progress: 103665
Forward closed progress: 114849
Forward closed progress: 114675
Forward closed progress: 125751
Forward closed progress: 145073
Forward closed progress: 136728
Forward closed progress: 141222
Forward closed progress: 141348
Forward closed progress: 139516
Forward closed progress: 135316
Forward closed progress: 129241
Forward closed progress: 121185
Forward closed progress: 121209
Forward closed progress: 119260
Forward closed progress: 128973
Forward closed progress: 106321
Forward closed progress: 108630
Forward closed progress: 107357
Forward closed progress: 105029
Control exists for 3366720 color(s), jumping through 6 vertices.
Elapsed: 236996 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 236.996
user ??
sys ??
