>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 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 717 ms.
Backward progress: 100399
Backward progress: 104696
Backward progress: 110330
Backward progress: 130603
Backward progress: 136460
Backward progress: 138097
Backward progress: 138090
Backward progress: 139959
Backward progress: 142511
Backward progress: 145508
Backward progress: 143714
Backward progress: 145244
Backward progress: 174627
Backward progress: 192940
Backward progress: 200309
Backward progress: 209622
Backward progress: 206374
Backward progress: 203241
Backward progress: 202253
Backward progress: 201597
Backward progress: 203307
Backward progress: 224173
Backward progress: 206463
Backward progress: 206443
Backward progress: 205743
Backward progress: 220593
Backward progress: 211945
Backward progress: 215560
Backward progress: 216028
Backward progress: 266712
Backward progress: 223910
Backward progress: 222759
Backward progress: 222663
Backward progress: 222519
Backward progress: 222460
Backward progress: 222280
Backward progress: 221536
Backward progress: 219761
Backward progress: 200817
Backward progress: 200817
Forward closed progress: 200038
Forward closed progress: 200045
Forward closed progress: 258208
Forward closed progress: 198216
Forward closed progress: 198293
Forward closed progress: 198560
Forward closed progress: 199094
Forward closed progress: 198827
Forward closed progress: 199027
Forward closed progress: 199545
Forward closed progress: 199651
Forward closed progress: 198290
Forward closed progress: 200336
Forward closed progress: 201022
Forward closed progress: 203211
Forward closed progress: 203281
Forward closed progress: 201316
Forward closed progress: 204019
Forward closed progress: 198305
Forward closed progress: 208151
Forward closed progress: 208703
Forward closed progress: 201957
Forward closed progress: 228047
Forward closed progress: 233537
Forward closed progress: 238266
Forward closed progress: 237999
Forward closed progress: 237981
Forward closed progress: 237981
Forward closed progress: 205324
Forward closed progress: 233854
Forward closed progress: 234240
Forward closed progress: 232871
Forward closed progress: 232861
Forward closed progress: 232861
Forward closed progress: 208476
Forward closed progress: 207934
Forward closed progress: 198441
Forward closed progress: 178632
Forward closed progress: 253567
Forward closed progress: 184839
Forward closed progress: 186375
Forward closed progress: 187479
Forward closed progress: 208632
Forward closed progress: 212552
Forward closed progress: 222428
Forward closed progress: 222581
Forward closed progress: 222607
Forward closed progress: 214893
Forward closed progress: 191417
Forward closed progress: 248873
Forward closed progress: 250651
Forward closed progress: 251037
Forward closed progress: 250996
Forward closed progress: 254845
Forward closed progress: 276875
Forward closed progress: 296560
Forward closed progress: 296755
Forward closed progress: 296793
Forward closed progress: 270515
Forward closed progress: 270561
Forward closed progress: 268528
Forward closed progress: 267103
Forward closed progress: 199576
Forward closed progress: 261875
Forward closed progress: 260962
Forward closed progress: 263157
Forward closed progress: 255513
Forward closed progress: 255528
Forward closed progress: 255534
Forward closed progress: 255516
Forward closed progress: 232324
Forward closed progress: 217813
Forward closed progress: 219284
Forward closed progress: 228948
Forward closed progress: 229107
Forward closed progress: 229133
Forward closed progress: 219685
Forward closed progress: 195117
Forward closed progress: 208175
Forward closed progress: 204152
Forward closed progress: 211981
Forward closed progress: 212101
Forward closed progress: 212125
Forward closed progress: 195477
Forward closed progress: 268321
Forward closed progress: 269152
Forward closed progress: 252148
Forward closed progress: 195750
Forward closed progress: 293776
Forward closed progress: 339514
Forward closed progress: 372864
Forward closed progress: 374546
Forward closed progress: 374854
Forward closed progress: 347615
Forward closed progress: 264070
Forward closed progress: 256152
Forward closed progress: 248683
Forward closed progress: 223110
Forward closed progress: 197126
Forward closed progress: 376396
Forward closed progress: 376862
Forward closed progress: 199795
Forward closed progress: 276039
Forward closed progress: 389127
Forward closed progress: 481691
Forward closed progress: 509910
Forward closed progress: 511301
Forward closed progress: 511639
Forward closed progress: 474198
Forward closed progress: 487309
Forward closed progress: 487169
Forward closed progress: 431518
Forward closed progress: 453412
Forward closed progress: 452687
Forward closed progress: 404173
Forward closed progress: 395535
Forward closed progress: 385518
Forward closed progress: 385563
Forward closed progress: 371617
Forward closed progress: 362371
Forward closed progress: 370771
Forward closed progress: 372182
Forward closed progress: 422434
Forward closed progress: 422413
Forward closed progress: 389552
Forward closed progress: 390881
Forward closed progress: 390377
Forward closed progress: 366187
Forward closed progress: 536437
Forward closed progress: 833154
Forward closed progress: 833998
Forward closed progress: 607479
Forward closed progress: 606263
Forward closed progress: 606447
Forward closed progress: 565205
Forward closed progress: 555803
Forward closed progress: 676567
Forward closed progress: 556890
Forward closed progress: 557979
Forward closed progress: 558987
Forward closed progress: 514516
Forward closed progress: 667329
Forward closed progress: 671338
Forward closed progress: 574251
Forward closed progress: 552169
Forward closed progress: 640473
Forward closed progress: 640263
Forward closed progress: 581383
Forward closed progress: 581153
Forward closed progress: 571165
Forward closed progress: 556650
Forward closed progress: 479690
Forward closed progress: 362115
Forward closed progress: 369608
Forward closed progress: 362965
Forward closed progress: 364797
Forward closed progress: 364672
Forward closed progress: 359144
Forward closed progress: 357521
Forward closed progress: 464355
Forward closed progress: 461923
Forward closed progress: 459109
Forward closed progress: 541129
Forward closed progress: 556288
Forward closed progress: 556426
Forward closed progress: 572111
Forward closed progress: 572131
Forward closed progress: 578164
Forward closed progress: 627878
Forward closed progress: 628728
Forward closed progress: 667725
Forward closed progress: 668077
Forward closed progress: 668115
Forward closed progress: 636432
Forward closed progress: 631236
Forward closed progress: 613237
Forward closed progress: 612935
Forward closed progress: 612843
Forward closed progress: 612741
Forward closed progress: 616346
Forward closed progress: 617010
Forward closed progress: 616996
Forward closed progress: 617115
Forward closed progress: 617167
Forward closed progress: 614845
Forward closed progress: 610118
Forward closed progress: 704241
Forward closed progress: 699242
Forward closed progress: 699179
Forward closed progress: 655948
Forward closed progress: 656637
Forward closed progress: 656365
Forward closed progress: 649802
Forward closed progress: 649827
Forward closed progress: 740585
Forward closed progress: 740605
Forward closed progress: 658044
Forward closed progress: 665270
Forward closed progress: 662940
Forward closed progress: 663213
Forward closed progress: 667614
Forward closed progress: 696917
Forward closed progress: 694891
Forward closed progress: 686254
Forward closed progress: 600202
Forward closed progress: 593690
Forward closed progress: 590843
Forward closed progress: 553047
Forward closed progress: 546315
Forward closed progress: 459629
Forward closed progress: 439570
Forward closed progress: 431246
Forward closed progress: 426714
Forward closed progress: 448335
Forward closed progress: 448245
Forward closed progress: 415976
Forward closed progress: 415904
Forward closed progress: 419500
Forward closed progress: 418143
Forward closed progress: 399949
Forward closed progress: 395457
Forward closed progress: 400079
Forward closed progress: 400099
Forward closed progress: 396227
Forward closed progress: 391605
Forward closed progress: 385430
Forward closed progress: 385290
Forward closed progress: 385410
Forward closed progress: 385316
Forward closed progress: 385220
Forward closed progress: 380316
Forward closed progress: 379150
Forward closed progress: 385096
Forward closed progress: 380820
Forward closed progress: 380739
Forward closed progress: 380484
Forward closed progress: 380789
Forward closed progress: 380789
Forward closed progress: 380843
Forward closed progress: 380879
Forward closed progress: 380863
Forward closed progress: 380486
Forward closed progress: 380516
Forward closed progress: 380520
Forward closed progress: 379982
Forward closed progress: 380522
Forward closed progress: 849905
Forward closed progress: 1034943
Forward closed progress: 1008308
Forward closed progress: 899640
Forward closed progress: 744766
Forward closed progress: 745307
Forward closed progress: 735993
Forward closed progress: 391998
Forward closed progress: 438578
Forward closed progress: 427778
Forward closed progress: 390136
Forward closed progress: 401046
Forward closed progress: 401086
Forward closed progress: 390346
Forward closed progress: 381639
Forward closed progress: 384971
Forward closed progress: 380597
Forward closed progress: 385999
Forward closed progress: 376810
Forward closed progress: 367425
Forward closed progress: 367503
Forward closed progress: 429800
Forward closed progress: 473897
Forward closed progress: 515994
Forward closed progress: 523585
Forward closed progress: 544966
Forward closed progress: 545344
Forward closed progress: 545416
Forward closed progress: 539095
Forward closed progress: 558843
Forward closed progress: 553329
Forward closed progress: 540501
Forward closed progress: 554596
Forward closed progress: 558452
Forward closed progress: 607011
Forward closed progress: 607152
Forward closed progress: 628580
Forward closed progress: 642094
Forward closed progress: 641740
Forward closed progress: 651341
Forward closed progress: 668395
Forward closed progress: 671323
Forward closed progress: 670447
Forward closed progress: 667715
Forward closed progress: 674253
Forward closed progress: 678293
Forward closed progress: 630916
Forward closed progress: 642077
Forward closed progress: 598237
Forward closed progress: 626328
Forward closed progress: 626448
Forward closed progress: 610135
Forward closed progress: 605199
Forward closed progress: 598113
Forward closed progress: 569746
Forward closed progress: 557602
Forward closed progress: 528225
Forward closed progress: 545480
Forward closed progress: 545687
Forward closed progress: 563888
Forward closed progress: 563911
Forward closed progress: 437798
Forward closed progress: 434924
Forward closed progress: 431651
Forward closed progress: 427963
Forward closed progress: 463733
Forward closed progress: 461188
Forward closed progress: 399309
Forward closed progress: 403724
Forward closed progress: 403465
Forward closed progress: 402025
Forward closed progress: 388842
Forward closed progress: 402374
Forward closed progress: 402368
Forward closed progress: 389332
Forward closed progress: 374707
Forward closed progress: 375285
Forward closed progress: 372922
Forward closed progress: 372898
Forward closed progress: 371901
Forward closed progress: 364509
Forward closed progress: 361039
Forward closed progress: 321804
Forward closed progress: 468137
Forward closed progress: 584569
Forward closed progress: 551383
Forward closed progress: 699552
Forward closed progress: 701959
Forward closed progress: 702209
Forward closed progress: 692458
Forward closed progress: 699292
Forward closed progress: 741165
Forward closed progress: 751232
Forward closed progress: 871239
Forward closed progress: 995783
Forward closed progress: 1166575
Forward closed progress: 1400835
Forward closed progress: 1399614
Forward closed progress: 1332406
Forward closed progress: 1383222
Forward closed progress: 1442942
Forward closed progress: 1454223
Forward closed progress: 1438210
Forward closed progress: 1410275
Forward closed progress: 1395068
Forward closed progress: 1423779
Forward closed progress: 1405827
Forward closed progress: 1412913
Forward closed progress: 1414157
Forward closed progress: 1368097
Forward closed progress: 1348716
Forward closed progress: 1377958
Forward closed progress: 1208383
Forward closed progress: 1252834
Forward closed progress: 1253263
Forward closed progress: 1133273
Forward closed progress: 1111237
Forward closed progress: 1068730
Forward closed progress: 1065763
Forward closed progress: 1062294
Forward closed progress: 1042550
Forward closed progress: 1042370
Forward closed progress: 1042664
Forward closed progress: 1040542
Forward closed progress: 875765
Forward closed progress: 875777
Forward closed progress: 876519
Forward closed progress: 876518
Forward closed progress: 876569
Forward closed progress: 876547
Forward closed progress: 876697
Forward closed progress: 876758
Forward closed progress: 876526
Forward closed progress: 876588
Forward closed progress: 876629
Forward closed progress: 878085
Forward closed progress: 878083
Forward closed progress: 879635
Forward closed progress: 883083
Forward closed progress: 883085
Forward closed progress: 881105
Forward closed progress: 877681
Forward closed progress: 877597
Forward closed progress: 876673
Forward closed progress: 876669
Forward closed progress: 876642
Forward closed progress: 955499
Forward closed progress: 938582
Forward closed progress: 829116
Forward closed progress: 880297
Forward closed progress: 880587
Forward closed progress: 843149
Forward closed progress: 840424
Forward closed progress: 829406
Forward closed progress: 804170
Forward closed progress: 777977
Forward closed progress: 680360
Forward closed progress: 596044
Forward closed progress: 573340
Forward closed progress: 573330
Forward closed progress: 574070
Forward closed progress: 572015
Forward closed progress: 571980
Forward closed progress: 571922
Forward closed progress: 571652
Forward closed progress: 569407
Forward closed progress: 565272
Forward closed progress: 485366
Forward closed progress: 486806
Forward closed progress: 486846
Forward closed progress: 488260
Forward closed progress: 488266
Forward closed progress: 452153
Forward closed progress: 451797
Forward closed progress: 451953
Forward closed progress: 452049
Forward closed progress: 454755
Forward closed progress: 454743
Forward closed progress: 454949
Forward closed progress: 455799
Forward closed progress: 455748
Forward closed progress: 455866
Forward closed progress: 453432
Forward closed progress: 452099
Forward closed progress: 453439
Forward closed progress: 453457
Forward closed progress: 452090
Forward closed progress: 450911
Forward closed progress: 412741
Forward closed progress: 321810
Forward closed progress: 391130
Forward closed progress: 382655
Forward closed progress: 382537
Forward closed progress: 382274
Forward closed progress: 383002
Forward closed progress: 383002
Forward closed progress: 383179
Forward closed progress: 521509
Forward closed progress: 602005
Forward closed progress: 748454
Forward closed progress: 750690
Forward closed progress: 750928
Forward closed progress: 742810
Forward closed progress: 770468
Forward closed progress: 827296
Forward closed progress: 838343
Forward closed progress: 967210
Forward closed progress: 1117678
Forward closed progress: 1288118
Forward closed progress: 1634572
Forward closed progress: 1633819
Forward closed progress: 1424284
Forward closed progress: 1537706
Forward closed progress: 1693865
Forward closed progress: 1706695
Forward closed progress: 1699094
Forward closed progress: 1674809
Forward closed progress: 1659316
Forward closed progress: 1745405
Forward closed progress: 1705466
Forward closed progress: 1724978
Forward closed progress: 1733208
Forward closed progress: 1529957
Forward closed progress: 1517015
Forward closed progress: 1672941
Forward closed progress: 1675603
Forward closed progress: 1763603
Forward closed progress: 1778702
Forward closed progress: 1769076
Forward closed progress: 1781519
Forward closed progress: 1817293
Forward closed progress: 1663752
Forward closed progress: 1712330
Forward closed progress: 1712918
Forward closed progress: 1593758
Forward closed progress: 1574133
Forward closed progress: 1527605
Forward closed progress: 1520419
Forward closed progress: 1518793
Forward closed progress: 1555942
Forward closed progress: 1551880
Forward closed progress: 1603018
Forward closed progress: 1601381
Forward closed progress: 1492334
Forward closed progress: 1530700
Forward closed progress: 1537222
Forward closed progress: 1566891
Forward closed progress: 1567272
Forward closed progress: 1604344
Forward closed progress: 1740187
Forward closed progress: 1848283
Forward closed progress: 1848767
Forward closed progress: 1848829
Forward closed progress: 1760980
Forward closed progress: 1762662
Forward closed progress: 1761884
Forward closed progress: 1753055
Forward closed progress: 1765815
Forward closed progress: 1834163
Forward closed progress: 1867728
Forward closed progress: 1868352
Forward closed progress: 1868626
Forward closed progress: 1868660
Forward closed progress: 1850009
Forward closed progress: 1837459
Forward closed progress: 2044255
Forward closed progress: 2038908
Forward closed progress: 2037987
Forward closed progress: 2132741
Forward closed progress: 2062057
Forward closed progress: 2059638
Forward closed progress: 2070268
Forward closed progress: 2060426
Forward closed progress: 2061427
Forward closed progress: 2191550
Forward closed progress: 2192024
Forward closed progress: 2082368
Forward closed progress: 2082007
Forward closed progress: 2083692
Forward closed progress: 2238783
Forward closed progress: 2291190
Forward closed progress: 2297449
Forward closed progress: 2297525
Forward closed progress: 2208198
Forward closed progress: 2203441
Forward closed progress: 2220225
Forward closed progress: 2214873
Forward closed progress: 2202596
Forward closed progress: 2199171
Forward closed progress: 2174045
Forward closed progress: 2164080
Forward closed progress: 2157669
Forward closed progress: 2248286
Forward closed progress: 2249039
Forward closed progress: 2162350
Forward closed progress: 2152917
Forward closed progress: 2196230
Forward closed progress: 2194008
Forward closed progress: 2025281
Forward closed progress: 2011746
Forward closed progress: 2011510
Forward closed progress: 1992324
Forward closed progress: 2016557
Forward closed progress: 1990630
Forward closed progress: 1964925
Forward closed progress: 1890534
Forward closed progress: 1846631
Forward closed progress: 1847601
Forward closed progress: 1845183
Forward closed progress: 2534609
Forward closed progress: 2697326
Forward closed progress: 2392579
Forward closed progress: 2516566
Forward closed progress: 2519463
Forward closed progress: 2471652
Forward closed progress: 2403869
Forward closed progress: 2419752
Forward closed progress: 2433414
Forward closed progress: 2602946
Forward closed progress: 2599728
Forward closed progress: 2747902
Forward closed progress: 2732352
Forward closed progress: 2707252
Forward closed progress: 2708466
Forward closed progress: 2733766
Forward closed progress: 2745141
Forward closed progress: 2600090
Forward closed progress: 2563742
Forward closed progress: 2578829
Forward closed progress: 2560102
Forward closed progress: 2582546
Forward closed progress: 2553829
Forward closed progress: 2555587
Forward closed progress: 2413605
Forward closed progress: 2449371
Forward closed progress: 2449837
Forward closed progress: 2341963
Forward closed progress: 2321599
Forward closed progress: 2284038
Forward closed progress: 2275799
Forward closed progress: 2185456
Forward closed progress: 2185223
Forward closed progress: 2184335
Forward closed progress: 2166923
Forward closed progress: 2187945
Forward closed progress: 2191117
Forward closed progress: 2215460
Forward closed progress: 2215665
Forward closed progress: 1963064
Forward closed progress: 1958774
Forward closed progress: 1958314
Forward closed progress: 1950364
Forward closed progress: 1942129
Forward closed progress: 1923093
Forward closed progress: 1955074
Forward closed progress: 1954160
Forward closed progress: 1918528
Forward closed progress: 1926479
Forward closed progress: 1920991
Forward closed progress: 1895148
Forward closed progress: 1885976
Forward closed progress: 1889579
Forward closed progress: 1889779
Forward closed progress: 1844599
Forward closed progress: 1844479
Forward closed progress: 1843047
Forward closed progress: 2093099
Forward closed progress: 1848139
Forward closed progress: 1545450
Forward closed progress: 1572995
Forward closed progress: 1573235
Forward closed progress: 1516735
Forward closed progress: 1512959
Forward closed progress: 1496982
Forward closed progress: 1449755
Forward closed progress: 1479840
Forward closed progress: 1434498
Forward closed progress: 1403735
Forward closed progress: 1291448
Forward closed progress: 1291175
Forward closed progress: 1162482
Forward closed progress: 1201903
Forward closed progress: 1303172
Forward closed progress: 1408874
Forward closed progress: 1419642
Forward closed progress: 1509466
Forward closed progress: 1510989
Forward closed progress: 1511154
Forward closed progress: 1502727
Forward closed progress: 1497289
Forward closed progress: 1487027
Forward closed progress: 1485949
Forward closed progress: 1486941
Forward closed progress: 1485544
Forward closed progress: 1495419
Forward closed progress: 1510416
Forward closed progress: 1601829
Forward closed progress: 1602043
Forward closed progress: 1727545
Forward closed progress: 1736451
Forward closed progress: 1736013
Forward closed progress: 1761185
Forward closed progress: 1804551
Forward closed progress: 1810297
Forward closed progress: 1808422
Forward closed progress: 1802255
Forward closed progress: 1823350
Forward closed progress: 1844621
Forward closed progress: 1823402
Forward closed progress: 1884417
Forward closed progress: 1812445
Forward closed progress: 1812337
Forward closed progress: 1812986
Forward closed progress: 1812622
Forward closed progress: 1814069
Forward closed progress: 1855360
Forward closed progress: 1742009
Forward closed progress: 1765406
Forward closed progress: 1765584
Forward closed progress: 1706847
Forward closed progress: 1687548
Forward closed progress: 1664382
Forward closed progress: 1663270
Forward closed progress: 1531233
Forward closed progress: 1530499
Forward closed progress: 1514863
Forward closed progress: 1523893
Forward closed progress: 1517674
Forward closed progress: 1516925
Forward closed progress: 1622880
Forward closed progress: 1684073
Forward closed progress: 1696372
Forward closed progress: 1759809
Forward closed progress: 1760386
Forward closed progress: 1354842
Forward closed progress: 1350347
Forward closed progress: 1349386
Forward closed progress: 1328593
Forward closed progress: 1326925
Forward closed progress: 1326651
Forward closed progress: 1325732
Forward closed progress: 1315193
Forward closed progress: 1292069
Forward closed progress: 1389195
Forward closed progress: 1380538
Forward closed progress: 1339296
Forward closed progress: 1369745
Forward closed progress: 1364739
Forward closed progress: 1354487
Forward closed progress: 1413027
Forward closed progress: 1322227
Forward closed progress: 1274375
Forward closed progress: 1216340
Forward closed progress: 1232725
Forward closed progress: 1233085
Forward closed progress: 1132138
Forward closed progress: 1122987
Forward closed progress: 1113175
Forward closed progress: 1136900
Forward closed progress: 1132499
Forward closed progress: 1117704
Forward closed progress: 1091326
Forward closed progress: 1091954
Forward closed progress: 1089640
Forward closed progress: 1089057
Forward closed progress: 1088573
Forward closed progress: 1086625
Forward closed progress: 1082851
Forward closed progress: 1082844
Forward closed progress: 1073406
Forward closed progress: 969505
Forward closed progress: 836547
Forward closed progress: 674470
Forward closed progress: 786685
Forward closed progress: 1038779
Forward closed progress: 938347
Forward closed progress: 1297130
Forward closed progress: 1299722
Forward closed progress: 1298348
Forward closed progress: 1288597
Forward closed progress: 1271477
Forward closed progress: 1344195
Forward closed progress: 1367857
Forward closed progress: 1679905
Forward closed progress: 1820900
Forward closed progress: 2208609
Forward closed progress: 2494432
Forward closed progress: 2493377
Forward closed progress: 2424500
Forward closed progress: 2485615
Forward closed progress: 2552158
Forward closed progress: 2563244
Forward closed progress: 2515664
Forward closed progress: 2487707
Forward closed progress: 2441231
Forward closed progress: 2477993
Forward closed progress: 2443918
Forward closed progress: 2453926
Forward closed progress: 2455170
Forward closed progress: 2444278
Forward closed progress: 2416972
Forward closed progress: 2509338
Forward closed progress: 2154195
Forward closed progress: 2237016
Forward closed progress: 2237449
Forward closed progress: 2003116
Forward closed progress: 1955804
Forward closed progress: 1864921
Forward closed progress: 1858740
Forward closed progress: 1855349
Forward closed progress: 1807828
Forward closed progress: 1807468
Forward closed progress: 1807762
Forward closed progress: 1805440
Forward closed progress: 1766648
Forward closed progress: 1758878
Forward closed progress: 1757276
Forward closed progress: 1752663
Forward closed progress: 1758148
Forward closed progress: 1758165
Forward closed progress: 1755145
Forward closed progress: 1755451
Forward closed progress: 1755457
Forward closed progress: 1752615
Forward closed progress: 1751507
Forward closed progress: 1751523
Forward closed progress: 1751553
Forward closed progress: 1747045
Forward closed progress: 2155885
Forward closed progress: 1988015
Forward closed progress: 1567598
Forward closed progress: 1686123
Forward closed progress: 1686399
Forward closed progress: 1599058
Forward closed progress: 1592710
Forward closed progress: 1568444
Forward closed progress: 1502616
Forward closed progress: 1526028
Forward closed progress: 1479107
Forward closed progress: 1431224
Forward closed progress: 1243560
Forward closed progress: 1057414
Forward closed progress: 914207
Forward closed progress: 886343
Forward closed progress: 884878
Forward closed progress: 885079
Forward closed progress: 883477
Forward closed progress: 883295
Forward closed progress: 883165
Forward closed progress: 882895
Forward closed progress: 848946
Forward closed progress: 836526
Forward closed progress: 795161
Forward closed progress: 792577
Forward closed progress: 795142
Forward closed progress: 818261
Forward closed progress: 816917
Forward closed progress: 843848
Forward closed progress: 870849
Forward closed progress: 870935
Forward closed progress: 831233
Forward closed progress: 834894
Forward closed progress: 835029
Forward closed progress: 849241
Forward closed progress: 848644
Forward closed progress: 861149
Forward closed progress: 858095
Forward closed progress: 804015
Forward closed progress: 804054
Forward closed progress: 785610
Forward closed progress: 751929
Forward closed progress: 518210
Forward closed progress: 521422
Forward closed progress: 523971
Forward closed progress: 503734
Forward closed progress: 505682
Forward closed progress: 503920
Forward closed progress: 502580
Forward closed progress: 502916
Forward closed progress: 501362
Forward closed progress: 497226
Forward closed progress: 480933
Forward closed progress: 640618
Forward closed progress: 650258
Forward closed progress: 717594
Forward closed progress: 799346
Forward closed progress: 825032
Forward closed progress: 825904
Forward closed progress: 826030
Forward closed progress: 782092
Forward closed progress: 781224
Forward closed progress: 784236
Forward closed progress: 794262
Forward closed progress: 801697
Forward closed progress: 801125
Forward closed progress: 802536
Forward closed progress: 846670
Forward closed progress: 839056
Forward closed progress: 781587
Forward closed progress: 811419
Forward closed progress: 819925
Forward closed progress: 820061
Forward closed progress: 820089
Forward closed progress: 806482
Forward closed progress: 797410
Forward closed progress: 823225
Forward closed progress: 831317
Forward closed progress: 831453
Forward closed progress: 831481
Forward closed progress: 811600
Forward closed progress: 798176
Forward closed progress: 787444
Forward closed progress: 788058
Forward closed progress: 796962
Forward closed progress: 812288
Forward closed progress: 823046
Forward closed progress: 901939
Forward closed progress: 902003
Forward closed progress: 837256
Forward closed progress: 800040
Forward closed progress: 799830
Forward closed progress: 799556
Forward closed progress: 799759
Forward closed progress: 799771
Forward closed progress: 799753
Forward closed progress: 798909
Forward closed progress: 797122
Forward closed progress: 822039
Forward closed progress: 787093
Forward closed progress: 785708
Forward closed progress: 787030
Forward closed progress: 787035
Forward closed progress: 787084
Forward closed progress: 787096
Forward closed progress: 787156
Forward closed progress: 774171
Forward closed progress: 719650
Forward closed progress: 694597
Forward closed progress: 670226
Forward closed progress: 639802
Forward closed progress: 510321
Forward closed progress: 510605
Forward closed progress: 510942
Forward closed progress: 510229
Forward closed progress: 510837
Forward closed progress: 510550
Forward closed progress: 510330
Forward closed progress: 510384
Forward closed progress: 510128
Forward closed progress: 509209
Forward closed progress: 510881
Forward closed progress: 504066
Forward closed progress: 504066
Control exists for 2 color(s), jumping through 8993934142111744 vertices.
Elapsed: 7081253 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 7081.253
user ??
sys ??
