>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 9
Perturbation colors: 9007199254740992
All colors: 81064793292668930
Unknown update functions: 2
Lowest cardinality: 1
Highest cardinality: 1
Attractor colors: 36028797018963970
Attractor colors computed in 1043 ms.
Backward progress: 105165
Backward progress: 105035
Backward progress: 104827
Backward progress: 105489
Backward progress: 106465
Backward progress: 106481
Backward progress: 106341
Backward progress: 104833
Backward progress: 108588
Backward progress: 108104
Backward progress: 107180
Backward progress: 108634
Backward progress: 110182
Backward progress: 108022
Backward progress: 108044
Backward progress: 108412
Backward progress: 106120
Backward progress: 106658
Backward progress: 114673
Backward progress: 120319
Backward progress: 142278
Backward progress: 148471
Backward progress: 150210
Backward progress: 150203
Backward progress: 152072
Backward progress: 154624
Backward progress: 158137
Backward progress: 156263
Backward progress: 157913
Backward progress: 189888
Backward progress: 208205
Backward progress: 217234
Backward progress: 227275
Backward progress: 223819
Backward progress: 220518
Backward progress: 219454
Backward progress: 218730
Backward progress: 220608
Backward progress: 242546
Backward progress: 224300
Backward progress: 224284
Backward progress: 223550
Backward progress: 239636
Backward progress: 230332
Backward progress: 233947
Backward progress: 234415
Backward progress: 289279
Backward progress: 242961
Backward progress: 241684
Backward progress: 241594
Backward progress: 241436
Backward progress: 241355
Backward progress: 241175
Backward progress: 240341
Backward progress: 238972
Backward progress: 218426
Backward progress: 218426
Forward closed progress: 217613
Forward closed progress: 217620
Forward closed progress: 280833
Forward closed progress: 215825
Forward closed progress: 215902
Forward closed progress: 216169
Forward closed progress: 216703
Forward closed progress: 216436
Forward closed progress: 216636
Forward closed progress: 217154
Forward closed progress: 217260
Forward closed progress: 215863
Forward closed progress: 216544
Forward closed progress: 217230
Forward closed progress: 218831
Forward closed progress: 218901
Forward closed progress: 217524
Forward closed progress: 217926
Forward closed progress: 222328
Forward closed progress: 214915
Forward closed progress: 224761
Forward closed progress: 225473
Forward closed progress: 218567
Forward closed progress: 244111
Forward closed progress: 252003
Forward closed progress: 257092
Forward closed progress: 256825
Forward closed progress: 256807
Forward closed progress: 256807
Forward closed progress: 221934
Forward closed progress: 250230
Forward closed progress: 253038
Forward closed progress: 251815
Forward closed progress: 251805
Forward closed progress: 251805
Forward closed progress: 225086
Forward closed progress: 224384
Forward closed progress: 213019
Forward closed progress: 191338
Forward closed progress: 267422
Forward closed progress: 197545
Forward closed progress: 199081
Forward closed progress: 209993
Forward closed progress: 234194
Forward closed progress: 236956
Forward closed progress: 247306
Forward closed progress: 247459
Forward closed progress: 247485
Forward closed progress: 238937
Forward closed progress: 214219
Forward closed progress: 282052
Forward closed progress: 283952
Forward closed progress: 284354
Forward closed progress: 284297
Forward closed progress: 288368
Forward closed progress: 312491
Forward closed progress: 335333
Forward closed progress: 335528
Forward closed progress: 335566
Forward closed progress: 303550
Forward closed progress: 303761
Forward closed progress: 301649
Forward closed progress: 300148
Forward closed progress: 222378
Forward closed progress: 295399
Forward closed progress: 293986
Forward closed progress: 296337
Forward closed progress: 284603
Forward closed progress: 284618
Forward closed progress: 284624
Forward closed progress: 284606
Forward closed progress: 258520
Forward closed progress: 242937
Forward closed progress: 243342
Forward closed progress: 253474
Forward closed progress: 253633
Forward closed progress: 253659
Forward closed progress: 243243
Forward closed progress: 217477
Forward closed progress: 231821
Forward closed progress: 226894
Forward closed progress: 235027
Forward closed progress: 235147
Forward closed progress: 235171
Forward closed progress: 217837
Forward closed progress: 302833
Forward closed progress: 304522
Forward closed progress: 284325
Forward closed progress: 217842
Forward closed progress: 326933
Forward closed progress: 377496
Forward closed progress: 415043
Forward closed progress: 416725
Forward closed progress: 417033
Forward closed progress: 384864
Forward closed progress: 293256
Forward closed progress: 284829
Forward closed progress: 276336
Forward closed progress: 247630
Forward closed progress: 219218
Forward closed progress: 420577
Forward closed progress: 421043
Forward closed progress: 221887
Forward closed progress: 306751
Forward closed progress: 435357
Forward closed progress: 533156
Forward closed progress: 564492
Forward closed progress: 565883
Forward closed progress: 566221
Forward closed progress: 523924
Forward closed progress: 533631
Forward closed progress: 533491
Forward closed progress: 471300
Forward closed progress: 499086
Forward closed progress: 491720
Forward closed progress: 439898
Forward closed progress: 430637
Forward closed progress: 419807
Forward closed progress: 419852
Forward closed progress: 404763
Forward closed progress: 394869
Forward closed progress: 403139
Forward closed progress: 404230
Forward closed progress: 458743
Forward closed progress: 458892
Forward closed progress: 423162
Forward closed progress: 424185
Forward closed progress: 423865
Forward closed progress: 397287
Forward closed progress: 597513
Forward closed progress: 923251
Forward closed progress: 924095
Forward closed progress: 672443
Forward closed progress: 671695
Forward closed progress: 671879
Forward closed progress: 628127
Forward closed progress: 618863
Forward closed progress: 755303
Forward closed progress: 619950
Forward closed progress: 621039
Forward closed progress: 698270
Forward closed progress: 622047
Forward closed progress: 570890
Forward closed progress: 747747
Forward closed progress: 751996
Forward closed progress: 641555
Forward closed progress: 617397
Forward closed progress: 704071
Forward closed progress: 704329
Forward closed progress: 639017
Forward closed progress: 638879
Forward closed progress: 627904
Forward closed progress: 613394
Forward closed progress: 529622
Forward closed progress: 400686
Forward closed progress: 408675
Forward closed progress: 401536
Forward closed progress: 403356
Forward closed progress: 403273
Forward closed progress: 397589
Forward closed progress: 395852
Forward closed progress: 502686
Forward closed progress: 500254
Forward closed progress: 497440
Forward closed progress: 603940
Forward closed progress: 621295
Forward closed progress: 621583
Forward closed progress: 639632
Forward closed progress: 639750
Forward closed progress: 645980
Forward closed progress: 700958
Forward closed progress: 701837
Forward closed progress: 746228
Forward closed progress: 746580
Forward closed progress: 746618
Forward closed progress: 706797
Forward closed progress: 700637
Forward closed progress: 679673
Forward closed progress: 679392
Forward closed progress: 679268
Forward closed progress: 679154
Forward closed progress: 684845
Forward closed progress: 685626
Forward closed progress: 685612
Forward closed progress: 685731
Forward closed progress: 685783
Forward closed progress: 683344
Forward closed progress: 677950
Forward closed progress: 786701
Forward closed progress: 779408
Forward closed progress: 779306
Forward closed progress: 726523
Forward closed progress: 727284
Forward closed progress: 728360
Forward closed progress: 719458
Forward closed progress: 719483
Forward closed progress: 817510
Forward closed progress: 817530
Forward closed progress: 726199
Forward closed progress: 734073
Forward closed progress: 731431
Forward closed progress: 731704
Forward closed progress: 737527
Forward closed progress: 770923
Forward closed progress: 768023
Forward closed progress: 758542
Forward closed progress: 662364
Forward closed progress: 656175
Forward closed progress: 650901
Forward closed progress: 610879
Forward closed progress: 603451
Forward closed progress: 508031
Forward closed progress: 484944
Forward closed progress: 475890
Forward closed progress: 470946
Forward closed progress: 495025
Forward closed progress: 494979
Forward closed progress: 458800
Forward closed progress: 458752
Forward closed progress: 462668
Forward closed progress: 461163
Forward closed progress: 440962
Forward closed progress: 436036
Forward closed progress: 440978
Forward closed progress: 440998
Forward closed progress: 436806
Forward closed progress: 431864
Forward closed progress: 425171
Forward closed progress: 425031
Forward closed progress: 425103
Forward closed progress: 425033
Forward closed progress: 424961
Forward closed progress: 419623
Forward closed progress: 418457
Forward closed progress: 424871
Forward closed progress: 420177
Forward closed progress: 420096
Forward closed progress: 419819
Forward closed progress: 420153
Forward closed progress: 420154
Forward closed progress: 420208
Forward closed progress: 420238
Forward closed progress: 420224
Forward closed progress: 419817
Forward closed progress: 419841
Forward closed progress: 419845
Forward closed progress: 419279
Forward closed progress: 419819
Forward closed progress: 951571
Forward closed progress: 1166224
Forward closed progress: 1137973
Forward closed progress: 1011777
Forward closed progress: 834790
Forward closed progress: 835487
Forward closed progress: 825381
Forward closed progress: 431295
Forward closed progress: 480867
Forward closed progress: 469527
Forward closed progress: 429325
Forward closed progress: 440811
Forward closed progress: 440851
Forward closed progress: 429535
Forward closed progress: 420524
Forward closed progress: 424236
Forward closed progress: 419482
Forward closed progress: 425352
Forward closed progress: 415683
Forward closed progress: 405744
Forward closed progress: 405822
Forward closed progress: 466823
Forward closed progress: 517232
Forward closed progress: 564328
Forward closed progress: 572315
Forward closed progress: 596396
Forward closed progress: 596774
Forward closed progress: 596846
Forward closed progress: 590189
Forward closed progress: 613543
Forward closed progress: 607859
Forward closed progress: 593421
Forward closed progress: 609280
Forward closed progress: 614013
Forward closed progress: 668023
Forward closed progress: 668797
Forward closed progress: 692177
Forward closed progress: 705268
Forward closed progress: 704914
Forward closed progress: 714552
Forward closed progress: 733321
Forward closed progress: 735637
Forward closed progress: 734953
Forward closed progress: 731780
Forward closed progress: 738501
Forward closed progress: 743669
Forward closed progress: 691036
Forward closed progress: 703917
Forward closed progress: 655708
Forward closed progress: 685800
Forward closed progress: 685920
Forward closed progress: 668283
Forward closed progress: 663079
Forward closed progress: 655584
Forward closed progress: 625136
Forward closed progress: 612992
Forward closed progress: 582588
Forward closed progress: 602489
Forward closed progress: 602908
Forward closed progress: 623834
Forward closed progress: 623968
Forward closed progress: 479446
Forward closed progress: 476100
Forward closed progress: 472827
Forward closed progress: 468469
Forward closed progress: 509450
Forward closed progress: 505419
Forward closed progress: 437508
Forward closed progress: 441773
Forward closed progress: 441622
Forward closed progress: 440042
Forward closed progress: 425782
Forward closed progress: 440435
Forward closed progress: 440453
Forward closed progress: 426342
Forward closed progress: 410750
Forward closed progress: 411368
Forward closed progress: 408801
Forward closed progress: 408777
Forward closed progress: 407710
Forward closed progress: 399802
Forward closed progress: 395876
Forward closed progress: 352943
Forward closed progress: 513850
Forward closed progress: 644036
Forward closed progress: 604809
Forward closed progress: 769661
Forward closed progress: 772068
Forward closed progress: 772318
Forward closed progress: 760287
Forward closed progress: 767244
Forward closed progress: 815469
Forward closed progress: 825325
Forward closed progress: 960425
Forward closed progress: 1100753
Forward closed progress: 1294431
Forward closed progress: 1552030
Forward closed progress: 1550809
Forward closed progress: 1478636
Forward closed progress: 1528676
Forward closed progress: 1595002
Forward closed progress: 1603847
Forward closed progress: 1587178
Forward closed progress: 1556529
Forward closed progress: 1540950
Forward closed progress: 1567541
Forward closed progress: 1552433
Forward closed progress: 1558071
Forward closed progress: 1559315
Forward closed progress: 1512417
Forward closed progress: 1491080
Forward closed progress: 1525338
Forward closed progress: 1333291
Forward closed progress: 1380716
Forward closed progress: 1381157
Forward closed progress: 1247693
Forward closed progress: 1223153
Forward closed progress: 1177192
Forward closed progress: 1174251
Forward closed progress: 1170782
Forward closed progress: 1150230
Forward closed progress: 1150050
Forward closed progress: 1150344
Forward closed progress: 1147914
Forward closed progress: 958137
Forward closed progress: 958149
Forward closed progress: 958688
Forward closed progress: 958687
Forward closed progress: 958746
Forward closed progress: 958720
Forward closed progress: 958878
Forward closed progress: 958951
Forward closed progress: 958695
Forward closed progress: 958757
Forward closed progress: 958819
Forward closed progress: 960314
Forward closed progress: 960312
Forward closed progress: 961896
Forward closed progress: 965408
Forward closed progress: 965410
Forward closed progress: 963366
Forward closed progress: 959870
Forward closed progress: 959786
Forward closed progress: 958858
Forward closed progress: 958856
Forward closed progress: 958827
Forward closed progress: 1051762
Forward closed progress: 1034845
Forward closed progress: 911253
Forward closed progress: 966408
Forward closed progress: 966698
Forward closed progress: 926014
Forward closed progress: 923315
Forward closed progress: 911543
Forward closed progress: 883943
Forward closed progress: 855530
Forward closed progress: 749891
Forward closed progress: 654215
Forward closed progress: 627161
Forward closed progress: 627151
Forward closed progress: 627987
Forward closed progress: 625836
Forward closed progress: 625825
Forward closed progress: 625729
Forward closed progress: 625449
Forward closed progress: 623264
Forward closed progress: 619069
Forward closed progress: 531313
Forward closed progress: 532933
Forward closed progress: 533009
Forward closed progress: 534621
Forward closed progress: 534651
Forward closed progress: 494084
Forward closed progress: 493668
Forward closed progress: 493824
Forward closed progress: 493920
Forward closed progress: 496998
Forward closed progress: 496974
Forward closed progress: 497180
Forward closed progress: 498012
Forward closed progress: 497973
Forward closed progress: 498133
Forward closed progress: 495417
Forward closed progress: 493934
Forward closed progress: 495412
Forward closed progress: 495430
Forward closed progress: 493925
Forward closed progress: 492626
Forward closed progress: 452174
Forward closed progress: 352949
Forward closed progress: 423957
Forward closed progress: 415682
Forward closed progress: 415564
Forward closed progress: 415281
Forward closed progress: 416075
Forward closed progress: 416077
Forward closed progress: 416222
Forward closed progress: 569796
Forward closed progress: 657558
Forward closed progress: 817701
Forward closed progress: 819937
Forward closed progress: 820175
Forward closed progress: 810563
Forward closed progress: 842693
Forward closed progress: 908116
Forward closed progress: 920004
Forward closed progress: 1062951
Forward closed progress: 1229259
Forward closed progress: 1417939
Forward closed progress: 1794505
Forward closed progress: 1793764
Forward closed progress: 1563631
Forward closed progress: 1689638
Forward closed progress: 1864943
Forward closed progress: 1874949
Forward closed progress: 1867124
Forward closed progress: 1841557
Forward closed progress: 1826134
Forward closed progress: 1911689
Forward closed progress: 1877984
Forward closed progress: 1895571
Forward closed progress: 1903953
Forward closed progress: 1678390
Forward closed progress: 1664454
Forward closed progress: 2099591
Forward closed progress: 1962674
Forward closed progress: 2018316
Forward closed progress: 1971193
Forward closed progress: 1964039
Forward closed progress: 1964915
Forward closed progress: 2005113
Forward closed progress: 1833032
Forward closed progress: 1884994
Forward closed progress: 1885582
Forward closed progress: 1754550
Forward closed progress: 1733061
Forward closed progress: 1682727
Forward closed progress: 1675857
Forward closed progress: 1674215
Forward closed progress: 1709468
Forward closed progress: 1705406
Forward closed progress: 1767006
Forward closed progress: 1765125
Forward closed progress: 1658200
Forward closed progress: 1701306
Forward closed progress: 1708971
Forward closed progress: 1744114
Forward closed progress: 1745257
Forward closed progress: 1783618
Forward closed progress: 1934607
Forward closed progress: 2058940
Forward closed progress: 2059424
Forward closed progress: 2059486
Forward closed progress: 1959713
Forward closed progress: 1960599
Forward closed progress: 1959821
Forward closed progress: 1950164
Forward closed progress: 1974757
Forward closed progress: 2058475
Forward closed progress: 2092385
Forward closed progress: 2092979
Forward closed progress: 2093253
Forward closed progress: 2093287
Forward closed progress: 2072485
Forward closed progress: 2052744
Forward closed progress: 2290224
Forward closed progress: 2284986
Forward closed progress: 2283545
Forward closed progress: 2386879
Forward closed progress: 2312383
Forward closed progress: 2305929
Forward closed progress: 2317224
Forward closed progress: 2305221
Forward closed progress: 2306222
Forward closed progress: 2450208
Forward closed progress: 2450686
Forward closed progress: 2325460
Forward closed progress: 2325099
Forward closed progress: 2326196
Forward closed progress: 2496806
Forward closed progress: 2554831
Forward closed progress: 2559750
Forward closed progress: 2559826
Forward closed progress: 2461316
Forward closed progress: 2456513
Forward closed progress: 2472619
Forward closed progress: 2468359
Forward closed progress: 2454996
Forward closed progress: 2451493
Forward closed progress: 2423131
Forward closed progress: 2411958
Forward closed progress: 2404621
Forward closed progress: 2515254
Forward closed progress: 2516035
Forward closed progress: 2418376
Forward closed progress: 2406171
Forward closed progress: 2448195
Forward closed progress: 2446793
Forward closed progress: 2256248
Forward closed progress: 2241771
Forward closed progress: 2241471
Forward closed progress: 2220725
Forward closed progress: 2248836
Forward closed progress: 2219031
Forward closed progress: 2189544
Forward closed progress: 2105505
Forward closed progress: 2056364
Forward closed progress: 2057062
Forward closed progress: 2054672
Forward closed progress: 2841703
Forward closed progress: 3017501
Forward closed progress: 2660323
Forward closed progress: 2802155
Forward closed progress: 2805052
Forward closed progress: 2757196
Forward closed progress: 2678952
Forward closed progress: 2698879
Forward closed progress: 2712448
Forward closed progress: 2907613
Forward closed progress: 2909553
Forward closed progress: 3103628
Forward closed progress: 3086319
Forward closed progress: 3083501
Forward closed progress: 3082285
Forward closed progress: 3110338
Forward closed progress: 3119657
Forward closed progress: 3013487
Forward closed progress: 2977938
Forward closed progress: 2997912
Forward closed progress: 2982475
Forward closed progress: 3008765
Forward closed progress: 2975582
Forward closed progress: 2979122
Forward closed progress: 2817598
Forward closed progress: 2855485
Forward closed progress: 2855951
Forward closed progress: 2735173
Forward closed progress: 2712365
Forward closed progress: 2671406
Forward closed progress: 2663057
Forward closed progress: 2545483
Forward closed progress: 2533517
Forward closed progress: 2532513
Forward closed progress: 2497793
Forward closed progress: 2522631
Forward closed progress: 2526432
Forward closed progress: 2555456
Forward closed progress: 2556054
Forward closed progress: 2188404
Forward closed progress: 2182830
Forward closed progress: 2182370
Forward closed progress: 2173136
Forward closed progress: 2164901
Forward closed progress: 2143996
Forward closed progress: 2180671
Forward closed progress: 2179822
Forward closed progress: 2139298
Forward closed progress: 2145600
Forward closed progress: 2141478
Forward closed progress: 2111644
Forward closed progress: 2101321
Forward closed progress: 2104771
Forward closed progress: 2104971
Forward closed progress: 2054158
Forward closed progress: 2054078
Forward closed progress: 2052536
Forward closed progress: 2337135
Forward closed progress: 2059229
Forward closed progress: 1718201
Forward closed progress: 1745474
Forward closed progress: 1745714
Forward closed progress: 1683034
Forward closed progress: 1679126
Forward closed progress: 1661999
Forward closed progress: 1610642
Forward closed progress: 1648151
Forward closed progress: 1593363
Forward closed progress: 1559650
Forward closed progress: 1434528
Forward closed progress: 1434391
Forward closed progress: 1294372
Forward closed progress: 1316360
Forward closed progress: 1428495
Forward closed progress: 1542059
Forward closed progress: 1553661
Forward closed progress: 1651350
Forward closed progress: 1652873
Forward closed progress: 1653038
Forward closed progress: 1643854
Forward closed progress: 1638078
Forward closed progress: 1633378
Forward closed progress: 1632256
Forward closed progress: 1633187
Forward closed progress: 1631811
Forward closed progress: 1642918
Forward closed progress: 1658325
Forward closed progress: 1759204
Forward closed progress: 1759846
Forward closed progress: 1900596
Forward closed progress: 1909106
Forward closed progress: 1908668
Forward closed progress: 1934257
Forward closed progress: 1981482
Forward closed progress: 1985932
Forward closed progress: 1984363
Forward closed progress: 1977305
Forward closed progress: 1998475
Forward closed progress: 2022240
Forward closed progress: 1998527
Forward closed progress: 2067044
Forward closed progress: 1986980
Forward closed progress: 1986872
Forward closed progress: 1987389
Forward closed progress: 1987141
Forward closed progress: 1988744
Forward closed progress: 2034791
Forward closed progress: 1910356
Forward closed progress: 1935219
Forward closed progress: 1935397
Forward closed progress: 1871340
Forward closed progress: 1850889
Forward closed progress: 1826493
Forward closed progress: 1825381
Forward closed progress: 1675880
Forward closed progress: 1675122
Forward closed progress: 1658054
Forward closed progress: 1668265
Forward closed progress: 1661193
Forward closed progress: 1660389
Forward closed progress: 1795678
Forward closed progress: 1867267
Forward closed progress: 1881843
Forward closed progress: 1956876
Forward closed progress: 1959073
Forward closed progress: 1496031
Forward closed progress: 1489454
Forward closed progress: 1488493
Forward closed progress: 1464642
Forward closed progress: 1462875
Forward closed progress: 1462606
Forward closed progress: 1461636
Forward closed progress: 1451097
Forward closed progress: 1423899
Forward closed progress: 1533102
Forward closed progress: 1523987
Forward closed progress: 1472407
Forward closed progress: 1498662
Forward closed progress: 1495195
Forward closed progress: 1483951
Forward closed progress: 1551215
Forward closed progress: 1449851
Forward closed progress: 1398589
Forward closed progress: 1334373
Forward closed progress: 1350054
Forward closed progress: 1350538
Forward closed progress: 1239046
Forward closed progress: 1229369
Forward closed progress: 1218863
Forward closed progress: 1245777
Forward closed progress: 1240944
Forward closed progress: 1224202
Forward closed progress: 1194758
Forward closed progress: 1195446
Forward closed progress: 1192700
Forward closed progress: 1191975
Forward closed progress: 1191455
Forward closed progress: 1189319
Forward closed progress: 1184963
Forward closed progress: 1184980
Forward closed progress: 1174501
Forward closed progress: 1060460
Forward closed progress: 914152
Forward closed progress: 737996
Forward closed progress: 862182
Forward closed progress: 1143626
Forward closed progress: 1030605
Forward closed progress: 1434712
Forward closed progress: 1437304
Forward closed progress: 1435858
Forward closed progress: 1423827
Forward closed progress: 1396248
Forward closed progress: 1479402
Forward closed progress: 1502710
Forward closed progress: 1849820
Forward closed progress: 2006340
Forward closed progress: 2440367
Forward closed progress: 2750249
Forward closed progress: 2749194
Forward closed progress: 2675352
Forward closed progress: 2733639
Forward closed progress: 2808052
Forward closed progress: 2816786
Forward closed progress: 2765882
Forward closed progress: 2735211
Forward closed progress: 2686533
Forward closed progress: 2720865
Forward closed progress: 2690624
Forward closed progress: 2698684
Forward closed progress: 2699928
Forward closed progress: 2691978
Forward closed progress: 2662648
Forward closed progress: 2766356
Forward closed progress: 2370481
Forward closed progress: 2459692
Forward closed progress: 2460137
Forward closed progress: 2202500
Forward closed progress: 2150134
Forward closed progress: 2051603
Forward closed progress: 2045448
Forward closed progress: 2042057
Forward closed progress: 1990444
Forward closed progress: 1990084
Forward closed progress: 1990378
Forward closed progress: 1987716
Forward closed progress: 1946652
Forward closed progress: 1938255
Forward closed progress: 1936653
Forward closed progress: 1931590
Forward closed progress: 1937510
Forward closed progress: 1937544
Forward closed progress: 1934140
Forward closed progress: 1934395
Forward closed progress: 1934409
Forward closed progress: 1931407
Forward closed progress: 1930211
Forward closed progress: 1930215
Forward closed progress: 1930245
Forward closed progress: 1925497
Forward closed progress: 2385948
Forward closed progress: 2200028
Forward closed progress: 1728657
Forward closed progress: 1858374
Forward closed progress: 1858650
Forward closed progress: 1762071
Forward closed progress: 1755427
Forward closed progress: 1729503
Forward closed progress: 1657617
Forward closed progress: 1688173
Forward closed progress: 1631940
Forward closed progress: 1579045
Forward closed progress: 1368525
Forward closed progress: 1168711
Forward closed progress: 1004370
Forward closed progress: 974040
Forward closed progress: 972631
Forward closed progress: 972952
Forward closed progress: 971254
Forward closed progress: 971100
Forward closed progress: 970934
Forward closed progress: 970654
Forward closed progress: 932617
Forward closed progress: 918663
Forward closed progress: 873046
Forward closed progress: 870194
Forward closed progress: 872945
Forward closed progress: 898976
Forward closed progress: 897436
Forward closed progress: 927973
Forward closed progress: 957896
Forward closed progress: 957982
Forward closed progress: 913376
Forward closed progress: 917587
Forward closed progress: 917722
Forward closed progress: 933676
Forward closed progress: 933235
Forward closed progress: 947580
Forward closed progress: 944484
Forward closed progress: 883102
Forward closed progress: 883171
Forward closed progress: 862273
Forward closed progress: 826190
Forward closed progress: 570927
Forward closed progress: 574139
Forward closed progress: 576764
Forward closed progress: 555507
Forward closed progress: 558157
Forward closed progress: 556369
Forward closed progress: 554725
Forward closed progress: 555039
Forward closed progress: 553122
Forward closed progress: 548691
Forward closed progress: 531526
Forward closed progress: 707795
Forward closed progress: 716371
Forward closed progress: 790251
Forward closed progress: 877815
Forward closed progress: 906461
Forward closed progress: 907333
Forward closed progress: 907459
Forward closed progress: 857913
Forward closed progress: 856949
Forward closed progress: 860079
Forward closed progress: 871021
Forward closed progress: 878954
Forward closed progress: 878142
Forward closed progress: 881296
Forward closed progress: 934626
Forward closed progress: 917638
Forward closed progress: 858231
Forward closed progress: 890214
Forward closed progress: 898940
Forward closed progress: 899076
Forward closed progress: 899104
Forward closed progress: 884065
Forward closed progress: 874246
Forward closed progress: 902964
Forward closed progress: 911052
Forward closed progress: 911188
Forward closed progress: 911216
Forward closed progress: 889311
Forward closed progress: 875012
Forward closed progress: 863319
Forward closed progress: 864071
Forward closed progress: 873371
Forward closed progress: 889417
Forward closed progress: 900607
Forward closed progress: 983062
Forward closed progress: 983126
Forward closed progress: 914817
Forward closed progress: 875857
Forward closed progress: 875647
Forward closed progress: 875373
Forward closed progress: 875598
Forward closed progress: 875610
Forward closed progress: 875604
Forward closed progress: 874712
Forward closed progress: 872925
Forward closed progress: 900268
Forward closed progress: 861573
Forward closed progress: 859950
Forward closed progress: 861283
Forward closed progress: 861288
Forward closed progress: 861337
Forward closed progress: 861349
Forward closed progress: 861457
Forward closed progress: 847702
Forward closed progress: 790683
Forward closed progress: 763518
Forward closed progress: 736087
Forward closed progress: 702953
Forward closed progress: 561942
Forward closed progress: 562226
Forward closed progress: 562587
Forward closed progress: 561850
Forward closed progress: 562618
Forward closed progress: 562331
Forward closed progress: 562041
Forward closed progress: 562095
Forward closed progress: 561745
Forward closed progress: 560782
Forward closed progress: 562582
Forward closed progress: 555555
Forward closed progress: 555555
Control exists for 4 color(s), jumping through 8993934142111744 vertices.
Elapsed: 8924445 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 8924.445
user ??
sys ??
