>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 19595520
Perturbation colors: 9007199254740992
All colors: 176500753140262200000000
Unknown update functions: 9
Lowest cardinality: 0
Highest cardinality: 4
Attractor colors: 5054119645820265000000
Attractor colors computed in 47790 ms.
Backward progress: 132722
Backward progress: 132690
Backward progress: 136736
Backward progress: 135736
Backward progress: 136064
Backward progress: 135994
Backward progress: 100694
Backward progress: 144484
Backward progress: 108692
Backward progress: 108712
Backward progress: 145080
Backward progress: 172042
Backward progress: 134732
Backward progress: 161026
Backward progress: 161046
Backward progress: 145294
Backward progress: 145246
Backward progress: 134828
Backward progress: 134650
Backward progress: 141634
Backward progress: 138908
Backward progress: 164650
Backward progress: 165290
Backward progress: 166191
Backward progress: 166190
Backward progress: 171090
Backward progress: 166200
Backward progress: 166224
Backward progress: 266900
Backward progress: 320474
Backward progress: 320130
Backward progress: 344972
Backward progress: 320078
Backward progress: 307602
Backward progress: 302214
Backward progress: 330468
Backward progress: 289468
Backward progress: 290484
Backward progress: 300008
Backward progress: 300124
Backward progress: 303186
Backward progress: 303192
Backward progress: 308722
Backward progress: 317180
Backward progress: 317184
Backward progress: 315084
Backward progress: 311860
Backward progress: 323128
Backward progress: 323152
Backward progress: 323254
Backward progress: 323234
Backward progress: 323316
Backward progress: 325466
Backward progress: 325470
Backward progress: 324410
Backward progress: 322362
Backward progress: 322256
Backward progress: 330272
Backward progress: 329956
Backward progress: 325836
Backward progress: 324756
Backward progress: 324052
Backward progress: 324040
Backward progress: 111387
Backward progress: 111939
Backward progress: 112047
Backward progress: 125163
Backward progress: 118573
Backward progress: 101816
Backward progress: 179750
Backward progress: 186949
Backward progress: 178889
Backward progress: 179640
Backward progress: 179652
Backward progress: 179654
Backward progress: 175882
Backward progress: 177309
Backward progress: 183855
Backward progress: 183703
Backward progress: 183626
Backward progress: 191314
Backward progress: 188224
Backward progress: 195513
Backward progress: 195904
Backward progress: 196064
Backward progress: 196289
Backward progress: 247379
Backward progress: 247411
Backward progress: 237011
Backward progress: 244263
Backward progress: 246666
Backward progress: 341038
Backward progress: 396023
Backward progress: 396441
Backward progress: 396445
Backward progress: 396237
Backward progress: 451419
Backward progress: 462542
Backward progress: 506724
Backward progress: 506630
Backward progress: 506546
Backward progress: 541240
Backward progress: 481438
Backward progress: 490791
Backward progress: 490809
Backward progress: 481518
Backward progress: 481462
Backward progress: 482314
Backward progress: 480588
Backward progress: 664424
Backward progress: 664979
Backward progress: 550626
Backward progress: 543047
Backward progress: 616008
Backward progress: 615886
Backward progress: 568217
Backward progress: 559099
Backward progress: 540903
Backward progress: 535579
Backward progress: 527634
Backward progress: 508715
Backward progress: 518079
Backward progress: 518097
Backward progress: 508851
Backward progress: 500646
Backward progress: 481937
Backward progress: 505567
Backward progress: 505747
Backward progress: 507378
Backward progress: 507255
Backward progress: 507271
Backward progress: 498579
Backward progress: 914448
Backward progress: 967235
Backward progress: 784124
Backward progress: 746371
Backward progress: 746483
Backward progress: 739248
Backward progress: 678804
Backward progress: 692610
Backward progress: 682829
Backward progress: 736331
Backward progress: 724921
Backward progress: 801607
Backward progress: 786174
Backward progress: 764027
Backward progress: 780556
Backward progress: 780556
Backward progress: 780999
Backward progress: 733945
Backward progress: 706950
Backward progress: 711657
Backward progress: 684130
Backward progress: 708076
Backward progress: 609018
Backward progress: 636329
Backward progress: 636341
Backward progress: 613727
Backward progress: 613715
Backward progress: 608936
Backward progress: 583892
Backward progress: 581454
Backward progress: 581256
Backward progress: 601719
Backward progress: 601715
Backward progress: 601677
Backward progress: 612965
Backward progress: 612613
Backward progress: 588379
Backward progress: 606067
Backward progress: 579432
Backward progress: 570816
Backward progress: 573928
Backward progress: 572135
Backward progress: 573750
Backward progress: 571983
Backward progress: 571283
Backward progress: 565492
Backward progress: 552935
Backward progress: 553274
Backward progress: 546641
Backward progress: 519771
Backward progress: 513055
Backward progress: 527207
Backward progress: 527215
Backward progress: 512635
Backward progress: 498482
Backward progress: 1052880
Backward progress: 1012806
Backward progress: 1015641
Backward progress: 847387
Backward progress: 823796
Backward progress: 995690
Backward progress: 995790
Backward progress: 890844
Backward progress: 872622
Backward progress: 847585
Backward progress: 831468
Backward progress: 831288
Backward progress: 831268
Backward progress: 831826
Backward progress: 836776
Backward progress: 833574
Backward progress: 842128
Backward progress: 842281
Backward progress: 843003
Backward progress: 842932
Backward progress: 851160
Backward progress: 842897
Backward progress: 829935
Backward progress: 861447
Backward progress: 853813
Backward progress: 837953
Backward progress: 948660
Backward progress: 957294
Backward progress: 856839
Backward progress: 950265
Backward progress: 832120
Backward progress: 824473
Backward progress: 863819
Backward progress: 836632
Backward progress: 796136
Backward progress: 834245
Backward progress: 831295
Backward progress: 875760
Backward progress: 864560
Backward progress: 865954
Backward progress: 876750
Backward progress: 876828
Backward progress: 880380
Backward progress: 878453
Backward progress: 883984
Backward progress: 888461
Backward progress: 888463
Backward progress: 887341
Backward progress: 885651
Backward progress: 887843
Backward progress: 809918
Backward progress: 820756
Backward progress: 820780
Backward progress: 820849
Backward progress: 820839
Backward progress: 820910
Backward progress: 822045
Backward progress: 822047
Backward progress: 821481
Backward progress: 820397
Backward progress: 820356
Backward progress: 830081
Backward progress: 829289
Backward progress: 824334
Backward progress: 823768
Backward progress: 823162
Backward progress: 823827
Backward progress: 313778
Backward progress: 684345
Backward progress: 757520
Backward progress: 211868
Backward progress: 312701
Backward progress: 312757
Backward progress: 312729
Backward progress: 355241
Backward progress: 425331
Backward progress: 414545
Backward progress: 522877
Backward progress: 521870
Backward progress: 690446
Backward progress: 700078
Backward progress: 691950
Backward progress: 692220
Backward progress: 715722
Backward progress: 690931
Backward progress: 773225
Backward progress: 786848
Backward progress: 787804
Backward progress: 787619
Backward progress: 492778
Backward progress: 537964
Backward progress: 507788
Backward progress: 671724
Backward progress: 469872
Backward progress: 515002
Backward progress: 515024
Backward progress: 487560
Backward progress: 487546
Backward progress: 469388
Backward progress: 468948
Backward progress: 450468
Backward progress: 475388
Backward progress: 450428
Backward progress: 450698
Backward progress: 661578
Backward progress: 700880
Backward progress: 505736
Backward progress: 600344
Backward progress: 600366
Backward progress: 543348
Backward progress: 543298
Backward progress: 505928
Backward progress: 463836
Backward progress: 467336
Backward progress: 462020
Backward progress: 491970
Backward progress: 492738
Backward progress: 492833
Backward progress: 492808
Backward progress: 508592
Backward progress: 492818
Backward progress: 492842
Backward progress: 747902
Backward progress: 849988
Backward progress: 848746
Backward progress: 917436
Backward progress: 848694
Backward progress: 848294
Backward progress: 830830
Backward progress: 910746
Backward progress: 830074
Backward progress: 831638
Backward progress: 852918
Backward progress: 853098
Backward progress: 859872
Backward progress: 859872
Backward progress: 871976
Backward progress: 890542
Backward progress: 890546
Backward progress: 885952
Backward progress: 878864
Backward progress: 903760
Backward progress: 903808
Backward progress: 903990
Backward progress: 903970
Backward progress: 904124
Backward progress: 908822
Backward progress: 908826
Backward progress: 906516
Backward progress: 901988
Backward progress: 901786
Backward progress: 922166
Backward progress: 920582
Backward progress: 911518
Backward progress: 909148
Backward progress: 907848
Backward progress: 907836
Forward closed progress: 106343
Forward closed progress: 106417
Forward closed progress: 106421
Forward closed progress: 106367
Forward closed progress: 121901
Forward closed progress: 125054
Forward closed progress: 139882
Forward closed progress: 184807
Forward closed progress: 185115
Forward closed progress: 159036
Forward closed progress: 159176
Forward closed progress: 145578
Forward closed progress: 157222
Forward closed progress: 157320
Forward closed progress: 157386
Forward closed progress: 157962
Forward closed progress: 101016
Forward closed progress: 461333
Forward closed progress: 792260
Forward closed progress: 1071682
Forward closed progress: 1044225
Forward closed progress: 1044231
Forward closed progress: 1042329
Forward closed progress: 1020552
Forward closed progress: 1457152
Forward closed progress: 1477534
Forward closed progress: 1478339
Forward closed progress: 1515548
Forward closed progress: 1795338
Forward closed progress: 1933603
Forward closed progress: 1933492
Forward closed progress: 1933534
Forward closed progress: 1933113
Forward closed progress: 2070233
Forward closed progress: 2198422
Forward closed progress: 2214278
Forward closed progress: 2304461
Forward closed progress: 2371218
Forward closed progress: 2377034
Forward closed progress: 2377053
Forward closed progress: 2414369
Forward closed progress: 2381361
Forward closed progress: 2314527
Forward closed progress: 2314395
Forward closed progress: 2314101
Forward closed progress: 2237088
Forward closed progress: 2374829
Forward closed progress: 1676548
Forward closed progress: 1474718
Forward closed progress: 1409195
Forward closed progress: 1401298
Forward closed progress: 1368134
Forward closed progress: 1301819
Forward closed progress: 1284595
Forward closed progress: 875425
Forward closed progress: 868160
Forward closed progress: 2601327
Forward closed progress: 3807777
Forward closed progress: 4138808
Forward closed progress: 5440923
Forward closed progress: 5109317
Forward closed progress: 5109335
Forward closed progress: 5086774
Forward closed progress: 4976140
Forward closed progress: 6932647
Forward closed progress: 6900213
Forward closed progress: 6889150
Forward closed progress: 6930597
Forward closed progress: 8173831
Forward closed progress: 8488025
Forward closed progress: 8031583
Forward closed progress: 8031681
Forward closed progress: 8013826
Forward closed progress: 8213888
Forward closed progress: 8421143
Forward closed progress: 8292808
Forward closed progress: 8428622
Forward closed progress: 8545348
Forward closed progress: 8548125
Forward closed progress: 8414264
Forward closed progress: 8014240
Forward closed progress: 8013762
Forward closed progress: 7806593
Forward closed progress: 6202229
Forward closed progress: 4892154
Forward closed progress: 4514769
Forward closed progress: 4213168
Forward closed progress: 4205403
Forward closed progress: 4141595
Forward closed progress: 4021640
Forward closed progress: 3988255
Forward closed progress: 2359739
Forward closed progress: 2334533
Forward closed progress: 2525809
Forward closed progress: 2473302
Forward closed progress: 2908585
Forward closed progress: 3283505
Forward closed progress: 3268497
Forward closed progress: 3258455
Forward closed progress: 3105859
Forward closed progress: 1339095
Forward closed progress: 1339095
Control exists for 561120 color(s), jumping through 6 vertices.
Elapsed: 5912506 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 5912.506
user ??
sys ??
