>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 27
Perturbation colors: 9007199254740992
All colors: 243194379878006800
Unknown update functions: 3
Lowest cardinality: 1
Highest cardinality: 1
Attractor colors: 72057594037927940
Attractor colors computed in 332 ms.
Backward progress: 102322
Backward progress: 101894
Backward progress: 104827
Backward progress: 104891
Backward progress: 103117
Backward progress: 103082
Backward progress: 101950
Backward progress: 101922
Backward progress: 108219
Backward progress: 108100
Backward progress: 110833
Backward progress: 117728
Backward progress: 120989
Backward progress: 121004
Backward progress: 121189
Backward progress: 121274
Backward progress: 120788
Backward progress: 120952
Backward progress: 124284
Backward progress: 124296
Backward progress: 124236
Backward progress: 122661
Backward progress: 122709
Backward progress: 122925
Backward progress: 121637
Backward progress: 120631
Backward progress: 119885
Backward progress: 136652
Backward progress: 138695
Backward progress: 138376
Backward progress: 142800
Backward progress: 143051
Backward progress: 142882
Backward progress: 142935
Backward progress: 143077
Backward progress: 143305
Backward progress: 148457
Backward progress: 148338
Backward progress: 148299
Backward progress: 146442
Backward progress: 145936
Backward progress: 146114
Backward progress: 146114
Backward progress: 146539
Backward progress: 137041
Backward progress: 136673
Backward progress: 135060
Backward progress: 134831
Backward progress: 135480
Backward progress: 133094
Backward progress: 136188
Backward progress: 132342
Backward progress: 134218
Backward progress: 134274
Backward progress: 133163
Backward progress: 133121
Backward progress: 132347
Backward progress: 131488
Backward progress: 129599
Backward progress: 126310
Backward progress: 126154
Backward progress: 126085
Backward progress: 124420
Backward progress: 123175
Backward progress: 122991
Backward progress: 122538
Backward progress: 123194
Backward progress: 122754
Backward progress: 122269
Backward progress: 121787
Backward progress: 120342
Backward progress: 120346
Backward progress: 119955
Backward progress: 144436
Backward progress: 148781
Backward progress: 135062
Backward progress: 144763
Backward progress: 144827
Backward progress: 138867
Backward progress: 138698
Backward progress: 134692
Backward progress: 129680
Backward progress: 130496
Backward progress: 128582
Backward progress: 127386
Backward progress: 127174
Backward progress: 115483
Backward progress: 147308
Backward progress: 164615
Backward progress: 166012
Backward progress: 167487
Backward progress: 171839
Backward progress: 171926
Backward progress: 171969
Backward progress: 172015
Backward progress: 170575
Backward progress: 171325
Backward progress: 170600
Backward progress: 170685
Backward progress: 170924
Backward progress: 176026
Backward progress: 176046
Backward progress: 176300
Backward progress: 173572
Backward progress: 173512
Backward progress: 173952
Backward progress: 173904
Backward progress: 174082
Backward progress: 173130
Backward progress: 173442
Backward progress: 173830
Backward progress: 174277
Backward progress: 172280
Backward progress: 177710
Backward progress: 170460
Backward progress: 170444
Backward progress: 170162
Backward progress: 169631
Backward progress: 169485
Backward progress: 174527
Backward progress: 174276
Backward progress: 175900
Backward progress: 175932
Backward progress: 174998
Backward progress: 174970
Backward progress: 174300
Backward progress: 174300
Backward progress: 179167
Backward progress: 177329
Backward progress: 173321
Backward progress: 176271
Backward progress: 174565
Backward progress: 174714
Backward progress: 178616
Backward progress: 179066
Backward progress: 178875
Backward progress: 177030
Backward progress: 173626
Backward progress: 172730
Backward progress: 172671
Backward progress: 172001
Backward progress: 171822
Backward progress: 169767
Backward progress: 174247
Backward progress: 172150
Backward progress: 170455
Backward progress: 168859
Backward progress: 164719
Backward progress: 164461
Backward progress: 164357
Backward progress: 162728
Backward progress: 167414
Backward progress: 152685
Backward progress: 153105
Backward progress: 153229
Backward progress: 153418
Backward progress: 153438
Backward progress: 153393
Backward progress: 153301
Backward progress: 153999
Backward progress: 153950
Backward progress: 152275
Backward progress: 152319
Backward progress: 151989
Backward progress: 152021
Backward progress: 151840
Backward progress: 151918
Backward progress: 151661
Backward progress: 151389
Backward progress: 150852
Backward progress: 133528
Backward progress: 133512
Backward progress: 110579
Backward progress: 110817
Backward progress: 110608
Backward progress: 111942
Backward progress: 112395
Backward progress: 112944
Backward progress: 123734
Backward progress: 124723
Backward progress: 126166
Backward progress: 123008
Backward progress: 122812
Backward progress: 124358
Backward progress: 124951
Backward progress: 125479
Backward progress: 122468
Backward progress: 122535
Backward progress: 121036
Backward progress: 120631
Backward progress: 119475
Backward progress: 121569
Backward progress: 119144
Backward progress: 132954
Backward progress: 131754
Backward progress: 135779
Backward progress: 135823
Backward progress: 133305
Backward progress: 133284
Backward progress: 131795
Backward progress: 131696
Backward progress: 129267
Backward progress: 128227
Backward progress: 127286
Backward progress: 151779
Backward progress: 155031
Backward progress: 137511
Backward progress: 147046
Backward progress: 147090
Backward progress: 141058
Backward progress: 140925
Backward progress: 137049
Backward progress: 131096
Backward progress: 130559
Backward progress: 129658
Backward progress: 127625
Backward progress: 127413
Backward progress: 113509
Backward progress: 112479
Backward progress: 109418
Backward progress: 107229
Backward progress: 106714
Backward progress: 108731
Backward progress: 105991
Backward progress: 106649
Backward progress: 106756
Backward progress: 107108
Backward progress: 107108
Backward progress: 107198
Backward progress: 107893
Backward progress: 107905
Backward progress: 107645
Backward progress: 107415
Backward progress: 107747
Backward progress: 107810
Backward progress: 108019
Backward progress: 108031
Backward progress: 108004
Backward progress: 107876
Backward progress: 108015
Backward progress: 108221
Backward progress: 107787
Backward progress: 107781
Forward closed progress: 151753
Forward closed progress: 105497
Forward closed progress: 105453
Forward closed progress: 105431
Forward closed progress: 112782
Forward closed progress: 158772
Forward closed progress: 158923
Forward closed progress: 159011
Forward closed progress: 130264
Forward closed progress: 103246
Forward closed progress: 100027
Forward closed progress: 100079
Forward closed progress: 122143
Forward closed progress: 124771
Forward closed progress: 115121
Forward closed progress: 109230
Forward closed progress: 108959
Forward closed progress: 140398
Forward closed progress: 183609
Forward closed progress: 183834
Forward closed progress: 183966
Forward closed progress: 158122
Forward closed progress: 126414
Forward closed progress: 125312
Forward closed progress: 127214
Forward closed progress: 114440
Forward closed progress: 102404
Forward closed progress: 116113
Forward closed progress: 116253
Forward closed progress: 149183
Forward closed progress: 251193
Forward closed progress: 317214
Forward closed progress: 373808
Forward closed progress: 374212
Forward closed progress: 374412
Forward closed progress: 329699
Forward closed progress: 334385
Forward closed progress: 334933
Forward closed progress: 282546
Forward closed progress: 319627
Forward closed progress: 262949
Forward closed progress: 227340
Forward closed progress: 220764
Forward closed progress: 223617
Forward closed progress: 223645
Forward closed progress: 223677
Forward closed progress: 212825
Forward closed progress: 230717
Forward closed progress: 237097
Forward closed progress: 260097
Forward closed progress: 254923
Forward closed progress: 217952
Forward closed progress: 218323
Forward closed progress: 218467
Forward closed progress: 170015
Forward closed progress: 227953
Forward closed progress: 257821
Forward closed progress: 258637
Forward closed progress: 267870
Forward closed progress: 268314
Forward closed progress: 270078
Forward closed progress: 253684
Forward closed progress: 254112
Forward closed progress: 226191
Forward closed progress: 257403
Forward closed progress: 261959
Forward closed progress: 258229
Forward closed progress: 271192
Forward closed progress: 271508
Forward closed progress: 263791
Forward closed progress: 256370
Forward closed progress: 199855
Forward closed progress: 269825
Forward closed progress: 334458
Forward closed progress: 329512
Forward closed progress: 330302
Forward closed progress: 337057
Forward closed progress: 398013
Forward closed progress: 399767
Forward closed progress: 460892
Forward closed progress: 454599
Forward closed progress: 454695
Forward closed progress: 422052
Forward closed progress: 420926
Forward closed progress: 422001
Forward closed progress: 421997
Forward closed progress: 421775
Forward closed progress: 421463
Forward closed progress: 444799
Forward closed progress: 445566
Forward closed progress: 445552
Forward closed progress: 445671
Forward closed progress: 445775
Forward closed progress: 433424
Forward closed progress: 432707
Forward closed progress: 433117
Forward closed progress: 433124
Forward closed progress: 419861
Forward closed progress: 419207
Forward closed progress: 418036
Forward closed progress: 414405
Forward closed progress: 460271
Forward closed progress: 460331
Forward closed progress: 419249
Forward closed progress: 421033
Forward closed progress: 450986
Forward closed progress: 444347
Forward closed progress: 444431
Forward closed progress: 370829
Forward closed progress: 360127
Forward closed progress: 339763
Forward closed progress: 332471
Forward closed progress: 329357
Forward closed progress: 290675
Forward closed progress: 285055
Forward closed progress: 285246
Forward closed progress: 290926
Forward closed progress: 291022
Forward closed progress: 294385
Forward closed progress: 290446
Forward closed progress: 265798
Forward closed progress: 219978
Forward closed progress: 348738
Forward closed progress: 364525
Forward closed progress: 374497
Forward closed progress: 373844
Forward closed progress: 380500
Forward closed progress: 363100
Forward closed progress: 316036
Forward closed progress: 300190
Forward closed progress: 299686
Forward closed progress: 297295
Forward closed progress: 306505
Forward closed progress: 307434
Forward closed progress: 311594
Forward closed progress: 329884
Forward closed progress: 342170
Forward closed progress: 340711
Forward closed progress: 340751
Forward closed progress: 328490
Forward closed progress: 339982
Forward closed progress: 340513
Forward closed progress: 340622
Forward closed progress: 341203
Forward closed progress: 362487
Forward closed progress: 365620
Forward closed progress: 365635
Forward closed progress: 365394
Forward closed progress: 365426
Forward closed progress: 352937
Forward closed progress: 347995
Forward closed progress: 347746
Forward closed progress: 348202
Forward closed progress: 366412
Forward closed progress: 362000
Forward closed progress: 364041
Forward closed progress: 365240
Forward closed progress: 362159
Forward closed progress: 367926
Forward closed progress: 383802
Forward closed progress: 380481
Forward closed progress: 380497
Forward closed progress: 366412
Forward closed progress: 365514
Forward closed progress: 367197
Forward closed progress: 365061
Forward closed progress: 403058
Forward closed progress: 403698
Forward closed progress: 397932
Forward closed progress: 398982
Forward closed progress: 374100
Forward closed progress: 385310
Forward closed progress: 385674
Forward closed progress: 359398
Forward closed progress: 386692
Forward closed progress: 386836
Forward closed progress: 399652
Forward closed progress: 406007
Forward closed progress: 403529
Forward closed progress: 390169
Forward closed progress: 399625
Forward closed progress: 495097
Forward closed progress: 567928
Forward closed progress: 647650
Forward closed progress: 656921
Forward closed progress: 659532
Forward closed progress: 659814
Forward closed progress: 659986
Forward closed progress: 655864
Forward closed progress: 649966
Forward closed progress: 671714
Forward closed progress: 652937
Forward closed progress: 620160
Forward closed progress: 636559
Forward closed progress: 644289
Forward closed progress: 653403
Forward closed progress: 653469
Forward closed progress: 692762
Forward closed progress: 706377
Forward closed progress: 706289
Forward closed progress: 735243
Forward closed progress: 747086
Forward closed progress: 749567
Forward closed progress: 749024
Forward closed progress: 751395
Forward closed progress: 762314
Forward closed progress: 750441
Forward closed progress: 791412
Forward closed progress: 791322
Forward closed progress: 801537
Forward closed progress: 801685
Forward closed progress: 794169
Forward closed progress: 794037
Forward closed progress: 791610
Forward closed progress: 791610
Forward closed progress: 773983
Forward closed progress: 772771
Forward closed progress: 801820
Forward closed progress: 803192
Forward closed progress: 592263
Forward closed progress: 602280
Forward closed progress: 598552
Forward closed progress: 555367
Forward closed progress: 531792
Forward closed progress: 523484
Forward closed progress: 430708
Forward closed progress: 435751
Forward closed progress: 407487
Forward closed progress: 475118
Forward closed progress: 539193
Forward closed progress: 535630
Forward closed progress: 584118
Forward closed progress: 576981
Forward closed progress: 577041
Forward closed progress: 557745
Forward closed progress: 558978
Forward closed progress: 597020
Forward closed progress: 599730
Forward closed progress: 599884
Forward closed progress: 605136
Forward closed progress: 609044
Forward closed progress: 626354
Forward closed progress: 625802
Forward closed progress: 625912
Forward closed progress: 649859
Forward closed progress: 649883
Forward closed progress: 628327
Forward closed progress: 678470
Forward closed progress: 744980
Forward closed progress: 736834
Forward closed progress: 737042
Forward closed progress: 688572
Forward closed progress: 673961
Forward closed progress: 637417
Forward closed progress: 627699
Forward closed progress: 630644
Forward closed progress: 630874
Forward closed progress: 614937
Forward closed progress: 634931
Forward closed progress: 633959
Forward closed progress: 640071
Forward closed progress: 640143
Forward closed progress: 642035
Forward closed progress: 641771
Forward closed progress: 601852
Forward closed progress: 603097
Forward closed progress: 601632
Forward closed progress: 601579
Forward closed progress: 601142
Forward closed progress: 601516
Forward closed progress: 601544
Forward closed progress: 601564
Forward closed progress: 601317
Forward closed progress: 601947
Forward closed progress: 601947
Forward closed progress: 600167
Forward closed progress: 643712
Forward closed progress: 635469
Forward closed progress: 634929
Forward closed progress: 632453
Forward closed progress: 650904
Forward closed progress: 661706
Forward closed progress: 655083
Forward closed progress: 655082
Forward closed progress: 658662
Forward closed progress: 657495
Forward closed progress: 656573
Forward closed progress: 655845
Forward closed progress: 655355
Forward closed progress: 619684
Forward closed progress: 577713
Forward closed progress: 566661
Forward closed progress: 520045
Forward closed progress: 490798
Forward closed progress: 481227
Forward closed progress: 481320
Forward closed progress: 476068
Forward closed progress: 472203
Forward closed progress: 463445
Forward closed progress: 462572
Forward closed progress: 463616
Forward closed progress: 462509
Forward closed progress: 463160
Forward closed progress: 464513
Forward closed progress: 464665
Forward closed progress: 459700
Forward closed progress: 460523
Forward closed progress: 460355
Forward closed progress: 458988
Forward closed progress: 456875
Forward closed progress: 456863
Forward closed progress: 454216
Forward closed progress: 404251
Forward closed progress: 516150
Forward closed progress: 519647
Forward closed progress: 640971
Forward closed progress: 770378
Forward closed progress: 878970
Forward closed progress: 875951
Forward closed progress: 876115
Forward closed progress: 860108
Forward closed progress: 872724
Forward closed progress: 972937
Forward closed progress: 980684
Forward closed progress: 980430
Forward closed progress: 998304
Forward closed progress: 1008469
Forward closed progress: 1060555
Forward closed progress: 1107376
Forward closed progress: 1107452
Forward closed progress: 1063567
Forward closed progress: 1182199
Forward closed progress: 1328463
Forward closed progress: 1330624
Forward closed progress: 1331364
Forward closed progress: 1283603
Forward closed progress: 1271793
Forward closed progress: 1288806
Forward closed progress: 1258924
Forward closed progress: 1274472
Forward closed progress: 1277478
Forward closed progress: 1248291
Forward closed progress: 1161090
Forward closed progress: 1158909
Forward closed progress: 1186640
Forward closed progress: 1182890
Forward closed progress: 1195766
Forward closed progress: 1195894
Forward closed progress: 1201994
Forward closed progress: 1202354
Forward closed progress: 1118043
Forward closed progress: 1183292
Forward closed progress: 1130975
Forward closed progress: 1003756
Forward closed progress: 1006235
Forward closed progress: 1032492
Forward closed progress: 1051844
Forward closed progress: 1051547
Forward closed progress: 1051583
Forward closed progress: 1047316
Forward closed progress: 1050557
Forward closed progress: 1070057
Forward closed progress: 1071051
Forward closed progress: 1075894
Forward closed progress: 1085669
Forward closed progress: 1100985
Forward closed progress: 1101017
Forward closed progress: 1088523
Forward closed progress: 1107999
Forward closed progress: 1116516
Forward closed progress: 1116957
Forward closed progress: 1117045
Forward closed progress: 1099769
Forward closed progress: 1098031
Forward closed progress: 1095555
Forward closed progress: 1089000
Forward closed progress: 1079897
Forward closed progress: 1094239
Forward closed progress: 1094515
Forward closed progress: 1098454
Forward closed progress: 1098522
Forward closed progress: 1106126
Forward closed progress: 1097826
Forward closed progress: 1071580
Forward closed progress: 1063912
Forward closed progress: 1115710
Forward closed progress: 1098966
Forward closed progress: 1098038
Forward closed progress: 1090094
Forward closed progress: 1107502
Forward closed progress: 1084006
Forward closed progress: 1013641
Forward closed progress: 911535
Forward closed progress: 875175
Forward closed progress: 895186
Forward closed progress: 881158
Forward closed progress: 881277
Forward closed progress: 878896
Forward closed progress: 879106
Forward closed progress: 879226
Forward closed progress: 876259
Forward closed progress: 865755
Forward closed progress: 867624
Forward closed progress: 859991
Forward closed progress: 851867
Forward closed progress: 840379
Forward closed progress: 841604
Forward closed progress: 842380
Forward closed progress: 844615
Forward closed progress: 844335
Forward closed progress: 849515
Forward closed progress: 851324
Forward closed progress: 851204
Forward closed progress: 851667
Forward closed progress: 851659
Forward closed progress: 852469
Forward closed progress: 852249
Forward closed progress: 852799
Forward closed progress: 853477
Forward closed progress: 855975
Forward closed progress: 853378
Forward closed progress: 857026
Forward closed progress: 849928
Forward closed progress: 857090
Forward closed progress: 854453
Forward closed progress: 856755
Forward closed progress: 856875
Forward closed progress: 855182
Forward closed progress: 855110
Forward closed progress: 854434
Forward closed progress: 854395
Forward closed progress: 853614
Forward closed progress: 852266
Forward closed progress: 847841
Forward closed progress: 821170
Forward closed progress: 815369
Forward closed progress: 692299
Forward closed progress: 663352
Forward closed progress: 648837
Forward closed progress: 718858
Forward closed progress: 707292
Forward closed progress: 766607
Forward closed progress: 761723
Forward closed progress: 761815
Forward closed progress: 744667
Forward closed progress: 750322
Forward closed progress: 788160
Forward closed progress: 791525
Forward closed progress: 793487
Forward closed progress: 799768
Forward closed progress: 803870
Forward closed progress: 827243
Forward closed progress: 852531
Forward closed progress: 852587
Forward closed progress: 830456
Forward closed progress: 892292
Forward closed progress: 970341
Forward closed progress: 965211
Forward closed progress: 965523
Forward closed progress: 924848
Forward closed progress: 913481
Forward closed progress: 894090
Forward closed progress: 883865
Forward closed progress: 883137
Forward closed progress: 883503
Forward closed progress: 867029
Forward closed progress: 901740
Forward closed progress: 901596
Forward closed progress: 908221
Forward closed progress: 908293
Forward closed progress: 910883
Forward closed progress: 911081
Forward closed progress: 872742
Forward closed progress: 876672
Forward closed progress: 872522
Forward closed progress: 869638
Forward closed progress: 911946
Forward closed progress: 911906
Forward closed progress: 911366
Forward closed progress: 908890
Forward closed progress: 929631
Forward closed progress: 910807
Forward closed progress: 876203
Forward closed progress: 817576
Forward closed progress: 794965
Forward closed progress: 798176
Forward closed progress: 774119
Forward closed progress: 769024
Forward closed progress: 767691
Forward closed progress: 764838
Forward closed progress: 759323
Forward closed progress: 757698
Forward closed progress: 758777
Forward closed progress: 757635
Forward closed progress: 702055
Forward closed progress: 679586
Forward closed progress: 686532
Forward closed progress: 697126
Forward closed progress: 689934
Forward closed progress: 708426
Forward closed progress: 705548
Forward closed progress: 702134
Forward closed progress: 704057
Forward closed progress: 699320
Forward closed progress: 686632
Forward closed progress: 1026657
Forward closed progress: 1027917
Forward closed progress: 1110318
Forward closed progress: 1422146
Forward closed progress: 1662125
Forward closed progress: 1726010
Forward closed progress: 1725677
Forward closed progress: 1697741
Forward closed progress: 1697865
Forward closed progress: 1660395
Forward closed progress: 1667452
Forward closed progress: 1663196
Forward closed progress: 1670105
Forward closed progress: 1662395
Forward closed progress: 1663050
Forward closed progress: 1659807
Forward closed progress: 1676426
Forward closed progress: 1664659
Forward closed progress: 1669081
Forward closed progress: 1823459
Forward closed progress: 1825572
Forward closed progress: 1800447
Forward closed progress: 1838213
Forward closed progress: 1846589
Forward closed progress: 1836128
Forward closed progress: 1836180
Forward closed progress: 1822118
Forward closed progress: 1805562
Forward closed progress: 1778281
Forward closed progress: 1775162
Forward closed progress: 1799980
Forward closed progress: 1808518
Forward closed progress: 1806143
Forward closed progress: 1806195
Forward closed progress: 1794219
Forward closed progress: 1786344
Forward closed progress: 1860454
Forward closed progress: 1866316
Forward closed progress: 1877131
Forward closed progress: 1892114
Forward closed progress: 1892144
Forward closed progress: 1929774
Forward closed progress: 1941177
Forward closed progress: 2002122
Forward closed progress: 2002294
Forward closed progress: 1946882
Forward closed progress: 2004602
Forward closed progress: 1926195
Forward closed progress: 1925085
Forward closed progress: 1922015
Forward closed progress: 1883931
Forward closed progress: 1922348
Forward closed progress: 1920261
Forward closed progress: 1933260
Forward closed progress: 1933416
Forward closed progress: 1949552
Forward closed progress: 1947594
Forward closed progress: 1853251
Forward closed progress: 1861471
Forward closed progress: 1861381
Forward closed progress: 1876257
Forward closed progress: 1871801
Forward closed progress: 1871881
Forward closed progress: 1876343
Forward closed progress: 1873288
Forward closed progress: 1873344
Forward closed progress: 1873376
Forward closed progress: 1876729
Forward closed progress: 1877869
Forward closed progress: 1882325
Forward closed progress: 1882332
Forward closed progress: 1896752
Forward closed progress: 1907214
Forward closed progress: 1907194
Forward closed progress: 1901285
Forward closed progress: 1897783
Forward closed progress: 1900773
Forward closed progress: 1900937
Forward closed progress: 1903017
Forward closed progress: 1903041
Forward closed progress: 1901027
Forward closed progress: 1901027
Forward closed progress: 1899799
Forward closed progress: 1898445
Forward closed progress: 1975695
Forward closed progress: 1975815
Forward closed progress: 1955443
Forward closed progress: 1954477
Forward closed progress: 1954417
Forward closed progress: 1928485
Forward closed progress: 1946933
Forward closed progress: 1945184
Forward closed progress: 1938997
Forward closed progress: 1938519
Forward closed progress: 1938105
Forward closed progress: 1937983
Forward closed progress: 1937789
Forward closed progress: 1935618
Forward closed progress: 1877341
Forward closed progress: 1883459
Forward closed progress: 1883389
Forward closed progress: 1875425
Forward closed progress: 1878309
Forward closed progress: 1878333
Forward closed progress: 1875209
Forward closed progress: 1873858
Forward closed progress: 1779615
Forward closed progress: 1801025
Forward closed progress: 1782808
Forward closed progress: 1766695
Forward closed progress: 1699147
Forward closed progress: 1581744
Forward closed progress: 1621566
Forward closed progress: 1466925
Forward closed progress: 1465902
Forward closed progress: 1465647
Forward closed progress: 1465578
Forward closed progress: 1465926
Forward closed progress: 1298777
Forward closed progress: 1297975
Forward closed progress: 1291319
Forward closed progress: 1261330
Forward closed progress: 1250292
Forward closed progress: 1250669
Forward closed progress: 1244234
Forward closed progress: 1242267
Forward closed progress: 1248213
Forward closed progress: 1247568
Forward closed progress: 1247520
Forward closed progress: 1245184
Forward closed progress: 1242413
Forward closed progress: 1239681
Forward closed progress: 1237589
Forward closed progress: 1210468
Forward closed progress: 1208079
Forward closed progress: 1208479
Forward closed progress: 1208099
Forward closed progress: 1210565
Forward closed progress: 1210249
Forward closed progress: 1209547
Forward closed progress: 1209475
Forward closed progress: 1208159
Forward closed progress: 1207698
Forward closed progress: 1209514
Forward closed progress: 1210701
Forward closed progress: 1215757
Forward closed progress: 1216778
Forward closed progress: 1216778
Forward closed progress: 1214553
Forward closed progress: 1214553
Control exists for 8 color(s), jumping through 138462363648 vertices.
Elapsed: 5805889 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 5805.889
user ??
sys ??
