>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 504
Perturbation colors: 9007199254740992
All colors: 4539628424389460000
Unknown update functions: 2
Lowest cardinality: 1
Highest cardinality: 4
Attractor colors: 1513209474796486700
Attractor colors computed in 5819 ms.
Backward progress: 176932
Backward progress: 177294
Backward progress: 176144
Backward progress: 174394
Backward progress: 173026
Backward progress: 193284
Backward progress: 196069
Backward progress: 196069
Backward progress: 198786
Backward progress: 198648
Backward progress: 198472
Backward progress: 201313
Backward progress: 201465
Backward progress: 201487
Backward progress: 201943
Backward progress: 205393
Backward progress: 206935
Backward progress: 206435
Backward progress: 207741
Backward progress: 210444
Backward progress: 209265
Backward progress: 210589
Backward progress: 210939
Backward progress: 210411
Backward progress: 209843
Backward progress: 209177
Backward progress: 185710
Backward progress: 276347
Backward progress: 327565
Backward progress: 339378
Backward progress: 339505
Backward progress: 342341
Backward progress: 339748
Backward progress: 338679
Backward progress: 335823
Backward progress: 335939
Backward progress: 337762
Backward progress: 336051
Backward progress: 341974
Backward progress: 342215
Backward progress: 342034
Backward progress: 343033
Backward progress: 349714
Backward progress: 349917
Backward progress: 335747
Backward progress: 334368
Backward progress: 335334
Backward progress: 332525
Backward progress: 341787
Backward progress: 332743
Backward progress: 329482
Backward progress: 326605
Backward progress: 322664
Backward progress: 315435
Backward progress: 259262
Backward progress: 259578
Backward progress: 266267
Backward progress: 262857
Backward progress: 260914
Backward progress: 260509
Backward progress: 259923
Backward progress: 259925
Backward progress: 259085
Backward progress: 202417
Backward progress: 182134
Backward progress: 252096
Backward progress: 275036
Backward progress: 274391
Backward progress: 322915
Backward progress: 322793
Backward progress: 323351
Backward progress: 324681
Backward progress: 325697
Backward progress: 325745
Backward progress: 325597
Backward progress: 325317
Backward progress: 331144
Backward progress: 330676
Backward progress: 331162
Backward progress: 333618
Backward progress: 335690
Backward progress: 333744
Backward progress: 333810
Backward progress: 334874
Backward progress: 332298
Backward progress: 333532
Backward progress: 302501
Backward progress: 301345
Backward progress: 309627
Backward progress: 309182
Backward progress: 308911
Backward progress: 308821
Backward progress: 308802
Backward progress: 309299
Backward progress: 308779
Backward progress: 309583
Backward progress: 297637
Backward progress: 272815
Backward progress: 409868
Backward progress: 425940
Backward progress: 506819
Backward progress: 538565
Backward progress: 544315
Backward progress: 544309
Backward progress: 550165
Backward progress: 571357
Backward progress: 585453
Backward progress: 581597
Backward progress: 579307
Backward progress: 683268
Backward progress: 747307
Backward progress: 769237
Backward progress: 797916
Backward progress: 790364
Backward progress: 782577
Backward progress: 779789
Backward progress: 778375
Backward progress: 787244
Backward progress: 859144
Backward progress: 805054
Backward progress: 804594
Backward progress: 798916
Backward progress: 800273
Backward progress: 788479
Backward progress: 851234
Backward progress: 809298
Backward progress: 819735
Backward progress: 821607
Backward progress: 1008020
Backward progress: 848156
Backward progress: 845475
Backward progress: 845221
Backward progress: 844911
Backward progress: 844806
Backward progress: 844590
Backward progress: 842892
Backward progress: 845493
Backward progress: 791517
Backward progress: 791517
Forward closed progress: 789845
Forward closed progress: 789852
Forward closed progress: 1027289
Forward closed progress: 785777
Forward closed progress: 785867
Forward closed progress: 786177
Forward closed progress: 786797
Forward closed progress: 786487
Forward closed progress: 786709
Forward closed progress: 787307
Forward closed progress: 787423
Forward closed progress: 784725
Forward closed progress: 785522
Forward closed progress: 786324
Forward closed progress: 788212
Forward closed progress: 788292
Forward closed progress: 786672
Forward closed progress: 795757
Forward closed progress: 776405
Forward closed progress: 811204
Forward closed progress: 813013
Forward closed progress: 788980
Forward closed progress: 860068
Forward closed progress: 910825
Forward closed progress: 926080
Forward closed progress: 925352
Forward closed progress: 925331
Forward closed progress: 925331
Forward closed progress: 800157
Forward closed progress: 884357
Forward closed progress: 903340
Forward closed progress: 883867
Forward closed progress: 883857
Forward closed progress: 883857
Forward closed progress: 810327
Forward closed progress: 807134
Forward closed progress: 764115
Forward closed progress: 691673
Forward closed progress: 908530
Forward closed progress: 707348
Forward closed progress: 736454
Forward closed progress: 739974
Forward closed progress: 735326
Forward closed progress: 848269
Forward closed progress: 870023
Forward closed progress: 942969
Forward closed progress: 943637
Forward closed progress: 943765
Forward closed progress: 917807
Forward closed progress: 745949
Forward closed progress: 837480
Forward closed progress: 839348
Forward closed progress: 839734
Forward closed progress: 839693
Forward closed progress: 843104
Forward closed progress: 894865
Forward closed progress: 941764
Forward closed progress: 941959
Forward closed progress: 941997
Forward closed progress: 909331
Forward closed progress: 909423
Forward closed progress: 906478
Forward closed progress: 904833
Forward closed progress: 769012
Forward closed progress: 958979
Forward closed progress: 968053
Forward closed progress: 979637
Forward closed progress: 953517
Forward closed progress: 953537
Forward closed progress: 953545
Forward closed progress: 953521
Forward closed progress: 893646
Forward closed progress: 831956
Forward closed progress: 844228
Forward closed progress: 902083
Forward closed progress: 902288
Forward closed progress: 902322
Forward closed progress: 869443
Forward closed progress: 752761
Forward closed progress: 797702
Forward closed progress: 790427
Forward closed progress: 842635
Forward closed progress: 842784
Forward closed progress: 842814
Forward closed progress: 754093
Forward closed progress: 1021154
Forward closed progress: 1024438
Forward closed progress: 967300
Forward closed progress: 772937
Forward closed progress: 990459
Forward closed progress: 1101698
Forward closed progress: 1245422
Forward closed progress: 1247417
Forward closed progress: 1247775
Forward closed progress: 1213432
Forward closed progress: 1018509
Forward closed progress: 1003943
Forward closed progress: 961049
Forward closed progress: 889223
Forward closed progress: 775721
Forward closed progress: 1341223
Forward closed progress: 1341765
Forward closed progress: 782534
Forward closed progress: 965550
Forward closed progress: 1366700
Forward closed progress: 1695774
Forward closed progress: 1780030
Forward closed progress: 1781737
Forward closed progress: 1782153
Forward closed progress: 1686911
Forward closed progress: 1698659
Forward closed progress: 1698449
Forward closed progress: 1567330
Forward closed progress: 1618247
Forward closed progress: 1620120
Forward closed progress: 1500128
Forward closed progress: 1470175
Forward closed progress: 1438226
Forward closed progress: 1438283
Forward closed progress: 1387763
Forward closed progress: 1353882
Forward closed progress: 1369361
Forward closed progress: 1368419
Forward closed progress: 1524167
Forward closed progress: 1524320
Forward closed progress: 1411616
Forward closed progress: 1412593
Forward closed progress: 1412273
Forward closed progress: 1368587
Forward closed progress: 1937728
Forward closed progress: 2841271
Forward closed progress: 2842295
Forward closed progress: 2192361
Forward closed progress: 2191395
Forward closed progress: 2191579
Forward closed progress: 2036282
Forward closed progress: 2011766
Forward closed progress: 2178875
Forward closed progress: 2013552
Forward closed progress: 2016852
Forward closed progress: 2197164
Forward closed progress: 1965135
Forward closed progress: 2493100
Forward closed progress: 2500356
Forward closed progress: 2257762
Forward closed progress: 2166802
Forward closed progress: 2345848
Forward closed progress: 2346083
Forward closed progress: 2139043
Forward closed progress: 2138863
Forward closed progress: 2082791
Forward closed progress: 2056401
Forward closed progress: 1783450
Forward closed progress: 1384805
Forward closed progress: 1412255
Forward closed progress: 1387617
Forward closed progress: 1399881
Forward closed progress: 1399810
Forward closed progress: 1382229
Forward closed progress: 1343904
Forward closed progress: 1957695
Forward closed progress: 1945381
Forward closed progress: 1925483
Forward closed progress: 1812889
Forward closed progress: 1833712
Forward closed progress: 1833850
Forward closed progress: 1855955
Forward closed progress: 1855975
Forward closed progress: 1861296
Forward closed progress: 1939201
Forward closed progress: 1940203
Forward closed progress: 1990626
Forward closed progress: 1990978
Forward closed progress: 1991016
Forward closed progress: 1948817
Forward closed progress: 1951196
Forward closed progress: 1927847
Forward closed progress: 1927477
Forward closed progress: 1927385
Forward closed progress: 1927247
Forward closed progress: 1936328
Forward closed progress: 1936868
Forward closed progress: 1936854
Forward closed progress: 1936973
Forward closed progress: 1937025
Forward closed progress: 1934827
Forward closed progress: 1927558
Forward closed progress: 2056587
Forward closed progress: 2049716
Forward closed progress: 2049653
Forward closed progress: 2006756
Forward closed progress: 2007445
Forward closed progress: 2006693
Forward closed progress: 1997898
Forward closed progress: 1997923
Forward closed progress: 2122509
Forward closed progress: 2122529
Forward closed progress: 2009340
Forward closed progress: 2018834
Forward closed progress: 2015808
Forward closed progress: 2016041
Forward closed progress: 2022590
Forward closed progress: 2073545
Forward closed progress: 2070275
Forward closed progress: 2059850
Forward closed progress: 1939378
Forward closed progress: 1929745
Forward closed progress: 1929368
Forward closed progress: 1868740
Forward closed progress: 1860132
Forward closed progress: 1647866
Forward closed progress: 1622867
Forward closed progress: 1611911
Forward closed progress: 1606695
Forward closed progress: 1635320
Forward closed progress: 1635274
Forward closed progress: 1592293
Forward closed progress: 1592245
Forward closed progress: 1597013
Forward closed progress: 1594656
Forward closed progress: 1541797
Forward closed progress: 1535869
Forward closed progress: 1541879
Forward closed progress: 1541899
Forward closed progress: 1536903
Forward closed progress: 1530893
Forward closed progress: 1522040
Forward closed progress: 1521852
Forward closed progress: 1521900
Forward closed progress: 1521830
Forward closed progress: 1521758
Forward closed progress: 1506252
Forward closed progress: 1502332
Forward closed progress: 1510222
Forward closed progress: 1503073
Forward closed progress: 1502992
Forward closed progress: 1502605
Forward closed progress: 1502976
Forward closed progress: 1502976
Forward closed progress: 1500982
Forward closed progress: 1501010
Forward closed progress: 1500998
Forward closed progress: 1500545
Forward closed progress: 1500567
Forward closed progress: 1500571
Forward closed progress: 1499539
Forward closed progress: 2075472
Forward closed progress: 2121891
Forward closed progress: 2026961
Forward closed progress: 2089650
Forward closed progress: 2092730
Forward closed progress: 2093458
Forward closed progress: 1954861
Forward closed progress: 1952687
Forward closed progress: 1946942
Forward closed progress: 2024434
Forward closed progress: 1932608
Forward closed progress: 1900904
Forward closed progress: 1903930
Forward closed progress: 1801501
Forward closed progress: 1745302
Forward closed progress: 1728781
Forward closed progress: 1706325
Forward closed progress: 1708531
Forward closed progress: 1680497
Forward closed progress: 1686879
Forward closed progress: 1686991
Forward closed progress: 1568123
Forward closed progress: 1567895
Forward closed progress: 1554100
Forward closed progress: 1537843
Forward closed progress: 1499641
Forward closed progress: 1500275
Forward closed progress: 3774989
Forward closed progress: 4569053
Forward closed progress: 4482785
Forward closed progress: 3935444
Forward closed progress: 3463478
Forward closed progress: 3464019
Forward closed progress: 3442699
Forward closed progress: 1721498
Forward closed progress: 2099324
Forward closed progress: 2013018
Forward closed progress: 1703107
Forward closed progress: 1737126
Forward closed progress: 1737178
Forward closed progress: 1703719
Forward closed progress: 1637492
Forward closed progress: 1640413
Forward closed progress: 1633624
Forward closed progress: 1641537
Forward closed progress: 1589384
Forward closed progress: 1565383
Forward closed progress: 1565465
Forward closed progress: 1904742
Forward closed progress: 2068144
Forward closed progress: 2132353
Forward closed progress: 2143040
Forward closed progress: 2191140
Forward closed progress: 2192044
Forward closed progress: 2192208
Forward closed progress: 2175928
Forward closed progress: 2164968
Forward closed progress: 2156994
Forward closed progress: 2140746
Forward closed progress: 2160383
Forward closed progress: 2152047
Forward closed progress: 2213986
Forward closed progress: 2214127
Forward closed progress: 2299662
Forward closed progress: 2343462
Forward closed progress: 2343108
Forward closed progress: 2340829
Forward closed progress: 2354029
Forward closed progress: 2357725
Forward closed progress: 2302489
Forward closed progress: 2272698
Forward closed progress: 2275970
Forward closed progress: 2280034
Forward closed progress: 2196592
Forward closed progress: 2229626
Forward closed progress: 2156186
Forward closed progress: 2194813
Forward closed progress: 2194981
Forward closed progress: 2127993
Forward closed progress: 2121769
Forward closed progress: 2098005
Forward closed progress: 2037208
Forward closed progress: 1990888
Forward closed progress: 1857709
Forward closed progress: 1879733
Forward closed progress: 1879940
Forward closed progress: 1903205
Forward closed progress: 1903228
Forward closed progress: 1740075
Forward closed progress: 1740223
Forward closed progress: 1736950
Forward closed progress: 1732466
Forward closed progress: 1780114
Forward closed progress: 1776747
Forward closed progress: 1660516
Forward closed progress: 1671960
Forward closed progress: 1671809
Forward closed progress: 1670009
Forward closed progress: 1652318
Forward closed progress: 1670186
Forward closed progress: 1670204
Forward closed progress: 1652916
Forward closed progress: 1623633
Forward closed progress: 1625196
Forward closed progress: 1618340
Forward closed progress: 1621719
Forward closed progress: 1621743
Forward closed progress: 1614049
Forward closed progress: 1593964
Forward closed progress: 1593940
Forward closed progress: 1592399
Forward closed progress: 1525697
Forward closed progress: 1516250
Forward closed progress: 1528402
Forward closed progress: 1527686
Forward closed progress: 1506175
Forward closed progress: 1545243
Forward closed progress: 1349593
Forward closed progress: 2155808
Forward closed progress: 2544302
Forward closed progress: 2439056
Forward closed progress: 3061760
Forward closed progress: 3064814
Forward closed progress: 3065130
Forward closed progress: 3051683
Forward closed progress: 3024327
Forward closed progress: 3128854
Forward closed progress: 3143066
Forward closed progress: 3550509
Forward closed progress: 4127290
Forward closed progress: 4967299
Forward closed progress: 5976203
Forward closed progress: 5974982
Forward closed progress: 5887989
Forward closed progress: 5961961
Forward closed progress: 6077133
Forward closed progress: 6087116
Forward closed progress: 5962907
Forward closed progress: 5920740
Forward closed progress: 5773803
Forward closed progress: 5796932
Forward closed progress: 5728365
Forward closed progress: 5682800
Forward closed progress: 5684044
Forward closed progress: 5568021
Forward closed progress: 5504963
Forward closed progress: 5663274
Forward closed progress: 5050131
Forward closed progress: 5180695
Forward closed progress: 5181216
Forward closed progress: 4679728
Forward closed progress: 4608165
Forward closed progress: 4397236
Forward closed progress: 4283132
Forward closed progress: 4266520
Forward closed progress: 4167029
Forward closed progress: 4166553
Forward closed progress: 4167231
Forward closed progress: 4161519
Forward closed progress: 3460575
Forward closed progress: 3460587
Forward closed progress: 3456117
Forward closed progress: 3456116
Forward closed progress: 3456163
Forward closed progress: 3456143
Forward closed progress: 3456325
Forward closed progress: 3456360
Forward closed progress: 3456124
Forward closed progress: 3456186
Forward closed progress: 3456227
Forward closed progress: 3457707
Forward closed progress: 3457705
Forward closed progress: 3459273
Forward closed progress: 3462745
Forward closed progress: 3462747
Forward closed progress: 3460743
Forward closed progress: 3457287
Forward closed progress: 3457203
Forward closed progress: 3456259
Forward closed progress: 3456257
Forward closed progress: 3456234
Forward closed progress: 3819020
Forward closed progress: 3644910
Forward closed progress: 3149559
Forward closed progress: 3297659
Forward closed progress: 3297989
Forward closed progress: 3192997
Forward closed progress: 3186186
Forward closed progress: 3150977
Forward closed progress: 3012492
Forward closed progress: 2892171
Forward closed progress: 2556690
Forward closed progress: 2317035
Forward closed progress: 2240778
Forward closed progress: 2240768
Forward closed progress: 2241676
Forward closed progress: 2236471
Forward closed progress: 2236364
Forward closed progress: 2236262
Forward closed progress: 2235964
Forward closed progress: 2239976
Forward closed progress: 2218262
Forward closed progress: 1929853
Forward closed progress: 1931365
Forward closed progress: 1931405
Forward closed progress: 1932891
Forward closed progress: 1932897
Forward closed progress: 1883342
Forward closed progress: 1883172
Forward closed progress: 1883328
Forward closed progress: 1883424
Forward closed progress: 1886274
Forward closed progress: 1886262
Forward closed progress: 1886888
Forward closed progress: 1888974
Forward closed progress: 1888935
Forward closed progress: 1889053
Forward closed progress: 1885263
Forward closed progress: 1883894
Forward closed progress: 1885258
Forward closed progress: 1885276
Forward closed progress: 1883885
Forward closed progress: 1882028
Forward closed progress: 1766419
Forward closed progress: 1349599
Forward closed progress: 1999115
Forward closed progress: 1843824
Forward closed progress: 1843432
Forward closed progress: 1841265
Forward closed progress: 1842711
Forward closed progress: 1842711
Forward closed progress: 1845724
Forward closed progress: 2140081
Forward closed progress: 2368421
Forward closed progress: 2833134
Forward closed progress: 2835754
Forward closed progress: 2836042
Forward closed progress: 2826700
Forward closed progress: 2854427
Forward closed progress: 2950271
Forward closed progress: 2958104
Forward closed progress: 3132557
Forward closed progress: 3504357
Forward closed progress: 4030721
Forward closed progress: 5129803
Forward closed progress: 5129062
Forward closed progress: 4808829
Forward closed progress: 4973310
Forward closed progress: 5242728
Forward closed progress: 5253905
Forward closed progress: 5233273
Forward closed progress: 5205447
Forward closed progress: 5110778
Forward closed progress: 5221237
Forward closed progress: 5146022
Forward closed progress: 5122492
Forward closed progress: 5135810
Forward closed progress: 4723946
Forward closed progress: 4707539
Forward closed progress: 6674875
Forward closed progress: 7238120
Forward closed progress: 7343140
Forward closed progress: 7404140
Forward closed progress: 7396986
Forward closed progress: 7413079
Forward closed progress: 7706384
Forward closed progress: 7397492
Forward closed progress: 7501109
Forward closed progress: 7501779
Forward closed progress: 7127635
Forward closed progress: 7088359
Forward closed progress: 6880765
Forward closed progress: 6694588
Forward closed progress: 6616580
Forward closed progress: 7671138
Forward closed progress: 7647702
Forward closed progress: 7637104
Forward closed progress: 7634031
Forward closed progress: 7607952
Forward closed progress: 7844001
Forward closed progress: 7876739
Forward closed progress: 8027474
Forward closed progress: 8027913
Forward closed progress: 8168723
Forward closed progress: 9218766
Forward closed progress: 10144617
Forward closed progress: 10145250
Forward closed progress: 10145330
Forward closed progress: 9558253
Forward closed progress: 9621056
Forward closed progress: 9616092
Forward closed progress: 9556227
Forward closed progress: 9652918
Forward closed progress: 10197767
Forward closed progress: 10464354
Forward closed progress: 10466808
Forward closed progress: 10467179
Forward closed progress: 10467223
Forward closed progress: 10342975
Forward closed progress: 10244788
Forward closed progress: 11500748
Forward closed progress: 11487212
Forward closed progress: 11484487
Forward closed progress: 12366773
Forward closed progress: 11785598
Forward closed progress: 11762994
Forward closed progress: 11814155
Forward closed progress: 11758078
Forward closed progress: 11764360
Forward closed progress: 12491202
Forward closed progress: 12491680
Forward closed progress: 11856809
Forward closed progress: 11856448
Forward closed progress: 11857545
Forward closed progress: 13052135
Forward closed progress: 13444859
Forward closed progress: 13450092
Forward closed progress: 13450196
Forward closed progress: 12737721
Forward closed progress: 12703036
Forward closed progress: 12830971
Forward closed progress: 12771766
Forward closed progress: 12701720
Forward closed progress: 12682613
Forward closed progress: 12549491
Forward closed progress: 12253135
Forward closed progress: 12235901
Forward closed progress: 13401747
Forward closed progress: 13413968
Forward closed progress: 12744719
Forward closed progress: 12658918
Forward closed progress: 12835911
Forward closed progress: 12834771
Forward closed progress: 11522658
Forward closed progress: 11467638
Forward closed progress: 11467202
Forward closed progress: 11355664
Forward closed progress: 11555570
Forward closed progress: 11342657
Forward closed progress: 11083791
Forward closed progress: 10571682
Forward closed progress: 10200529
Forward closed progress: 10201838
Forward closed progress: 10192488
Forward closed progress: 17830310
Forward closed progress: 19593891
Forward closed progress: 16431648
Forward closed progress: 16463263
Forward closed progress: 17752110
Forward closed progress: 17756449
Forward closed progress: 17346370
Forward closed progress: 17337729
Forward closed progress: 17305945
Forward closed progress: 16469359
Forward closed progress: 16578090
Forward closed progress: 16665492
Forward closed progress: 17842759
Forward closed progress: 17833100
Forward closed progress: 19162581
Forward closed progress: 19028852
Forward closed progress: 18915947
Forward closed progress: 18930520
Forward closed progress: 19163427
Forward closed progress: 19175682
Forward closed progress: 18110322
Forward closed progress: 18095730
Forward closed progress: 17784321
Forward closed progress: 17983405
Forward closed progress: 17701167
Forward closed progress: 17812750
Forward closed progress: 17665136
Forward closed progress: 17833509
Forward closed progress: 16682280
Forward closed progress: 16907808
Forward closed progress: 16908487
Forward closed progress: 15950283
Forward closed progress: 15789148
Forward closed progress: 15472319
Forward closed progress: 15398175
Forward closed progress: 15380541
Forward closed progress: 14797473
Forward closed progress: 14796599
Forward closed progress: 14794521
Forward closed progress: 14478712
Forward closed progress: 14663366
Forward closed progress: 14684233
Forward closed progress: 14802818
Forward closed progress: 14803078
Forward closed progress: 11664144
Forward closed progress: 11668169
Forward closed progress: 11664833
Forward closed progress: 11583314
Forward closed progress: 11515307
Forward closed progress: 11269736
Forward closed progress: 11494067
Forward closed progress: 11491902
Forward closed progress: 11133071
Forward closed progress: 11139373
Forward closed progress: 11134851
Forward closed progress: 11085403
Forward closed progress: 10906944
Forward closed progress: 10917811
Forward closed progress: 10918183
Forward closed progress: 10427037
Forward closed progress: 10426945
Forward closed progress: 10416670
Forward closed progress: 11452369
Forward closed progress: 10018969
Forward closed progress: 8718058
Forward closed progress: 8447818
Forward closed progress: 8448094
Forward closed progress: 8330898
Forward closed progress: 8324508
Forward closed progress: 8291887
Forward closed progress: 8018320
Forward closed progress: 8054195
Forward closed progress: 7998953
Forward closed progress: 7779770
Forward closed progress: 7334297
Forward closed progress: 7334112
Forward closed progress: 6746000
Forward closed progress: 6848263
Forward closed progress: 7750185
Forward closed progress: 8657153
Forward closed progress: 8744393
Forward closed progress: 9503646
Forward closed progress: 9505629
Forward closed progress: 9505824
Forward closed progress: 9424811
Forward closed progress: 9380817
Forward closed progress: 9140369
Forward closed progress: 9137563
Forward closed progress: 9142042
Forward closed progress: 9136057
Forward closed progress: 9187736
Forward closed progress: 9275496
Forward closed progress: 9921485
Forward closed progress: 9921699
Forward closed progress: 10927245
Forward closed progress: 11012512
Forward closed progress: 11012074
Forward closed progress: 11196114
Forward closed progress: 11487918
Forward closed progress: 11493689
Forward closed progress: 11467034
Forward closed progress: 11395301
Forward closed progress: 11529682
Forward closed progress: 11655565
Forward closed progress: 11530218
Forward closed progress: 11852772
Forward closed progress: 11824782
Forward closed progress: 11824350
Forward closed progress: 11828293
Forward closed progress: 11828045
Forward closed progress: 11832400
Forward closed progress: 12158302
Forward closed progress: 11325118
Forward closed progress: 11460390
Forward closed progress: 11460626
Forward closed progress: 11009855
Forward closed progress: 10875826
Forward closed progress: 10701522
Forward closed progress: 10677408
Forward closed progress: 10257563
Forward closed progress: 10253186
Forward closed progress: 10147397
Forward closed progress: 10163350
Forward closed progress: 10113191
Forward closed progress: 10106425
Forward closed progress: 11000518
Forward closed progress: 11317962
Forward closed progress: 11355712
Forward closed progress: 11674838
Forward closed progress: 11675450
Forward closed progress: 8509066
Forward closed progress: 8489918
Forward closed progress: 8485004
Forward closed progress: 8379792
Forward closed progress: 8367347
Forward closed progress: 8364545
Forward closed progress: 8355485
Forward closed progress: 8297155
Forward closed progress: 8152889
Forward closed progress: 8876512
Forward closed progress: 8852107
Forward closed progress: 8632927
Forward closed progress: 8683691
Forward closed progress: 8680241
Forward closed progress: 8667455
Forward closed progress: 8877429
Forward closed progress: 8583146
Forward closed progress: 8375610
Forward closed progress: 7876527
Forward closed progress: 7914217
Forward closed progress: 7914955
Forward closed progress: 7204642
Forward closed progress: 7170520
Forward closed progress: 7124045
Forward closed progress: 6912391
Forward closed progress: 6974407
Forward closed progress: 6973243
Forward closed progress: 6962573
Forward closed progress: 6830146
Forward closed progress: 6935151
Forward closed progress: 6954090
Forward closed progress: 6959489
Forward closed progress: 6991334
Forward closed progress: 6991303
Forward closed progress: 6652168
Forward closed progress: 6648772
Forward closed progress: 6648066
Forward closed progress: 6636948
Forward closed progress: 6618248
Forward closed progress: 6595760
Forward closed progress: 6658266
Forward closed progress: 6657256
Forward closed progress: 6604490
Forward closed progress: 6608582
Forward closed progress: 6607050
Forward closed progress: 6561661
Forward closed progress: 6537638
Forward closed progress: 6542627
Forward closed progress: 6542905
Forward closed progress: 6465197
Forward closed progress: 6463484
Forward closed progress: 6458625
Forward closed progress: 6539349
Forward closed progress: 6529418
Forward closed progress: 6488561
Forward closed progress: 6390735
Forward closed progress: 6389317
Forward closed progress: 6384870
Forward closed progress: 6382916
Forward closed progress: 6381920
Forward closed progress: 6372222
Forward closed progress: 6360434
Forward closed progress: 6360466
Forward closed progress: 6326934
Forward closed progress: 5399542
Forward closed progress: 5416577
Forward closed progress: 5381037
Forward closed progress: 4291506
Forward closed progress: 3383222
Forward closed progress: 3288362
Forward closed progress: 3991346
Forward closed progress: 3668867
Forward closed progress: 4820601
Forward closed progress: 4823701
Forward closed progress: 4762891
Forward closed progress: 4749444
Forward closed progress: 4503193
Forward closed progress: 4621338
Forward closed progress: 4644879
Forward closed progress: 5315768
Forward closed progress: 5639591
Forward closed progress: 6665107
Forward closed progress: 7462730
Forward closed progress: 7461675
Forward closed progress: 7372451
Forward closed progress: 7413838
Forward closed progress: 7505005
Forward closed progress: 7514279
Forward closed progress: 7327930
Forward closed progress: 7284650
Forward closed progress: 7125859
Forward closed progress: 7095008
Forward closed progress: 6978720
Forward closed progress: 6980421
Forward closed progress: 6981665
Forward closed progress: 6830066
Forward closed progress: 6779264
Forward closed progress: 7047526
Forward closed progress: 6318668
Forward closed progress: 6460305
Forward closed progress: 6460750
Forward closed progress: 5979713
Forward closed progress: 5873950
Forward closed progress: 5669970
Forward closed progress: 5605747
Forward closed progress: 5593851
Forward closed progress: 5522350
Forward closed progress: 5521824
Forward closed progress: 5522118
Forward closed progress: 5519246
Forward closed progress: 5411183
Forward closed progress: 5399705
Forward closed progress: 5397678
Forward closed progress: 5388264
Forward closed progress: 5398249
Forward closed progress: 5398266
Forward closed progress: 5395670
Forward closed progress: 5395908
Forward closed progress: 5395922
Forward closed progress: 5390586
Forward closed progress: 5388554
Forward closed progress: 5388558
Forward closed progress: 5388588
Forward closed progress: 5374532
Forward closed progress: 6281708
Forward closed progress: 5899273
Forward closed progress: 4876926
Forward closed progress: 5093775
Forward closed progress: 5094051
Forward closed progress: 4935728
Forward closed progress: 4923547
Forward closed progress: 4880016
Forward closed progress: 4704625
Forward closed progress: 4714374
Forward closed progress: 4649569
Forward closed progress: 4518518
Forward closed progress: 4025400
Forward closed progress: 3453442
Forward closed progress: 3113686
Forward closed progress: 2894107
Forward closed progress: 2892754
Forward closed progress: 2893171
Forward closed progress: 2888632
Forward closed progress: 2888386
Forward closed progress: 2888216
Forward closed progress: 2887918
Forward closed progress: 2839500
Forward closed progress: 2825730
Forward closed progress: 2777250
Forward closed progress: 2774466
Forward closed progress: 2777559
Forward closed progress: 2812990
Forward closed progress: 2811568
Forward closed progress: 2858367
Forward closed progress: 2904911
Forward closed progress: 2904997
Forward closed progress: 2844555
Forward closed progress: 2850297
Forward closed progress: 2850459
Forward closed progress: 2871509
Forward closed progress: 2871068
Forward closed progress: 2891309
Forward closed progress: 2887569
Forward closed progress: 2797174
Forward closed progress: 2797243
Forward closed progress: 2766623
Forward closed progress: 2652104
Forward closed progress: 1995545
Forward closed progress: 1981370
Forward closed progress: 1985364
Forward closed progress: 1877621
Forward closed progress: 2000629
Forward closed progress: 1910168
Forward closed progress: 1918306
Forward closed progress: 1879653
Forward closed progress: 1844061
Forward closed progress: 1828530
Forward closed progress: 1819572
Forward closed progress: 1678750
Forward closed progress: 2279085
Forward closed progress: 2302848
Forward closed progress: 2623178
Forward closed progress: 2878932
Forward closed progress: 2954961
Forward closed progress: 2956105
Forward closed progress: 2956273
Forward closed progress: 2866236
Forward closed progress: 2807694
Forward closed progress: 2812597
Forward closed progress: 2833924
Forward closed progress: 2884959
Forward closed progress: 2882857
Forward closed progress: 2868568
Forward closed progress: 2961919
Forward closed progress: 2971394
Forward closed progress: 2833696
Forward closed progress: 3005158
Forward closed progress: 3036518
Forward closed progress: 3036699
Forward closed progress: 3036735
Forward closed progress: 2985648
Forward closed progress: 2951469
Forward closed progress: 3037674
Forward closed progress: 3068116
Forward closed progress: 3068297
Forward closed progress: 3068333
Forward closed progress: 3001468
Forward closed progress: 2954259
Forward closed progress: 2894474
Forward closed progress: 2895296
Forward closed progress: 2908832
Forward closed progress: 2956775
Forward closed progress: 2986103
Forward closed progress: 3391646
Forward closed progress: 3391710
Forward closed progress: 3247689
Forward closed progress: 3112729
Forward closed progress: 3112391
Forward closed progress: 3112013
Forward closed progress: 3112158
Forward closed progress: 3112170
Forward closed progress: 3112164
Forward closed progress: 3108884
Forward closed progress: 3103397
Forward closed progress: 3218922
Forward closed progress: 3076907
Forward closed progress: 3072773
Forward closed progress: 3076957
Forward closed progress: 3076962
Forward closed progress: 3077011
Forward closed progress: 3077023
Forward closed progress: 3077137
Forward closed progress: 3028063
Forward closed progress: 2576015
Forward closed progress: 2499874
Forward closed progress: 2410982
Forward closed progress: 2324859
Forward closed progress: 1861256
Forward closed progress: 1862340
Forward closed progress: 1862841
Forward closed progress: 1860146
Forward closed progress: 1862201
Forward closed progress: 1861618
Forward closed progress: 1860220
Forward closed progress: 1860382
Forward closed progress: 1859312
Forward closed progress: 1857494
Forward closed progress: 1863806
Forward closed progress: 1807788
Forward closed progress: 1807788
Control exists for 168 color(s), jumping through 8993934142111744 vertices.
Elapsed: 52332511 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 52332.511
user ??
sys ??
