>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 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: 14915921965851083000
Attractor colors computed in 1888 ms.
Backward progress: 117971
Backward progress: 131536
Backward progress: 132134
Backward progress: 132138
Backward progress: 120837
Backward progress: 131617
Backward progress: 139220
Backward progress: 142397
Backward progress: 129399
Backward progress: 123873
Backward progress: 128412
Backward progress: 121955
Backward progress: 124653
Backward progress: 124671
Backward progress: 122675
Backward progress: 121939
Backward progress: 119164
Backward progress: 118162
Backward progress: 191673
Backward progress: 197337
Backward progress: 191192
Backward progress: 175432
Backward progress: 215965
Backward progress: 215191
Backward progress: 207778
Backward progress: 206294
Backward progress: 205261
Backward progress: 204583
Backward progress: 203994
Backward progress: 195300
Backward progress: 200386
Backward progress: 200404
Backward progress: 197534
Backward progress: 193067
Backward progress: 160495
Backward progress: 178544
Backward progress: 178800
Backward progress: 196851
Backward progress: 195715
Backward progress: 195731
Backward progress: 190490
Backward progress: 171273
Backward progress: 282755
Backward progress: 295190
Backward progress: 245370
Backward progress: 233088
Backward progress: 233166
Backward progress: 228945
Backward progress: 216816
Backward progress: 217750
Backward progress: 219242
Backward progress: 222838
Backward progress: 222158
Backward progress: 223872
Backward progress: 223177
Backward progress: 223222
Backward progress: 220471
Backward progress: 239104
Backward progress: 239104
Backward progress: 239818
Backward progress: 230865
Backward progress: 218756
Backward progress: 218254
Backward progress: 219339
Backward progress: 215907
Backward progress: 218081
Backward progress: 207249
Backward progress: 209000
Backward progress: 209012
Backward progress: 205798
Backward progress: 205191
Backward progress: 204503
Backward progress: 202714
Backward progress: 202251
Backward progress: 208718
Backward progress: 208421
Backward progress: 208990
Backward progress: 211000
Backward progress: 210873
Backward progress: 205231
Backward progress: 205939
Backward progress: 204417
Backward progress: 198720
Backward progress: 198768
Backward progress: 198609
Backward progress: 198823
Backward progress: 198549
Backward progress: 197726
Backward progress: 197616
Backward progress: 197142
Backward progress: 191545
Backward progress: 191878
Backward progress: 189671
Backward progress: 179681
Backward progress: 177594
Backward progress: 177577
Backward progress: 177585
Backward progress: 172960
Backward progress: 170783
Backward progress: 257364
Backward progress: 250195
Backward progress: 250921
Backward progress: 236624
Backward progress: 233278
Backward progress: 266855
Backward progress: 266907
Backward progress: 250113
Backward progress: 246260
Backward progress: 238357
Backward progress: 236428
Backward progress: 235064
Backward progress: 242708
Backward progress: 235462
Backward progress: 235153
Backward progress: 236248
Backward progress: 236401
Backward progress: 236914
Backward progress: 236783
Backward progress: 238639
Backward progress: 236703
Backward progress: 231289
Backward progress: 232836
Backward progress: 230140
Backward progress: 228990
Backward progress: 261546
Backward progress: 273017
Backward progress: 244813
Backward progress: 274550
Backward progress: 246964
Backward progress: 241426
Backward progress: 253996
Backward progress: 248107
Backward progress: 233759
Backward progress: 244927
Backward progress: 242098
Backward progress: 251829
Backward progress: 246365
Backward progress: 247421
Backward progress: 251365
Backward progress: 251723
Backward progress: 252649
Backward progress: 252095
Backward progress: 253847
Backward progress: 256370
Backward progress: 256372
Backward progress: 256028
Backward progress: 255441
Backward progress: 259184
Backward progress: 240594
Backward progress: 248442
Backward progress: 248494
Backward progress: 253418
Backward progress: 253263
Backward progress: 253157
Backward progress: 254153
Backward progress: 254477
Backward progress: 254479
Backward progress: 254334
Backward progress: 254091
Backward progress: 248645
Backward progress: 255487
Backward progress: 254182
Backward progress: 251500
Backward progress: 250823
Backward progress: 250811
Backward progress: 250922
Backward progress: 250856
Backward progress: 253517
Backward progress: 101275
Backward progress: 101277
Backward progress: 100617
Backward progress: 108064
Backward progress: 108132
Backward progress: 113140
Backward progress: 112969
Backward progress: 112807
Backward progress: 113811
Backward progress: 114438
Backward progress: 114440
Backward progress: 114165
Backward progress: 113679
Backward progress: 107624
Backward progress: 114628
Backward progress: 113360
Backward progress: 111597
Backward progress: 110267
Backward progress: 110260
Backward progress: 110380
Backward progress: 110310
Backward progress: 110310
Control exists for 1656 color(s), jumping through 8 vertices.
Elapsed: 344620 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 344.62
user ??
sys ??
