>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 20
Perturbation colors: 9007199254740992
All colors: 180143985094819840
Unknown update functions: 1
Lowest cardinality: 3
Highest cardinality: 3
Attractor colors: 54043195528445950
Attractor colors computed in 1419 ms.
Backward progress: 118327
Backward progress: 132418
Backward progress: 133074
Backward progress: 133078
Backward progress: 132878
Backward progress: 147288
Backward progress: 160348
Backward progress: 161698
Backward progress: 161836
Backward progress: 161256
Backward progress: 157062
Backward progress: 160038
Backward progress: 155497
Backward progress: 156926
Backward progress: 156944
Backward progress: 155565
Backward progress: 155509
Backward progress: 153952
Backward progress: 153710
Backward progress: 170379
Backward progress: 171474
Backward progress: 160419
Backward progress: 160047
Backward progress: 187148
Backward progress: 186307
Backward progress: 181212
Backward progress: 180297
Backward progress: 178653
Backward progress: 178174
Backward progress: 177672
Backward progress: 160310
Backward progress: 158764
Backward progress: 155038
Backward progress: 156508
Backward progress: 156526
Backward progress: 155162
Backward progress: 154191
Backward progress: 147622
Backward progress: 152529
Backward progress: 152784
Backward progress: 155604
Backward progress: 155015
Backward progress: 155031
Backward progress: 153891
Backward progress: 258457
Backward progress: 277357
Backward progress: 216381
Backward progress: 209887
Backward progress: 209965
Backward progress: 202091
Backward progress: 198077
Backward progress: 200202
Backward progress: 201267
Backward progress: 203984
Backward progress: 203471
Backward progress: 210009
Backward progress: 210228
Backward progress: 205574
Backward progress: 210840
Backward progress: 210840
Backward progress: 211432
Backward progress: 198050
Backward progress: 191463
Backward progress: 192181
Backward progress: 190507
Backward progress: 188959
Backward progress: 179254
Backward progress: 183136
Backward progress: 183148
Backward progress: 181873
Backward progress: 181861
Backward progress: 181553
Backward progress: 179249
Backward progress: 177997
Backward progress: 175779
Backward progress: 179541
Backward progress: 179666
Backward progress: 180159
Backward progress: 181192
Backward progress: 181156
Backward progress: 174829
Backward progress: 178067
Backward progress: 174169
Backward progress: 171864
Backward progress: 171890
Backward progress: 171368
Backward progress: 171430
Backward progress: 171330
Backward progress: 171000
Backward progress: 171004
Backward progress: 165768
Backward progress: 165972
Backward progress: 165148
Backward progress: 155906
Backward progress: 155223
Backward progress: 160174
Backward progress: 160182
Backward progress: 158709
Backward progress: 158731
Backward progress: 158593
Backward progress: 155149
Backward progress: 153710
Backward progress: 216217
Backward progress: 208052
Backward progress: 210932
Backward progress: 202869
Backward progress: 199707
Backward progress: 213877
Backward progress: 213929
Backward progress: 204288
Backward progress: 202478
Backward progress: 199497
Backward progress: 198224
Backward progress: 198028
Backward progress: 197352
Backward progress: 198290
Backward progress: 196505
Backward progress: 196991
Backward progress: 196822
Backward progress: 197183
Backward progress: 196680
Backward progress: 198262
Backward progress: 196614
Backward progress: 192215
Backward progress: 197013
Backward progress: 195619
Backward progress: 193933
Backward progress: 220883
Backward progress: 222546
Backward progress: 199487
Backward progress: 204417
Backward progress: 190612
Backward progress: 182353
Backward progress: 191369
Backward progress: 190012
Backward progress: 179552
Backward progress: 190546
Backward progress: 186914
Backward progress: 196076
Backward progress: 191685
Backward progress: 192778
Backward progress: 194454
Backward progress: 194816
Backward progress: 195020
Backward progress: 194826
Backward progress: 196126
Backward progress: 196208
Backward progress: 196960
Backward progress: 196962
Backward progress: 196814
Backward progress: 196643
Backward progress: 196436
Backward progress: 200314
Backward progress: 183438
Backward progress: 185086
Backward progress: 185122
Backward progress: 185218
Backward progress: 185154
Backward progress: 185214
Backward progress: 185373
Backward progress: 185375
Backward progress: 185296
Backward progress: 185180
Backward progress: 185258
Backward progress: 187218
Backward progress: 187052
Backward progress: 186235
Backward progress: 186156
Backward progress: 186164
Backward progress: 186808
Backward progress: 104432
Backward progress: 123402
Backward progress: 124125
Backward progress: 123321
Backward progress: 123435
Backward progress: 123436
Backward progress: 113809
Backward progress: 114607
Backward progress: 128055
Backward progress: 126493
Backward progress: 126965
Backward progress: 127092
Backward progress: 126192
Backward progress: 126184
Backward progress: 130396
Backward progress: 130270
Backward progress: 141343
Backward progress: 134034
Backward progress: 138512
Backward progress: 179870
Backward progress: 186943
Backward progress: 199339
Backward progress: 198101
Backward progress: 191835
Backward progress: 191909
Backward progress: 178790
Backward progress: 169214
Backward progress: 156699
Backward progress: 154838
Backward progress: 155374
Backward progress: 176629
Backward progress: 173421
Backward progress: 180132
Backward progress: 180366
Backward progress: 180531
Backward progress: 186314
Backward progress: 197630
Backward progress: 197484
Backward progress: 196104
Backward progress: 215009
Backward progress: 151010
Backward progress: 150764
Backward progress: 139697
Backward progress: 133993
Backward progress: 128390
Backward progress: 128403
Backward progress: 127332
Backward progress: 127750
Backward progress: 127309
Backward progress: 133816
Backward progress: 126470
Backward progress: 128752
Backward progress: 128603
Backward progress: 127751
Backward progress: 127748
Backward progress: 127335
Backward progress: 125760
Backward progress: 124759
Backward progress: 124557
Backward progress: 126286
Backward progress: 126294
Backward progress: 124831
Backward progress: 123625
Backward progress: 124067
Backward progress: 123848
Backward progress: 131369
Backward progress: 126774
Backward progress: 127194
Backward progress: 127184
Backward progress: 127188
Backward progress: 140617
Backward progress: 142124
Backward progress: 142705
Backward progress: 139685
Backward progress: 140536
Backward progress: 140540
Backward progress: 139593
Backward progress: 139580
Backward progress: 138172
Backward progress: 137910
Backward progress: 137071
Backward progress: 137571
Backward progress: 141567
Backward progress: 141268
Backward progress: 142780
Backward progress: 143090
Backward progress: 143146
Backward progress: 151300
Backward progress: 152648
Backward progress: 158808
Backward progress: 152696
Backward progress: 160383
Backward progress: 153538
Backward progress: 154241
Backward progress: 154494
Backward progress: 154541
Backward progress: 154544
Backward progress: 155303
Backward progress: 155344
Backward progress: 156346
Backward progress: 156348
Backward progress: 156024
Backward progress: 155950
Backward progress: 155579
Backward progress: 156444
Backward progress: 156442
Backward progress: 156518
Backward progress: 156466
Backward progress: 156496
Backward progress: 156727
Backward progress: 156729
Backward progress: 156615
Backward progress: 156427
Backward progress: 156320
Backward progress: 157213
Backward progress: 157119
Backward progress: 156643
Backward progress: 156531
Backward progress: 156459
Backward progress: 160143
Control exists for 6 color(s), jumping through 8 vertices.
Elapsed: 335015 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 335.015
user ??
sys ??
