>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 3240
Perturbation colors: 9007199254740992
All colors: 29183325585360814000
Unknown update functions: 6
Lowest cardinality: 0
Highest cardinality: 3
Attractor colors: 2377900603251622000
Attractor colors computed in 2306 ms.
Backward progress: 100387
Backward progress: 100335
Backward progress: 100402
Backward progress: 100363
Backward progress: 100365
Backward progress: 100155
Backward progress: 102299
Backward progress: 103769
Backward progress: 103797
Backward progress: 112659
Backward progress: 107323
Backward progress: 100453
Backward progress: 115749
Backward progress: 119666
Backward progress: 116481
Backward progress: 116527
Backward progress: 116490
Backward progress: 116492
Backward progress: 116060
Backward progress: 118470
Backward progress: 119511
Backward progress: 119483
Backward progress: 119452
Backward progress: 118919
Backward progress: 118553
Backward progress: 118493
Backward progress: 114419
Backward progress: 114689
Backward progress: 115188
Backward progress: 115120
Backward progress: 115125
Backward progress: 115040
Backward progress: 122183
Backward progress: 121966
Backward progress: 120661
Backward progress: 121533
Backward progress: 121574
Backward progress: 146934
Backward progress: 158398
Backward progress: 159084
Backward progress: 159088
Backward progress: 158874
Backward progress: 170925
Backward progress: 178444
Backward progress: 182976
Backward progress: 183094
Backward progress: 182514
Backward progress: 185193
Backward progress: 180863
Backward progress: 182559
Backward progress: 182577
Backward progress: 181071
Backward progress: 180839
Backward progress: 177672
Backward progress: 177147
Backward progress: 260319
Backward progress: 266558
Backward progress: 262122
Backward progress: 251678
Backward progress: 305128
Backward progress: 304165
Backward progress: 296815
Backward progress: 296135
Backward progress: 295275
Backward progress: 294822
Backward progress: 284917
Backward progress: 283908
Backward progress: 277882
Backward progress: 280548
Backward progress: 280566
Backward progress: 278558
Backward progress: 276451
Backward progress: 239225
Backward progress: 258099
Backward progress: 259104
Backward progress: 280233
Backward progress: 278816
Backward progress: 278832
Backward progress: 275895
Backward progress: 252905
Backward progress: 429667
Backward progress: 447960
Backward progress: 368548
Backward progress: 349994
Backward progress: 350072
Backward progress: 342542
Backward progress: 324488
Backward progress: 326691
Backward progress: 328107
Backward progress: 331860
Backward progress: 331148
Backward progress: 332871
Backward progress: 332135
Backward progress: 330986
Backward progress: 326268
Backward progress: 330322
Backward progress: 330322
Backward progress: 331062
Backward progress: 316258
Backward progress: 306686
Backward progress: 306204
Backward progress: 306898
Backward progress: 305095
Backward progress: 303934
Backward progress: 293943
Backward progress: 298260
Backward progress: 298272
Backward progress: 295685
Backward progress: 295657
Backward progress: 295030
Backward progress: 291704
Backward progress: 290675
Backward progress: 288631
Backward progress: 294476
Backward progress: 294362
Backward progress: 294780
Backward progress: 296201
Backward progress: 296125
Backward progress: 289560
Backward progress: 290113
Backward progress: 287733
Backward progress: 280921
Backward progress: 280955
Backward progress: 280783
Backward progress: 280886
Backward progress: 280744
Backward progress: 280196
Backward progress: 280149
Backward progress: 279600
Backward progress: 273785
Backward progress: 273989
Backward progress: 272467
Backward progress: 258334
Backward progress: 256894
Backward progress: 259340
Backward progress: 259348
Backward progress: 256205
Backward progress: 253308
Backward progress: 251834
Backward progress: 344434
Backward progress: 336411
Backward progress: 338588
Backward progress: 327824
Backward progress: 323831
Backward progress: 344784
Backward progress: 344836
Backward progress: 330009
Backward progress: 327878
Backward progress: 319168
Backward progress: 317359
Backward progress: 316533
Backward progress: 325603
Backward progress: 318362
Backward progress: 316307
Backward progress: 317270
Backward progress: 317265
Backward progress: 317702
Backward progress: 317567
Backward progress: 319372
Backward progress: 317483
Backward progress: 311360
Backward progress: 311350
Backward progress: 308058
Backward progress: 307557
Backward progress: 348236
Backward progress: 356746
Backward progress: 320031
Backward progress: 345727
Backward progress: 302498
Backward progress: 296642
Backward progress: 308417
Backward progress: 301534
Backward progress: 288706
Backward progress: 302033
Backward progress: 298030
Backward progress: 310078
Backward progress: 302938
Backward progress: 303932
Backward progress: 307272
Backward progress: 307531
Backward progress: 308046
Backward progress: 307745
Backward progress: 308815
Backward progress: 309073
Backward progress: 310351
Backward progress: 310353
Backward progress: 310187
Backward progress: 309871
Backward progress: 314780
Backward progress: 293356
Backward progress: 297670
Backward progress: 297786
Backward progress: 300768
Backward progress: 300649
Backward progress: 300596
Backward progress: 300962
Backward progress: 301073
Backward progress: 301075
Backward progress: 301020
Backward progress: 300952
Backward progress: 297435
Backward progress: 301997
Backward progress: 301108
Backward progress: 299631
Backward progress: 299222
Backward progress: 299130
Backward progress: 299163
Backward progress: 299131
Backward progress: 299072
Backward progress: 302540
Backward progress: 122163
Backward progress: 102529
Backward progress: 107028
Backward progress: 113434
Backward progress: 107028
Backward progress: 116078
Backward progress: 105739
Backward progress: 109079
Backward progress: 109378
Backward progress: 109873
Backward progress: 109875
Backward progress: 110981
Backward progress: 111241
Backward progress: 113649
Backward progress: 113651
Backward progress: 113340
Backward progress: 112712
Backward progress: 117211
Backward progress: 117351
Backward progress: 120375
Backward progress: 120246
Backward progress: 120169
Backward progress: 120539
Backward progress: 120744
Backward progress: 120746
Backward progress: 120649
Backward progress: 120513
Backward progress: 116801
Backward progress: 121257
Backward progress: 120385
Backward progress: 119488
Backward progress: 118682
Backward progress: 118589
Backward progress: 118635
Backward progress: 118601
Backward progress: 118538
Backward progress: 118538
Backward progress: 118022
Backward progress: 150617
Backward progress: 150549
Backward progress: 150176
Backward progress: 150238
Backward progress: 150233
Backward progress: 135301
Backward progress: 139039
Backward progress: 164088
Backward progress: 152630
Backward progress: 154160
Backward progress: 162446
Backward progress: 154958
Backward progress: 158965
Backward progress: 195451
Backward progress: 201328
Backward progress: 212136
Backward progress: 214893
Backward progress: 211326
Backward progress: 211370
Backward progress: 201919
Backward progress: 192953
Backward progress: 179428
Backward progress: 177220
Backward progress: 179888
Backward progress: 190326
Backward progress: 187863
Backward progress: 191494
Backward progress: 192014
Backward progress: 192439
Backward progress: 196805
Backward progress: 195531
Backward progress: 207488
Backward progress: 207340
Backward progress: 206508
Backward progress: 220364
Backward progress: 151050
Backward progress: 150864
Backward progress: 145327
Backward progress: 138824
Backward progress: 140403
Backward progress: 139750
Backward progress: 165862
Backward progress: 154960
Backward progress: 162019
Backward progress: 162027
Backward progress: 161386
Backward progress: 161383
Backward progress: 161086
Backward progress: 159789
Backward progress: 159139
Backward progress: 156390
Backward progress: 158883
Backward progress: 173264
Backward progress: 161769
Backward progress: 161898
Backward progress: 161865
Backward progress: 171800
Backward progress: 174957
Backward progress: 171843
Backward progress: 175375
Backward progress: 175379
Backward progress: 173459
Backward progress: 173446
Backward progress: 173023
Backward progress: 171481
Backward progress: 173073
Backward progress: 170617
Backward progress: 170383
Backward progress: 176206
Backward progress: 176734
Backward progress: 176818
Backward progress: 201707
Backward progress: 206407
Backward progress: 215453
Backward progress: 206407
Backward progress: 216382
Backward progress: 206626
Backward progress: 208761
Backward progress: 208974
Backward progress: 209260
Backward progress: 209265
Backward progress: 210015
Backward progress: 210147
Backward progress: 212244
Backward progress: 212246
Backward progress: 211902
Backward progress: 211316
Backward progress: 214514
Backward progress: 214606
Backward progress: 216540
Backward progress: 216457
Backward progress: 216404
Backward progress: 216669
Backward progress: 216832
Backward progress: 216834
Backward progress: 216754
Backward progress: 216634
Backward progress: 214062
Backward progress: 216787
Backward progress: 216193
Backward progress: 215706
Backward progress: 215021
Backward progress: 214977
Backward progress: 215032
Backward progress: 215013
Backward progress: 214981
Backward progress: 220734
Forward closed progress: 103590
Control exists for 264 color(s), jumping through 8 vertices.
Elapsed: 548039 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 548.039
user ??
sys ??
