>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 2160
Perturbation colors: 9007199254740992
All colors: 19455550390240543000
Unknown update functions: 5
Lowest cardinality: 0
Highest cardinality: 3
Attractor colors: 2522015791327478000
Attractor colors computed in 2113 ms.
Backward progress: 111821
Backward progress: 111383
Backward progress: 106002
Backward progress: 105397
Backward progress: 104532
Backward progress: 104194
Backward progress: 148170
Backward progress: 155532
Backward progress: 126546
Backward progress: 120914
Backward progress: 120992
Backward progress: 118171
Backward progress: 113125
Backward progress: 113839
Backward progress: 114017
Backward progress: 115860
Backward progress: 115519
Backward progress: 118739
Backward progress: 119590
Backward progress: 117864
Backward progress: 119539
Backward progress: 119539
Backward progress: 120098
Backward progress: 114028
Backward progress: 110313
Backward progress: 111978
Backward progress: 109407
Backward progress: 108546
Backward progress: 104084
Backward progress: 107238
Backward progress: 107262
Backward progress: 106378
Backward progress: 106366
Backward progress: 106160
Backward progress: 104106
Backward progress: 103229
Backward progress: 102787
Backward progress: 104441
Backward progress: 104538
Backward progress: 104612
Backward progress: 105217
Backward progress: 105181
Backward progress: 102590
Backward progress: 104274
Backward progress: 102528
Backward progress: 101183
Backward progress: 101207
Backward progress: 100955
Backward progress: 101019
Backward progress: 100939
Backward progress: 100690
Backward progress: 100587
Backward progress: 141411
Backward progress: 132087
Backward progress: 133542
Backward progress: 130806
Backward progress: 127199
Backward progress: 140570
Backward progress: 140674
Backward progress: 130521
Backward progress: 129323
Backward progress: 126949
Backward progress: 125939
Backward progress: 125586
Backward progress: 127057
Backward progress: 128447
Backward progress: 127897
Backward progress: 128185
Backward progress: 128169
Backward progress: 128626
Backward progress: 128413
Backward progress: 129231
Backward progress: 128335
Backward progress: 121046
Backward progress: 126602
Backward progress: 124608
Backward progress: 123306
Backward progress: 140037
Backward progress: 143499
Backward progress: 128479
Backward progress: 136820
Backward progress: 120286
Backward progress: 116075
Backward progress: 120332
Backward progress: 117437
Backward progress: 112392
Backward progress: 117826
Backward progress: 115650
Backward progress: 119196
Backward progress: 117363
Backward progress: 118062
Backward progress: 119002
Backward progress: 119173
Backward progress: 119370
Backward progress: 119248
Backward progress: 120240
Backward progress: 120292
Backward progress: 120794
Backward progress: 120798
Backward progress: 120606
Backward progress: 120678
Backward progress: 120675
Backward progress: 122122
Backward progress: 114763
Backward progress: 116197
Backward progress: 116243
Backward progress: 116299
Backward progress: 116276
Backward progress: 116363
Backward progress: 116525
Backward progress: 116529
Backward progress: 116401
Backward progress: 116398
Backward progress: 116388
Backward progress: 116514
Backward progress: 118304
Backward progress: 118164
Backward progress: 117460
Backward progress: 117399
Backward progress: 117413
Backward progress: 119212
Backward progress: 156702
Backward progress: 202830
Backward progress: 123776
Backward progress: 143261
Backward progress: 149449
Backward progress: 146732
Backward progress: 147010
Backward progress: 146991
Backward progress: 121048
Backward progress: 117467
Backward progress: 120814
Backward progress: 101551
Backward progress: 116324
Backward progress: 109203
Backward progress: 114677
Backward progress: 118497
Backward progress: 120116
Backward progress: 142856
Backward progress: 150797
Backward progress: 150286
Backward progress: 167095
Backward progress: 158329
Backward progress: 160791
Backward progress: 160179
Backward progress: 111648
Backward progress: 116770
Backward progress: 112860
Backward progress: 126818
Backward progress: 111986
Backward progress: 119072
Backward progress: 119134
Backward progress: 117314
Backward progress: 117294
Backward progress: 115796
Backward progress: 109640
Backward progress: 107852
Backward progress: 107852
Backward progress: 107852
Backward progress: 101930
Backward progress: 116407
Backward progress: 120633
Backward progress: 110628
Backward progress: 115094
Backward progress: 115138
Backward progress: 112416
Backward progress: 112376
Backward progress: 110474
Backward progress: 107350
Backward progress: 105494
Backward progress: 106808
Backward progress: 106734
Backward progress: 106715
Backward progress: 106442
Backward progress: 107998
Backward progress: 106322
Backward progress: 106338
Backward progress: 130410
Backward progress: 153264
Backward progress: 150834
Backward progress: 160884
Backward progress: 150662
Backward progress: 164068
Backward progress: 150662
Backward progress: 159414
Backward progress: 149310
Backward progress: 151190
Backward progress: 151584
Backward progress: 152046
Backward progress: 152046
Backward progress: 154954
Backward progress: 155054
Backward progress: 157426
Backward progress: 157434
Backward progress: 156618
Backward progress: 157360
Backward progress: 157358
Backward progress: 161812
Backward progress: 161904
Backward progress: 162020
Backward progress: 161974
Backward progress: 162250
Backward progress: 162988
Backward progress: 162996
Backward progress: 162378
Backward progress: 162346
Backward progress: 162322
Backward progress: 162530
Backward progress: 167890
Backward progress: 167530
Backward progress: 165772
Backward progress: 165442
Backward progress: 165702
Backward progress: 165702
Backward progress: 103320
Backward progress: 100594
Backward progress: 100626
Backward progress: 113670
Backward progress: 116434
Backward progress: 115174
Backward progress: 114846
Backward progress: 121132
Backward progress: 121704
Backward progress: 146434
Backward progress: 154574
Backward progress: 151832
Backward progress: 152000
Backward progress: 144909
Backward progress: 149900
Backward progress: 159496
Backward progress: 153724
Backward progress: 155413
Backward progress: 155759
Backward progress: 171514
Backward progress: 171095
Backward progress: 162288
Backward progress: 155471
Backward progress: 154026
Backward progress: 135938
Backward progress: 135986
Backward progress: 134517
Backward progress: 102726
Backward progress: 125960
Backward progress: 160220
Backward progress: 160098
Backward progress: 159654
Backward progress: 159800
Backward progress: 159823
Backward progress: 155807
Backward progress: 159759
Backward progress: 183432
Backward progress: 183378
Backward progress: 183796
Backward progress: 198932
Backward progress: 192573
Backward progress: 200021
Backward progress: 253920
Backward progress: 262790
Backward progress: 282054
Backward progress: 287368
Backward progress: 277257
Backward progress: 277365
Backward progress: 264234
Backward progress: 252326
Backward progress: 241237
Backward progress: 237152
Backward progress: 239600
Backward progress: 264564
Backward progress: 259288
Backward progress: 265034
Backward progress: 265227
Backward progress: 265365
Backward progress: 279364
Backward progress: 283258
Backward progress: 283027
Backward progress: 282632
Backward progress: 309416
Backward progress: 277011
Backward progress: 276930
Backward progress: 196669
Backward progress: 181999
Backward progress: 176615
Backward progress: 176697
Backward progress: 163289
Backward progress: 168474
Backward progress: 167485
Backward progress: 174366
Backward progress: 167859
Backward progress: 170270
Backward progress: 170286
Backward progress: 169751
Backward progress: 169748
Backward progress: 169499
Backward progress: 167271
Backward progress: 165835
Backward progress: 166448
Backward progress: 171922
Backward progress: 169043
Backward progress: 169179
Backward progress: 169149
Backward progress: 176195
Backward progress: 177091
Backward progress: 172587
Backward progress: 173884
Backward progress: 173892
Backward progress: 173030
Backward progress: 173017
Backward progress: 172778
Backward progress: 171362
Backward progress: 171283
Backward progress: 173039
Backward progress: 173514
Backward progress: 173606
Backward progress: 186439
Backward progress: 187876
Backward progress: 192623
Backward progress: 187876
Backward progress: 190548
Backward progress: 188188
Backward progress: 188741
Backward progress: 188888
Backward progress: 189026
Backward progress: 189029
Backward progress: 189697
Backward progress: 189723
Backward progress: 190494
Backward progress: 190498
Backward progress: 190178
Backward progress: 190113
Backward progress: 190111
Backward progress: 190998
Backward progress: 191027
Backward progress: 191067
Backward progress: 191040
Backward progress: 191095
Backward progress: 191329
Backward progress: 191333
Backward progress: 191157
Backward progress: 191127
Backward progress: 191120
Backward progress: 191179
Backward progress: 192081
Backward progress: 192007
Backward progress: 191599
Backward progress: 191515
Backward progress: 191550
Backward progress: 205469
Backward progress: 115564
Control exists for 280 color(s), jumping through 8 vertices.
Elapsed: 336453 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 336.453
user ??
sys ??
