>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 10497600
Perturbation colors: 9007199254740992
All colors: 94553974896569040000000
Unknown update functions: 10
Lowest cardinality: 1
Highest cardinality: 3
Attractor colors: 1016876767063239000000
Attractor colors computed in 26206 ms.
Backward progress: 203242
Backward progress: 213422
Backward progress: 163519
Backward progress: 167469
Backward progress: 165537
Backward progress: 160863
Backward progress: 161175
Backward progress: 156507
Backward progress: 131257
Backward progress: 125949
Backward progress: 126719
Backward progress: 110091
Backward progress: 121422
Backward progress: 111043
Backward progress: 111146
Backward progress: 120794
Backward progress: 119543
Backward progress: 130809
Backward progress: 136575
Backward progress: 133423
Backward progress: 175345
Backward progress: 167661
Backward progress: 169691
Backward progress: 165468
Backward progress: 133910
Backward progress: 138568
Backward progress: 131298
Backward progress: 136832
Backward progress: 117796
Backward progress: 125778
Backward progress: 125818
Backward progress: 119582
Backward progress: 118350
Backward progress: 117004
Backward progress: 111466
Backward progress: 165266
Backward progress: 211111
Backward progress: 208039
Backward progress: 208921
Backward progress: 222366
Backward progress: 221399
Backward progress: 221508
Backward progress: 218916
Backward progress: 240840
Backward progress: 227024
Backward progress: 215313
Backward progress: 215369
Backward progress: 214149
Backward progress: 214939
Backward progress: 213531
Backward progress: 210255
Backward progress: 209510
Backward progress: 193058
Backward progress: 195624
Backward progress: 183738
Backward progress: 157201
Backward progress: 153063
Backward progress: 168871
Backward progress: 168917
Backward progress: 150959
Backward progress: 137693
Backward progress: 299041
Backward progress: 289885
Backward progress: 290911
Backward progress: 258512
Backward progress: 252232
Backward progress: 312588
Backward progress: 312700
Backward progress: 288660
Backward progress: 272078
Backward progress: 264296
Backward progress: 257074
Backward progress: 254522
Backward progress: 254428
Backward progress: 254704
Backward progress: 254917
Backward progress: 252938
Backward progress: 253720
Backward progress: 253326
Backward progress: 253743
Backward progress: 253658
Backward progress: 257338
Backward progress: 253573
Backward progress: 244887
Backward progress: 254071
Backward progress: 252587
Backward progress: 248105
Backward progress: 275262
Backward progress: 276941
Backward progress: 257822
Backward progress: 310591
Backward progress: 200718
Backward progress: 197629
Backward progress: 206341
Backward progress: 203195
Backward progress: 193653
Backward progress: 192399
Backward progress: 192052
Backward progress: 194245
Backward progress: 192744
Backward progress: 204879
Backward progress: 199891
Backward progress: 200363
Backward progress: 208992
Backward progress: 208339
Backward progress: 195671
Backward progress: 207472
Backward progress: 201178
Backward progress: 193790
Backward progress: 196610
Backward progress: 195694
Backward progress: 197944
Backward progress: 196724
Backward progress: 196734
Backward progress: 194604
Backward progress: 186832
Backward progress: 185967
Backward progress: 188531
Backward progress: 182336
Backward progress: 183677
Backward progress: 174953
Backward progress: 176587
Backward progress: 173867
Backward progress: 180729
Backward progress: 180735
Backward progress: 172366
Backward progress: 171844
Backward progress: 172814
Backward progress: 172816
Backward progress: 172377
Backward progress: 171609
Backward progress: 171659
Backward progress: 151886
Backward progress: 145630
Backward progress: 156918
Backward progress: 156944
Backward progress: 143619
Backward progress: 143111
Backward progress: 129331
Backward progress: 129355
Backward progress: 126609
Backward progress: 126619
Control exists for 112896 color(s), jumping through 6 vertices.
Elapsed: 205642 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 205.642
user ??
sys ??
