>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 4
Perturbation colors: 9007199254740992
All colors: 36028797018963970
Unknown update functions: 2
Lowest cardinality: 0
Highest cardinality: 0
Attractor colors: 9007199254740992
Attractor colors computed in 506 ms.
Backward progress: 100204
Backward progress: 100378
Backward progress: 101522
Backward progress: 106154
Backward progress: 111508
Backward progress: 131646
Backward progress: 137514
Backward progress: 139125
Backward progress: 139118
Backward progress: 140903
Backward progress: 143455
Backward progress: 146398
Backward progress: 144644
Backward progress: 146148
Backward progress: 175075
Backward progress: 193010
Backward progress: 200309
Backward progress: 209468
Backward progress: 206286
Backward progress: 203201
Backward progress: 202239
Backward progress: 201591
Backward progress: 203291
Backward progress: 223637
Backward progress: 206569
Backward progress: 206549
Backward progress: 205869
Backward progress: 220747
Backward progress: 212099
Backward progress: 215783
Backward progress: 216251
Backward progress: 266506
Backward progress: 224145
Backward progress: 223000
Backward progress: 222900
Backward progress: 222756
Backward progress: 222699
Backward progress: 222487
Backward progress: 221749
Backward progress: 220142
Backward progress: 201218
Backward progress: 201218
Forward closed progress: 200463
Forward closed progress: 200470
Forward closed progress: 259282
Forward closed progress: 198793
Forward closed progress: 198870
Forward closed progress: 199137
Forward closed progress: 199671
Forward closed progress: 199404
Forward closed progress: 199604
Forward closed progress: 200122
Forward closed progress: 200228
Forward closed progress: 198891
Forward closed progress: 199572
Forward closed progress: 200258
Forward closed progress: 201859
Forward closed progress: 201929
Forward closed progress: 200552
Forward closed progress: 203255
Forward closed progress: 197541
Forward closed progress: 207387
Forward closed progress: 207939
Forward closed progress: 201193
Forward closed progress: 225347
Forward closed progress: 232636
Forward closed progress: 237395
Forward closed progress: 237144
Forward closed progress: 237126
Forward closed progress: 237126
Forward closed progress: 204560
Forward closed progress: 231490
Forward closed progress: 233609
Forward closed progress: 232723
Forward closed progress: 232713
Forward closed progress: 232713
Forward closed progress: 207712
Forward closed progress: 207170
Forward closed progress: 197677
Forward closed progress: 177868
Forward closed progress: 252803
Forward closed progress: 184075
Forward closed progress: 185611
Forward closed progress: 186715
Forward closed progress: 207580
Forward closed progress: 211621
Forward closed progress: 221679
Forward closed progress: 221832
Forward closed progress: 221858
Forward closed progress: 214276
Forward closed progress: 190653
Forward closed progress: 248109
Forward closed progress: 249887
Forward closed progress: 250273
Forward closed progress: 250232
Forward closed progress: 253829
Forward closed progress: 276222
Forward closed progress: 296289
Forward closed progress: 296484
Forward closed progress: 296522
Forward closed progress: 270396
Forward closed progress: 270442
Forward closed progress: 268405
Forward closed progress: 266983
Forward closed progress: 198812
Forward closed progress: 260483
Forward closed progress: 259695
Forward closed progress: 261891
Forward closed progress: 254275
Forward closed progress: 254290
Forward closed progress: 254296
Forward closed progress: 254278
Forward closed progress: 231370
Forward closed progress: 217109
Forward closed progress: 218682
Forward closed progress: 228444
Forward closed progress: 228603
Forward closed progress: 228629
Forward closed progress: 219317
Forward closed progress: 194725
Forward closed progress: 207539
Forward closed progress: 203705
Forward closed progress: 211628
Forward closed progress: 211748
Forward closed progress: 211772
Forward closed progress: 195085
Forward closed progress: 267929
Forward closed progress: 268760
Forward closed progress: 251756
Forward closed progress: 195358
Forward closed progress: 291492
Forward closed progress: 337295
Forward closed progress: 370669
Forward closed progress: 372351
Forward closed progress: 372659
Forward closed progress: 345696
Forward closed progress: 263869
Forward closed progress: 255951
Forward closed progress: 248374
Forward closed progress: 222414
Forward closed progress: 196734
Forward closed progress: 373645
Forward closed progress: 374111
Forward closed progress: 199403
Forward closed progress: 273847
Forward closed progress: 387116
Forward closed progress: 479416
Forward closed progress: 507447
Forward closed progress: 508838
Forward closed progress: 509176
Forward closed progress: 472407
Forward closed progress: 482114
Forward closed progress: 481974
Forward closed progress: 428079
Forward closed progress: 450618
Forward closed progress: 449601
Forward closed progress: 401747
Forward closed progress: 393329
Forward closed progress: 383712
Forward closed progress: 383757
Forward closed progress: 369939
Forward closed progress: 360841
Forward closed progress: 369357
Forward closed progress: 370752
Forward closed progress: 421004
Forward closed progress: 420983
Forward closed progress: 388996
Forward closed progress: 389973
Forward closed progress: 389653
Forward closed progress: 365452
Forward closed progress: 535702
Forward closed progress: 828432
Forward closed progress: 829276
Forward closed progress: 605808
Forward closed progress: 605060
Forward closed progress: 605244
Forward closed progress: 564286
Forward closed progress: 555068
Forward closed progress: 675832
Forward closed progress: 556155
Forward closed progress: 557244
Forward closed progress: 558252
Forward closed progress: 513781
Forward closed progress: 666549
Forward closed progress: 670558
Forward closed progress: 573069
Forward closed progress: 550987
Forward closed progress: 632208
Forward closed progress: 632466
Forward closed progress: 574378
Forward closed progress: 574240
Forward closed progress: 564344
Forward closed progress: 551304
Forward closed progress: 475687
Forward closed progress: 361260
Forward closed progress: 368753
Forward closed progress: 362110
Forward closed progress: 363674
Forward closed progress: 363591
Forward closed progress: 358247
Forward closed progress: 356534
Forward closed progress: 465324
Forward closed progress: 462822
Forward closed progress: 459969
Forward closed progress: 541626
Forward closed progress: 556790
Forward closed progress: 556928
Forward closed progress: 572613
Forward closed progress: 572633
Forward closed progress: 578206
Forward closed progress: 627674
Forward closed progress: 628472
Forward closed progress: 667277
Forward closed progress: 667629
Forward closed progress: 667667
Forward closed progress: 636136
Forward closed progress: 631016
Forward closed progress: 613033
Forward closed progress: 612759
Forward closed progress: 612667
Forward closed progress: 612565
Forward closed progress: 616726
Forward closed progress: 617266
Forward closed progress: 617252
Forward closed progress: 617371
Forward closed progress: 617423
Forward closed progress: 615225
Forward closed progress: 610496
Forward closed progress: 704619
Forward closed progress: 699619
Forward closed progress: 699556
Forward closed progress: 656533
Forward closed progress: 657222
Forward closed progress: 656950
Forward closed progress: 650387
Forward closed progress: 650412
Forward closed progress: 740550
Forward closed progress: 740570
Forward closed progress: 658317
Forward closed progress: 665543
Forward closed progress: 663237
Forward closed progress: 663470
Forward closed progress: 667751
Forward closed progress: 697146
Forward closed progress: 694804
Forward closed progress: 686227
Forward closed progress: 600455
Forward closed progress: 593907
Forward closed progress: 590968
Forward closed progress: 553170
Forward closed progress: 546450
Forward closed progress: 459224
Forward closed progress: 439398
Forward closed progress: 431098
Forward closed progress: 426566
Forward closed progress: 447931
Forward closed progress: 447885
Forward closed progress: 415923
Forward closed progress: 415875
Forward closed progress: 419471
Forward closed progress: 418138
Forward closed progress: 399769
Forward closed progress: 395277
Forward closed progress: 399851
Forward closed progress: 399871
Forward closed progress: 396047
Forward closed progress: 391473
Forward closed progress: 385286
Forward closed progress: 385146
Forward closed progress: 385218
Forward closed progress: 385148
Forward closed progress: 385076
Forward closed progress: 380102
Forward closed progress: 378936
Forward closed progress: 384882
Forward closed progress: 380592
Forward closed progress: 380511
Forward closed progress: 380255
Forward closed progress: 380560
Forward closed progress: 380560
Forward closed progress: 380601
Forward closed progress: 380629
Forward closed progress: 380617
Forward closed progress: 380244
Forward closed progress: 380266
Forward closed progress: 380270
Forward closed progress: 379730
Forward closed progress: 380616
Forward closed progress: 854509
Forward closed progress: 1040055
Forward closed progress: 1013420
Forward closed progress: 904387
Forward closed progress: 748795
Forward closed progress: 749336
Forward closed progress: 739952
Forward closed progress: 393901
Forward closed progress: 441723
Forward closed progress: 430464
Forward closed progress: 391751
Forward closed progress: 402477
Forward closed progress: 402517
Forward closed progress: 391961
Forward closed progress: 382714
Forward closed progress: 386046
Forward closed progress: 381672
Forward closed progress: 387074
Forward closed progress: 377228
Forward closed progress: 368226
Forward closed progress: 368304
Forward closed progress: 431597
Forward closed progress: 475578
Forward closed progress: 517383
Forward closed progress: 524950
Forward closed progress: 546223
Forward closed progress: 546601
Forward closed progress: 546673
Forward closed progress: 540274
Forward closed progress: 559974
Forward closed progress: 554520
Forward closed progress: 541752
Forward closed progress: 555847
Forward closed progress: 559703
Forward closed progress: 608262
Forward closed progress: 608403
Forward closed progress: 629937
Forward closed progress: 643329
Forward closed progress: 642975
Forward closed progress: 652223
Forward closed progress: 669109
Forward closed progress: 671425
Forward closed progress: 670741
Forward closed progress: 667935
Forward closed progress: 674365
Forward closed progress: 678405
Forward closed progress: 630679
Forward closed progress: 641840
Forward closed progress: 598828
Forward closed progress: 626487
Forward closed progress: 626607
Forward closed progress: 610486
Forward closed progress: 605682
Forward closed progress: 598704
Forward closed progress: 570531
Forward closed progress: 558387
Forward closed progress: 529532
Forward closed progress: 546875
Forward closed progress: 547082
Forward closed progress: 565283
Forward closed progress: 565306
Forward closed progress: 439728
Forward closed progress: 436887
Forward closed progress: 433614
Forward closed progress: 429926
Forward closed progress: 465696
Forward closed progress: 463151
Forward closed progress: 400942
Forward closed progress: 405118
Forward closed progress: 404967
Forward closed progress: 403551
Forward closed progress: 390536
Forward closed progress: 403844
Forward closed progress: 403862
Forward closed progress: 391026
Forward closed progress: 376567
Forward closed progress: 377105
Forward closed progress: 374721
Forward closed progress: 374661
Forward closed progress: 373621
Forward closed progress: 366127
Forward closed progress: 363195
Forward closed progress: 324041
Forward closed progress: 470088
Forward closed progress: 585924
Forward closed progress: 552882
Forward closed progress: 699935
Forward closed progress: 702342
Forward closed progress: 702592
Forward closed progress: 692925
Forward closed progress: 699759
Forward closed progress: 741632
Forward closed progress: 751689
Forward closed progress: 871696
Forward closed progress: 997065
Forward closed progress: 1168503
Forward closed progress: 1402335
Forward closed progress: 1401114
Forward closed progress: 1334062
Forward closed progress: 1384334
Forward closed progress: 1444134
Forward closed progress: 1452979
Forward closed progress: 1437536
Forward closed progress: 1409758
Forward closed progress: 1394678
Forward closed progress: 1422581
Forward closed progress: 1404913
Forward closed progress: 1411969
Forward closed progress: 1413213
Forward closed progress: 1366070
Forward closed progress: 1346689
Forward closed progress: 1376891
Forward closed progress: 1207316
Forward closed progress: 1249519
Forward closed progress: 1249960
Forward closed progress: 1131568
Forward closed progress: 1110164
Forward closed progress: 1068209
Forward closed progress: 1065093
Forward closed progress: 1061525
Forward closed progress: 1041779
Forward closed progress: 1041599
Forward closed progress: 1041893
Forward closed progress: 1039791
Forward closed progress: 874628
Forward closed progress: 874640
Forward closed progress: 874930
Forward closed progress: 874929
Forward closed progress: 874976
Forward closed progress: 874956
Forward closed progress: 875102
Forward closed progress: 875165
Forward closed progress: 874937
Forward closed progress: 874999
Forward closed progress: 875040
Forward closed progress: 876496
Forward closed progress: 876494
Forward closed progress: 878046
Forward closed progress: 881486
Forward closed progress: 881488
Forward closed progress: 879516
Forward closed progress: 876092
Forward closed progress: 876008
Forward closed progress: 875072
Forward closed progress: 875070
Forward closed progress: 875047
Forward closed progress: 953386
Forward closed progress: 936209
Forward closed progress: 827107
Forward closed progress: 876700
Forward closed progress: 876990
Forward closed progress: 840712
Forward closed progress: 838211
Forward closed progress: 827397
Forward closed progress: 802117
Forward closed progress: 775987
Forward closed progress: 678121
Forward closed progress: 595878
Forward closed progress: 573434
Forward closed progress: 573424
Forward closed progress: 574152
Forward closed progress: 572067
Forward closed progress: 572032
Forward closed progress: 571966
Forward closed progress: 571704
Forward closed progress: 569477
Forward closed progress: 565324
Forward closed progress: 486924
Forward closed progress: 488364
Forward closed progress: 488404
Forward closed progress: 489818
Forward closed progress: 489824
Forward closed progress: 453814
Forward closed progress: 453460
Forward closed progress: 453616
Forward closed progress: 453712
Forward closed progress: 456418
Forward closed progress: 456406
Forward closed progress: 456616
Forward closed progress: 457460
Forward closed progress: 457421
Forward closed progress: 457539
Forward closed progress: 455087
Forward closed progress: 453766
Forward closed progress: 455082
Forward closed progress: 455100
Forward closed progress: 453757
Forward closed progress: 452572
Forward closed progress: 413855
Forward closed progress: 324047
Forward closed progress: 398110
Forward closed progress: 388294
Forward closed progress: 388176
Forward closed progress: 387909
Forward closed progress: 388637
Forward closed progress: 388637
Forward closed progress: 388932
Forward closed progress: 525366
Forward closed progress: 606077
Forward closed progress: 752991
Forward closed progress: 755227
Forward closed progress: 755465
Forward closed progress: 747551
Forward closed progress: 775209
Forward closed progress: 832037
Forward closed progress: 843051
Forward closed progress: 971918
Forward closed progress: 1124703
Forward closed progress: 1298210
Forward closed progress: 1648294
Forward closed progress: 1647553
Forward closed progress: 1438802
Forward closed progress: 1550928
Forward closed progress: 1706864
Forward closed progress: 1716870
Forward closed progress: 1709673
Forward closed progress: 1686573
Forward closed progress: 1670961
Forward closed progress: 1755526
Forward closed progress: 1716153
Forward closed progress: 1735613
Forward closed progress: 1743843
Forward closed progress: 1539032
Forward closed progress: 1526090
Forward closed progress: 1684371
Forward closed progress: 1687033
Forward closed progress: 1775033
Forward closed progress: 1787660
Forward closed progress: 1780506
Forward closed progress: 1792949
Forward closed progress: 1829591
Forward closed progress: 1676050
Forward closed progress: 1722356
Forward closed progress: 1722944
Forward closed progress: 1604747
Forward closed progress: 1585646
Forward closed progress: 1539578
Forward closed progress: 1532028
Forward closed progress: 1530240
Forward closed progress: 1567905
Forward closed progress: 1563843
Forward closed progress: 1614981
Forward closed progress: 1613354
Forward closed progress: 1502357
Forward closed progress: 1540723
Forward closed progress: 1547245
Forward closed progress: 1576914
Forward closed progress: 1577295
Forward closed progress: 1612239
Forward closed progress: 1747479
Forward closed progress: 1855418
Forward closed progress: 1855902
Forward closed progress: 1855964
Forward closed progress: 1769859
Forward closed progress: 1771596
Forward closed progress: 1770818
Forward closed progress: 1761989
Forward closed progress: 1774749
Forward closed progress: 1843097
Forward closed progress: 1876194
Forward closed progress: 1876698
Forward closed progress: 1876972
Forward closed progress: 1877006
Forward closed progress: 1858943
Forward closed progress: 1846386
Forward closed progress: 2053182
Forward closed progress: 2047835
Forward closed progress: 2046914
Forward closed progress: 2141863
Forward closed progress: 2071179
Forward closed progress: 2068760
Forward closed progress: 2079390
Forward closed progress: 2069548
Forward closed progress: 2070549
Forward closed progress: 2197213
Forward closed progress: 2197691
Forward closed progress: 2088623
Forward closed progress: 2088262
Forward closed progress: 2089359
Forward closed progress: 2243070
Forward closed progress: 2295341
Forward closed progress: 2300364
Forward closed progress: 2300440
Forward closed progress: 2212037
Forward closed progress: 2207364
Forward closed progress: 2223916
Forward closed progress: 2218572
Forward closed progress: 2206839
Forward closed progress: 2203626
Forward closed progress: 2178500
Forward closed progress: 2168535
Forward closed progress: 2162124
Forward closed progress: 2254105
Forward closed progress: 2255002
Forward closed progress: 2169381
Forward closed progress: 2159948
Forward closed progress: 2197981
Forward closed progress: 2196643
Forward closed progress: 2029987
Forward closed progress: 2017748
Forward closed progress: 2017512
Forward closed progress: 1999142
Forward closed progress: 2023375
Forward closed progress: 1997448
Forward closed progress: 1971743
Forward closed progress: 1898380
Forward closed progress: 1855189
Forward closed progress: 1855887
Forward closed progress: 1853741
Forward closed progress: 2538846
Forward closed progress: 2700087
Forward closed progress: 2396408
Forward closed progress: 2518755
Forward closed progress: 2521652
Forward closed progress: 2475077
Forward closed progress: 2407294
Forward closed progress: 2423177
Forward closed progress: 2436839
Forward closed progress: 2606371
Forward closed progress: 2603153
Forward closed progress: 2751379
Forward closed progress: 2733601
Forward closed progress: 2708985
Forward closed progress: 2711763
Forward closed progress: 2737159
Forward closed progress: 2746114
Forward closed progress: 2602732
Forward closed progress: 2566815
Forward closed progress: 2581502
Forward closed progress: 2563135
Forward closed progress: 2585579
Forward closed progress: 2556862
Forward closed progress: 2559780
Forward closed progress: 2417922
Forward closed progress: 2451312
Forward closed progress: 2451778
Forward closed progress: 2345715
Forward closed progress: 2326115
Forward closed progress: 2289222
Forward closed progress: 2281065
Forward closed progress: 2190712
Forward closed progress: 2190481
Forward closed progress: 2189601
Forward closed progress: 2174310
Forward closed progress: 2195332
Forward closed progress: 2198504
Forward closed progress: 2222847
Forward closed progress: 2223052
Forward closed progress: 1970463
Forward closed progress: 1966178
Forward closed progress: 1965718
Forward closed progress: 1957764
Forward closed progress: 1949529
Forward closed progress: 1930396
Forward closed progress: 1962377
Forward closed progress: 1961463
Forward closed progress: 1925712
Forward closed progress: 1931607
Forward closed progress: 1927491
Forward closed progress: 1902320
Forward closed progress: 1893160
Forward closed progress: 1896095
Forward closed progress: 1896295
Forward closed progress: 1852707
Forward closed progress: 1852627
Forward closed progress: 1851228
Forward closed progress: 2102167
Forward closed progress: 1855242
Forward closed progress: 1550252
Forward closed progress: 1576339
Forward closed progress: 1576579
Forward closed progress: 1521063
Forward closed progress: 1517459
Forward closed progress: 1501638
Forward closed progress: 1453220
Forward closed progress: 1483305
Forward closed progress: 1437963
Forward closed progress: 1406573
Forward closed progress: 1293287
Forward closed progress: 1293081
Forward closed progress: 1163112
Forward closed progress: 1202947
Forward closed progress: 1302428
Forward closed progress: 1406852
Forward closed progress: 1417496
Forward closed progress: 1506404
Forward closed progress: 1507927
Forward closed progress: 1508092
Forward closed progress: 1499665
Forward closed progress: 1494241
Forward closed progress: 1483979
Forward closed progress: 1482933
Forward closed progress: 1483889
Forward closed progress: 1482544
Forward closed progress: 1492419
Forward closed progress: 1507416
Forward closed progress: 1598829
Forward closed progress: 1599043
Forward closed progress: 1724757
Forward closed progress: 1733019
Forward closed progress: 1732581
Forward closed progress: 1757693
Forward closed progress: 1800823
Forward closed progress: 1805273
Forward closed progress: 1803746
Forward closed progress: 1797539
Forward closed progress: 1818278
Forward closed progress: 1839549
Forward closed progress: 1818330
Forward closed progress: 1879545
Forward closed progress: 1807567
Forward closed progress: 1807459
Forward closed progress: 1808011
Forward closed progress: 1807763
Forward closed progress: 1809230
Forward closed progress: 1851137
Forward closed progress: 1737776
Forward closed progress: 1760241
Forward closed progress: 1760419
Forward closed progress: 1702506
Forward closed progress: 1683651
Forward closed progress: 1660857
Forward closed progress: 1659693
Forward closed progress: 1527204
Forward closed progress: 1526470
Forward closed progress: 1511354
Forward closed progress: 1520092
Forward closed progress: 1514053
Forward closed progress: 1513336
Forward closed progress: 1621727
Forward closed progress: 1682920
Forward closed progress: 1695219
Forward closed progress: 1758656
Forward closed progress: 1759233
Forward closed progress: 1354947
Forward closed progress: 1350510
Forward closed progress: 1349549
Forward closed progress: 1328756
Forward closed progress: 1327120
Forward closed progress: 1326862
Forward closed progress: 1325959
Forward closed progress: 1315420
Forward closed progress: 1292283
Forward closed progress: 1389409
Forward closed progress: 1380752
Forward closed progress: 1339764
Forward closed progress: 1364409
Forward closed progress: 1360959
Forward closed progress: 1350931
Forward closed progress: 1409471
Forward closed progress: 1318639
Forward closed progress: 1273927
Forward closed progress: 1216924
Forward closed progress: 1230413
Forward closed progress: 1230897
Forward closed progress: 1133174
Forward closed progress: 1124867
Forward closed progress: 1115522
Forward closed progress: 1139352
Forward closed progress: 1134899
Forward closed progress: 1120026
Forward closed progress: 1093492
Forward closed progress: 1094120
Forward closed progress: 1091806
Forward closed progress: 1091207
Forward closed progress: 1090739
Forward closed progress: 1088772
Forward closed progress: 1084990
Forward closed progress: 1084947
Forward closed progress: 1075425
Forward closed progress: 972360
Forward closed progress: 838871
Forward closed progress: 677562
Forward closed progress: 789123
Forward closed progress: 1040619
Forward closed progress: 940177
Forward closed progress: 1297857
Forward closed progress: 1300449
Forward closed progress: 1299219
Forward closed progress: 1289552
Forward closed progress: 1272432
Forward closed progress: 1345150
Forward closed progress: 1368802
Forward closed progress: 1680850
Forward closed progress: 1822623
Forward closed progress: 2211672
Forward closed progress: 2497793
Forward closed progress: 2496738
Forward closed progress: 2428017
Forward closed progress: 2488904
Forward closed progress: 2555654
Forward closed progress: 2564388
Forward closed progress: 2517382
Forward closed progress: 2489580
Forward closed progress: 2443241
Forward closed progress: 2479213
Forward closed progress: 2445464
Forward closed progress: 2455414
Forward closed progress: 2456658
Forward closed progress: 2444530
Forward closed progress: 2417224
Forward closed progress: 2510670
Forward closed progress: 2155527
Forward closed progress: 2236124
Forward closed progress: 2236569
Forward closed progress: 2003772
Forward closed progress: 1957120
Forward closed progress: 1866817
Forward closed progress: 1860397
Forward closed progress: 1856934
Forward closed progress: 1809393
Forward closed progress: 1809033
Forward closed progress: 1809327
Forward closed progress: 1807025
Forward closed progress: 1767902
Forward closed progress: 1760156
Forward closed progress: 1758554
Forward closed progress: 1753931
Forward closed progress: 1759416
Forward closed progress: 1759433
Forward closed progress: 1756419
Forward closed progress: 1756657
Forward closed progress: 1756671
Forward closed progress: 1753881
Forward closed progress: 1752781
Forward closed progress: 1752785
Forward closed progress: 1752815
Forward closed progress: 1748329
Forward closed progress: 2157367
Forward closed progress: 1988828
Forward closed progress: 1568022
Forward closed progress: 1685007
Forward closed progress: 1685283
Forward closed progress: 1599070
Forward closed progress: 1592938
Forward closed progress: 1568868
Forward closed progress: 1502614
Forward closed progress: 1526026
Forward closed progress: 1479105
Forward closed progress: 1431273
Forward closed progress: 1243412
Forward closed progress: 1056864
Forward closed progress: 915485
Forward closed progress: 887493
Forward closed progress: 886140
Forward closed progress: 886377
Forward closed progress: 884751
Forward closed progress: 884577
Forward closed progress: 884443
Forward closed progress: 884181
Forward closed progress: 850232
Forward closed progress: 837812
Forward closed progress: 797115
Forward closed progress: 794531
Forward closed progress: 797096
Forward closed progress: 820215
Forward closed progress: 818871
Forward closed progress: 845845
Forward closed progress: 872641
Forward closed progress: 872727
Forward closed progress: 833273
Forward closed progress: 836934
Forward closed progress: 837069
Forward closed progress: 851089
Forward closed progress: 850648
Forward closed progress: 863149
Forward closed progress: 860095
Forward closed progress: 806000
Forward closed progress: 806054
Forward closed progress: 787612
Forward closed progress: 753468
Forward closed progress: 520971
Forward closed progress: 524714
Forward closed progress: 527157
Forward closed progress: 506216
Forward closed progress: 507812
Forward closed progress: 506002
Forward closed progress: 504620
Forward closed progress: 504956
Forward closed progress: 503360
Forward closed progress: 499082
Forward closed progress: 482391
Forward closed progress: 643760
Forward closed progress: 652532
Forward closed progress: 720117
Forward closed progress: 801297
Forward closed progress: 826503
Forward closed progress: 827375
Forward closed progress: 827501
Forward closed progress: 784123
Forward closed progress: 783255
Forward closed progress: 786267
Forward closed progress: 796293
Forward closed progress: 803912
Forward closed progress: 803340
Forward closed progress: 804751
Forward closed progress: 848421
Forward closed progress: 840367
Forward closed progress: 783120
Forward closed progress: 813060
Forward closed progress: 821330
Forward closed progress: 821466
Forward closed progress: 821494
Forward closed progress: 808099
Forward closed progress: 799203
Forward closed progress: 824862
Forward closed progress: 832718
Forward closed progress: 832854
Forward closed progress: 832882
Forward closed progress: 813217
Forward closed progress: 799969
Forward closed progress: 789522
Forward closed progress: 790136
Forward closed progress: 799040
Forward closed progress: 814594
Forward closed progress: 825474
Forward closed progress: 906144
Forward closed progress: 906208
Forward closed progress: 841713
Forward closed progress: 803880
Forward closed progress: 803670
Forward closed progress: 803396
Forward closed progress: 803575
Forward closed progress: 803587
Forward closed progress: 803581
Forward closed progress: 802723
Forward closed progress: 800936
Forward closed progress: 826157
Forward closed progress: 791102
Forward closed progress: 789614
Forward closed progress: 790868
Forward closed progress: 790873
Forward closed progress: 790922
Forward closed progress: 790934
Forward closed progress: 790994
Forward closed progress: 778212
Forward closed progress: 721316
Forward closed progress: 696056
Forward closed progress: 672007
Forward closed progress: 641955
Forward closed progress: 513060
Forward closed progress: 513356
Forward closed progress: 513689
Forward closed progress: 512961
Forward closed progress: 513583
Forward closed progress: 513288
Forward closed progress: 513061
Forward closed progress: 513115
Forward closed progress: 512851
Forward closed progress: 511926
Forward closed progress: 513598
Forward closed progress: 506641
Forward closed progress: 506641
Control exists for 1 color(s), jumping through 8993934142111744 vertices.
Elapsed: 5961889 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 5961.889
user ??
sys ??
