>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 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 774 ms.
Backward progress: 101096
Backward progress: 104969
Backward progress: 110615
Backward progress: 130888
Backward progress: 136745
Backward progress: 138382
Backward progress: 138375
Backward progress: 140244
Backward progress: 142796
Backward progress: 145805
Backward progress: 144003
Backward progress: 145533
Backward progress: 174934
Backward progress: 193251
Backward progress: 200630
Backward progress: 209951
Backward progress: 206699
Backward progress: 203566
Backward progress: 202586
Backward progress: 201922
Backward progress: 203632
Backward progress: 224358
Backward progress: 207048
Backward progress: 207032
Backward progress: 206346
Backward progress: 221334
Backward progress: 212606
Backward progress: 216221
Backward progress: 216689
Backward progress: 267533
Backward progress: 224635
Backward progress: 223472
Backward progress: 223370
Backward progress: 223224
Backward progress: 223167
Backward progress: 222987
Backward progress: 222237
Backward progress: 220436
Backward progress: 201312
Backward progress: 201312
Forward closed progress: 200533
Forward closed progress: 200540
Forward closed progress: 258931
Forward closed progress: 198745
Forward closed progress: 198822
Forward closed progress: 199089
Forward closed progress: 199623
Forward closed progress: 199356
Forward closed progress: 199556
Forward closed progress: 200074
Forward closed progress: 200180
Forward closed progress: 198819
Forward closed progress: 199500
Forward closed progress: 200186
Forward closed progress: 201787
Forward closed progress: 201857
Forward closed progress: 200480
Forward closed progress: 200882
Forward closed progress: 205284
Forward closed progress: 197871
Forward closed progress: 207717
Forward closed progress: 208429
Forward closed progress: 201523
Forward closed progress: 227067
Forward closed progress: 233201
Forward closed progress: 237930
Forward closed progress: 237663
Forward closed progress: 237645
Forward closed progress: 237645
Forward closed progress: 204890
Forward closed progress: 233186
Forward closed progress: 234150
Forward closed progress: 232931
Forward closed progress: 232921
Forward closed progress: 232921
Forward closed progress: 208042
Forward closed progress: 207500
Forward closed progress: 198007
Forward closed progress: 178198
Forward closed progress: 254282
Forward closed progress: 184405
Forward closed progress: 185941
Forward closed progress: 186965
Forward closed progress: 208022
Forward closed progress: 211986
Forward closed progress: 221838
Forward closed progress: 221991
Forward closed progress: 222017
Forward closed progress: 214313
Forward closed progress: 190903
Forward closed progress: 248359
Forward closed progress: 250137
Forward closed progress: 250539
Forward closed progress: 250482
Forward closed progress: 254631
Forward closed progress: 277111
Forward closed progress: 296996
Forward closed progress: 297191
Forward closed progress: 297229
Forward closed progress: 270457
Forward closed progress: 270503
Forward closed progress: 268470
Forward closed progress: 267049
Forward closed progress: 199062
Forward closed progress: 261219
Forward closed progress: 260318
Forward closed progress: 262501
Forward closed progress: 254871
Forward closed progress: 254886
Forward closed progress: 254892
Forward closed progress: 254874
Forward closed progress: 231708
Forward closed progress: 217405
Forward closed progress: 218924
Forward closed progress: 228558
Forward closed progress: 228717
Forward closed progress: 228743
Forward closed progress: 219307
Forward closed progress: 194817
Forward closed progress: 207753
Forward closed progress: 203786
Forward closed progress: 211567
Forward closed progress: 211687
Forward closed progress: 211711
Forward closed progress: 195177
Forward closed progress: 267852
Forward closed progress: 269547
Forward closed progress: 252140
Forward closed progress: 195281
Forward closed progress: 293027
Forward closed progress: 339627
Forward closed progress: 372887
Forward closed progress: 374569
Forward closed progress: 374877
Forward closed progress: 346896
Forward closed progress: 263997
Forward closed progress: 255570
Forward closed progress: 248101
Forward closed progress: 222295
Forward closed progress: 196657
Forward closed progress: 375457
Forward closed progress: 375923
Forward closed progress: 199326
Forward closed progress: 274686
Forward closed progress: 388272
Forward closed progress: 480871
Forward closed progress: 509115
Forward closed progress: 510506
Forward closed progress: 510844
Forward closed progress: 473357
Forward closed progress: 483064
Forward closed progress: 482924
Forward closed progress: 428253
Forward closed progress: 450821
Forward closed progress: 450015
Forward closed progress: 401707
Forward closed progress: 393198
Forward closed progress: 383544
Forward closed progress: 383589
Forward closed progress: 369724
Forward closed progress: 360552
Forward closed progress: 368970
Forward closed progress: 370739
Forward closed progress: 420954
Forward closed progress: 421103
Forward closed progress: 388801
Forward closed progress: 389824
Forward closed progress: 389504
Forward closed progress: 365326
Forward closed progress: 535576
Forward closed progress: 831339
Forward closed progress: 832183
Forward closed progress: 606008
Forward closed progress: 605260
Forward closed progress: 605444
Forward closed progress: 564206
Forward closed progress: 554942
Forward closed progress: 677104
Forward closed progress: 556029
Forward closed progress: 557118
Forward closed progress: 625135
Forward closed progress: 558126
Forward closed progress: 513655
Forward closed progress: 666468
Forward closed progress: 670477
Forward closed progress: 573390
Forward closed progress: 551308
Forward closed progress: 636178
Forward closed progress: 636436
Forward closed progress: 577878
Forward closed progress: 577740
Forward closed progress: 567821
Forward closed progress: 554871
Forward closed progress: 478251
Forward closed progress: 361751
Forward closed progress: 369244
Forward closed progress: 362601
Forward closed progress: 364413
Forward closed progress: 364330
Forward closed progress: 358894
Forward closed progress: 357157
Forward closed progress: 463991
Forward closed progress: 461559
Forward closed progress: 458745
Forward closed progress: 540765
Forward closed progress: 555924
Forward closed progress: 556212
Forward closed progress: 571969
Forward closed progress: 572087
Forward closed progress: 578425
Forward closed progress: 628675
Forward closed progress: 629486
Forward closed progress: 668527
Forward closed progress: 668879
Forward closed progress: 668917
Forward closed progress: 636560
Forward closed progress: 631364
Forward closed progress: 613300
Forward closed progress: 613019
Forward closed progress: 612927
Forward closed progress: 612825
Forward closed progress: 616778
Forward closed progress: 617559
Forward closed progress: 617545
Forward closed progress: 617664
Forward closed progress: 617716
Forward closed progress: 615277
Forward closed progress: 611007
Forward closed progress: 706464
Forward closed progress: 700071
Forward closed progress: 699969
Forward closed progress: 656738
Forward closed progress: 657499
Forward closed progress: 658575
Forward closed progress: 650729
Forward closed progress: 650754
Forward closed progress: 741353
Forward closed progress: 741373
Forward closed progress: 658876
Forward closed progress: 666102
Forward closed progress: 663784
Forward closed progress: 664057
Forward closed progress: 668472
Forward closed progress: 698396
Forward closed progress: 695824
Forward closed progress: 687199
Forward closed progress: 600565
Forward closed progress: 594220
Forward closed progress: 591450
Forward closed progress: 553524
Forward closed progress: 546792
Forward closed progress: 459992
Forward closed progress: 439699
Forward closed progress: 431285
Forward closed progress: 426753
Forward closed progress: 448812
Forward closed progress: 448766
Forward closed progress: 416229
Forward closed progress: 416181
Forward closed progress: 419777
Forward closed progress: 418420
Forward closed progress: 399891
Forward closed progress: 395285
Forward closed progress: 399907
Forward closed progress: 399927
Forward closed progress: 396055
Forward closed progress: 391433
Forward closed progress: 385276
Forward closed progress: 385136
Forward closed progress: 385208
Forward closed progress: 385138
Forward closed progress: 385066
Forward closed progress: 380048
Forward closed progress: 378882
Forward closed progress: 384828
Forward closed progress: 380498
Forward closed progress: 380417
Forward closed progress: 380164
Forward closed progress: 380470
Forward closed progress: 380471
Forward closed progress: 380525
Forward closed progress: 380555
Forward closed progress: 380541
Forward closed progress: 380166
Forward closed progress: 380190
Forward closed progress: 380194
Forward closed progress: 379660
Forward closed progress: 380200
Forward closed progress: 852576
Forward closed progress: 1038975
Forward closed progress: 1012340
Forward closed progress: 903672
Forward closed progress: 745615
Forward closed progress: 746312
Forward closed progress: 736686
Forward closed progress: 391676
Forward closed progress: 438604
Forward closed progress: 427732
Forward closed progress: 389926
Forward closed progress: 400860
Forward closed progress: 400900
Forward closed progress: 390136
Forward closed progress: 381429
Forward closed progress: 384785
Forward closed progress: 380387
Forward closed progress: 385789
Forward closed progress: 376600
Forward closed progress: 367257
Forward closed progress: 367335
Forward closed progress: 429884
Forward closed progress: 475025
Forward closed progress: 518119
Forward closed progress: 525818
Forward closed progress: 547505
Forward closed progress: 547883
Forward closed progress: 547955
Forward closed progress: 541634
Forward closed progress: 561472
Forward closed progress: 555788
Forward closed progress: 542790
Forward closed progress: 556885
Forward closed progress: 561618
Forward closed progress: 610684
Forward closed progress: 611458
Forward closed progress: 632886
Forward closed progress: 645977
Forward closed progress: 645623
Forward closed progress: 655909
Forward closed progress: 673382
Forward closed progress: 675698
Forward closed progress: 675014
Forward closed progress: 672297
Forward closed progress: 679018
Forward closed progress: 684162
Forward closed progress: 635681
Forward closed progress: 646842
Forward closed progress: 602097
Forward closed progress: 630469
Forward closed progress: 630589
Forward closed progress: 614036
Forward closed progress: 609180
Forward closed progress: 601973
Forward closed progress: 573245
Forward closed progress: 561101
Forward closed progress: 530905
Forward closed progress: 548226
Forward closed progress: 548645
Forward closed progress: 566943
Forward closed progress: 567077
Forward closed progress: 438719
Forward closed progress: 435845
Forward closed progress: 432572
Forward closed progress: 428678
Forward closed progress: 465659
Forward closed progress: 462092
Forward closed progress: 400213
Forward closed progress: 404390
Forward closed progress: 404239
Forward closed progress: 402811
Forward closed progress: 389391
Forward closed progress: 403140
Forward closed progress: 403158
Forward closed progress: 389887
Forward closed progress: 375135
Forward closed progress: 375713
Forward closed progress: 373338
Forward closed progress: 373314
Forward closed progress: 372311
Forward closed progress: 364763
Forward closed progress: 361349
Forward closed progress: 322492
Forward closed progress: 468443
Forward closed progress: 584765
Forward closed progress: 551650
Forward closed progress: 699334
Forward closed progress: 701741
Forward closed progress: 701991
Forward closed progress: 692072
Forward closed progress: 698761
Forward closed progress: 740622
Forward closed progress: 751246
Forward closed progress: 871750
Forward closed progress: 997974
Forward closed progress: 1168766
Forward closed progress: 1402355
Forward closed progress: 1401134
Forward closed progress: 1333887
Forward closed progress: 1385303
Forward closed progress: 1445477
Forward closed progress: 1454322
Forward closed progress: 1438845
Forward closed progress: 1410828
Forward closed progress: 1395793
Forward closed progress: 1424680
Forward closed progress: 1406644
Forward closed progress: 1413626
Forward closed progress: 1414870
Forward closed progress: 1370378
Forward closed progress: 1350949
Forward closed progress: 1380335
Forward closed progress: 1210760
Forward closed progress: 1254513
Forward closed progress: 1254954
Forward closed progress: 1135058
Forward closed progress: 1113574
Forward closed progress: 1071085
Forward closed progress: 1068144
Forward closed progress: 1064675
Forward closed progress: 1044967
Forward closed progress: 1044787
Forward closed progress: 1045081
Forward closed progress: 1042927
Forward closed progress: 874946
Forward closed progress: 874958
Forward closed progress: 875561
Forward closed progress: 875560
Forward closed progress: 875619
Forward closed progress: 875593
Forward closed progress: 875751
Forward closed progress: 875808
Forward closed progress: 875568
Forward closed progress: 875630
Forward closed progress: 875692
Forward closed progress: 877139
Forward closed progress: 877137
Forward closed progress: 878689
Forward closed progress: 882137
Forward closed progress: 882139
Forward closed progress: 880159
Forward closed progress: 876727
Forward closed progress: 876643
Forward closed progress: 875731
Forward closed progress: 875729
Forward closed progress: 875700
Forward closed progress: 956727
Forward closed progress: 939810
Forward closed progress: 829770
Forward closed progress: 880917
Forward closed progress: 881207
Forward closed progress: 843675
Forward closed progress: 841152
Forward closed progress: 830060
Forward closed progress: 804680
Forward closed progress: 778331
Forward closed progress: 680776
Forward closed progress: 596812
Forward closed progress: 573586
Forward closed progress: 573576
Forward closed progress: 574340
Forward closed progress: 572285
Forward closed progress: 572250
Forward closed progress: 572202
Forward closed progress: 571922
Forward closed progress: 569677
Forward closed progress: 565542
Forward closed progress: 486434
Forward closed progress: 487874
Forward closed progress: 487950
Forward closed progress: 489382
Forward closed progress: 489412
Forward closed progress: 452853
Forward closed progress: 452497
Forward closed progress: 452653
Forward closed progress: 452749
Forward closed progress: 455467
Forward closed progress: 455443
Forward closed progress: 455649
Forward closed progress: 456481
Forward closed progress: 456442
Forward closed progress: 456602
Forward closed progress: 454126
Forward closed progress: 452763
Forward closed progress: 454121
Forward closed progress: 454139
Forward closed progress: 452754
Forward closed progress: 451575
Forward closed progress: 413167
Forward closed progress: 322498
Forward closed progress: 391818
Forward closed progress: 383343
Forward closed progress: 383225
Forward closed progress: 382966
Forward closed progress: 383696
Forward closed progress: 383698
Forward closed progress: 383875
Forward closed progress: 522055
Forward closed progress: 602811
Forward closed progress: 749194
Forward closed progress: 751430
Forward closed progress: 751668
Forward closed progress: 743652
Forward closed progress: 771216
Forward closed progress: 828003
Forward closed progress: 840275
Forward closed progress: 969000
Forward closed progress: 1121270
Forward closed progress: 1291710
Forward closed progress: 1638256
Forward closed progress: 1637515
Forward closed progress: 1427586
Forward closed progress: 1542913
Forward closed progress: 1700514
Forward closed progress: 1710520
Forward closed progress: 1703291
Forward closed progress: 1680044
Forward closed progress: 1664989
Forward closed progress: 1752292
Forward closed progress: 1711739
Forward closed progress: 1731294
Forward closed progress: 1739552
Forward closed progress: 1537527
Forward closed progress: 1524565
Forward closed progress: 1909376
Forward closed progress: 1789811
Forward closed progress: 1838997
Forward closed progress: 1798330
Forward closed progress: 1791176
Forward closed progress: 1792052
Forward closed progress: 1827678
Forward closed progress: 1674137
Forward closed progress: 1722849
Forward closed progress: 1723437
Forward closed progress: 1603739
Forward closed progress: 1584542
Forward closed progress: 1537800
Forward closed progress: 1530930
Forward closed progress: 1529304
Forward closed progress: 1566505
Forward closed progress: 1562443
Forward closed progress: 1613587
Forward closed progress: 1611898
Forward closed progress: 1499205
Forward closed progress: 1537571
Forward closed progress: 1545236
Forward closed progress: 1575667
Forward closed progress: 1576810
Forward closed progress: 1615487
Forward closed progress: 1752340
Forward closed progress: 1860835
Forward closed progress: 1861319
Forward closed progress: 1861381
Forward closed progress: 1772062
Forward closed progress: 1773744
Forward closed progress: 1772966
Forward closed progress: 1764137
Forward closed progress: 1776830
Forward closed progress: 1846088
Forward closed progress: 1879494
Forward closed progress: 1880088
Forward closed progress: 1880362
Forward closed progress: 1880396
Forward closed progress: 1861934
Forward closed progress: 1850457
Forward closed progress: 2057229
Forward closed progress: 2051991
Forward closed progress: 2050550
Forward closed progress: 2145304
Forward closed progress: 2074592
Forward closed progress: 2072194
Forward closed progress: 2083489
Forward closed progress: 2073514
Forward closed progress: 2074515
Forward closed progress: 2202609
Forward closed progress: 2203087
Forward closed progress: 2093753
Forward closed progress: 2093392
Forward closed progress: 2094489
Forward closed progress: 2251211
Forward closed progress: 2304220
Forward closed progress: 2309139
Forward closed progress: 2309215
Forward closed progress: 2219821
Forward closed progress: 2215018
Forward closed progress: 2231932
Forward closed progress: 2226580
Forward closed progress: 2214513
Forward closed progress: 2211266
Forward closed progress: 2186140
Forward closed progress: 2176061
Forward closed progress: 2169650
Forward closed progress: 2260237
Forward closed progress: 2261018
Forward closed progress: 2173473
Forward closed progress: 2164040
Forward closed progress: 2206064
Forward closed progress: 2204662
Forward closed progress: 2033777
Forward closed progress: 2020712
Forward closed progress: 2020412
Forward closed progress: 2000842
Forward closed progress: 2025717
Forward closed progress: 1999148
Forward closed progress: 1972897
Forward closed progress: 1898562
Forward closed progress: 1854687
Forward closed progress: 1855385
Forward closed progress: 1852995
Forward closed progress: 2544272
Forward closed progress: 2707854
Forward closed progress: 2401958
Forward closed progress: 2526802
Forward closed progress: 2529699
Forward closed progress: 2481215
Forward closed progress: 2412559
Forward closed progress: 2428442
Forward closed progress: 2443291
Forward closed progress: 2614392
Forward closed progress: 2616332
Forward closed progress: 2783251
Forward closed progress: 2769634
Forward closed progress: 2766816
Forward closed progress: 2770088
Forward closed progress: 2795941
Forward closed progress: 2805260
Forward closed progress: 2706578
Forward closed progress: 2673469
Forward closed progress: 2694707
Forward closed progress: 2677914
Forward closed progress: 2701956
Forward closed progress: 2671641
Forward closed progress: 2673593
Forward closed progress: 2531429
Forward closed progress: 2566448
Forward closed progress: 2566914
Forward closed progress: 2459052
Forward closed progress: 2439348
Forward closed progress: 2401769
Forward closed progress: 2394040
Forward closed progress: 2292222
Forward closed progress: 2281186
Forward closed progress: 2280294
Forward closed progress: 2241272
Forward closed progress: 2262294
Forward closed progress: 2266135
Forward closed progress: 2291207
Forward closed progress: 2291805
Forward closed progress: 1973175
Forward closed progress: 1968885
Forward closed progress: 1968425
Forward closed progress: 1960475
Forward closed progress: 1952240
Forward closed progress: 1933139
Forward closed progress: 1965254
Forward closed progress: 1964405
Forward closed progress: 1928773
Forward closed progress: 1935075
Forward closed progress: 1930953
Forward closed progress: 1904291
Forward closed progress: 1894928
Forward closed progress: 1898378
Forward closed progress: 1898578
Forward closed progress: 1852401
Forward closed progress: 1852321
Forward closed progress: 1850859
Forward closed progress: 2105548
Forward closed progress: 1858008
Forward closed progress: 1552080
Forward closed progress: 1581027
Forward closed progress: 1581267
Forward closed progress: 1523419
Forward closed progress: 1519775
Forward closed progress: 1503552
Forward closed progress: 1456153
Forward closed progress: 1486800
Forward closed progress: 1440896
Forward closed progress: 1408487
Forward closed progress: 1294969
Forward closed progress: 1294832
Forward closed progress: 1166015
Forward closed progress: 1205095
Forward closed progress: 1306640
Forward closed progress: 1413296
Forward closed progress: 1424066
Forward closed progress: 1514755
Forward closed progress: 1516278
Forward closed progress: 1516443
Forward closed progress: 1507995
Forward closed progress: 1502571
Forward closed progress: 1491727
Forward closed progress: 1490653
Forward closed progress: 1491632
Forward closed progress: 1490256
Forward closed progress: 1500131
Forward closed progress: 1515538
Forward closed progress: 1607417
Forward closed progress: 1608059
Forward closed progress: 1733561
Forward closed progress: 1742071
Forward closed progress: 1741633
Forward closed progress: 1767222
Forward closed progress: 1810783
Forward closed progress: 1815233
Forward closed progress: 1813664
Forward closed progress: 1807550
Forward closed progress: 1828720
Forward closed progress: 1850981
Forward closed progress: 1828772
Forward closed progress: 1889793
Forward closed progress: 1817893
Forward closed progress: 1817785
Forward closed progress: 1818302
Forward closed progress: 1818054
Forward closed progress: 1819573
Forward closed progress: 1861024
Forward closed progress: 1747673
Forward closed progress: 1771032
Forward closed progress: 1771210
Forward closed progress: 1712455
Forward closed progress: 1693514
Forward closed progress: 1670298
Forward closed progress: 1669186
Forward closed progress: 1536861
Forward closed progress: 1536127
Forward closed progress: 1520851
Forward closed progress: 1529906
Forward closed progress: 1523672
Forward closed progress: 1522936
Forward closed progress: 1626609
Forward closed progress: 1687802
Forward closed progress: 1702442
Forward closed progress: 1767639
Forward closed progress: 1769836
Forward closed progress: 1363896
Forward closed progress: 1359401
Forward closed progress: 1358440
Forward closed progress: 1337647
Forward closed progress: 1335956
Forward closed progress: 1335687
Forward closed progress: 1334765
Forward closed progress: 1324226
Forward closed progress: 1301054
Forward closed progress: 1398509
Forward closed progress: 1390030
Forward closed progress: 1348788
Forward closed progress: 1374407
Forward closed progress: 1370940
Forward closed progress: 1360800
Forward closed progress: 1419340
Forward closed progress: 1328540
Forward closed progress: 1280756
Forward closed progress: 1222468
Forward closed progress: 1237433
Forward closed progress: 1237917
Forward closed progress: 1134971
Forward closed progress: 1126104
Forward closed progress: 1116058
Forward closed progress: 1140144
Forward closed progress: 1135743
Forward closed progress: 1120677
Forward closed progress: 1094041
Forward closed progress: 1094669
Forward closed progress: 1092355
Forward closed progress: 1091772
Forward closed progress: 1091288
Forward closed progress: 1089228
Forward closed progress: 1085406
Forward closed progress: 1085423
Forward closed progress: 1075880
Forward closed progress: 971737
Forward closed progress: 839001
Forward closed progress: 676651
Forward closed progress: 788117
Forward closed progress: 1040945
Forward closed progress: 940410
Forward closed progress: 1300301
Forward closed progress: 1302893
Forward closed progress: 1301447
Forward closed progress: 1291528
Forward closed progress: 1273749
Forward closed progress: 1346455
Forward closed progress: 1371299
Forward closed progress: 1685145
Forward closed progress: 1827561
Forward closed progress: 2215270
Forward closed progress: 2500758
Forward closed progress: 2499703
Forward closed progress: 2430787
Forward closed progress: 2493466
Forward closed progress: 2560775
Forward closed progress: 2569509
Forward closed progress: 2521917
Forward closed progress: 2493878
Forward closed progress: 2447360
Forward closed progress: 2484748
Forward closed progress: 2450379
Forward closed progress: 2460287
Forward closed progress: 2461531
Forward closed progress: 2453287
Forward closed progress: 2425913
Forward closed progress: 2517989
Forward closed progress: 2162846
Forward closed progress: 2245685
Forward closed progress: 2246130
Forward closed progress: 2011091
Forward closed progress: 1964303
Forward closed progress: 1873068
Forward closed progress: 1866913
Forward closed progress: 1863522
Forward closed progress: 1816041
Forward closed progress: 1815681
Forward closed progress: 1815975
Forward closed progress: 1813613
Forward closed progress: 1774489
Forward closed progress: 1766700
Forward closed progress: 1765098
Forward closed progress: 1760515
Forward closed progress: 1766051
Forward closed progress: 1766085
Forward closed progress: 1763065
Forward closed progress: 1763320
Forward closed progress: 1763334
Forward closed progress: 1760492
Forward closed progress: 1759376
Forward closed progress: 1759380
Forward closed progress: 1759410
Forward closed progress: 1754902
Forward closed progress: 2169769
Forward closed progress: 1999533
Forward closed progress: 1574430
Forward closed progress: 1694775
Forward closed progress: 1695051
Forward closed progress: 1606022
Forward closed progress: 1599836
Forward closed progress: 1575276
Forward closed progress: 1509234
Forward closed progress: 1533406
Forward closed progress: 1485725
Forward closed progress: 1435438
Forward closed progress: 1246646
Forward closed progress: 1060336
Forward closed progress: 916291
Forward closed progress: 888469
Forward closed progress: 887060
Forward closed progress: 887309
Forward closed progress: 885707
Forward closed progress: 885529
Forward closed progress: 885411
Forward closed progress: 885131
Forward closed progress: 851182
Forward closed progress: 838712
Forward closed progress: 797187
Forward closed progress: 794603
Forward closed progress: 797354
Forward closed progress: 820473
Forward closed progress: 819067
Forward closed progress: 845998
Forward closed progress: 872875
Forward closed progress: 872961
Forward closed progress: 833383
Forward closed progress: 837044
Forward closed progress: 837179
Forward closed progress: 851343
Forward closed progress: 850902
Forward closed progress: 863613
Forward closed progress: 860517
Forward closed progress: 806155
Forward closed progress: 806224
Forward closed progress: 787666
Forward closed progress: 753743
Forward closed progress: 519338
Forward closed progress: 522550
Forward closed progress: 525063
Forward closed progress: 504762
Forward closed progress: 507248
Forward closed progress: 505516
Forward closed progress: 503896
Forward closed progress: 504226
Forward closed progress: 502357
Forward closed progress: 498122
Forward closed progress: 481801
Forward closed progress: 641486
Forward closed progress: 651118
Forward closed progress: 718434
Forward closed progress: 800050
Forward closed progress: 825700
Forward closed progress: 826572
Forward closed progress: 826698
Forward closed progress: 782688
Forward closed progress: 781820
Forward closed progress: 784974
Forward closed progress: 794976
Forward closed progress: 802469
Forward closed progress: 801897
Forward closed progress: 803267
Forward closed progress: 847285
Forward closed progress: 839377
Forward closed progress: 781746
Forward closed progress: 811521
Forward closed progress: 819927
Forward closed progress: 820063
Forward closed progress: 820091
Forward closed progress: 806572
Forward closed progress: 797569
Forward closed progress: 823327
Forward closed progress: 831319
Forward closed progress: 831455
Forward closed progress: 831483
Forward closed progress: 811690
Forward closed progress: 798335
Forward closed progress: 787798
Forward closed progress: 788550
Forward closed progress: 797370
Forward closed progress: 812744
Forward closed progress: 823502
Forward closed progress: 902393
Forward closed progress: 902457
Forward closed progress: 837712
Forward closed progress: 800496
Forward closed progress: 800286
Forward closed progress: 800012
Forward closed progress: 800237
Forward closed progress: 800249
Forward closed progress: 800243
Forward closed progress: 799399
Forward closed progress: 797612
Forward closed progress: 822529
Forward closed progress: 787538
Forward closed progress: 786065
Forward closed progress: 787338
Forward closed progress: 787343
Forward closed progress: 787392
Forward closed progress: 787404
Forward closed progress: 787464
Forward closed progress: 774709
Forward closed progress: 719950
Forward closed progress: 694905
Forward closed progress: 670650
Forward closed progress: 640256
Forward closed progress: 511241
Forward closed progress: 511525
Forward closed progress: 511870
Forward closed progress: 511149
Forward closed progress: 511889
Forward closed progress: 511610
Forward closed progress: 511328
Forward closed progress: 511382
Forward closed progress: 511040
Forward closed progress: 510113
Forward closed progress: 511785
Forward closed progress: 504982
Forward closed progress: 504982
Control exists for 2 color(s), jumping through 8993934142111744 vertices.
Elapsed: 7830862 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 7830.862
user ??
sys ??
