>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 120960
Perturbation colors: 9007199254740992
All colors: 1089510821853470400000
Unknown update functions: 5
Lowest cardinality: 0
Highest cardinality: 4
Attractor colors: 126352991145506640000
Attractor colors computed in 5376 ms.
Backward progress: 100218
Backward progress: 119636
Backward progress: 119460
Backward progress: 119524
Backward progress: 120088
Backward progress: 121230
Backward progress: 121246
Backward progress: 121154
Backward progress: 119788
Backward progress: 123231
Backward progress: 122623
Backward progress: 121705
Backward progress: 123291
Backward progress: 124435
Backward progress: 122506
Backward progress: 122528
Backward progress: 122808
Backward progress: 120381
Backward progress: 120831
Backward progress: 111538
Backward progress: 102742
Backward progress: 106958
Backward progress: 106367
Backward progress: 105961
Backward progress: 105916
Backward progress: 105846
Backward progress: 106036
Backward progress: 105774
Backward progress: 104294
Backward progress: 131684
Backward progress: 141849
Backward progress: 164846
Backward progress: 172232
Backward progress: 174038
Backward progress: 174031
Backward progress: 176476
Backward progress: 179028
Backward progress: 182436
Backward progress: 180342
Backward progress: 182041
Backward progress: 214508
Backward progress: 235328
Backward progress: 243202
Backward progress: 253556
Backward progress: 249859
Backward progress: 246414
Backward progress: 245297
Backward progress: 244549
Backward progress: 246324
Backward progress: 269630
Backward progress: 249747
Backward progress: 249747
Backward progress: 248987
Backward progress: 266435
Backward progress: 256179
Backward progress: 260844
Backward progress: 261312
Backward progress: 319053
Backward progress: 270735
Backward progress: 269485
Backward progress: 269385
Backward progress: 269231
Backward progress: 269169
Backward progress: 268989
Backward progress: 268176
Backward progress: 265149
Backward progress: 243317
Backward progress: 243317
Forward closed progress: 242436
Forward closed progress: 242443
Forward closed progress: 312438
Forward closed progress: 240331
Forward closed progress: 240408
Forward closed progress: 240675
Forward closed progress: 241209
Forward closed progress: 240942
Forward closed progress: 241142
Forward closed progress: 241660
Forward closed progress: 241766
Forward closed progress: 240249
Forward closed progress: 240930
Forward closed progress: 245046
Forward closed progress: 248117
Forward closed progress: 248187
Forward closed progress: 245340
Forward closed progress: 247274
Forward closed progress: 240879
Forward closed progress: 250967
Forward closed progress: 251519
Forward closed progress: 244531
Forward closed progress: 280259
Forward closed progress: 287923
Forward closed progress: 293636
Forward closed progress: 293345
Forward closed progress: 293327
Forward closed progress: 293327
Forward closed progress: 254632
Forward closed progress: 295741
Forward closed progress: 290661
Forward closed progress: 289291
Forward closed progress: 289281
Forward closed progress: 289281
Forward closed progress: 257784
Forward closed progress: 257242
Forward closed progress: 247749
Forward closed progress: 225576
Forward closed progress: 315225
Forward closed progress: 231783
Forward closed progress: 233319
Forward closed progress: 233783
Forward closed progress: 257414
Forward closed progress: 263447
Forward closed progress: 276916
Forward closed progress: 277069
Forward closed progress: 277095
Forward closed progress: 268191
Forward closed progress: 237817
Forward closed progress: 300670
Forward closed progress: 302093
Forward closed progress: 302571
Forward closed progress: 302528
Forward closed progress: 308141
Forward closed progress: 334343
Forward closed progress: 358869
Forward closed progress: 359064
Forward closed progress: 359102
Forward closed progress: 331606
Forward closed progress: 331538
Forward closed progress: 329213
Forward closed progress: 327619
Forward closed progress: 245976
Forward closed progress: 313856
Forward closed progress: 313883
Forward closed progress: 316521
Forward closed progress: 308813
Forward closed progress: 308828
Forward closed progress: 308834
Forward closed progress: 308816
Forward closed progress: 283268
Forward closed progress: 265667
Forward closed progress: 268871
Forward closed progress: 281518
Forward closed progress: 281677
Forward closed progress: 281703
Forward closed progress: 271011
Forward closed progress: 240397
Forward closed progress: 254815
Forward closed progress: 251355
Forward closed progress: 261923
Forward closed progress: 262043
Forward closed progress: 262067
Forward closed progress: 240757
Forward closed progress: 317297
Forward closed progress: 318222
Forward closed progress: 300834
Forward closed progress: 240846
Forward closed progress: 352131
Forward closed progress: 406220
Forward closed progress: 448694
Forward closed progress: 450376
Forward closed progress: 450684
Forward closed progress: 421072
Forward closed progress: 324751
Forward closed progress: 314441
Forward closed progress: 304789
Forward closed progress: 273576
Forward closed progress: 242222
Forward closed progress: 438476
Forward closed progress: 438942
Forward closed progress: 244891
Forward closed progress: 328099
Forward closed progress: 458850
Forward closed progress: 567908
Forward closed progress: 598864
Forward closed progress: 600255
Forward closed progress: 600593
Forward closed progress: 558402
Forward closed progress: 576509
Forward closed progress: 576369
Forward closed progress: 514513
Forward closed progress: 535361
Forward closed progress: 536630
Forward closed progress: 482222
Forward closed progress: 472505
Forward closed progress: 461131
Forward closed progress: 461176
Forward closed progress: 445830
Forward closed progress: 435634
Forward closed progress: 444625
Forward closed progress: 447092
Forward closed progress: 504301
Forward closed progress: 504513
Forward closed progress: 463996
Forward closed progress: 465337
Forward closed progress: 465017
Forward closed progress: 437890
Forward closed progress: 608140
Forward closed progress: 934357
Forward closed progress: 935201
Forward closed progress: 687394
Forward closed progress: 685522
Forward closed progress: 685844
Forward closed progress: 637746
Forward closed progress: 627506
Forward closed progress: 784050
Forward closed progress: 646896
Forward closed progress: 653430
Forward closed progress: 654438
Forward closed progress: 604963
Forward closed progress: 835141
Forward closed progress: 838358
Forward closed progress: 675527
Forward closed progress: 647746
Forward closed progress: 788511
Forward closed progress: 787599
Forward closed progress: 722963
Forward closed progress: 722595
Forward closed progress: 711710
Forward closed progress: 657685
Forward closed progress: 565073
Forward closed progress: 430242
Forward closed progress: 438527
Forward closed progress: 431884
Forward closed progress: 433286
Forward closed progress: 433203
Forward closed progress: 426393
Forward closed progress: 423480
Forward closed progress: 569045
Forward closed progress: 565843
Forward closed progress: 561748
Forward closed progress: 641593
Forward closed progress: 656597
Forward closed progress: 656735
Forward closed progress: 672739
Forward closed progress: 672759
Forward closed progress: 681404
Forward closed progress: 734908
Forward closed progress: 735829
Forward closed progress: 776624
Forward closed progress: 776976
Forward closed progress: 777014
Forward closed progress: 743366
Forward closed progress: 739666
Forward closed progress: 720172
Forward closed progress: 719835
Forward closed progress: 719743
Forward closed progress: 719635
Forward closed progress: 721021
Forward closed progress: 721871
Forward closed progress: 721857
Forward closed progress: 721976
Forward closed progress: 722028
Forward closed progress: 718942
Forward closed progress: 714775
Forward closed progress: 814424
Forward closed progress: 809280
Forward closed progress: 809169
Forward closed progress: 773286
Forward closed progress: 774280
Forward closed progress: 775631
Forward closed progress: 767815
Forward closed progress: 767840
Forward closed progress: 872676
Forward closed progress: 872696
Forward closed progress: 786701
Forward closed progress: 794452
Forward closed progress: 792001
Forward closed progress: 792414
Forward closed progress: 796807
Forward closed progress: 829286
Forward closed progress: 828000
Forward closed progress: 817543
Forward closed progress: 724115
Forward closed progress: 716487
Forward closed progress: 713927
Forward closed progress: 671758
Forward closed progress: 663733
Forward closed progress: 640303
Forward closed progress: 637076
Forward closed progress: 595084
Forward closed progress: 586194
Forward closed progress: 578768
Forward closed progress: 615089
Forward closed progress: 615026
Forward closed progress: 578067
Forward closed progress: 577965
Forward closed progress: 581871
Forward closed progress: 580282
Forward closed progress: 544512
Forward closed progress: 539728
Forward closed progress: 544618
Forward closed progress: 544638
Forward closed progress: 540498
Forward closed progress: 536420
Forward closed progress: 529247
Forward closed progress: 523373
Forward closed progress: 522757
Forward closed progress: 522687
Forward closed progress: 522603
Forward closed progress: 516637
Forward closed progress: 515471
Forward closed progress: 523027
Forward closed progress: 518022
Forward closed progress: 517926
Forward closed progress: 517587
Forward closed progress: 518075
Forward closed progress: 518075
Forward closed progress: 518119
Forward closed progress: 518085
Forward closed progress: 518063
Forward closed progress: 517624
Forward closed progress: 518072
Forward closed progress: 518076
Forward closed progress: 517452
Forward closed progress: 516893
Forward closed progress: 517437
Forward closed progress: 1127294
Forward closed progress: 1336298
Forward closed progress: 1302443
Forward closed progress: 1175891
Forward closed progress: 982667
Forward closed progress: 983251
Forward closed progress: 969834
Forward closed progress: 539762
Forward closed progress: 607690
Forward closed progress: 590121
Forward closed progress: 537162
Forward closed progress: 548854
Forward closed progress: 548894
Forward closed progress: 535300
Forward closed progress: 524350
Forward closed progress: 529028
Forward closed progress: 523308
Forward closed progress: 530180
Forward closed progress: 515744
Forward closed progress: 510448
Forward closed progress: 510526
Forward closed progress: 619826
Forward closed progress: 680814
Forward closed progress: 729926
Forward closed progress: 740391
Forward closed progress: 762767
Forward closed progress: 763189
Forward closed progress: 763261
Forward closed progress: 759427
Forward closed progress: 750894
Forward closed progress: 772346
Forward closed progress: 765083
Forward closed progress: 749544
Forward closed progress: 764375
Forward closed progress: 769409
Forward closed progress: 821274
Forward closed progress: 821415
Forward closed progress: 845429
Forward closed progress: 862482
Forward closed progress: 862128
Forward closed progress: 873368
Forward closed progress: 893620
Forward closed progress: 898790
Forward closed progress: 897763
Forward closed progress: 894565
Forward closed progress: 902892
Forward closed progress: 909786
Forward closed progress: 857058
Forward closed progress: 867062
Forward closed progress: 819199
Forward closed progress: 850144
Forward closed progress: 850264
Forward closed progress: 831557
Forward closed progress: 826414
Forward closed progress: 817835
Forward closed progress: 785058
Forward closed progress: 772914
Forward closed progress: 735786
Forward closed progress: 754997
Forward closed progress: 755206
Forward closed progress: 773805
Forward closed progress: 773828
Forward closed progress: 621229
Forward closed progress: 619168
Forward closed progress: 614738
Forward closed progress: 610588
Forward closed progress: 647390
Forward closed progress: 644780
Forward closed progress: 570736
Forward closed progress: 576690
Forward closed progress: 576539
Forward closed progress: 575056
Forward closed progress: 574671
Forward closed progress: 560494
Forward closed progress: 574754
Forward closed progress: 574712
Forward closed progress: 559768
Forward closed progress: 543098
Forward closed progress: 543139
Forward closed progress: 540099
Forward closed progress: 540105
Forward closed progress: 538952
Forward closed progress: 523384
Forward closed progress: 525562
Forward closed progress: 476805
Forward closed progress: 670003
Forward closed progress: 805021
Forward closed progress: 771822
Forward closed progress: 954117
Forward closed progress: 956524
Forward closed progress: 956774
Forward closed progress: 946455
Forward closed progress: 951253
Forward closed progress: 994381
Forward closed progress: 1009084
Forward closed progress: 1145789
Forward closed progress: 1285810
Forward closed progress: 1472689
Forward closed progress: 1735857
Forward closed progress: 1734636
Forward closed progress: 1660605
Forward closed progress: 1715387
Forward closed progress: 1780134
Forward closed progress: 1798360
Forward closed progress: 1779898
Forward closed progress: 1748775
Forward closed progress: 1729664
Forward closed progress: 1763182
Forward closed progress: 1737082
Forward closed progress: 1748033
Forward closed progress: 1749277
Forward closed progress: 1823185
Forward closed progress: 1755065
Forward closed progress: 1829131
Forward closed progress: 1582814
Forward closed progress: 1773290
Forward closed progress: 1773749
Forward closed progress: 1639656
Forward closed progress: 1616482
Forward closed progress: 1567503
Forward closed progress: 1412884
Forward closed progress: 1407948
Forward closed progress: 1389701
Forward closed progress: 1384993
Forward closed progress: 1385287
Forward closed progress: 1381972
Forward closed progress: 1196903
Forward closed progress: 1196915
Forward closed progress: 1176750
Forward closed progress: 1176749
Forward closed progress: 1176816
Forward closed progress: 1176786
Forward closed progress: 1176968
Forward closed progress: 1177009
Forward closed progress: 1176757
Forward closed progress: 1176839
Forward closed progress: 1176897
Forward closed progress: 1178381
Forward closed progress: 1178369
Forward closed progress: 1180341
Forward closed progress: 1183805
Forward closed progress: 1183807
Forward closed progress: 1181811
Forward closed progress: 1181629
Forward closed progress: 1178365
Forward closed progress: 1178281
Forward closed progress: 1176961
Forward closed progress: 1176959
Forward closed progress: 1176926
Forward closed progress: 1253538
Forward closed progress: 1231161
Forward closed progress: 1106566
Forward closed progress: 1166323
Forward closed progress: 1166613
Forward closed progress: 1122225
Forward closed progress: 1118362
Forward closed progress: 1105428
Forward closed progress: 1076110
Forward closed progress: 1044901
Forward closed progress: 923329
Forward closed progress: 820443
Forward closed progress: 791272
Forward closed progress: 791262
Forward closed progress: 792054
Forward closed progress: 792181
Forward closed progress: 789302
Forward closed progress: 789259
Forward closed progress: 789327
Forward closed progress: 788925
Forward closed progress: 787028
Forward closed progress: 782545
Forward closed progress: 691388
Forward closed progress: 693008
Forward closed progress: 693048
Forward closed progress: 694532
Forward closed progress: 694538
Forward closed progress: 643216
Forward closed progress: 642922
Forward closed progress: 643102
Forward closed progress: 643222
Forward closed progress: 645952
Forward closed progress: 645940
Forward closed progress: 646270
Forward closed progress: 647330
Forward closed progress: 647291
Forward closed progress: 647479
Forward closed progress: 644771
Forward closed progress: 643368
Forward closed progress: 644762
Forward closed progress: 644780
Forward closed progress: 643269
Forward closed progress: 641982
Forward closed progress: 582174
Forward closed progress: 476811
Forward closed progress: 614427
Forward closed progress: 596951
Forward closed progress: 596797
Forward closed progress: 596482
Forward closed progress: 597252
Forward closed progress: 597252
Forward closed progress: 597585
Forward closed progress: 774836
Forward closed progress: 883719
Forward closed progress: 1078977
Forward closed progress: 1081293
Forward closed progress: 1081531
Forward closed progress: 1072454
Forward closed progress: 1098912
Forward closed progress: 1176543
Forward closed progress: 1192967
Forward closed progress: 1335943
Forward closed progress: 1507781
Forward closed progress: 1706637
Forward closed progress: 2111740
Forward closed progress: 2110999
Forward closed progress: 1881011
Forward closed progress: 2015848
Forward closed progress: 2192786
Forward closed progress: 2215535
Forward closed progress: 2207068
Forward closed progress: 2173696
Forward closed progress: 2152214
Forward closed progress: 2256761
Forward closed progress: 2200447
Forward closed progress: 2226240
Forward closed progress: 2235484
Forward closed progress: 2353227
Forward closed progress: 2202862
Forward closed progress: 2362992
Forward closed progress: 2366789
Forward closed progress: 2458818
Forward closed progress: 2394418
Forward closed progress: 2384352
Forward closed progress: 2366357
Forward closed progress: 2457609
Forward closed progress: 2224683
Forward closed progress: 2417348
Forward closed progress: 2417952
Forward closed progress: 2281408
Forward closed progress: 2260678
Forward closed progress: 2204569
Forward closed progress: 2040122
Forward closed progress: 2037944
Forward closed progress: 2153882
Forward closed progress: 2073231
Forward closed progress: 2125189
Forward closed progress: 2121862
Forward closed progress: 1930817
Forward closed progress: 1971653
Forward closed progress: 1979165
Forward closed progress: 2015130
Forward closed progress: 2015511
Forward closed progress: 2071119
Forward closed progress: 2213694
Forward closed progress: 2324910
Forward closed progress: 2325394
Forward closed progress: 2325456
Forward closed progress: 2222778
Forward closed progress: 2229221
Forward closed progress: 2228443
Forward closed progress: 2218694
Forward closed progress: 2231083
Forward closed progress: 2301738
Forward closed progress: 2338229
Forward closed progress: 2339033
Forward closed progress: 2339307
Forward closed progress: 2339341
Forward closed progress: 2317549
Forward closed progress: 2313290
Forward closed progress: 2533976
Forward closed progress: 2527717
Forward closed progress: 2525816
Forward closed progress: 2641096
Forward closed progress: 2564346
Forward closed progress: 2565672
Forward closed progress: 2581013
Forward closed progress: 2570947
Forward closed progress: 2571948
Forward closed progress: 2815259
Forward closed progress: 2815737
Forward closed progress: 2642036
Forward closed progress: 2707328
Forward closed progress: 2713729
Forward closed progress: 2930254
Forward closed progress: 2998068
Forward closed progress: 3009274
Forward closed progress: 3009350
Forward closed progress: 2899797
Forward closed progress: 2893374
Forward closed progress: 2918574
Forward closed progress: 2911150
Forward closed progress: 2897250
Forward closed progress: 2892621
Forward closed progress: 2811113
Forward closed progress: 2800780
Forward closed progress: 2794035
Forward closed progress: 2945632
Forward closed progress: 2940576
Forward closed progress: 2781781
Forward closed progress: 2724657
Forward closed progress: 2964805
Forward closed progress: 2963136
Forward closed progress: 2773321
Forward closed progress: 2756599
Forward closed progress: 2759000
Forward closed progress: 2736998
Forward closed progress: 2575914
Forward closed progress: 2547135
Forward closed progress: 2518103
Forward closed progress: 2436176
Forward closed progress: 2338735
Forward closed progress: 2311776
Forward closed progress: 2308366
Forward closed progress: 3056312
Forward closed progress: 3235568
Forward closed progress: 2914702
Forward closed progress: 3058708
Forward closed progress: 3061605
Forward closed progress: 3003383
Forward closed progress: 2928723
Forward closed progress: 2944401
Forward closed progress: 2966522
Forward closed progress: 3158922
Forward closed progress: 3152994
Forward closed progress: 3321804
Forward closed progress: 3291426
Forward closed progress: 3265535
Forward closed progress: 3264573
Forward closed progress: 3291254
Forward closed progress: 3309595
Forward closed progress: 3144456
Forward closed progress: 3102750
Forward closed progress: 3120663
Forward closed progress: 3098320
Forward closed progress: 3126802
Forward closed progress: 3092097
Forward closed progress: 3144005
Forward closed progress: 2935876
Forward closed progress: 3116193
Forward closed progress: 3116685
Forward closed progress: 2995971
Forward closed progress: 2974298
Forward closed progress: 2932701
Forward closed progress: 2779399
Forward closed progress: 2680787
Forward closed progress: 2680475
Forward closed progress: 2679551
Forward closed progress: 2643437
Forward closed progress: 2664602
Forward closed progress: 2667833
Forward closed progress: 2696269
Forward closed progress: 2696474
Forward closed progress: 2442473
Forward closed progress: 2438580
Forward closed progress: 2438120
Forward closed progress: 2429627
Forward closed progress: 2419051
Forward closed progress: 2396550
Forward closed progress: 2430903
Forward closed progress: 2429838
Forward closed progress: 2390801
Forward closed progress: 2399531
Forward closed progress: 2393539
Forward closed progress: 2370462
Forward closed progress: 2353863
Forward closed progress: 2404621
Forward closed progress: 2404911
Forward closed progress: 2354531
Forward closed progress: 2354331
Forward closed progress: 2352743
Forward closed progress: 2304155
Forward closed progress: 2583305
Forward closed progress: 2302916
Forward closed progress: 1952728
Forward closed progress: 1983807
Forward closed progress: 1984047
Forward closed progress: 1918597
Forward closed progress: 1914168
Forward closed progress: 1894538
Forward closed progress: 1839675
Forward closed progress: 1873483
Forward closed progress: 1824418
Forward closed progress: 1778362
Forward closed progress: 1645456
Forward closed progress: 1645319
Forward closed progress: 1489785
Forward closed progress: 1531199
Forward closed progress: 1645150
Forward closed progress: 1764852
Forward closed progress: 1776488
Forward closed progress: 1879141
Forward closed progress: 1880664
Forward closed progress: 1880829
Forward closed progress: 1872103
Forward closed progress: 1865716
Forward closed progress: 1850923
Forward closed progress: 1849688
Forward closed progress: 1851532
Forward closed progress: 1849233
Forward closed progress: 1860054
Forward closed progress: 1880892
Forward closed progress: 1981265
Forward closed progress: 1981110
Forward closed progress: 2109472
Forward closed progress: 2122886
Forward closed progress: 2122448
Forward closed progress: 2151915
Forward closed progress: 2200579
Forward closed progress: 2209532
Forward closed progress: 2207355
Forward closed progress: 2201688
Forward closed progress: 2227035
Forward closed progress: 2252384
Forward closed progress: 2227191
Forward closed progress: 2297771
Forward closed progress: 2215989
Forward closed progress: 2215881
Forward closed progress: 2216358
Forward closed progress: 2216110
Forward closed progress: 2218025
Forward closed progress: 2304779
Forward closed progress: 2138112
Forward closed progress: 2247505
Forward closed progress: 2247725
Forward closed progress: 2181768
Forward closed progress: 2161094
Forward closed progress: 2134640
Forward closed progress: 2046669
Forward closed progress: 1901753
Forward closed progress: 1900975
Forward closed progress: 1885079
Forward closed progress: 1895297
Forward closed progress: 1888368
Forward closed progress: 1887490
Forward closed progress: 1977617
Forward closed progress: 2039837
Forward closed progress: 2053690
Forward closed progress: 2128661
Forward closed progress: 2129238
Forward closed progress: 1707529
Forward closed progress: 1704189
Forward closed progress: 1703228
Forward closed progress: 1680993
Forward closed progress: 1679043
Forward closed progress: 1678698
Forward closed progress: 1677666
Forward closed progress: 1664662
Forward closed progress: 1639621
Forward closed progress: 1747722
Forward closed progress: 1744187
Forward closed progress: 1709241
Forward closed progress: 1759259
Forward closed progress: 1755931
Forward closed progress: 1735909
Forward closed progress: 1728814
Forward closed progress: 1803771
Forward closed progress: 1694836
Forward closed progress: 1670974
Forward closed progress: 1568578
Forward closed progress: 1710615
Forward closed progress: 1710965
Forward closed progress: 1595679
Forward closed progress: 1584706
Forward closed progress: 1573411
Forward closed progress: 1443971
Forward closed progress: 1464433
Forward closed progress: 1459124
Forward closed progress: 1441355
Forward closed progress: 1410757
Forward closed progress: 1411421
Forward closed progress: 1409071
Forward closed progress: 1408508
Forward closed progress: 1408004
Forward closed progress: 1405314
Forward closed progress: 1401243
Forward closed progress: 1401610
Forward closed progress: 1390922
Forward closed progress: 1274768
Forward closed progress: 1112650
Forward closed progress: 922575
Forward closed progress: 1073134
Forward closed progress: 1354588
Forward closed progress: 1248927
Forward closed progress: 1664453
Forward closed progress: 1667045
Forward closed progress: 1665119
Forward closed progress: 1654764
Forward closed progress: 1629576
Forward closed progress: 1704265
Forward closed progress: 1742087
Forward closed progress: 2077858
Forward closed progress: 2232047
Forward closed progress: 2648611
Forward closed progress: 2985808
Forward closed progress: 2984753
Forward closed progress: 2908053
Forward closed progress: 2974761
Forward closed progress: 3046345
Forward closed progress: 3064460
Forward closed progress: 3009285
Forward closed progress: 2978138
Forward closed progress: 2922851
Forward closed progress: 2961986
Forward closed progress: 2917049
Forward closed progress: 2930373
Forward closed progress: 2931617
Forward closed progress: 3044093
Forward closed progress: 2967985
Forward closed progress: 3193265
Forward closed progress: 2666408
Forward closed progress: 3050574
Forward closed progress: 3051041
Forward closed progress: 2790633
Forward closed progress: 2741770
Forward closed progress: 2639522
Forward closed progress: 2318938
Forward closed progress: 2314359
Forward closed progress: 2269353
Forward closed progress: 2264465
Forward closed progress: 2264759
Forward closed progress: 2261238
Forward closed progress: 2212842
Forward closed progress: 2204584
Forward closed progress: 2202686
Forward closed progress: 2197653
Forward closed progress: 2203582
Forward closed progress: 2203599
Forward closed progress: 2203711
Forward closed progress: 2201523
Forward closed progress: 2201537
Forward closed progress: 2199219
Forward closed progress: 2197201
Forward closed progress: 2201347
Forward closed progress: 2201381
Forward closed progress: 2196177
Forward closed progress: 2191047
Forward closed progress: 2625245
Forward closed progress: 2438041
Forward closed progress: 1979241
Forward closed progress: 2106314
Forward closed progress: 2106590
Forward closed progress: 2009901
Forward closed progress: 2002756
Forward closed progress: 1975201
Forward closed progress: 1903055
Forward closed progress: 1931073
Forward closed progress: 1879546
Forward closed progress: 1814300
Forward closed progress: 1611158
Forward closed progress: 1396245
Forward closed progress: 1230012
Forward closed progress: 1195461
Forward closed progress: 1192544
Forward closed progress: 1192072
Forward closed progress: 1189742
Forward closed progress: 1189335
Forward closed progress: 1189310
Forward closed progress: 1188746
Forward closed progress: 1154728
Forward closed progress: 1141686
Forward closed progress: 1092881
Forward closed progress: 1090185
Forward closed progress: 1093474
Forward closed progress: 1118098
Forward closed progress: 1118160
Forward closed progress: 1148194
Forward closed progress: 1196049
Forward closed progress: 1196135
Forward closed progress: 1151513
Forward closed progress: 1134814
Forward closed progress: 1138475
Forward closed progress: 1138610
Forward closed progress: 1153088
Forward closed progress: 1152257
Forward closed progress: 1164365
Forward closed progress: 1160027
Forward closed progress: 1102294
Forward closed progress: 1102693
Forward closed progress: 1083158
Forward closed progress: 1029557
Forward closed progress: 768519
Forward closed progress: 771199
Forward closed progress: 774027
Forward closed progress: 747129
Forward closed progress: 749239
Forward closed progress: 747196
Forward closed progress: 745484
Forward closed progress: 745820
Forward closed progress: 743971
Forward closed progress: 739090
Forward closed progress: 716564
Forward closed progress: 944508
Forward closed progress: 966745
Forward closed progress: 1066865
Forward closed progress: 1171796
Forward closed progress: 1200616
Forward closed progress: 1201558
Forward closed progress: 1201684
Forward closed progress: 1154618
Forward closed progress: 1153774
Forward closed progress: 1157845
Forward closed progress: 1168705
Forward closed progress: 1179881
Forward closed progress: 1179309
Forward closed progress: 1180883
Forward closed progress: 1231239
Forward closed progress: 1220986
Forward closed progress: 1138856
Forward closed progress: 1174695
Forward closed progress: 1184092
Forward closed progress: 1184228
Forward closed progress: 1184256
Forward closed progress: 1169658
Forward closed progress: 1159873
Forward closed progress: 1186618
Forward closed progress: 1195569
Forward closed progress: 1195705
Forward closed progress: 1195733
Forward closed progress: 1174808
Forward closed progress: 1160639
Forward closed progress: 1154329
Forward closed progress: 1155594
Forward closed progress: 1165120
Forward closed progress: 1183816
Forward closed progress: 1197216
Forward closed progress: 1299909
Forward closed progress: 1299973
Forward closed progress: 1224058
Forward closed progress: 1262138
Forward closed progress: 1233600
Forward closed progress: 1217734
Forward closed progress: 1217408
Forward closed progress: 1217005
Forward closed progress: 1217017
Forward closed progress: 1217011
Forward closed progress: 1215983
Forward closed progress: 1209868
Forward closed progress: 1264046
Forward closed progress: 1225189
Forward closed progress: 1223783
Forward closed progress: 1225162
Forward closed progress: 1225167
Forward closed progress: 1225216
Forward closed progress: 1225228
Forward closed progress: 1225288
Forward closed progress: 1211337
Forward closed progress: 1090585
Forward closed progress: 1047329
Forward closed progress: 1017871
Forward closed progress: 978877
Forward closed progress: 800406
Forward closed progress: 799735
Forward closed progress: 798616
Forward closed progress: 797688
Forward closed progress: 787409
Forward closed progress: 787063
Forward closed progress: 786777
Forward closed progress: 786831
Forward closed progress: 786527
Forward closed progress: 785448
Forward closed progress: 787072
Forward closed progress: 775713
Forward closed progress: 775713
Control exists for 14028 color(s), jumping through 9007199254740992 vertices.
Elapsed: 11679688 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 11679.688
user ??
sys ??
