>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 67200
Perturbation colors: 9007199254740992
All colors: 605283789918594700000
Unknown update functions: 3
Lowest cardinality: 3
Highest cardinality: 4
Attractor colors: 148294528530055700000
Attractor colors computed in 38837 ms.
Backward progress: 102323
Backward progress: 118850
Backward progress: 150581
Backward progress: 150600
Backward progress: 150448
Backward progress: 159735
Backward progress: 160185
Backward progress: 160223
Backward progress: 160787
Backward progress: 169012
Backward progress: 179892
Backward progress: 179899
Backward progress: 183596
Backward progress: 188992
Backward progress: 199783
Backward progress: 199674
Backward progress: 207149
Backward progress: 426434
Backward progress: 426796
Backward progress: 425640
Backward progress: 423872
Backward progress: 422504
Backward progress: 460494
Backward progress: 469600
Backward progress: 469600
Backward progress: 479962
Backward progress: 479824
Backward progress: 479384
Backward progress: 488483
Backward progress: 488635
Backward progress: 488657
Backward progress: 489113
Backward progress: 496215
Backward progress: 502503
Backward progress: 502003
Backward progress: 502627
Backward progress: 506040
Backward progress: 508810
Backward progress: 511528
Backward progress: 515649
Backward progress: 515121
Backward progress: 514553
Backward progress: 513887
Backward progress: 453959
Backward progress: 743039
Backward progress: 840995
Backward progress: 862805
Backward progress: 865130
Backward progress: 874230
Backward progress: 869513
Backward progress: 868246
Backward progress: 862642
Backward progress: 860704
Backward progress: 862455
Backward progress: 864635
Backward progress: 861262
Backward progress: 875801
Backward progress: 875862
Backward progress: 875501
Backward progress: 875780
Backward progress: 886015
Backward progress: 890463
Backward progress: 864590
Backward progress: 857886
Backward progress: 858652
Backward progress: 853969
Backward progress: 888681
Backward progress: 854187
Backward progress: 848906
Backward progress: 844009
Backward progress: 838048
Backward progress: 804242
Backward progress: 661242
Backward progress: 661754
Backward progress: 674024
Backward progress: 667986
Backward progress: 665342
Backward progress: 664448
Backward progress: 662717
Backward progress: 662095
Backward progress: 661694
Backward progress: 659905
Backward progress: 512092
Backward progress: 456805
Backward progress: 623010
Backward progress: 674602
Backward progress: 670637
Backward progress: 790675
Backward progress: 790553
Backward progress: 793807
Backward progress: 798977
Backward progress: 799993
Backward progress: 800041
Backward progress: 798357
Backward progress: 792264
Backward progress: 805775
Backward progress: 805307
Backward progress: 807711
Backward progress: 812468
Backward progress: 826870
Backward progress: 817728
Backward progress: 817854
Backward progress: 822812
Backward progress: 816580
Backward progress: 821708
Backward progress: 742835
Backward progress: 738016
Backward progress: 754486
Backward progress: 754041
Backward progress: 754499
Backward progress: 754561
Backward progress: 753909
Backward progress: 754408
Backward progress: 756980
Backward progress: 754046
Backward progress: 754850
Backward progress: 742904
Backward progress: 663636
Backward progress: 1365659
Backward progress: 1369659
Backward progress: 1371299
Backward progress: 1395577
Backward progress: 1636398
Backward progress: 1701294
Backward progress: 1720292
Backward progress: 1720286
Backward progress: 1727922
Backward progress: 1739309
Backward progress: 1738249
Backward progress: 1748518
Backward progress: 1760432
Backward progress: 1776510
Backward progress: 1797806
Backward progress: 1791934
Backward progress: 1796065
Backward progress: 2008026
Backward progress: 1968642
Backward progress: 1927772
Backward progress: 2014184
Backward progress: 2164122
Backward progress: 2164236
Backward progress: 2213974
Backward progress: 2201647
Backward progress: 2187588
Backward progress: 2183030
Backward progress: 2181136
Backward progress: 2340944
Backward progress: 2323404
Backward progress: 2293874
Backward progress: 2292883
Backward progress: 2281055
Backward progress: 2279223
Backward progress: 2430888
Backward progress: 2399904
Backward progress: 2373256
Backward progress: 2377282
Backward progress: 2364911
Backward progress: 2360763
Backward progress: 2361603
Backward progress: 2542373
Backward progress: 2163339
Backward progress: 2133827
Backward progress: 2097639
Backward progress: 2068881
Backward progress: 2077544
Backward progress: 2059234
Backward progress: 2189078
Backward progress: 2101073
Backward progress: 2145706
Backward progress: 2129950
Backward progress: 2575460
Backward progress: 2190231
Backward progress: 2181122
Backward progress: 2179740
Backward progress: 2178650
Backward progress: 2176826
Backward progress: 2176610
Backward progress: 2171843
Backward progress: 2180676
Backward progress: 2073912
Backward progress: 2091661
Backward progress: 2090462
Backward progress: 2090462
Forward closed progress: 2085788
Forward closed progress: 2085795
Forward closed progress: 2816002
Forward closed progress: 2081720
Forward closed progress: 2081810
Forward closed progress: 2082128
Forward closed progress: 2082764
Forward closed progress: 2082446
Forward closed progress: 2082684
Forward closed progress: 2083294
Forward closed progress: 2083410
Forward closed progress: 2079504
Forward closed progress: 2080333
Forward closed progress: 2081167
Forward closed progress: 2083055
Forward closed progress: 2083135
Forward closed progress: 2081515
Forward closed progress: 2090276
Forward closed progress: 2070115
Forward closed progress: 2102390
Forward closed progress: 2104199
Forward closed progress: 2083100
Forward closed progress: 2171328
Forward closed progress: 2465597
Forward closed progress: 2383541
Forward closed progress: 2379321
Forward closed progress: 2379291
Forward closed progress: 2379291
Forward closed progress: 2098175
Forward closed progress: 2191465
Forward closed progress: 2350870
Forward closed progress: 2318238
Forward closed progress: 2318228
Forward closed progress: 2318228
Forward closed progress: 2110755
Forward closed progress: 2098068
Forward closed progress: 1953161
Forward closed progress: 1772213
Forward closed progress: 2033935
Forward closed progress: 1791938
Forward closed progress: 1797818
Forward closed progress: 1838730
Forward closed progress: 1778328
Forward closed progress: 1883226
Forward closed progress: 1880894
Forward closed progress: 2129102
Forward closed progress: 2185294
Forward closed progress: 2382860
Forward closed progress: 2383552
Forward closed progress: 2383684
Forward closed progress: 2336102
Forward closed progress: 1892108
Forward closed progress: 2149868
Forward closed progress: 2153076
Forward closed progress: 2153702
Forward closed progress: 2153661
Forward closed progress: 2156871
Forward closed progress: 2327911
Forward closed progress: 2469685
Forward closed progress: 2469880
Forward closed progress: 2469918
Forward closed progress: 2332252
Forward closed progress: 2336810
Forward closed progress: 2324848
Forward closed progress: 2318555
Forward closed progress: 1931599
Forward closed progress: 3449651
Forward closed progress: 3469974
Forward closed progress: 3650536
Forward closed progress: 3384910
Forward closed progress: 3385179
Forward closed progress: 3385245
Forward closed progress: 3385197
Forward closed progress: 2959213
Forward closed progress: 2956225
Forward closed progress: 2558229
Forward closed progress: 2574841
Forward closed progress: 2715416
Forward closed progress: 2715621
Forward closed progress: 2715655
Forward closed progress: 2657440
Forward closed progress: 2382928
Forward closed progress: 2850372
Forward closed progress: 2876720
Forward closed progress: 3193348
Forward closed progress: 3193699
Forward closed progress: 3193763
Forward closed progress: 3044271
Forward closed progress: 2356595
Forward closed progress: 3406255
Forward closed progress: 3410253
Forward closed progress: 3173299
Forward closed progress: 2333060
Forward closed progress: 3159015
Forward closed progress: 3582072
Forward closed progress: 3964039
Forward closed progress: 3966819
Forward closed progress: 3967329
Forward closed progress: 3785820
Forward closed progress: 2981407
Forward closed progress: 2962324
Forward closed progress: 2850432
Forward closed progress: 2625009
Forward closed progress: 2336180
Forward closed progress: 4409303
Forward closed progress: 4410035
Forward closed progress: 2343566
Forward closed progress: 3441638
Forward closed progress: 4947332
Forward closed progress: 6208138
Forward closed progress: 6566315
Forward closed progress: 6568883
Forward closed progress: 6569459
Forward closed progress: 6188517
Forward closed progress: 6206911
Forward closed progress: 6206655
Forward closed progress: 5661551
Forward closed progress: 5534085
Forward closed progress: 5276106
Forward closed progress: 5427435
Forward closed progress: 5480350
Forward closed progress: 5366210
Forward closed progress: 5366267
Forward closed progress: 5237547
Forward closed progress: 5169929
Forward closed progress: 5090691
Forward closed progress: 5038631
Forward closed progress: 5038692
Forward closed progress: 4923496
Forward closed progress: 4792078
Forward closed progress: 4911289
Forward closed progress: 4849955
Forward closed progress: 5684961
Forward closed progress: 5685114
Forward closed progress: 5228946
Forward closed progress: 5230089
Forward closed progress: 5229711
Forward closed progress: 4985406
Forward closed progress: 8440102
Forward closed progress: 12399874
Forward closed progress: 12401242
Forward closed progress: 9664338
Forward closed progress: 9663118
Forward closed progress: 9663334
Forward closed progress: 8968320
Forward closed progress: 8930298
Forward closed progress: 10083652
Forward closed progress: 8932854
Forward closed progress: 8937529
Forward closed progress: 9184285
Forward closed progress: 8147808
Forward closed progress: 11031510
Forward closed progress: 11069923
Forward closed progress: 9718915
Forward closed progress: 9364084
Forward closed progress: 9741185
Forward closed progress: 9741493
Forward closed progress: 8860746
Forward closed progress: 8860542
Forward closed progress: 8620485
Forward closed progress: 8545831
Forward closed progress: 7340616
Forward closed progress: 5744638
Forward closed progress: 5943543
Forward closed progress: 5748512
Forward closed progress: 5818546
Forward closed progress: 5818465
Forward closed progress: 5711918
Forward closed progress: 5657210
Forward closed progress: 8613876
Forward closed progress: 8572194
Forward closed progress: 8512296
Forward closed progress: 7787051
Forward closed progress: 7856384
Forward closed progress: 7856584
Forward closed progress: 8034069
Forward closed progress: 8034097
Forward closed progress: 8038354
Forward closed progress: 8444810
Forward closed progress: 8448253
Forward closed progress: 8781002
Forward closed progress: 8781392
Forward closed progress: 8781430
Forward closed progress: 8526737
Forward closed progress: 8467561
Forward closed progress: 8310865
Forward closed progress: 8309372
Forward closed progress: 8308666
Forward closed progress: 8308582
Forward closed progress: 8308048
Forward closed progress: 8428285
Forward closed progress: 8428878
Forward closed progress: 8428864
Forward closed progress: 8428995
Forward closed progress: 8429053
Forward closed progress: 8425561
Forward closed progress: 8389071
Forward closed progress: 9306130
Forward closed progress: 9283640
Forward closed progress: 9283535
Forward closed progress: 8790514
Forward closed progress: 8791381
Forward closed progress: 8786875
Forward closed progress: 8751398
Forward closed progress: 8751423
Forward closed progress: 9455718
Forward closed progress: 9455740
Forward closed progress: 8761335
Forward closed progress: 8825341
Forward closed progress: 8806039
Forward closed progress: 8806272
Forward closed progress: 8854499
Forward closed progress: 9182690
Forward closed progress: 9160287
Forward closed progress: 9103421
Forward closed progress: 8296887
Forward closed progress: 8096796
Forward closed progress: 8027276
Forward closed progress: 7668323
Forward closed progress: 7632533
Forward closed progress: 6836143
Forward closed progress: 6701103
Forward closed progress: 6626616
Forward closed progress: 6591330
Forward closed progress: 6759559
Forward closed progress: 6759509
Forward closed progress: 6524439
Forward closed progress: 6524383
Forward closed progress: 6560289
Forward closed progress: 6550365
Forward closed progress: 6358341
Forward closed progress: 6320220
Forward closed progress: 6358437
Forward closed progress: 6358461
Forward closed progress: 6322288
Forward closed progress: 6284071
Forward closed progress: 6252089
Forward closed progress: 6251713
Forward closed progress: 6251691
Forward closed progress: 6251609
Forward closed progress: 6251525
Forward closed progress: 6194248
Forward closed progress: 6172236
Forward closed progress: 6209115
Forward closed progress: 6209690
Forward closed progress: 6209754
Forward closed progress: 6211818
Forward closed progress: 6211820
Forward closed progress: 6182880
Forward closed progress: 6182797
Forward closed progress: 6182793
Forward closed progress: 6181613
Forward closed progress: 6181435
Forward closed progress: 6178496
Forward closed progress: 6180039
Forward closed progress: 6180020
Forward closed progress: 6179301
Forward closed progress: 6179357
Forward closed progress: 6179329
Forward closed progress: 6175799
Forward closed progress: 6175885
Forward closed progress: 6175889
Forward closed progress: 6171115
Forward closed progress: 8630524
Forward closed progress: 8995019
Forward closed progress: 8529340
Forward closed progress: 8817463
Forward closed progress: 8821669
Forward closed progress: 8822719
Forward closed progress: 8328733
Forward closed progress: 8379825
Forward closed progress: 8314788
Forward closed progress: 8731535
Forward closed progress: 8387619
Forward closed progress: 8275490
Forward closed progress: 8280007
Forward closed progress: 7790176
Forward closed progress: 7437472
Forward closed progress: 7387496
Forward closed progress: 7139351
Forward closed progress: 7176119
Forward closed progress: 6974715
Forward closed progress: 7027491
Forward closed progress: 7027623
Forward closed progress: 6492723
Forward closed progress: 6492459
Forward closed progress: 6434145
Forward closed progress: 6368659
Forward closed progress: 6171247
Forward closed progress: 6172087
Forward closed progress: 15795979
Forward closed progress: 19596220
Forward closed progress: 18953171
Forward closed progress: 16374515
Forward closed progress: 14239911
Forward closed progress: 14240701
Forward closed progress: 14147029
Forward closed progress: 6565623
Forward closed progress: 7873621
Forward closed progress: 7576848
Forward closed progress: 6478051
Forward closed progress: 6709972
Forward closed progress: 6710032
Forward closed progress: 6478937
Forward closed progress: 6267020
Forward closed progress: 6280330
Forward closed progress: 6248100
Forward closed progress: 6288368
Forward closed progress: 6165311
Forward closed progress: 5968340
Forward closed progress: 5968449
Forward closed progress: 7993790
Forward closed progress: 8757064
Forward closed progress: 9055338
Forward closed progress: 9115624
Forward closed progress: 9381960
Forward closed progress: 9383084
Forward closed progress: 9383314
Forward closed progress: 9290630
Forward closed progress: 9293953
Forward closed progress: 9232419
Forward closed progress: 9193527
Forward closed progress: 9215349
Forward closed progress: 9152065
Forward closed progress: 9294863
Forward closed progress: 9243278
Forward closed progress: 9597153
Forward closed progress: 9597297
Forward closed progress: 9922626
Forward closed progress: 9979778
Forward closed progress: 9979418
Forward closed progress: 9988704
Forward closed progress: 10022642
Forward closed progress: 10027046
Forward closed progress: 9802231
Forward closed progress: 9720600
Forward closed progress: 9720510
Forward closed progress: 9754846
Forward closed progress: 9761048
Forward closed progress: 9395164
Forward closed progress: 9591485
Forward closed progress: 9183949
Forward closed progress: 9365118
Forward closed progress: 9365310
Forward closed progress: 9097882
Forward closed progress: 9068110
Forward closed progress: 8985860
Forward closed progress: 8792531
Forward closed progress: 8623411
Forward closed progress: 8013421
Forward closed progress: 8087245
Forward closed progress: 8087678
Forward closed progress: 8262658
Forward closed progress: 8262707
Forward closed progress: 7183482
Forward closed progress: 7151982
Forward closed progress: 7146037
Forward closed progress: 7130961
Forward closed progress: 7422094
Forward closed progress: 7411201
Forward closed progress: 6897743
Forward closed progress: 6920576
Forward closed progress: 6920387
Forward closed progress: 6910059
Forward closed progress: 6819755
Forward closed progress: 6913360
Forward closed progress: 6913379
Forward closed progress: 6823702
Forward closed progress: 6718305
Forward closed progress: 6755288
Forward closed progress: 6701402
Forward closed progress: 6732401
Forward closed progress: 6732425
Forward closed progress: 6685611
Forward closed progress: 6623530
Forward closed progress: 6623480
Forward closed progress: 6617977
Forward closed progress: 6302095
Forward closed progress: 6258327
Forward closed progress: 6329681
Forward closed progress: 6327203
Forward closed progress: 6220988
Forward closed progress: 6193820
Forward closed progress: 5568494
Forward closed progress: 8983559
Forward closed progress: 10930745
Forward closed progress: 10321879
Forward closed progress: 13176698
Forward closed progress: 13180793
Forward closed progress: 13181251
Forward closed progress: 13108148
Forward closed progress: 13246354
Forward closed progress: 13958154
Forward closed progress: 13871025
Forward closed progress: 16364455
Forward closed progress: 18735580
Forward closed progress: 22852355
Forward closed progress: 26641625
Forward closed progress: 26640302
Forward closed progress: 26238657
Forward closed progress: 26853821
Forward closed progress: 27743582
Forward closed progress: 27757698
Forward closed progress: 27204005
Forward closed progress: 26974081
Forward closed progress: 25713453
Forward closed progress: 25760457
Forward closed progress: 25631743
Forward closed progress: 25588263
Forward closed progress: 25485734
Forward closed progress: 25640517
Forward closed progress: 25223370
Forward closed progress: 26829731
Forward closed progress: 22504441
Forward closed progress: 23380718
Forward closed progress: 23381315
Forward closed progress: 21162108
Forward closed progress: 20861443
Forward closed progress: 19853735
Forward closed progress: 19678246
Forward closed progress: 19641262
Forward closed progress: 19284371
Forward closed progress: 19279879
Forward closed progress: 19284549
Forward closed progress: 19251526
Forward closed progress: 15371788
Forward closed progress: 15371800
Forward closed progress: 15352769
Forward closed progress: 15352768
Forward closed progress: 15354699
Forward closed progress: 15352795
Forward closed progress: 15352973
Forward closed progress: 15355943
Forward closed progress: 15352776
Forward closed progress: 15352838
Forward closed progress: 15352879
Forward closed progress: 15361025
Forward closed progress: 15361023
Forward closed progress: 15367231
Forward closed progress: 15380081
Forward closed progress: 15380083
Forward closed progress: 15369191
Forward closed progress: 15356357
Forward closed progress: 15356245
Forward closed progress: 15352911
Forward closed progress: 15352909
Forward closed progress: 15352886
Forward closed progress: 18075709
Forward closed progress: 17339226
Forward closed progress: 14541085
Forward closed progress: 15528311
Forward closed progress: 15528669
Forward closed progress: 14869794
Forward closed progress: 14836533
Forward closed progress: 14543161
Forward closed progress: 13799780
Forward closed progress: 13209167
Forward closed progress: 11304260
Forward closed progress: 10242136
Forward closed progress: 9921848
Forward closed progress: 9921838
Forward closed progress: 9938401
Forward closed progress: 9916795
Forward closed progress: 9903215
Forward closed progress: 9903413
Forward closed progress: 9914339
Forward closed progress: 9897031
Forward closed progress: 9971231
Forward closed progress: 9852045
Forward closed progress: 8331615
Forward closed progress: 8335359
Forward closed progress: 8335399
Forward closed progress: 8340263
Forward closed progress: 8340269
Forward closed progress: 8122862
Forward closed progress: 8121858
Forward closed progress: 8122014
Forward closed progress: 8122110
Forward closed progress: 8131596
Forward closed progress: 8131584
Forward closed progress: 8132170
Forward closed progress: 8134875
Forward closed progress: 8134836
Forward closed progress: 8134954
Forward closed progress: 8126172
Forward closed progress: 8122528
Forward closed progress: 8126155
Forward closed progress: 8126173
Forward closed progress: 8122516
Forward closed progress: 8118170
Forward closed progress: 7861973
Forward closed progress: 5568502
Forward closed progress: 7027979
Forward closed progress: 6883231
Forward closed progress: 6883913
Forward closed progress: 6872233
Forward closed progress: 6888705
Forward closed progress: 6888705
Forward closed progress: 6898341
Forward closed progress: 6898237
Forward closed progress: 6885711
Forward closed progress: 6884613
Forward closed progress: 6872360
Forward closed progress: 6884386
Forward closed progress: 6884317
Forward closed progress: 6869512
Forward closed progress: 8706424
Forward closed progress: 9630311
Forward closed progress: 11427588
Forward closed progress: 11430943
Forward closed progress: 11431341
Forward closed progress: 11381798
Forward closed progress: 11742595
Forward closed progress: 12418937
Forward closed progress: 12398983
Forward closed progress: 13506093
Forward closed progress: 14742568
Forward closed progress: 16689956
Forward closed progress: 20059484
Forward closed progress: 20058677
Forward closed progress: 18062942
Forward closed progress: 19011464
Forward closed progress: 20938937
Forward closed progress: 20954764
Forward closed progress: 20854172
Forward closed progress: 20718226
Forward closed progress: 19723617
Forward closed progress: 19844655
Forward closed progress: 20300747
Forward closed progress: 20653950
Forward closed progress: 20607200
Forward closed progress: 18588445
Forward closed progress: 18505069
Forward closed progress: 24527294
Forward closed progress: 27592849
Forward closed progress: 28231461
Forward closed progress: 28324004
Forward closed progress: 28314975
Forward closed progress: 28408878
Forward closed progress: 29669430
Forward closed progress: 27741519
Forward closed progress: 28273758
Forward closed progress: 28274538
Forward closed progress: 26929381
Forward closed progress: 26794137
Forward closed progress: 26045362
Forward closed progress: 25761160
Forward closed progress: 25490335
Forward closed progress: 33162017
Forward closed progress: 33020973
Forward closed progress: 32942318
Forward closed progress: 32925994
Forward closed progress: 32153315
Forward closed progress: 32656618
Forward closed progress: 32712576
Forward closed progress: 34131446
Forward closed progress: 34132139
Forward closed progress: 34325166
Forward closed progress: 39696269
Forward closed progress: 44842946
Forward closed progress: 44843668
Forward closed progress: 44843770
Forward closed progress: 42254286
Forward closed progress: 42532330
Forward closed progress: 42520842
Forward closed progress: 42187954
Forward closed progress: 42693549
Forward closed progress: 46237522
Forward closed progress: 47473231
Forward closed progress: 47475929
Forward closed progress: 47476300
Forward closed progress: 47476344
Forward closed progress: 46969904
Forward closed progress: 45718349
Forward closed progress: 52492432
Forward closed progress: 52475190
Forward closed progress: 52472156
Forward closed progress: 54813266
Forward closed progress: 52265527
Forward closed progress: 52171450
Forward closed progress: 52241019
Forward closed progress: 52133966
Forward closed progress: 52141964
Forward closed progress: 56217105
Forward closed progress: 56217664
Forward closed progress: 52232931
Forward closed progress: 52232550
Forward closed progress: 52233712
Forward closed progress: 57843244
Forward closed progress: 60635050
Forward closed progress: 60641590
Forward closed progress: 60641746
Forward closed progress: 56525694
Forward closed progress: 56044347
Forward closed progress: 56162513
Forward closed progress: 56717564
Forward closed progress: 56345007
Forward closed progress: 56266321
Forward closed progress: 55352593
