>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 777600
Perturbation colors: 9007199254740992
All colors: 7003998140486595000000
Unknown update functions: 9
Lowest cardinality: 0
Highest cardinality: 3
Attractor colors: 191673200140888300000
Attractor colors computed in 3245 ms.
Backward progress: 111797
Backward progress: 112581
Backward progress: 112593
Backward progress: 112293
Backward progress: 126301
Backward progress: 136272
Backward progress: 140472
Backward progress: 140404
Backward progress: 140180
Backward progress: 147853
Backward progress: 135438
Backward progress: 139488
Backward progress: 139522
Backward progress: 135652
Backward progress: 135494
Backward progress: 133550
Backward progress: 132854
Backward progress: 157449
Backward progress: 157746
Backward progress: 149766
Backward progress: 146458
Backward progress: 177976
Backward progress: 177754
Backward progress: 165464
Backward progress: 164266
Backward progress: 164232
Backward progress: 162778
Backward progress: 160795
Backward progress: 149468
Backward progress: 149109
Backward progress: 148813
Backward progress: 148968
Backward progress: 147051
Backward progress: 145763
Backward progress: 139976
Backward progress: 144226
Backward progress: 144270
Backward progress: 140476
Backward progress: 136870
Backward progress: 133908
Backward progress: 137300
Backward progress: 137237
Backward progress: 139082
Backward progress: 138650
Backward progress: 138821
Backward progress: 136482
Backward progress: 237351
Backward progress: 244953
Backward progress: 206362
Backward progress: 201192
Backward progress: 201436
Backward progress: 197995
Backward progress: 190247
Backward progress: 190439
Backward progress: 193749
Backward progress: 201992
Backward progress: 200197
Backward progress: 205841
Backward progress: 204700
Backward progress: 201033
Backward progress: 202649
Backward progress: 228642
Backward progress: 229639
Backward progress: 216973
Backward progress: 187952
Backward progress: 190886
Backward progress: 186049
Backward progress: 184999
Backward progress: 176433
Backward progress: 174131
Backward progress: 180956
Backward progress: 180976
Backward progress: 178119
Backward progress: 178055
Backward progress: 178110
Backward progress: 177353
Backward progress: 173934
Backward progress: 171147
Backward progress: 169976
Backward progress: 170961
Backward progress: 170824
Backward progress: 171993
Backward progress: 175376
Backward progress: 175003
Backward progress: 168738
Backward progress: 172938
Backward progress: 168786
Backward progress: 164996
Backward progress: 164980
Backward progress: 164388
Backward progress: 164874
Backward progress: 163818
Backward progress: 162650
Backward progress: 162646
Backward progress: 156399
Backward progress: 157916
Backward progress: 154620
Backward progress: 143744
Backward progress: 142122
Backward progress: 141697
Backward progress: 148963
Backward progress: 149012
Backward progress: 144960
Backward progress: 144911
Backward progress: 144919
Backward progress: 144329
Backward progress: 141277
Backward progress: 136161
Backward progress: 222007
Backward progress: 215725
Backward progress: 217654
Backward progress: 209271
Backward progress: 207507
Backward progress: 254804
Backward progress: 254978
Backward progress: 231135
Backward progress: 228620
Backward progress: 228568
Backward progress: 223173
Backward progress: 216786
Backward progress: 216039
Backward progress: 215733
Backward progress: 215972
Backward progress: 212567
Backward progress: 205803
Backward progress: 189924
Backward progress: 188586
Backward progress: 186923
Backward progress: 187614
Backward progress: 187537
Backward progress: 187985
Backward progress: 187701
Backward progress: 189921
Backward progress: 189723
Backward progress: 191191
Backward progress: 188767
Backward progress: 186409
Backward progress: 182820
Backward progress: 183728
Backward progress: 182255
Backward progress: 179247
Backward progress: 199874
Backward progress: 199352
Backward progress: 178808
Backward progress: 180176
Backward progress: 153846
Backward progress: 146963
Backward progress: 152529
Backward progress: 149446
Backward progress: 143071
Backward progress: 147962
Backward progress: 147014
Backward progress: 150310
Backward progress: 146136
Backward progress: 147290
Backward progress: 148920
Backward progress: 149337
Backward progress: 149927
Backward progress: 149717
Backward progress: 150827
Backward progress: 152122
Backward progress: 152124
Backward progress: 151790
Backward progress: 151373
Backward progress: 151979
Backward progress: 142571
Backward progress: 144312
Backward progress: 144324
Backward progress: 144424
Backward progress: 144412
Backward progress: 144452
Backward progress: 144456
Backward progress: 144765
Backward progress: 144767
Backward progress: 144618
Backward progress: 144354
Backward progress: 144301
Backward progress: 146035
Backward progress: 146036
Backward progress: 145922
Backward progress: 144991
Backward progress: 144838
Backward progress: 144854
Backward progress: 164759
Backward progress: 165245
Forward closed progress: 100010
Forward closed progress: 100418
Forward closed progress: 100546
Forward closed progress: 100418
Forward closed progress: 110718
Forward closed progress: 101689
Forward closed progress: 112833
Forward closed progress: 113613
Forward closed progress: 112005
Forward closed progress: 111105
Forward closed progress: 108671
Forward closed progress: 105023
Forward closed progress: 101562
Forward closed progress: 100481
Forward closed progress: 101183
Forward closed progress: 104431
Forward closed progress: 103735
Forward closed progress: 101995
Forward closed progress: 124537
Forward closed progress: 159165
Forward closed progress: 151520
Forward closed progress: 150346
Forward closed progress: 150686
Forward closed progress: 150745
Forward closed progress: 152086
Control exists for 21280 color(s), jumping through 6 vertices.
Elapsed: 264311 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 264.311
user ??
sys ??
