>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 6480
Perturbation colors: 9007199254740992
All colors: 58366651170721630000
Unknown update functions: 6
Lowest cardinality: 0
Highest cardinality: 3
Attractor colors: 6845471433603154000
Attractor colors computed in 2280 ms.
Backward progress: 100234
Backward progress: 100635
Backward progress: 100059
Backward progress: 110671
Backward progress: 110787
Backward progress: 133707
Backward progress: 133577
Backward progress: 133703
Backward progress: 134377
Backward progress: 135353
Backward progress: 135369
Backward progress: 140267
Backward progress: 138931
Backward progress: 143042
Backward progress: 142558
Backward progress: 141486
Backward progress: 143454
Backward progress: 144870
Backward progress: 142567
Backward progress: 142595
Backward progress: 138911
Backward progress: 136797
Backward progress: 135953
Backward progress: 124107
Backward progress: 114213
Backward progress: 118819
Backward progress: 118336
Backward progress: 118008
Backward progress: 117951
Backward progress: 117903
Backward progress: 118136
Backward progress: 117853
Backward progress: 116442
Backward progress: 100271
Backward progress: 147799
Backward progress: 153795
Backward progress: 179374
Backward progress: 187551
Backward progress: 189643
Backward progress: 189615
Backward progress: 191514
Backward progress: 200988
Backward progress: 204930
Backward progress: 202618
Backward progress: 204598
Backward progress: 242946
Backward progress: 267071
Backward progress: 276646
Backward progress: 288912
Backward progress: 285748
Backward progress: 284980
Backward progress: 284822
Backward progress: 280493
Backward progress: 279163
Backward progress: 278305
Backward progress: 280491
Backward progress: 307530
Backward progress: 285151
Backward progress: 285131
Backward progress: 284200
Backward progress: 305100
Backward progress: 293078
Backward progress: 298622
Backward progress: 299246
Backward progress: 367257
Backward progress: 310405
Backward progress: 308812
Backward progress: 308666
Backward progress: 308472
Backward progress: 308396
Backward progress: 308216
Backward progress: 307190
Backward progress: 307418
Backward progress: 280214
Backward progress: 280214
Forward closed progress: 279243
Forward closed progress: 279250
Forward closed progress: 364362
Forward closed progress: 277193
Forward closed progress: 277270
Forward closed progress: 277804
Forward closed progress: 278338
Forward closed progress: 278071
Forward closed progress: 279390
Forward closed progress: 280362
Forward closed progress: 280468
Forward closed progress: 278413
Forward closed progress: 279094
Forward closed progress: 279780
Forward closed progress: 281711
Forward closed progress: 281781
Forward closed progress: 280074
Forward closed progress: 280476
Forward closed progress: 284878
Forward closed progress: 277465
Forward closed progress: 289705
Forward closed progress: 290417
Forward closed progress: 281117
Forward closed progress: 308680
Forward closed progress: 324602
Forward closed progress: 331593
Forward closed progress: 331334
Forward closed progress: 331316
Forward closed progress: 331298
Forward closed progress: 284484
Forward closed progress: 314082
Forward closed progress: 355113
Forward closed progress: 329011
Forward closed progress: 329001
Forward closed progress: 328991
Forward closed progress: 287636
Forward closed progress: 284040
Forward closed progress: 277055
Forward closed progress: 240370
Forward closed progress: 320412
Forward closed progress: 247330
Forward closed progress: 259204
Forward closed progress: 260962
Forward closed progress: 260805
Forward closed progress: 288679
Forward closed progress: 300849
Forward closed progress: 310187
Forward closed progress: 310482
Forward closed progress: 310508
Forward closed progress: 300021
Forward closed progress: 265592
Forward closed progress: 338958
Forward closed progress: 341406
Forward closed progress: 341808
Forward closed progress: 341751
Forward closed progress: 346023
Forward closed progress: 394983
Forward closed progress: 411935
Forward closed progress: 412274
Forward closed progress: 412312
Forward closed progress: 379582
Forward closed progress: 379674
Forward closed progress: 377260
Forward closed progress: 374230
Forward closed progress: 274721
Forward closed progress: 353961
Forward closed progress: 353754
Forward closed progress: 357585
Forward closed progress: 348950
Forward closed progress: 349010
Forward closed progress: 349020
Forward closed progress: 348958
Forward closed progress: 318925
Forward closed progress: 298681
Forward closed progress: 308938
Forward closed progress: 316305
Forward closed progress: 316615
Forward closed progress: 316641
Forward closed progress: 303926
Forward closed progress: 268705
Forward closed progress: 285706
Forward closed progress: 287702
Forward closed progress: 293420
Forward closed progress: 293699
Forward closed progress: 293723
Forward closed progress: 269140
Forward closed progress: 365165
Forward closed progress: 366794
Forward closed progress: 340322
Forward closed progress: 273650
Forward closed progress: 395224
Forward closed progress: 481893
Forward closed progress: 510985
Forward closed progress: 514107
Forward closed progress: 514415
Forward closed progress: 478529
Forward closed progress: 374640
Forward closed progress: 366204
Forward closed progress: 354545
Forward closed progress: 306867
Forward closed progress: 275424
Forward closed progress: 502370
Forward closed progress: 502836
Forward closed progress: 278695
Forward closed progress: 372815
Forward closed progress: 535541
Forward closed progress: 681133
Forward closed progress: 707082
Forward closed progress: 709856
Forward closed progress: 710194
Forward closed progress: 658682
Forward closed progress: 671633
Forward closed progress: 670760
Forward closed progress: 598740
Forward closed progress: 628430
Forward closed progress: 630509
Forward closed progress: 562034
Forward closed progress: 550109
Forward closed progress: 542986
Forward closed progress: 537661
Forward closed progress: 537787
Forward closed progress: 519873
Forward closed progress: 507878
Forward closed progress: 521479
Forward closed progress: 521461
Forward closed progress: 583808
Forward closed progress: 583927
Forward closed progress: 545285
Forward closed progress: 546542
Forward closed progress: 546093
Forward closed progress: 506662
Forward closed progress: 751432
Forward closed progress: 1128901
Forward closed progress: 1129745
Forward closed progress: 838888
Forward closed progress: 838140
Forward closed progress: 838324
Forward closed progress: 786141
Forward closed progress: 776668
Forward closed progress: 910572
Forward closed progress: 778129
Forward closed progress: 779218
Forward closed progress: 878169
Forward closed progress: 780658
Forward closed progress: 723480
Forward closed progress: 1242483
Forward closed progress: 1254336
Forward closed progress: 1106511
Forward closed progress: 1016054
Forward closed progress: 1842293
Forward closed progress: 1842765
Forward closed progress: 1601202
Forward closed progress: 1601064
Forward closed progress: 1584934
Forward closed progress: 1479868
Forward closed progress: 1282079
Forward closed progress: 497302
Forward closed progress: 522720
Forward closed progress: 501764
Forward closed progress: 493412
Forward closed progress: 493254
Forward closed progress: 487405
Forward closed progress: 483762
Forward closed progress: 669582
Forward closed progress: 657824
Forward closed progress: 654491
Forward closed progress: 762018
Forward closed progress: 777972
Forward closed progress: 778260
Forward closed progress: 795365
Forward closed progress: 795483
Forward closed progress: 802066
Forward closed progress: 873360
Forward closed progress: 874424
Forward closed progress: 907783
Forward closed progress: 908376
Forward closed progress: 908414
Forward closed progress: 869823
Forward closed progress: 901251
Forward closed progress: 876793
Forward closed progress: 876388
Forward closed progress: 876296
Forward closed progress: 876158
Forward closed progress: 903182
Forward closed progress: 903963
Forward closed progress: 903949
Forward closed progress: 904159
Forward closed progress: 904211
Forward closed progress: 889521
Forward closed progress: 884353
Forward closed progress: 1003288
Forward closed progress: 996067
Forward closed progress: 995965
Forward closed progress: 1053335
Forward closed progress: 1054762
Forward closed progress: 1055838
Forward closed progress: 1042592
Forward closed progress: 1042617
Forward closed progress: 1200467
Forward closed progress: 1200399
Forward closed progress: 1076419
Forward closed progress: 1097998
Forward closed progress: 1094749
Forward closed progress: 1095038
Forward closed progress: 1101963
Forward closed progress: 1154547
Forward closed progress: 1146231
Forward closed progress: 1135547
Forward closed progress: 999269
Forward closed progress: 986446
Forward closed progress: 987736
Forward closed progress: 926863
Forward closed progress: 918003
Forward closed progress: 776717
Forward closed progress: 816245
Forward closed progress: 783065
Forward closed progress: 760493
Forward closed progress: 760493
Forward closed progress: 881269
Forward closed progress: 881197
Forward closed progress: 749280
Forward closed progress: 749232
Forward closed progress: 763676
Forward closed progress: 759787
Forward closed progress: 628082
Forward closed progress: 610318
Forward closed progress: 628136
Forward closed progress: 628156
Forward closed progress: 613398
Forward closed progress: 595580
Forward closed progress: 562608
Forward closed progress: 572148
Forward closed progress: 562048
Forward closed progress: 561948
Forward closed progress: 561840
Forward closed progress: 561768
Forward closed progress: 540326
Forward closed progress: 538560
Forward closed progress: 545670
Forward closed progress: 536909
Forward closed progress: 536828
Forward closed progress: 536529
Forward closed progress: 536901
Forward closed progress: 536902
Forward closed progress: 537680
Forward closed progress: 537715
Forward closed progress: 537697
Forward closed progress: 537156
Forward closed progress: 537185
Forward closed progress: 537189
Forward closed progress: 535123
Forward closed progress: 535663
Forward closed progress: 1214919
Forward closed progress: 1456585
Forward closed progress: 1428222
Forward closed progress: 1289254
Forward closed progress: 1070183
Forward closed progress: 1071311
Forward closed progress: 1054202
Forward closed progress: 582508
Forward closed progress: 670786
Forward closed progress: 642826
Forward closed progress: 577155
Forward closed progress: 588834
Forward closed progress: 588874
Forward closed progress: 577365
Forward closed progress: 556881
Forward closed progress: 561251
Forward closed progress: 555839
Forward closed progress: 562351
Forward closed progress: 537954
Forward closed progress: 534397
Forward closed progress: 534475
Forward closed progress: 659820
Forward closed progress: 726618
Forward closed progress: 778575
Forward closed progress: 789733
Forward closed progress: 813493
Forward closed progress: 814060
Forward closed progress: 814132
Forward closed progress: 798926
Forward closed progress: 822388
Forward closed progress: 812708
Forward closed progress: 793362
Forward closed progress: 808933
Forward closed progress: 813666
Forward closed progress: 868864
Forward closed progress: 869638
Forward closed progress: 967662
Forward closed progress: 997273
Forward closed progress: 996709
Forward closed progress: 1014408
Forward closed progress: 1041823
Forward closed progress: 1044355
Forward closed progress: 1043497
Forward closed progress: 1039054
Forward closed progress: 1049978
Forward closed progress: 1055314
Forward closed progress: 990926
Forward closed progress: 1013412
Forward closed progress: 959214
Forward closed progress: 1071747
Forward closed progress: 1071867
Forward closed progress: 1007787
Forward closed progress: 986060
Forward closed progress: 958258
Forward closed progress: 830624
Forward closed progress: 817664
Forward closed progress: 780330
Forward closed progress: 798325
Forward closed progress: 798744
Forward closed progress: 818590
Forward closed progress: 818724
Forward closed progress: 661284
Forward closed progress: 678545
Forward closed progress: 675272
Forward closed progress: 671028
Forward closed progress: 713661
Forward closed progress: 709744
Forward closed progress: 666123
Forward closed progress: 676381
Forward closed progress: 676182
Forward closed progress: 674139
Forward closed progress: 663769
Forward closed progress: 664289
Forward closed progress: 738431
Forward closed progress: 738436
Forward closed progress: 664421
Forward closed progress: 574664
Forward closed progress: 578543
Forward closed progress: 571497
Forward closed progress: 572295
Forward closed progress: 569479
Forward closed progress: 552768
Forward closed progress: 555501
Forward closed progress: 496960
Forward closed progress: 704048
Forward closed progress: 865461
Forward closed progress: 823309
Forward closed progress: 998808
Forward closed progress: 1002867
Forward closed progress: 1003117
Forward closed progress: 991555
Forward closed progress: 994320
Forward closed progress: 1040921
Forward closed progress: 1051265
Forward closed progress: 1185113
Forward closed progress: 1352243
Forward closed progress: 1683029
Forward closed progress: 2024207
Forward closed progress: 2021876
Forward closed progress: 1926533
Forward closed progress: 2005782
Forward closed progress: 2096528
Forward closed progress: 2106849
Forward closed progress: 2088100
Forward closed progress: 2049593
Forward closed progress: 2032107
Forward closed progress: 2076450
Forward closed progress: 2047120
Forward closed progress: 2063414
Forward closed progress: 2064962
Forward closed progress: 1943816
Forward closed progress: 1922931
Forward closed progress: 2043786
Forward closed progress: 1727955
Forward closed progress: 1810099
Forward closed progress: 1810512
Forward closed progress: 1645075
Forward closed progress: 1614204
Forward closed progress: 1549727
Forward closed progress: 1544043
Forward closed progress: 1525436
Forward closed progress: 1501443
Forward closed progress: 1501263
Forward closed progress: 1501557
Forward closed progress: 1498967
Forward closed progress: 1304738
Forward closed progress: 1304750
Forward closed progress: 1301270
Forward closed progress: 1301269
Forward closed progress: 1301333
Forward closed progress: 1301306
Forward closed progress: 1301783
Forward closed progress: 1302056
Forward closed progress: 1301280
Forward closed progress: 1301342
Forward closed progress: 1301404
Forward closed progress: 1304803
Forward closed progress: 1304801
Forward closed progress: 1309473
Forward closed progress: 1317489
Forward closed progress: 1317491
Forward closed progress: 1312581
Forward closed progress: 1304587
Forward closed progress: 1307199
Forward closed progress: 1304817
Forward closed progress: 1301461
Forward closed progress: 1301453
Forward closed progress: 1301418
Forward closed progress: 1439318
Forward closed progress: 1410355
Forward closed progress: 1211019
Forward closed progress: 1260776
Forward closed progress: 1261066
Forward closed progress: 1220010
Forward closed progress: 1217461
Forward closed progress: 1205525
Forward closed progress: 1175534
Forward closed progress: 1144815
Forward closed progress: 1140651
Forward closed progress: 995062
Forward closed progress: 889312
Forward closed progress: 851112
Forward closed progress: 851096
Forward closed progress: 852059
Forward closed progress: 846401
Forward closed progress: 846301
Forward closed progress: 846288
Forward closed progress: 845908
Forward closed progress: 845592
Forward closed progress: 838640
Forward closed progress: 746223
Forward closed progress: 748047
Forward closed progress: 748123
Forward closed progress: 749915
Forward closed progress: 749945
Forward closed progress: 687699
Forward closed progress: 689235
Forward closed progress: 692247
Forward closed progress: 692343
Forward closed progress: 698733
Forward closed progress: 698709
Forward closed progress: 699663
Forward closed progress: 701659
Forward closed progress: 701596
Forward closed progress: 701840
Forward closed progress: 696766
Forward closed progress: 698829
Forward closed progress: 698829
Forward closed progress: 704723
Forward closed progress: 704741
Forward closed progress: 698976
Forward closed progress: 694251
Forward closed progress: 696647
Forward closed progress: 696695
Forward closed progress: 699510
Forward closed progress: 699528
Forward closed progress: 697097
Forward closed progress: 695825
Forward closed progress: 599833
Forward closed progress: 496966
Forward closed progress: 689388
Forward closed progress: 644329
Forward closed progress: 644211
Forward closed progress: 643884
Forward closed progress: 644734
Forward closed progress: 644736
Forward closed progress: 646194
Forward closed progress: 813106
Forward closed progress: 940796
Forward closed progress: 1143453
Forward closed progress: 1147156
Forward closed progress: 1147394
Forward closed progress: 1137732
Forward closed progress: 1163262
Forward closed progress: 1232149
Forward closed progress: 1244023
Forward closed progress: 1402570
Forward closed progress: 1669589
Forward closed progress: 2136476
Forward closed progress: 2773746
Forward closed progress: 2772314
Forward closed progress: 2415330
Forward closed progress: 2598312
Forward closed progress: 2837962
Forward closed progress: 2849827
Forward closed progress: 2840806
Forward closed progress: 2808066
Forward closed progress: 2787396
Forward closed progress: 2932370
Forward closed progress: 2854464
Forward closed progress: 2890538
Forward closed progress: 2904632
Forward closed progress: 2436820
Forward closed progress: 2423106
Forward closed progress: 2939970
Forward closed progress: 2765257
Forward closed progress: 2821753
Forward closed progress: 2775728
Forward closed progress: 2766622
Forward closed progress: 2767498
Forward closed progress: 2995459
Forward closed progress: 2642626
Forward closed progress: 2784851
Forward closed progress: 2785431
Forward closed progress: 2613925
Forward closed progress: 2585762
Forward closed progress: 2511410
Forward closed progress: 2495097
Forward closed progress: 2489417
Forward closed progress: 2526844
Forward closed progress: 2522782
Forward closed progress: 2584986
Forward closed progress: 2582749
Forward closed progress: 2180834
Forward closed progress: 2222596
Forward closed progress: 2230261
Forward closed progress: 2262196
Forward closed progress: 2263339
Forward closed progress: 2303178
Forward closed progress: 2467434
Forward closed progress: 2593259
Forward closed progress: 2594042
Forward closed progress: 2594104
Forward closed progress: 2488300
Forward closed progress: 2533765
Forward closed progress: 2532987
Forward closed progress: 2523818
Forward closed progress: 2539441
Forward closed progress: 2628445
Forward closed progress: 2672451
Forward closed progress: 2673045
Forward closed progress: 2673494
Forward closed progress: 2673528
Forward closed progress: 2651447
Forward closed progress: 2627328
Forward closed progress: 2865670
Forward closed progress: 2852654
Forward closed progress: 2851213
Forward closed progress: 3028379
Forward closed progress: 2931057
Forward closed progress: 2927819
Forward closed progress: 2939114
Forward closed progress: 2928719
Forward closed progress: 2929720
Forward closed progress: 3072461
Forward closed progress: 3072935
Forward closed progress: 2951708
Forward closed progress: 2951347
Forward closed progress: 2952619
Forward closed progress: 3159935
Forward closed progress: 3228402
Forward closed progress: 3233947
Forward closed progress: 3234023
Forward closed progress: 3118435
Forward closed progress: 3112486
Forward closed progress: 3136201
Forward closed progress: 3127845
Forward closed progress: 3112001
Forward closed progress: 3108314
Forward closed progress: 3080960
Forward closed progress: 3068835
Forward closed progress: 3061734
Forward closed progress: 3364016
Forward closed progress: 3360557
Forward closed progress: 3164874
Forward closed progress: 3094866
Forward closed progress: 3255063
Forward closed progress: 3253159
Forward closed progress: 3012175
Forward closed progress: 2993715
Forward closed progress: 2993415
Forward closed progress: 2962235
Forward closed progress: 3034616
Forward closed progress: 2957153
Forward closed progress: 2845735
Forward closed progress: 2796579
Forward closed progress: 2663888
Forward closed progress: 2664729
Forward closed progress: 2657530
Forward closed progress: 3515009
Forward closed progress: 3759030
Forward closed progress: 3346666
Forward closed progress: 3454017
Forward closed progress: 3458919
Forward closed progress: 3398389
Forward closed progress: 3313155
Forward closed progress: 3332686
Forward closed progress: 3347119
Forward closed progress: 3547088
Forward closed progress: 3549028
Forward closed progress: 3807534
Forward closed progress: 3790488
Forward closed progress: 3786390
Forward closed progress: 3796502
Forward closed progress: 3833104
Forward closed progress: 3844214
Forward closed progress: 3727856
Forward closed progress: 3689657
Forward closed progress: 3723014
Forward closed progress: 3698747
Forward closed progress: 3724533
Forward closed progress: 3691994
Forward closed progress: 3743260
Forward closed progress: 3495157
Forward closed progress: 3533780
Forward closed progress: 3534233
Forward closed progress: 3387166
Forward closed progress: 3359640
Forward closed progress: 3304662
Forward closed progress: 3295645
Forward closed progress: 3161391
Forward closed progress: 3149608
Forward closed progress: 3148527
Forward closed progress: 3108736
Forward closed progress: 3130894
Forward closed progress: 3134715
Forward closed progress: 3161107
Forward closed progress: 3161705
Forward closed progress: 2777679
Forward closed progress: 2792244
Forward closed progress: 2791784
Forward closed progress: 2783202
Forward closed progress: 2774967
Forward closed progress: 2751054
Forward closed progress: 2788069
Forward closed progress: 2784448
Forward closed progress: 2756868
Forward closed progress: 2764435
Forward closed progress: 2759158
Forward closed progress: 2723724
Forward closed progress: 2704601
Forward closed progress: 2708145
Forward closed progress: 2708300
Forward closed progress: 2641782
Forward closed progress: 2641702
Forward closed progress: 2639425
Forward closed progress: 3035824
Forward closed progress: 2657418
Forward closed progress: 2172472
Forward closed progress: 2219395
Forward closed progress: 2219635
Forward closed progress: 2157346
Forward closed progress: 2153670
Forward closed progress: 2136325
Forward closed progress: 2060624
Forward closed progress: 2097609
Forward closed progress: 2041805
Forward closed progress: 1990410
Forward closed progress: 1842501
Forward closed progress: 1842544
Forward closed progress: 1658594
Forward closed progress: 1674564
Forward closed progress: 1797567
Forward closed progress: 1936676
Forward closed progress: 1950441
Forward closed progress: 2061348
Forward closed progress: 2063891
Forward closed progress: 2064038
Forward closed progress: 2052913
Forward closed progress: 2042618
Forward closed progress: 2019618
Forward closed progress: 2018404
Forward closed progress: 2019875
Forward closed progress: 2017933
Forward closed progress: 2029424
Forward closed progress: 2044831
Forward closed progress: 2150508
Forward closed progress: 2151150
Forward closed progress: 2333041
Forward closed progress: 2345618
Forward closed progress: 2344787
Forward closed progress: 2379390
Forward closed progress: 2435516
Forward closed progress: 2440790
Forward closed progress: 2438595
Forward closed progress: 2431980
Forward closed progress: 2460887
Forward closed progress: 2484294
Forward closed progress: 2460939
Forward closed progress: 2532397
Forward closed progress: 2448589
Forward closed progress: 2448445
Forward closed progress: 2449631
Forward closed progress: 2449285
Forward closed progress: 2450922
Forward closed progress: 2548950
Forward closed progress: 2349134
Forward closed progress: 2374006
Forward closed progress: 2374163
Forward closed progress: 2294650
Forward closed progress: 2270183
Forward closed progress: 2238610
Forward closed progress: 2236798
Forward closed progress: 2065074
Forward closed progress: 2064318
Forward closed progress: 2045939
Forward closed progress: 2056856
Forward closed progress: 2049432
Forward closed progress: 2048514
Forward closed progress: 2191882
Forward closed progress: 2257403
Forward closed progress: 2272019
Forward closed progress: 2341332
Forward closed progress: 2343529
Forward closed progress: 1831842
Forward closed progress: 1870599
Forward closed progress: 1869638
Forward closed progress: 1847565
Forward closed progress: 1845506
Forward closed progress: 1845171
Forward closed progress: 1844071
Forward closed progress: 1833532
Forward closed progress: 1801114
Forward closed progress: 1916195
Forward closed progress: 1898676
Forward closed progress: 1889685
Forward closed progress: 1924816
Forward closed progress: 1919332
Forward closed progress: 1904740
Forward closed progress: 1976774
Forward closed progress: 1865237
Forward closed progress: 1833828
Forward closed progress: 1719265
Forward closed progress: 1742030
Forward closed progress: 1742349
Forward closed progress: 1599783
Forward closed progress: 1587974
Forward closed progress: 1573842
Forward closed progress: 1618204
Forward closed progress: 1611157
Forward closed progress: 1586926
Forward closed progress: 1545168
Forward closed progress: 1545846
Forward closed progress: 1543000
Forward closed progress: 1542320
Forward closed progress: 1541737
Forward closed progress: 1538840
Forward closed progress: 1534196
Forward closed progress: 1535743
Forward closed progress: 1518328
Forward closed progress: 1393239
Forward closed progress: 1180618
Forward closed progress: 979725
Forward closed progress: 1135503
Forward closed progress: 1479740
Forward closed progress: 1355001
Forward closed progress: 1757439
Forward closed progress: 1761799
Forward closed progress: 1760295
Forward closed progress: 1748733
Forward closed progress: 1717458
Forward closed progress: 1798480
Forward closed progress: 1822824
Forward closed progress: 2173628
Forward closed progress: 2358843
Forward closed progress: 3042741
Forward closed progress: 3471595
Forward closed progress: 3469576
Forward closed progress: 3368839
Forward closed progress: 3472739
Forward closed progress: 3577906
Forward closed progress: 3588163
Forward closed progress: 3530965
Forward closed progress: 3492277
Forward closed progress: 3436055
Forward closed progress: 3496326
Forward closed progress: 3442297
Forward closed progress: 3462116
Forward closed progress: 3463664
Forward closed progress: 3365359
Forward closed progress: 3336513
Forward closed progress: 3603230
Forward closed progress: 2959354
Forward closed progress: 3086848
Forward closed progress: 3087263
Forward closed progress: 2762702
Forward closed progress: 2695719
Forward closed progress: 2557047
Forward closed progress: 2546133
Forward closed progress: 2529158
Forward closed progress: 2473109
Forward closed progress: 2472749
Forward closed progress: 2473043
Forward closed progress: 2470213
Forward closed progress: 2366626
Forward closed progress: 2357945
Forward closed progress: 2356343
Forward closed progress: 2350952
Forward closed progress: 2357240
Forward closed progress: 2357274
Forward closed progress: 2358664
Forward closed progress: 2358957
Forward closed progress: 2358963
Forward closed progress: 2354783
Forward closed progress: 2352369
Forward closed progress: 2352407
Forward closed progress: 2352435
Forward closed progress: 2343651
Forward closed progress: 2842511
Forward closed progress: 2633694
Forward closed progress: 2092233
Forward closed progress: 2220529
Forward closed progress: 2220805
Forward closed progress: 2125369
Forward closed progress: 2119131
Forward closed progress: 2093079
Forward closed progress: 2012978
Forward closed progress: 2041126
Forward closed progress: 1984345
Forward closed progress: 1923660
Forward closed progress: 1705766
Forward closed progress: 1480213
Forward closed progress: 1302479
Forward closed progress: 1258353
Forward closed progress: 1256884
Forward closed progress: 1257296
Forward closed progress: 1253276
Forward closed progress: 1253034
Forward closed progress: 1252952
Forward closed progress: 1252572
Forward closed progress: 1211979
Forward closed progress: 1199505
Forward closed progress: 1150645
Forward closed progress: 1147905
Forward closed progress: 1150656
Forward closed progress: 1181929
Forward closed progress: 1177587
Forward closed progress: 1222430
Forward closed progress: 1262834
Forward closed progress: 1262920
Forward closed progress: 1203231
Forward closed progress: 1210017
Forward closed progress: 1210227
Forward closed progress: 1237008
Forward closed progress: 1236448
Forward closed progress: 1266033
Forward closed progress: 1252929
Forward closed progress: 1178441
Forward closed progress: 1179041
Forward closed progress: 1148466
Forward closed progress: 1079773
Forward closed progress: 804062
Forward closed progress: 822876
Forward closed progress: 830868
Forward closed progress: 776350
Forward closed progress: 787868
Forward closed progress: 777573
Forward closed progress: 768021
Forward closed progress: 769341
Forward closed progress: 760312
Forward closed progress: 737349
Forward closed progress: 709654
Forward closed progress: 951719
Forward closed progress: 963722
Forward closed progress: 1093905
Forward closed progress: 1195912
Forward closed progress: 1225680
Forward closed progress: 1227179
Forward closed progress: 1227305
Forward closed progress: 1183584
Forward closed progress: 1163808
Forward closed progress: 1167070
Forward closed progress: 1180668
Forward closed progress: 1197815
Forward closed progress: 1196571
Forward closed progress: 1195519
Forward closed progress: 1243364
Forward closed progress: 1239016
Forward closed progress: 1157287
Forward closed progress: 1197357
Forward closed progress: 1208511
Forward closed progress: 1208730
Forward closed progress: 1208758
Forward closed progress: 1192330
Forward closed progress: 1180954
Forward closed progress: 1211729
Forward closed progress: 1222277
Forward closed progress: 1222496
Forward closed progress: 1222524
Forward closed progress: 1197832
Forward closed progress: 1181680
Forward closed progress: 1170483
Forward closed progress: 1171235
Forward closed progress: 1189423
Forward closed progress: 1220093
Forward closed progress: 1264907
Forward closed progress: 1430397
Forward closed progress: 1430461
Forward closed progress: 1326927
Forward closed progress: 1235043
Forward closed progress: 1250699
Forward closed progress: 1240240
Forward closed progress: 1249956
Forward closed progress: 1249968
Forward closed progress: 1249962
Forward closed progress: 1246838
Forward closed progress: 1244432
Forward closed progress: 1286113
Forward closed progress: 1240902
Forward closed progress: 1235774
Forward closed progress: 1237448
Forward closed progress: 1237453
Forward closed progress: 1237531
Forward closed progress: 1237543
Forward closed progress: 1237603
Forward closed progress: 1220169
Forward closed progress: 1123824
Forward closed progress: 1122018
Forward closed progress: 1088167
Forward closed progress: 1089806
Forward closed progress: 1089790
Forward closed progress: 1051819
Forward closed progress: 1019575
Forward closed progress: 969215
Forward closed progress: 771340
Forward closed progress: 773080
Forward closed progress: 774373
Forward closed progress: 770301
Forward closed progress: 773941
Forward closed progress: 772295
Forward closed progress: 770735
Forward closed progress: 770951
Forward closed progress: 769337
Forward closed progress: 764918
Forward closed progress: 766686
Forward closed progress: 757448
Forward closed progress: 757448
Control exists for 760 color(s), jumping through 9007199254740992 vertices.
Elapsed: 10182668 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 10182.668
user ??
sys ??
