>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 3
Perturbation colors: 9007199254740992
All colors: 27021597764222976
Unknown update functions: 1
Lowest cardinality: 1
Highest cardinality: 1
Attractor colors: 18014398509481984
Attractor colors computed in 616 ms.
Backward progress: 100763
Backward progress: 100779
Backward progress: 100671
Backward progress: 102766
Backward progress: 102298
Backward progress: 101380
Backward progress: 103080
Backward progress: 104224
Backward progress: 102238
Backward progress: 102260
Backward progress: 102580
Backward progress: 100392
Backward progress: 100882
Backward progress: 109099
Backward progress: 114453
Backward progress: 135276
Backward progress: 141283
Backward progress: 142960
Backward progress: 142953
Backward progress: 144738
Backward progress: 152394
Backward progress: 155715
Backward progress: 153745
Backward progress: 155429
Backward progress: 187686
Backward progress: 208321
Backward progress: 216178
Backward progress: 226507
Backward progress: 222929
Backward progress: 219340
Backward progress: 218252
Backward progress: 217532
Backward progress: 219304
Backward progress: 241738
Backward progress: 222942
Backward progress: 222958
Backward progress: 222224
Backward progress: 238244
Backward progress: 228966
Backward progress: 232581
Backward progress: 233049
Backward progress: 288869
Backward progress: 241699
Backward progress: 240392
Backward progress: 240274
Backward progress: 240112
Backward progress: 240055
Backward progress: 239875
Backward progress: 239029
Backward progress: 237944
Backward progress: 217112
Backward progress: 217112
Forward closed progress: 216291
Forward closed progress: 216298
Forward closed progress: 278839
Forward closed progress: 214621
Forward closed progress: 214698
Forward closed progress: 214965
Forward closed progress: 215499
Forward closed progress: 215232
Forward closed progress: 215432
Forward closed progress: 215950
Forward closed progress: 216056
Forward closed progress: 214611
Forward closed progress: 215292
Forward closed progress: 215978
Forward closed progress: 217579
Forward closed progress: 217649
Forward closed progress: 216272
Forward closed progress: 218975
Forward closed progress: 213261
Forward closed progress: 224061
Forward closed progress: 224613
Forward closed progress: 216913
Forward closed progress: 241067
Forward closed progress: 250315
Forward closed progress: 255460
Forward closed progress: 255209
Forward closed progress: 255191
Forward closed progress: 255191
Forward closed progress: 220280
Forward closed progress: 247210
Forward closed progress: 250539
Forward closed progress: 248971
Forward closed progress: 248961
Forward closed progress: 248961
Forward closed progress: 223432
Forward closed progress: 222812
Forward closed progress: 211012
Forward closed progress: 188896
Forward closed progress: 263831
Forward closed progress: 195103
Forward closed progress: 205285
Forward closed progress: 206821
Forward closed progress: 206965
Forward closed progress: 231284
Forward closed progress: 235453
Forward closed progress: 246200
Forward closed progress: 246353
Forward closed progress: 246379
Forward closed progress: 237453
Forward closed progress: 211167
Forward closed progress: 276262
Forward closed progress: 278130
Forward closed progress: 278516
Forward closed progress: 278475
Forward closed progress: 281994
Forward closed progress: 307221
Forward closed progress: 328435
Forward closed progress: 328630
Forward closed progress: 328668
Forward closed progress: 298126
Forward closed progress: 298218
Forward closed progress: 296053
Forward closed progress: 294570
Forward closed progress: 219326
Forward closed progress: 288977
Forward closed progress: 288012
Forward closed progress: 290243
Forward closed progress: 282783
Forward closed progress: 282798
Forward closed progress: 282804
Forward closed progress: 282786
Forward closed progress: 255858
Forward closed progress: 239949
Forward closed progress: 241629
Forward closed progress: 252296
Forward closed progress: 252455
Forward closed progress: 252481
Forward closed progress: 241753
Forward closed progress: 214063
Forward closed progress: 228459
Forward closed progress: 224010
Forward closed progress: 232499
Forward closed progress: 232619
Forward closed progress: 232643
Forward closed progress: 214423
Forward closed progress: 302405
Forward closed progress: 303230
Forward closed progress: 283067
Forward closed progress: 216856
Forward closed progress: 323617
Forward closed progress: 374332
Forward closed progress: 409746
Forward closed progress: 411428
Forward closed progress: 411736
Forward closed progress: 381169
Forward closed progress: 290238
Forward closed progress: 282320
Forward closed progress: 273792
Forward closed progress: 246795
Forward closed progress: 218232
Forward closed progress: 418607
Forward closed progress: 419073
Forward closed progress: 220901
Forward closed progress: 301967
Forward closed progress: 432727
Forward closed progress: 540220
Forward closed progress: 573428
Forward closed progress: 574819
Forward closed progress: 575157
Forward closed progress: 530144
Forward closed progress: 539851
Forward closed progress: 539711
Forward closed progress: 477326
Forward closed progress: 503304
Forward closed progress: 505181
Forward closed progress: 447737
Forward closed progress: 437429
Forward closed progress: 426452
Forward closed progress: 426497
Forward closed progress: 410085
Forward closed progress: 399391
Forward closed progress: 411317
Forward closed progress: 411777
Forward closed progress: 469590
Forward closed progress: 469569
Forward closed progress: 432350
Forward closed progress: 433327
Forward closed progress: 433007
Forward closed progress: 406771
Forward closed progress: 617412
Forward closed progress: 950532
Forward closed progress: 951376
Forward closed progress: 697370
Forward closed progress: 696622
Forward closed progress: 696806
Forward closed progress: 650176
Forward closed progress: 640958
Forward closed progress: 773044
Forward closed progress: 642045
Forward closed progress: 643134
Forward closed progress: 644142
Forward closed progress: 588075
Forward closed progress: 768034
Forward closed progress: 772343
Forward closed progress: 663486
Forward closed progress: 636226
Forward closed progress: 718935
Forward closed progress: 719193
Forward closed progress: 652269
Forward closed progress: 652131
Forward closed progress: 639723
Forward closed progress: 625477
Forward closed progress: 539983
Forward closed progress: 409464
Forward closed progress: 417525
Forward closed progress: 410314
Forward closed progress: 411862
Forward closed progress: 411779
Forward closed progress: 406151
Forward closed progress: 404570
Forward closed progress: 511404
Forward closed progress: 508972
Forward closed progress: 506158
Forward closed progress: 612936
Forward closed progress: 628803
Forward closed progress: 628941
Forward closed progress: 645334
Forward closed progress: 645354
Forward closed progress: 650819
Forward closed progress: 707971
Forward closed progress: 708973
Forward closed progress: 752576
Forward closed progress: 752928
Forward closed progress: 752966
Forward closed progress: 715291
Forward closed progress: 709695
Forward closed progress: 685506
Forward closed progress: 685136
Forward closed progress: 685044
Forward closed progress: 684906
Forward closed progress: 690683
Forward closed progress: 691223
Forward closed progress: 691209
Forward closed progress: 691328
Forward closed progress: 691380
Forward closed progress: 689182
Forward closed progress: 684073
Forward closed progress: 789186
Forward closed progress: 783963
Forward closed progress: 783900
Forward closed progress: 738173
Forward closed progress: 738862
Forward closed progress: 738494
Forward closed progress: 731427
Forward closed progress: 731452
Forward closed progress: 827178
Forward closed progress: 827198
Forward closed progress: 737213
Forward closed progress: 745115
Forward closed progress: 742089
Forward closed progress: 742322
Forward closed progress: 748871
Forward closed progress: 783872
Forward closed progress: 781202
Forward closed progress: 770777
Forward closed progress: 673233
Forward closed progress: 663307
Forward closed progress: 663042
Forward closed progress: 619066
Forward closed progress: 610954
Forward closed progress: 517232
Forward closed progress: 494329
Forward closed progress: 485333
Forward closed progress: 480117
Forward closed progress: 503114
Forward closed progress: 503068
Forward closed progress: 467039
Forward closed progress: 466991
Forward closed progress: 470935
Forward closed progress: 469254
Forward closed progress: 449626
Forward closed progress: 444786
Forward closed progress: 449708
Forward closed progress: 449728
Forward closed progress: 445556
Forward closed progress: 440634
Forward closed progress: 434243
Forward closed progress: 434103
Forward closed progress: 434175
Forward closed progress: 434105
Forward closed progress: 434033
Forward closed progress: 428781
Forward closed progress: 427615
Forward closed progress: 434509
Forward closed progress: 429655
Forward closed progress: 429574
Forward closed progress: 429297
Forward closed progress: 429668
Forward closed progress: 429668
Forward closed progress: 429768
Forward closed progress: 429796
Forward closed progress: 429784
Forward closed progress: 429331
Forward closed progress: 429353
Forward closed progress: 429357
Forward closed progress: 428747
Forward closed progress: 429287
Forward closed progress: 983817
Forward closed progress: 1208594
Forward closed progress: 1180231
Forward closed progress: 1043335
Forward closed progress: 869543
Forward closed progress: 870084
Forward closed progress: 860170
Forward closed progress: 440763
Forward closed progress: 491531
Forward closed progress: 479999
Forward closed progress: 438453
Forward closed progress: 449795
Forward closed progress: 449835
Forward closed progress: 438663
Forward closed progress: 429624
Forward closed progress: 433592
Forward closed progress: 428582
Forward closed progress: 434716
Forward closed progress: 424755
Forward closed progress: 414678
Forward closed progress: 414756
Forward closed progress: 475273
Forward closed progress: 523178
Forward closed progress: 570515
Forward closed progress: 580242
Forward closed progress: 603927
Forward closed progress: 604305
Forward closed progress: 604377
Forward closed progress: 598056
Forward closed progress: 619628
Forward closed progress: 611654
Forward closed progress: 596366
Forward closed progress: 611937
Forward closed progress: 615793
Forward closed progress: 668276
Forward closed progress: 668417
Forward closed progress: 692269
Forward closed progress: 705219
Forward closed progress: 704865
Forward closed progress: 718438
Forward closed progress: 738708
Forward closed progress: 741024
Forward closed progress: 740340
Forward closed progress: 737716
Forward closed progress: 746438
Forward closed progress: 750502
Forward closed progress: 697113
Forward closed progress: 710566
Forward closed progress: 662946
Forward closed progress: 692897
Forward closed progress: 693017
Forward closed progress: 675372
Forward closed progress: 670532
Forward closed progress: 662822
Forward closed progress: 632463
Forward closed progress: 620319
Forward closed progress: 588278
Forward closed progress: 606449
Forward closed progress: 606656
Forward closed progress: 625685
Forward closed progress: 625708
Forward closed progress: 480959
Forward closed progress: 477945
Forward closed progress: 474672
Forward closed progress: 470844
Forward closed progress: 510140
Forward closed progress: 507493
Forward closed progress: 441214
Forward closed progress: 445533
Forward closed progress: 445382
Forward closed progress: 443582
Forward closed progress: 429587
Forward closed progress: 444055
Forward closed progress: 444073
Forward closed progress: 430257
Forward closed progress: 414960
Forward closed progress: 415694
Forward closed progress: 412791
Forward closed progress: 412767
Forward closed progress: 411590
Forward closed progress: 403574
Forward closed progress: 398680
Forward closed progress: 351885
Forward closed progress: 512330
Forward closed progress: 644506
Forward closed progress: 603576
Forward closed progress: 766749
Forward closed progress: 769156
Forward closed progress: 769406
Forward closed progress: 758143
Forward closed progress: 761053
Forward closed progress: 807666
Forward closed progress: 817573
Forward closed progress: 948908
Forward closed progress: 1084126
Forward closed progress: 1278886
Forward closed progress: 1529844
Forward closed progress: 1528623
Forward closed progress: 1459549
Forward closed progress: 1527357
Forward closed progress: 1596633
Forward closed progress: 1605478
Forward closed progress: 1588409
Forward closed progress: 1557454
Forward closed progress: 1539985
Forward closed progress: 1580788
Forward closed progress: 1554918
Forward closed progress: 1559756
Forward closed progress: 1561000
Forward closed progress: 1512790
Forward closed progress: 1491953
Forward closed progress: 1523515
Forward closed progress: 1330260
Forward closed progress: 1375167
Forward closed progress: 1375608
Forward closed progress: 1241986
Forward closed progress: 1218694
Forward closed progress: 1170767
Forward closed progress: 1167862
Forward closed progress: 1164393
Forward closed progress: 1143021
Forward closed progress: 1142841
Forward closed progress: 1143135
Forward closed progress: 1140609
Forward closed progress: 954428
Forward closed progress: 954440
Forward closed progress: 954712
Forward closed progress: 954711
Forward closed progress: 954758
Forward closed progress: 954738
Forward closed progress: 954920
Forward closed progress: 954955
Forward closed progress: 954719
Forward closed progress: 954781
Forward closed progress: 954822
Forward closed progress: 956302
Forward closed progress: 956300
Forward closed progress: 957868
Forward closed progress: 961340
Forward closed progress: 961342
Forward closed progress: 959338
Forward closed progress: 955882
Forward closed progress: 955798
Forward closed progress: 954854
Forward closed progress: 954852
Forward closed progress: 954829
Forward closed progress: 1045624
Forward closed progress: 1028707
Forward closed progress: 906155
Forward closed progress: 958816
Forward closed progress: 959106
Forward closed progress: 920484
Forward closed progress: 917967
Forward closed progress: 906445
Forward closed progress: 879553
Forward closed progress: 850874
Forward closed progress: 747237
Forward closed progress: 651421
Forward closed progress: 624575
Forward closed progress: 624565
Forward closed progress: 625473
Forward closed progress: 623418
Forward closed progress: 623311
Forward closed progress: 623209
Forward closed progress: 622911
Forward closed progress: 620690
Forward closed progress: 616531
Forward closed progress: 527389
Forward closed progress: 528901
Forward closed progress: 528941
Forward closed progress: 530427
Forward closed progress: 530433
Forward closed progress: 490328
Forward closed progress: 489948
Forward closed progress: 490104
Forward closed progress: 490200
Forward closed progress: 493050
Forward closed progress: 493038
Forward closed progress: 493244
Forward closed progress: 494070
Forward closed progress: 494031
Forward closed progress: 494149
Forward closed progress: 491619
Forward closed progress: 490250
Forward closed progress: 491614
Forward closed progress: 491632
Forward closed progress: 490241
Forward closed progress: 489014
Forward closed progress: 450164
Forward closed progress: 351891
Forward closed progress: 423827
Forward closed progress: 415896
Forward closed progress: 415778
Forward closed progress: 415483
Forward closed progress: 416331
Forward closed progress: 416331
Forward closed progress: 416500
Forward closed progress: 569644
Forward closed progress: 656326
Forward closed progress: 814047
Forward closed progress: 816283
Forward closed progress: 816521
Forward closed progress: 807179
Forward closed progress: 832803
Forward closed progress: 895859
Forward closed progress: 906826
Forward closed progress: 1046227
Forward closed progress: 1206247
Forward closed progress: 1393383
Forward closed progress: 1758051
Forward closed progress: 1757310
Forward closed progress: 1537011
Forward closed progress: 1680017
Forward closed progress: 1864208
Forward closed progress: 1874214
Forward closed progress: 1866189
Forward closed progress: 1840144
Forward closed progress: 1822881
Forward closed progress: 1941392
Forward closed progress: 1879309
Forward closed progress: 1895217
Forward closed progress: 1903509
Forward closed progress: 1675978
Forward closed progress: 1662284
Forward closed progress: 1850480
Forward closed progress: 1853142
Forward closed progress: 1954998
Forward closed progress: 1967625
Forward closed progress: 1960471
Forward closed progress: 1973830
Forward closed progress: 2011628
Forward closed progress: 1837571
Forward closed progress: 1886461
Forward closed progress: 1887049
Forward closed progress: 1755173
Forward closed progress: 1734656
Forward closed progress: 1682056
Forward closed progress: 1675186
Forward closed progress: 1673532
Forward closed progress: 1707809
Forward closed progress: 1703747
Forward closed progress: 1765783
Forward closed progress: 1763862
Forward closed progress: 1664571
Forward closed progress: 1706333
Forward closed progress: 1712855
Forward closed progress: 1744028
Forward closed progress: 1744409
Forward closed progress: 1778877
Forward closed progress: 1942802
Forward closed progress: 2067762
Forward closed progress: 2068246
Forward closed progress: 2068308
Forward closed progress: 1966017
Forward closed progress: 1967375
Forward closed progress: 1966597
Forward closed progress: 1957428
Forward closed progress: 1968542
Forward closed progress: 2046208
Forward closed progress: 2087937
Forward closed progress: 2088441
Forward closed progress: 2088715
Forward closed progress: 2088749
Forward closed progress: 2067242
Forward closed progress: 2050050
Forward closed progress: 2288512
Forward closed progress: 2283165
Forward closed progress: 2282244
Forward closed progress: 2402424
Forward closed progress: 2312388
Forward closed progress: 2309129
Forward closed progress: 2319759
Forward closed progress: 2309497
Forward closed progress: 2310498
Forward closed progress: 2448525
Forward closed progress: 2449003
Forward closed progress: 2328499
Forward closed progress: 2328138
Forward closed progress: 2329235
Forward closed progress: 2520074
Forward closed progress: 2580645
Forward closed progress: 2585668
Forward closed progress: 2585744
Forward closed progress: 2483725
Forward closed progress: 2478020
Forward closed progress: 2500456
Forward closed progress: 2492266
Forward closed progress: 2478665
Forward closed progress: 2475044
Forward closed progress: 2447690
Forward closed progress: 2435679
Forward closed progress: 2428578
Forward closed progress: 2546997
Forward closed progress: 2547894
Forward closed progress: 2448205
Forward closed progress: 2437780
Forward closed progress: 2475813
Forward closed progress: 2474475
Forward closed progress: 2283254
Forward closed progress: 2270301
Forward closed progress: 2270065
Forward closed progress: 2249785
Forward closed progress: 2276246
Forward closed progress: 2248091
Forward closed progress: 2220158
Forward closed progress: 2134219
Forward closed progress: 2084060
Forward closed progress: 2084758
Forward closed progress: 2082612
Forward closed progress: 2894954
Forward closed progress: 3102175
Forward closed progress: 2717100
Forward closed progress: 2862651
Forward closed progress: 2865548
Forward closed progress: 2807653
Forward closed progress: 2724660
Forward closed progress: 2744191
Forward closed progress: 2757437
Forward closed progress: 2954537
Forward closed progress: 2951051
Forward closed progress: 3134373
Forward closed progress: 3111521
Forward closed progress: 3082659
Forward closed progress: 3090981
Forward closed progress: 3121705
Forward closed progress: 3130660
Forward closed progress: 2962929
Forward closed progress: 2923099
Forward closed progress: 2945602
Forward closed progress: 2920219
Forward closed progress: 2944407
Forward closed progress: 2913466
Forward closed progress: 2914040
Forward closed progress: 2747098
Forward closed progress: 2782712
Forward closed progress: 2783178
Forward closed progress: 2658440
Forward closed progress: 2636372
Forward closed progress: 2591935
Forward closed progress: 2583340
Forward closed progress: 2466879
Forward closed progress: 2466632
Forward closed progress: 2465568
Forward closed progress: 2457300
Forward closed progress: 2479458
Forward closed progress: 2482610
Forward closed progress: 2508273
Forward closed progress: 2508478
Forward closed progress: 2207897
Forward closed progress: 2203147
Forward closed progress: 2202687
Forward closed progress: 2194277
Forward closed progress: 2186042
Forward closed progress: 2165944
Forward closed progress: 2202653
Forward closed progress: 2201739
Forward closed progress: 2163681
Forward closed progress: 2169576
Forward closed progress: 2165460
Forward closed progress: 2137481
Forward closed progress: 2126873
Forward closed progress: 2129808
Forward closed progress: 2130008
Forward closed progress: 2081988
Forward closed progress: 2081908
Forward closed progress: 2080476
Forward closed progress: 2364186
Forward closed progress: 2085550
Forward closed progress: 1744451
Forward closed progress: 1767436
Forward closed progress: 1767676
Forward closed progress: 1708652
Forward closed progress: 1705024
Forward closed progress: 1688191
Forward closed progress: 1638000
Forward closed progress: 1674423
Forward closed progress: 1619181
Forward closed progress: 1586876
Forward closed progress: 1463083
Forward closed progress: 1462946
Forward closed progress: 1326313
Forward closed progress: 1344686
Forward closed progress: 1472421
Forward closed progress: 1605357
Forward closed progress: 1617725
Forward closed progress: 1726761
Forward closed progress: 1728284
Forward closed progress: 1728449
Forward closed progress: 1718514
Forward closed progress: 1711850
Forward closed progress: 1689336
Forward closed progress: 1688158
Forward closed progress: 1689410
Forward closed progress: 1687685
Forward closed progress: 1699176
Forward closed progress: 1714173
Forward closed progress: 1818552
Forward closed progress: 1818766
Forward closed progress: 1968996
Forward closed progress: 1977094
Forward closed progress: 1976656
Forward closed progress: 2009592
Forward closed progress: 2061178
Forward closed progress: 2065628
Forward closed progress: 2064101
Forward closed progress: 2057894
Forward closed progress: 2084689
Forward closed progress: 2107106
Forward closed progress: 2084741
Forward closed progress: 2156630
Forward closed progress: 2073228
Forward closed progress: 2073120
Forward closed progress: 2073637
Forward closed progress: 2073389
Forward closed progress: 2074882
Forward closed progress: 2120273
Forward closed progress: 1989160
Forward closed progress: 2012771
Forward closed progress: 2012949
Forward closed progress: 1944814
Forward closed progress: 1924363
Forward closed progress: 1897963
Forward closed progress: 1896851
Forward closed progress: 1722890
Forward closed progress: 1722134
Forward closed progress: 1704518
Forward closed progress: 1714814
Forward closed progress: 1707809
Forward closed progress: 1706930
Forward closed progress: 1851053
Forward closed progress: 1916574
Forward closed progress: 1928849
Forward closed progress: 1996098
Forward closed progress: 1996675
Forward closed progress: 1507057
Forward closed progress: 1501818
Forward closed progress: 1500857
Forward closed progress: 1478784
Forward closed progress: 1476964
Forward closed progress: 1476658
Forward closed progress: 1475587
Forward closed progress: 1465048
Forward closed progress: 1439872
Forward closed progress: 1551044
Forward closed progress: 1541663
Forward closed progress: 1496927
Forward closed progress: 1522148
Forward closed progress: 1518698
Forward closed progress: 1507316
Forward closed progress: 1577140
Forward closed progress: 1469326
Forward closed progress: 1422768
Forward closed progress: 1356059
Forward closed progress: 1370480
Forward closed progress: 1370964
Forward closed progress: 1262513
Forward closed progress: 1253796
Forward closed progress: 1243776
Forward closed progress: 1271273
Forward closed progress: 1266340
Forward closed progress: 1249539
Forward closed progress: 1219381
Forward closed progress: 1220059
Forward closed progress: 1217213
Forward closed progress: 1216498
Forward closed progress: 1215950
Forward closed progress: 1213866
Forward closed progress: 1209478
Forward closed progress: 1209495
Forward closed progress: 1198821
Forward closed progress: 1078884
Forward closed progress: 929804
Forward closed progress: 749723
Forward closed progress: 870618
Forward closed progress: 1165226
Forward closed progress: 1041330
Forward closed progress: 1445069
Forward closed progress: 1447661
Forward closed progress: 1446431
Forward closed progress: 1435168
Forward closed progress: 1404552
Forward closed progress: 1485586
Forward closed progress: 1508928
Forward closed progress: 1853122
Forward closed progress: 2004791
Forward closed progress: 2449600
Forward closed progress: 2752649
Forward closed progress: 2751594
Forward closed progress: 2680851
Forward closed progress: 2770746
Forward closed progress: 2849065
Forward closed progress: 2857799
Forward closed progress: 2805199
Forward closed progress: 2774222
Forward closed progress: 2723652
Forward closed progress: 2781946
Forward closed progress: 2732699
Forward closed progress: 2739783
Forward closed progress: 2741027
Forward closed progress: 2730089
Forward closed progress: 2701287
Forward closed progress: 2800221
Forward closed progress: 2399048
Forward closed progress: 2484453
Forward closed progress: 2484898
Forward closed progress: 2224851
Forward closed progress: 2174257
Forward closed progress: 2069912
Forward closed progress: 2063793
Forward closed progress: 2060402
Forward closed progress: 2006277
Forward closed progress: 2005917
Forward closed progress: 2006211
Forward closed progress: 2003453
Forward closed progress: 1962519
Forward closed progress: 1953893
Forward closed progress: 1952291
Forward closed progress: 1947014
Forward closed progress: 1953251
Forward closed progress: 1953268
Forward closed progress: 1949976
Forward closed progress: 1950214
Forward closed progress: 1950228
Forward closed progress: 1947070
Forward closed progress: 1945794
Forward closed progress: 1945798
Forward closed progress: 1945828
Forward closed progress: 1940844
Forward closed progress: 2397340
Forward closed progress: 2213496
Forward closed progress: 1745429
Forward closed progress: 1869122
Forward closed progress: 1869398
Forward closed progress: 1777883
Forward closed progress: 1771709
Forward closed progress: 1746275
Forward closed progress: 1676267
Forward closed progress: 1703655
Forward closed progress: 1647634
Forward closed progress: 1596543
Forward closed progress: 1388531
Forward closed progress: 1190545
Forward closed progress: 1018218
Forward closed progress: 981914
Forward closed progress: 980561
Forward closed progress: 980978
Forward closed progress: 979376
Forward closed progress: 979130
Forward closed progress: 978960
Forward closed progress: 978662
Forward closed progress: 938981
Forward closed progress: 926557
Forward closed progress: 879324
Forward closed progress: 876584
Forward closed progress: 879149
Forward closed progress: 905732
Forward closed progress: 904310
Forward closed progress: 936143
Forward closed progress: 966438
Forward closed progress: 966524
Forward closed progress: 920844
Forward closed progress: 925325
Forward closed progress: 925460
Forward closed progress: 941810
Forward closed progress: 941369
Forward closed progress: 956632
Forward closed progress: 953578
Forward closed progress: 890072
Forward closed progress: 890141
Forward closed progress: 868577
Forward closed progress: 834168
Forward closed progress: 574475
Forward closed progress: 577687
Forward closed progress: 580286
Forward closed progress: 558691
Forward closed progress: 560831
Forward closed progress: 558991
Forward closed progress: 557651
Forward closed progress: 557987
Forward closed progress: 556355
Forward closed progress: 551897
Forward closed progress: 534384
Forward closed progress: 718183
Forward closed progress: 728603
Forward closed progress: 834447
Forward closed progress: 925043
Forward closed progress: 954047
Forward closed progress: 954919
Forward closed progress: 955045
Forward closed progress: 913303
Forward closed progress: 893761
Forward closed progress: 896749
Forward closed progress: 908091
Forward closed progress: 915966
Forward closed progress: 914674
Forward closed progress: 913781
Forward closed progress: 959359
Forward closed progress: 957593
Forward closed progress: 886220
Forward closed progress: 918800
Forward closed progress: 929818
Forward closed progress: 929954
Forward closed progress: 929982
Forward closed progress: 913807
Forward closed progress: 902619
Forward closed progress: 932334
Forward closed progress: 942746
Forward closed progress: 942882
Forward closed progress: 942910
Forward closed progress: 919117
Forward closed progress: 903385
Forward closed progress: 893137
Forward closed progress: 893751
Forward closed progress: 903663
Forward closed progress: 920141
Forward closed progress: 931811
Forward closed progress: 1016148
Forward closed progress: 1016212
Forward closed progress: 946021
Forward closed progress: 905733
Forward closed progress: 905523
Forward closed progress: 905249
Forward closed progress: 905428
Forward closed progress: 905440
Forward closed progress: 905434
Forward closed progress: 904446
Forward closed progress: 902659
Forward closed progress: 934124
Forward closed progress: 891786
Forward closed progress: 890111
Forward closed progress: 891725
Forward closed progress: 891730
Forward closed progress: 891779
Forward closed progress: 891791
Forward closed progress: 891851
Forward closed progress: 877204
Forward closed progress: 819471
Forward closed progress: 793342
Forward closed progress: 762331
Forward closed progress: 723215
Forward closed progress: 562786
Forward closed progress: 563070
Forward closed progress: 563451
Forward closed progress: 562694
Forward closed progress: 563374
Forward closed progress: 563063
Forward closed progress: 562843
Forward closed progress: 562897
Forward closed progress: 562617
Forward closed progress: 561586
Forward closed progress: 563306
Forward closed progress: 556179
Forward closed progress: 556179
Control exists for 2 color(s), jumping through 8993934142111744 vertices.
Elapsed: 8741958 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 8741.958
user ??
sys ??
