>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 19440
Perturbation colors: 9007199254740992
All colors: 175099953512164900000
Unknown update functions: 6
Lowest cardinality: 1
Highest cardinality: 3
Attractor colors: 12321848580485677000
Attractor colors computed in 10296 ms.
Backward progress: 110727
Backward progress: 104145
Backward progress: 101923
Backward progress: 104105
Backward progress: 100593
Backward progress: 100673
Backward progress: 100629
Backward progress: 100633
Backward progress: 100089
Backward progress: 102151
Backward progress: 103849
Backward progress: 103658
Backward progress: 103654
Backward progress: 103958
Backward progress: 104027
Backward progress: 101974
Backward progress: 102437
Backward progress: 103281
Backward progress: 103512
Backward progress: 103445
Backward progress: 103032
Backward progress: 110267
Backward progress: 109354
Backward progress: 107290
Backward progress: 107184
Backward progress: 108578
Backward progress: 108561
Backward progress: 108767
Backward progress: 131823
Backward progress: 149379
Backward progress: 151623
Backward progress: 151647
Backward progress: 150979
Backward progress: 170007
Backward progress: 183469
Backward progress: 189223
Backward progress: 189023
Backward progress: 188103
Backward progress: 193502
Backward progress: 183694
Backward progress: 186988
Backward progress: 187056
Backward progress: 183986
Backward progress: 183730
Backward progress: 179878
Backward progress: 179088
Backward progress: 214953
Backward progress: 215517
Backward progress: 204238
Backward progress: 203195
Backward progress: 240296
Backward progress: 239327
Backward progress: 229587
Backward progress: 228506
Backward progress: 228452
Backward progress: 225696
Backward progress: 224378
Backward progress: 224068
Backward progress: 223868
Backward progress: 224241
Backward progress: 222630
Backward progress: 205137
Backward progress: 203710
Backward progress: 194149
Backward progress: 199372
Backward progress: 199460
Backward progress: 194841
Backward progress: 192012
Backward progress: 185202
Backward progress: 190921
Backward progress: 191023
Backward progress: 195371
Backward progress: 194741
Backward progress: 194873
Backward progress: 192143
Backward progress: 323493
Backward progress: 336074
Backward progress: 278759
Backward progress: 269765
Backward progress: 269987
Backward progress: 264024
Backward progress: 252722
Backward progress: 253528
Backward progress: 253958
Backward progress: 261202
Backward progress: 258987
Backward progress: 267050
Backward progress: 266478
Backward progress: 260571
Backward progress: 262814
Backward progress: 295446
Backward progress: 297322
Backward progress: 280633
Backward progress: 243130
Backward progress: 244888
Backward progress: 241162
Backward progress: 240608
Backward progress: 229628
Backward progress: 236343
Backward progress: 236383
Backward progress: 234186
Backward progress: 234142
Backward progress: 233558
Backward progress: 229556
Backward progress: 227283
Backward progress: 225583
Backward progress: 226605
Backward progress: 226502
Backward progress: 226681
Backward progress: 228537
Backward progress: 228280
Backward progress: 217299
Backward progress: 221181
Backward progress: 217559
Backward progress: 215564
Backward progress: 215578
Backward progress: 215098
Backward progress: 215315
Backward progress: 214914
Backward progress: 214448
Backward progress: 214967
Backward progress: 207384
Backward progress: 208093
Backward progress: 205988
Backward progress: 196474
Backward progress: 195446
Backward progress: 202434
Backward progress: 202490
Backward progress: 199806
Backward progress: 199764
Backward progress: 199442
Backward progress: 195039
Backward progress: 191884
Backward progress: 263992
Backward progress: 251968
Backward progress: 254314
Backward progress: 239844
Backward progress: 235778
Backward progress: 266560
Backward progress: 266796
Backward progress: 248810
Backward progress: 246645
Backward progress: 246555
Backward progress: 240365
Backward progress: 236515
Backward progress: 235881
Backward progress: 235637
Backward progress: 235998
Backward progress: 232959
Backward progress: 227741
Backward progress: 225696
Backward progress: 225114
Backward progress: 223678
Backward progress: 224002
Backward progress: 223712
Backward progress: 223665
Backward progress: 222888
Backward progress: 224669
Backward progress: 222802
Backward progress: 218849
Backward progress: 220071
Backward progress: 218741
Backward progress: 215647
Backward progress: 245657
Backward progress: 245865
Backward progress: 219232
Backward progress: 220273
Backward progress: 184225
Backward progress: 178155
Backward progress: 182073
Backward progress: 177605
Backward progress: 172809
Backward progress: 179212
Backward progress: 177429
Backward progress: 181313
Backward progress: 177942
Backward progress: 179316
Backward progress: 180306
Backward progress: 180528
Backward progress: 181000
Backward progress: 180996
Backward progress: 182014
Backward progress: 182230
Backward progress: 183602
Backward progress: 183606
Backward progress: 183257
Backward progress: 182773
Backward progress: 183634
Backward progress: 172516
Backward progress: 174135
Backward progress: 174155
Backward progress: 174318
Backward progress: 174287
Backward progress: 174382
Backward progress: 174800
Backward progress: 174804
Backward progress: 174621
Backward progress: 174361
Backward progress: 174335
Backward progress: 176242
Backward progress: 176178
Backward progress: 175207
Backward progress: 174983
Backward progress: 174999
Backward progress: 204306
Backward progress: 205598
Backward progress: 101495
Backward progress: 102512
Backward progress: 104390
Backward progress: 100807
Backward progress: 134776
Backward progress: 133085
Backward progress: 130849
Backward progress: 131057
Backward progress: 130874
Backward progress: 126963
Backward progress: 130365
Backward progress: 158774
Backward progress: 160017
Backward progress: 162423
Backward progress: 174363
Backward progress: 166035
Backward progress: 171187
Backward progress: 191084
Backward progress: 197464
Backward progress: 214414
Backward progress: 218480
Backward progress: 226046
Backward progress: 222790
Backward progress: 222077
Backward progress: 222212
Backward progress: 222174
Backward progress: 209541
Backward progress: 203767
Backward progress: 200988
Backward progress: 191465
Backward progress: 207070
Backward progress: 202286
Backward progress: 207568
Backward progress: 209640
Backward progress: 209720
Backward progress: 224103
Backward progress: 252759
Backward progress: 252310
Backward progress: 249453
Backward progress: 249326
Backward progress: 248594
Backward progress: 273645
Backward progress: 211368
Backward progress: 208813
Backward progress: 197070
Backward progress: 180706
Backward progress: 182021
Backward progress: 180685
Backward progress: 186678
Backward progress: 172962
Backward progress: 180194
Backward progress: 180228
Backward progress: 176997
Backward progress: 176968
Backward progress: 174821
Backward progress: 170799
Backward progress: 170161
Backward progress: 173640
Backward progress: 199730
Backward progress: 188541
Backward progress: 191088
Backward progress: 192410
Backward progress: 192411
Backward progress: 192469
Backward progress: 192478
Backward progress: 192441
Backward progress: 192455
Backward progress: 192842
Backward progress: 192835
Backward progress: 193472
Backward progress: 193470
Backward progress: 193498
Backward progress: 193502
Backward progress: 193065
Backward progress: 193471
Backward progress: 194109
Backward progress: 194057
Backward progress: 195864
Backward progress: 195479
Backward progress: 195465
Backward progress: 195436
Backward progress: 197091
Backward progress: 197297
Backward progress: 197305
Backward progress: 196189
Backward progress: 196243
Backward progress: 195902
Backward progress: 196009
Backward progress: 194403
Backward progress: 194841
Backward progress: 194845
Backward progress: 194149
Backward progress: 193913
Backward progress: 193546
Backward progress: 206348
Backward progress: 208203
Backward progress: 197077
Backward progress: 206550
Backward progress: 206570
Backward progress: 202776
Backward progress: 202691
Backward progress: 200511
Backward progress: 194157
Backward progress: 193152
Backward progress: 195657
Backward progress: 196092
Backward progress: 187539
Backward progress: 184468
Backward progress: 177951
Backward progress: 181222
Backward progress: 177951
Backward progress: 180700
Backward progress: 175267
Backward progress: 176135
Backward progress: 176441
Backward progress: 176682
Backward progress: 176686
Backward progress: 177503
Backward progress: 177618
Backward progress: 178698
Backward progress: 178702
Backward progress: 178336
Backward progress: 177952
Backward progress: 179084
Backward progress: 179100
Backward progress: 179300
Backward progress: 179213
Backward progress: 179293
Backward progress: 179592
Backward progress: 179596
Backward progress: 179460
Backward progress: 179275
Backward progress: 179251
Backward progress: 180537
Backward progress: 180484
Backward progress: 179777
Backward progress: 179627
Backward progress: 179635
Backward progress: 196710
Backward progress: 184869
Backward progress: 184863
Backward progress: 184893
Backward progress: 184909
Backward progress: 184909
Backward progress: 184953
Backward progress: 184824
Control exists for 1368 color(s), jumping through 8 vertices.
Elapsed: 445034 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 445.034
user ??
sys ??
