>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 146966400
Perturbation colors: 9007199254740992
All colors: 1323755648551966500000000
Unknown update functions: 10
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 37737426688791315000000
Attractor colors computed in 20799 ms.
Backward progress: 102946
Backward progress: 100007
Backward progress: 100403
Backward progress: 102461
Backward progress: 113243
Backward progress: 115495
Backward progress: 111451
Backward progress: 111463
Backward progress: 111475
Backward progress: 111477
Backward progress: 110094
Backward progress: 110694
Backward progress: 111469
Backward progress: 111441
Backward progress: 111335
Backward progress: 109753
Backward progress: 107394
Backward progress: 109028
Backward progress: 109274
Backward progress: 109259
Backward progress: 109264
Backward progress: 128009
Backward progress: 127674
Backward progress: 124076
Backward progress: 127456
Backward progress: 127546
Backward progress: 154143
Backward progress: 161819
Backward progress: 162391
Backward progress: 162395
Backward progress: 162121
Backward progress: 171070
Backward progress: 173596
Backward progress: 182502
Backward progress: 182360
Backward progress: 182256
Backward progress: 193572
Backward progress: 177006
Backward progress: 180647
Backward progress: 180665
Backward progress: 177126
Backward progress: 177038
Backward progress: 174210
Backward progress: 173009
Backward progress: 217934
Backward progress: 218099
Backward progress: 200254
Backward progress: 197382
Backward progress: 220585
Backward progress: 220413
Backward progress: 205291
Backward progress: 203298
Backward progress: 200305
Backward progress: 197862
Backward progress: 196132
Backward progress: 189288
Backward progress: 193002
Backward progress: 193020
Backward progress: 189496
Backward progress: 186371
Backward progress: 179806
Backward progress: 188852
Backward progress: 188897
Backward progress: 189758
Backward progress: 189635
Backward progress: 189651
Backward progress: 186341
Backward progress: 308440
Backward progress: 317497
Backward progress: 261308
Backward progress: 248623
Backward progress: 248721
Backward progress: 245312
Backward progress: 229762
Backward progress: 230108
Backward progress: 229740
Backward progress: 238269
Backward progress: 237193
Backward progress: 248263
Backward progress: 245999
Backward progress: 243817
Backward progress: 245810
Backward progress: 245130
Backward progress: 245561
Backward progress: 230749
Backward progress: 227909
Backward progress: 227285
Backward progress: 228481
Backward progress: 228583
Backward progress: 230074
Backward progress: 225490
Backward progress: 228948
Backward progress: 213919
Backward progress: 218238
Backward progress: 218254
Backward progress: 215001
Backward progress: 214989
Backward progress: 213873
Backward progress: 210318
Backward progress: 211774
Backward progress: 216465
Backward progress: 216239
Backward progress: 216329
Backward progress: 220551
Backward progress: 220480
Backward progress: 215372
Backward progress: 222964
Backward progress: 215352
Backward progress: 211731
Backward progress: 211739
Backward progress: 211077
Backward progress: 211255
Backward progress: 210589
Backward progress: 209835
Backward progress: 208187
Backward progress: 202736
Backward progress: 203105
Backward progress: 200549
Backward progress: 191939
Backward progress: 190415
Backward progress: 194499
Backward progress: 194527
Backward progress: 190612
Backward progress: 190596
Backward progress: 190252
Backward progress: 186036
Backward progress: 340848
Backward progress: 329175
Backward progress: 330210
Backward progress: 291378
Backward progress: 282700
Backward progress: 343347
Backward progress: 343425
Backward progress: 308797
Backward progress: 304842
Backward progress: 295473
Backward progress: 287575
Backward progress: 281752
Backward progress: 281712
Backward progress: 281927
Backward progress: 281009
Backward progress: 282374
Backward progress: 282458
Backward progress: 281719
Backward progress: 281664
Backward progress: 282684
Backward progress: 282780
Backward progress: 282572
Backward progress: 283420
Backward progress: 283067
Backward progress: 281642
Backward progress: 274957
Backward progress: 286773
Backward progress: 283976
Backward progress: 278078
Backward progress: 293871
Backward progress: 297299
Backward progress: 277511
Backward progress: 288987
Backward progress: 237095
Backward progress: 234232
Backward progress: 239412
Backward progress: 232237
Backward progress: 232657
Backward progress: 231357
Backward progress: 231547
Backward progress: 226542
Backward progress: 240501
Backward progress: 239579
Backward progress: 246823
Backward progress: 240469
Backward progress: 240960
Backward progress: 244748
Backward progress: 244838
Backward progress: 246037
Backward progress: 245426
Backward progress: 247403
Backward progress: 249112
Backward progress: 249114
Backward progress: 248684
Backward progress: 248055
Backward progress: 250131
Backward progress: 229647
Backward progress: 233606
Backward progress: 233614
Backward progress: 233677
Backward progress: 233666
Backward progress: 233737
Backward progress: 234180
Backward progress: 234182
Backward progress: 233962
Backward progress: 233570
Backward progress: 233584
Backward progress: 236970
Backward progress: 236606
Backward progress: 234757
Backward progress: 234537
Backward progress: 234545
Backward progress: 236619
Backward progress: 116226
Backward progress: 100075
Backward progress: 101550
Backward progress: 118238
Backward progress: 101748
Backward progress: 107035
Forward closed progress: 102339
Forward closed progress: 109221
Forward closed progress: 109531
Forward closed progress: 112077
Forward closed progress: 133123
Forward closed progress: 132050
Forward closed progress: 131737
Forward closed progress: 152443
Forward closed progress: 152443
Forward closed progress: 152144
Forward closed progress: 153639
Forward closed progress: 165080
Forward closed progress: 177436
Forward closed progress: 177524
Forward closed progress: 176049
Forward closed progress: 180324
Forward closed progress: 181741
Forward closed progress: 183382
Forward closed progress: 184446
Forward closed progress: 182992
Forward closed progress: 182994
Forward closed progress: 182310
Forward closed progress: 180639
Forward closed progress: 178622
Forward closed progress: 178572
Forward closed progress: 178620
Forward closed progress: 148394
Forward closed progress: 151009
Forward closed progress: 128912
Forward closed progress: 123931
Forward closed progress: 121303
Forward closed progress: 120390
Forward closed progress: 119796
Forward closed progress: 117121
Forward closed progress: 115451
Forward closed progress: 101493
Forward closed progress: 109039
Forward closed progress: 106526
Forward closed progress: 114462
Forward closed progress: 113117
Forward closed progress: 117343
Forward closed progress: 132747
Forward closed progress: 132645
Forward closed progress: 132678
Forward closed progress: 137934
Forward closed progress: 151220
Forward closed progress: 163638
Forward closed progress: 162068
Forward closed progress: 165834
Forward closed progress: 167008
Forward closed progress: 173060
Forward closed progress: 172836
Forward closed progress: 172270
Forward closed progress: 181072
Forward closed progress: 180592
Forward closed progress: 179992
Forward closed progress: 180040
Forward closed progress: 155031
Forward closed progress: 158595
Forward closed progress: 143884
Forward closed progress: 140079
Forward closed progress: 138318
Forward closed progress: 138486
Forward closed progress: 138144
Forward closed progress: 137182
Forward closed progress: 135794
Forward closed progress: 127578
Forward closed progress: 217253
Forward closed progress: 219296
Forward closed progress: 220228
Forward closed progress: 232202
Forward closed progress: 283772
Forward closed progress: 315646
Forward closed progress: 309157
Forward closed progress: 308899
Forward closed progress: 308911
Forward closed progress: 308913
Forward closed progress: 302022
Forward closed progress: 307520
Forward closed progress: 307014
Forward closed progress: 309091
Forward closed progress: 162712
Forward closed progress: 162735
Forward closed progress: 163104
Forward closed progress: 165979
Forward closed progress: 166002
Forward closed progress: 165992
Forward closed progress: 165982
Forward closed progress: 167724
Forward closed progress: 167587
Forward closed progress: 166873
Forward closed progress: 148766
Forward closed progress: 148401
Forward closed progress: 148056
Forward closed progress: 146855
Forward closed progress: 147534
Forward closed progress: 147479
Forward closed progress: 147074
Forward closed progress: 147098
Forward closed progress: 147104
Forward closed progress: 146967
Forward closed progress: 146857
Forward closed progress: 147331
Forward closed progress: 147133
Forward closed progress: 146901
Forward closed progress: 146992
Forward closed progress: 146896
Forward closed progress: 146895
Forward closed progress: 143401
Forward closed progress: 143441
Forward closed progress: 149142
Forward closed progress: 149166
Forward closed progress: 143811
Forward closed progress: 144493
Forward closed progress: 144579
Forward closed progress: 144579
Forward closed progress: 141631
Forward closed progress: 141271
Forward closed progress: 141225
Forward closed progress: 141232
Forward closed progress: 140639
Forward closed progress: 139227
Forward closed progress: 139011
Forward closed progress: 129005
Forward closed progress: 129009
Forward closed progress: 128509
Forward closed progress: 129212
Forward closed progress: 132734
Forward closed progress: 132182
Forward closed progress: 130832
Forward closed progress: 131245
Forward closed progress: 131246
Forward closed progress: 131253
Forward closed progress: 131255
Forward closed progress: 131225
Forward closed progress: 131355
Forward closed progress: 131698
Forward closed progress: 132138
Forward closed progress: 132137
Forward closed progress: 132145
Forward closed progress: 132147
Forward closed progress: 131957
Forward closed progress: 131934
Forward closed progress: 132301
Forward closed progress: 132325
Forward closed progress: 132327
Forward closed progress: 131639
Forward closed progress: 124990
Forward closed progress: 125209
Forward closed progress: 125215
Forward closed progress: 125643
Forward closed progress: 124960
Forward closed progress: 125073
Forward closed progress: 126095
Forward closed progress: 126108
Forward closed progress: 126107
Forward closed progress: 126300
Forward closed progress: 126673
Forward closed progress: 126672
Forward closed progress: 126675
Forward closed progress: 126870
Forward closed progress: 126675
Forward closed progress: 126703
Forward closed progress: 127675
Forward closed progress: 127034
Forward closed progress: 125891
Forward closed progress: 125893
Forward closed progress: 125908
Forward closed progress: 126113
Forward closed progress: 126396
Forward closed progress: 126379
Forward closed progress: 126369
Forward closed progress: 126343
Forward closed progress: 126913
Forward closed progress: 126869
Forward closed progress: 127415
Forward closed progress: 127196
Forward closed progress: 127636
Forward closed progress: 127640
Forward closed progress: 127134
Forward closed progress: 127305
Forward closed progress: 128763
Forward closed progress: 127888
Forward closed progress: 126126
Forward closed progress: 126164
Forward closed progress: 126249
Forward closed progress: 126255
Forward closed progress: 127824
Forward closed progress: 125967
Forward closed progress: 125901
Forward closed progress: 127404
Forward closed progress: 127395
Forward closed progress: 127379
Forward closed progress: 127718
Forward closed progress: 127762
Forward closed progress: 127744
Forward closed progress: 127728
Forward closed progress: 127592
Forward closed progress: 127394
Forward closed progress: 127390
Forward closed progress: 128214
Forward closed progress: 125951
Forward closed progress: 125951
Control exists for 4189696 color(s), jumping through 6 vertices.
Elapsed: 616630 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 616.63
user ??
sys ??
