>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 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: 171136785840078850
Attractor colors computed in 1052 ms.
Backward progress: 109758
Backward progress: 119070
Backward progress: 122598
Backward progress: 122602
Backward progress: 122190
Backward progress: 124846
Backward progress: 119486
Backward progress: 121179
Backward progress: 121213
Backward progress: 119600
Backward progress: 119504
Backward progress: 117941
Backward progress: 117572
Backward progress: 138443
Backward progress: 138905
Backward progress: 131187
Backward progress: 130768
Backward progress: 157155
Backward progress: 156569
Backward progress: 150368
Backward progress: 149710
Backward progress: 149688
Backward progress: 148609
Backward progress: 147718
Backward progress: 147520
Backward progress: 147403
Backward progress: 147552
Backward progress: 146548
Backward progress: 131683
Backward progress: 130682
Backward progress: 125546
Backward progress: 128147
Backward progress: 128191
Backward progress: 125812
Backward progress: 124419
Backward progress: 120842
Backward progress: 124265
Backward progress: 124283
Backward progress: 126368
Backward progress: 125957
Backward progress: 125979
Backward progress: 124713
Backward progress: 211153
Backward progress: 219052
Backward progress: 182139
Backward progress: 176723
Backward progress: 176890
Backward progress: 173132
Backward progress: 166018
Backward progress: 166496
Backward progress: 166930
Backward progress: 171517
Backward progress: 170588
Backward progress: 175921
Backward progress: 175498
Backward progress: 171704
Backward progress: 173262
Backward progress: 196703
Backward progress: 197553
Backward progress: 185711
Backward progress: 159845
Backward progress: 161109
Backward progress: 158770
Backward progress: 157526
Backward progress: 149799
Backward progress: 155498
Backward progress: 155518
Backward progress: 153938
Backward progress: 153914
Backward progress: 153498
Backward progress: 149750
Backward progress: 148106
Backward progress: 146932
Backward progress: 147644
Backward progress: 147571
Backward progress: 147793
Backward progress: 148843
Backward progress: 148785
Backward progress: 141192
Backward progress: 143580
Backward progress: 140927
Backward progress: 139279
Backward progress: 139287
Backward progress: 138854
Backward progress: 139000
Backward progress: 138756
Backward progress: 138390
Backward progress: 138893
Backward progress: 134705
Backward progress: 135114
Backward progress: 133928
Backward progress: 127407
Backward progress: 126744
Backward progress: 131824
Backward progress: 131852
Backward progress: 130166
Backward progress: 130150
Backward progress: 129973
Backward progress: 126575
Backward progress: 124454
Backward progress: 179016
Backward progress: 171001
Backward progress: 173056
Backward progress: 165425
Backward progress: 162798
Backward progress: 181925
Backward progress: 182043
Backward progress: 170635
Backward progress: 169352
Backward progress: 169320
Backward progress: 166239
Backward progress: 163803
Backward progress: 163403
Backward progress: 163268
Backward progress: 163405
Backward progress: 161595
Backward progress: 158321
Backward progress: 157734
Backward progress: 158108
Backward progress: 157001
Backward progress: 157329
Backward progress: 157214
Backward progress: 157250
Backward progress: 157055
Backward progress: 158428
Backward progress: 157022
Backward progress: 153701
Backward progress: 155001
Backward progress: 153617
Backward progress: 152037
Backward progress: 174320
Backward progress: 174611
Backward progress: 154711
Backward progress: 155374
Backward progress: 129352
Backward progress: 124735
Backward progress: 127714
Backward progress: 125019
Backward progress: 121386
Backward progress: 126295
Backward progress: 125128
Backward progress: 128239
Backward progress: 125800
Backward progress: 126681
Backward progress: 127489
Backward progress: 127634
Backward progress: 127853
Backward progress: 127743
Backward progress: 128391
Backward progress: 128433
Backward progress: 128790
Backward progress: 128792
Backward progress: 128700
Backward progress: 128577
Backward progress: 129238
Backward progress: 120585
Backward progress: 121433
Backward progress: 121447
Backward progress: 121513
Backward progress: 121498
Backward progress: 121562
Backward progress: 121665
Backward progress: 121667
Backward progress: 121616
Backward progress: 121556
Backward progress: 121612
Backward progress: 122738
Backward progress: 122664
Backward progress: 122149
Backward progress: 122098
Backward progress: 122106
Backward progress: 142015
Backward progress: 142597
Backward progress: 106150
Backward progress: 109611
Backward progress: 118796
Backward progress: 121002
Backward progress: 125519
Backward progress: 121633
Backward progress: 121419
Backward progress: 121497
Backward progress: 121495
Backward progress: 115521
Backward progress: 112392
Backward progress: 110821
Backward progress: 105642
Backward progress: 113690
Backward progress: 111010
Backward progress: 115176
Backward progress: 116734
Backward progress: 117022
Backward progress: 124932
Backward progress: 137498
Backward progress: 137338
Backward progress: 136229
Backward progress: 136139
Backward progress: 135892
Backward progress: 149227
Backward progress: 115288
Backward progress: 113974
Backward progress: 107873
Backward progress: 101675
Backward progress: 108275
Backward progress: 102855
Backward progress: 104092
Backward progress: 104692
Backward progress: 104691
Backward progress: 104727
Backward progress: 104731
Backward progress: 104710
Backward progress: 104718
Backward progress: 104905
Backward progress: 104869
Backward progress: 105101
Backward progress: 105099
Backward progress: 105115
Backward progress: 105117
Backward progress: 104944
Backward progress: 105188
Backward progress: 105570
Backward progress: 105572
Backward progress: 106584
Backward progress: 106438
Backward progress: 106347
Backward progress: 106344
Backward progress: 107138
Backward progress: 107218
Backward progress: 107222
Backward progress: 106740
Backward progress: 106764
Backward progress: 106586
Backward progress: 106638
Backward progress: 105666
Backward progress: 105924
Backward progress: 105926
Backward progress: 105696
Backward progress: 105489
Backward progress: 105274
Backward progress: 113653
Backward progress: 114804
Backward progress: 108605
Backward progress: 113415
Backward progress: 113425
Backward progress: 111138
Backward progress: 111113
Backward progress: 109934
Backward progress: 106523
Backward progress: 105970
Backward progress: 107539
Backward progress: 107818
Backward progress: 103023
Backward progress: 100532
Backward progress: 107202
Backward progress: 100525
Backward progress: 100523
Backward progress: 100533
Backward progress: 100539
Backward progress: 100541
Backward progress: 100563
Backward progress: 100492
Control exists for 19 color(s), jumping through 6 vertices.
Elapsed: 241764 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 241.764
user ??
sys ??
