>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 36
Perturbation colors: 9007199254740992
All colors: 324259173170675700
Unknown update functions: 2
Lowest cardinality: 2
Highest cardinality: 2
Attractor colors: 81064793292668930
Attractor colors computed in 3800 ms.
Backward progress: 122326
Backward progress: 122469
Backward progress: 122495
Backward progress: 123255
Backward progress: 123488
Backward progress: 123732
Backward progress: 132273
Backward progress: 134530
Backward progress: 135864
Backward progress: 135072
Backward progress: 135030
Backward progress: 135303
Backward progress: 137869
Backward progress: 138176
Backward progress: 137615
Backward progress: 142249
Backward progress: 147102
Backward progress: 149360
Backward progress: 147524
Backward progress: 150599
Backward progress: 147941
Backward progress: 212035
Backward progress: 212512
Backward progress: 219972
Backward progress: 217999
Backward progress: 217550
Backward progress: 219102
Backward progress: 242474
Backward progress: 241406
Backward progress: 248417
Backward progress: 248443
Backward progress: 244436
Backward progress: 242976
Backward progress: 241488
Backward progress: 241428
Backward progress: 251121
Backward progress: 251143
Backward progress: 259955
Backward progress: 281528
Backward progress: 290057
Backward progress: 290075
Backward progress: 290127
Backward progress: 290281
Backward progress: 289073
Backward progress: 289126
Backward progress: 297791
Backward progress: 297802
Backward progress: 297764
Backward progress: 292759
Backward progress: 292773
Backward progress: 293094
Backward progress: 290074
Backward progress: 285803
Backward progress: 283588
Backward progress: 323843
Backward progress: 326544
Backward progress: 326108
Backward progress: 335980
Backward progress: 336191
Backward progress: 335992
Backward progress: 337380
Backward progress: 337580
Backward progress: 337959
Backward progress: 350082
Backward progress: 349942
Backward progress: 350036
Backward progress: 343888
Backward progress: 343325
Backward progress: 331211
Backward progress: 331279
Backward progress: 331470
Backward progress: 319211
Backward progress: 318294
Backward progress: 317478
Backward progress: 317146
Backward progress: 316200
Backward progress: 317178
Backward progress: 312202
Backward progress: 320260
Backward progress: 309072
Backward progress: 313010
Backward progress: 313030
Backward progress: 310925
Backward progress: 310010
Backward progress: 309067
Backward progress: 307146
Backward progress: 302269
Backward progress: 294496
Backward progress: 294347
Backward progress: 294264
Backward progress: 293204
Backward progress: 290988
Backward progress: 290704
Backward progress: 289555
Backward progress: 291007
Backward progress: 289961
Backward progress: 289037
Backward progress: 287717
Backward progress: 284312
Backward progress: 284313
Backward progress: 283658
Backward progress: 344102
Backward progress: 355564
Backward progress: 319522
Backward progress: 342567
Backward progress: 342593
Backward progress: 328426
Backward progress: 323464
Backward progress: 318186
Backward progress: 305749
Backward progress: 306784
Backward progress: 300742
Backward progress: 296584
Backward progress: 296564
Backward progress: 269861
Backward progress: 338678
Backward progress: 416141
Backward progress: 419777
Backward progress: 425371
Backward progress: 441639
Backward progress: 441760
Backward progress: 441758
Backward progress: 445170
Backward progress: 439608
Backward progress: 441478
Backward progress: 439623
Backward progress: 439917
Backward progress: 440401
Backward progress: 459721
Backward progress: 462619
Backward progress: 463945
Backward progress: 457464
Backward progress: 457365
Backward progress: 454495
Backward progress: 455153
Backward progress: 455395
Backward progress: 454127
Backward progress: 454042
Backward progress: 454311
Backward progress: 456242
Backward progress: 451720
Backward progress: 472165
Backward progress: 447613
Backward progress: 447581
Backward progress: 446072
Backward progress: 444281
Backward progress: 443873
Backward progress: 464803
Backward progress: 463003
Backward progress: 469281
Backward progress: 469299
Backward progress: 466023
Backward progress: 464573
Backward progress: 463095
Backward progress: 463095
Backward progress: 480547
Backward progress: 478610
Backward progress: 472054
Backward progress: 477401
Backward progress: 474506
Backward progress: 474638
Backward progress: 507444
Backward progress: 508411
Backward progress: 508138
Backward progress: 505630
Backward progress: 499259
Backward progress: 496120
Backward progress: 496120
Backward progress: 493941
Backward progress: 495379
Backward progress: 491891
Backward progress: 500399
Backward progress: 496654
Backward progress: 494064
Backward progress: 490465
Backward progress: 484200
Backward progress: 483776
Backward progress: 483464
Backward progress: 480980
Backward progress: 489816
Backward progress: 457046
Backward progress: 458126
Backward progress: 458299
Backward progress: 458647
Backward progress: 458655
Backward progress: 458627
Backward progress: 458395
Backward progress: 486069
Backward progress: 491580
Backward progress: 462127
Backward progress: 476952
Backward progress: 476970
Backward progress: 468581
Backward progress: 465195
Backward progress: 464467
Backward progress: 460941
Backward progress: 449848
Backward progress: 448612
Backward progress: 444660
Backward progress: 444667
Backward progress: 444176
Backward progress: 439731
Backward progress: 371550
Backward progress: 371550
Backward progress: 159155
Backward progress: 194545
Backward progress: 199787
Backward progress: 195054
Backward progress: 267430
Backward progress: 267687
Backward progress: 267300
Backward progress: 270398
Backward progress: 271110
Backward progress: 271826
Backward progress: 299143
Backward progress: 302056
Backward progress: 305130
Backward progress: 294249
Backward progress: 294055
Backward progress: 289550
Backward progress: 291786
Backward progress: 292095
Backward progress: 287976
Backward progress: 289201
Backward progress: 291083
Backward progress: 291683
Backward progress: 288633
Backward progress: 292229
Backward progress: 286624
Backward progress: 323542
Backward progress: 319983
Backward progress: 329521
Backward progress: 329537
Backward progress: 323601
Backward progress: 321791
Backward progress: 319974
Backward progress: 319763
Backward progress: 309510
Backward progress: 307834
Backward progress: 305111
Backward progress: 359498
Backward progress: 367687
Backward progress: 323097
Backward progress: 344703
Backward progress: 344719
Backward progress: 330438
Backward progress: 326066
Backward progress: 321405
Backward progress: 306298
Backward progress: 303473
Backward progress: 300550
Backward progress: 295385
Backward progress: 295365
Backward progress: 264544
Backward progress: 260656
Backward progress: 253230
Backward progress: 247380
Backward progress: 246370
Backward progress: 249518
Backward progress: 242660
Backward progress: 243960
Backward progress: 244023
Backward progress: 244547
Backward progress: 244547
Backward progress: 244619
Backward progress: 245512
Backward progress: 245514
Backward progress: 245250
Backward progress: 244882
Backward progress: 245378
Backward progress: 245419
Backward progress: 245666
Backward progress: 245668
Backward progress: 245661
Backward progress: 245461
Backward progress: 245918
Backward progress: 246124
Backward progress: 245454
Backward progress: 245454
Backward progress: 126019
Backward progress: 125891
Backward progress: 132220
Backward progress: 132220
Backward progress: 125602
Backward progress: 126079
Backward progress: 122676
Backward progress: 189150
Backward progress: 192834
Backward progress: 194440
Backward progress: 195346
Backward progress: 195884
Backward progress: 200741
Backward progress: 200769
Backward progress: 196379
Backward progress: 195583
Backward progress: 195617
Backward progress: 196487
Backward progress: 196513
Backward progress: 191606
Backward progress: 191606
Forward closed progress: 191607
Forward closed progress: 191612
Forward closed progress: 360091
Forward closed progress: 191623
Forward closed progress: 191636
Forward closed progress: 191506
Forward closed progress: 191636
Forward closed progress: 171067
Forward closed progress: 171090
Forward closed progress: 171419
Forward closed progress: 171537
Forward closed progress: 171180
Forward closed progress: 164419
Forward closed progress: 164326
Forward closed progress: 165513
Forward closed progress: 165621
Forward closed progress: 164507
Forward closed progress: 164627
Forward closed progress: 166161
Forward closed progress: 177794
Forward closed progress: 165216
Forward closed progress: 165244
Forward closed progress: 170361
Forward closed progress: 224778
Forward closed progress: 224764
Forward closed progress: 224764
Forward closed progress: 224764
Forward closed progress: 166002
Forward closed progress: 171548
Forward closed progress: 171548
Forward closed progress: 248756
Forward closed progress: 248756
Forward closed progress: 248756
Forward closed progress: 167058
Forward closed progress: 168134
Forward closed progress: 170789
Forward closed progress: 172229
Forward closed progress: 176537
Forward closed progress: 230752
Forward closed progress: 255575
Forward closed progress: 339171
Forward closed progress: 339488
Forward closed progress: 339594
Forward closed progress: 291012
Forward closed progress: 199519
Forward closed progress: 277819
Forward closed progress: 269839
Forward closed progress: 273729
Forward closed progress: 301436
Forward closed progress: 416906
Forward closed progress: 417035
Forward closed progress: 417071
Forward closed progress: 361113
Forward closed progress: 198317
Forward closed progress: 285980
Forward closed progress: 245728
Forward closed progress: 233832
Forward closed progress: 233882
Forward closed progress: 246803
Forward closed progress: 305881
Forward closed progress: 305987
Forward closed progress: 306019
Forward closed progress: 279863
Forward closed progress: 201469
Forward closed progress: 336425
Forward closed progress: 340425
Forward closed progress: 314238
Forward closed progress: 297186
Forward closed progress: 207573
Forward closed progress: 285388
Forward closed progress: 368815
Forward closed progress: 485330
Forward closed progress: 485591
Forward closed progress: 485675
Forward closed progress: 430147
Forward closed progress: 329334
Forward closed progress: 327362
Forward closed progress: 330206
Forward closed progress: 293890
Forward closed progress: 261662
Forward closed progress: 210111
Forward closed progress: 304384
Forward closed progress: 304436
Forward closed progress: 211279
Forward closed progress: 400062
Forward closed progress: 613730
Forward closed progress: 784527
Forward closed progress: 955797
Forward closed progress: 956138
Forward closed progress: 956226
Forward closed progress: 868647
Forward closed progress: 872566
Forward closed progress: 872826
Forward closed progress: 797916
Forward closed progress: 902814
Forward closed progress: 727536
Forward closed progress: 686249
Forward closed progress: 660947
Forward closed progress: 672248
Forward closed progress: 672298
Forward closed progress: 672322
Forward closed progress: 612582
Forward closed progress: 653220
Forward closed progress: 665016
Forward closed progress: 739372
Forward closed progress: 722880
Forward closed progress: 613698
Forward closed progress: 614004
Forward closed progress: 614060
Forward closed progress: 474024
Forward closed progress: 665598
Forward closed progress: 724909
Forward closed progress: 726360
Forward closed progress: 736485
Forward closed progress: 736645
Forward closed progress: 728920
Forward closed progress: 681304
Forward closed progress: 681732
Forward closed progress: 597190
Forward closed progress: 685706
Forward closed progress: 695270
Forward closed progress: 686894
Forward closed progress: 717320
Forward closed progress: 717440
Forward closed progress: 692269
Forward closed progress: 673155
Forward closed progress: 510133
Forward closed progress: 667927
Forward closed progress: 894423
Forward closed progress: 883838
Forward closed progress: 885611
Forward closed progress: 892760
Forward closed progress: 1038191
Forward closed progress: 1046575
Forward closed progress: 1211139
Forward closed progress: 1200084
Forward closed progress: 1200122
Forward closed progress: 1134715
Forward closed progress: 1132302
Forward closed progress: 1138647
Forward closed progress: 1138646
Forward closed progress: 1138202
Forward closed progress: 1135082
Forward closed progress: 1208659
Forward closed progress: 1210243
Forward closed progress: 1210223
Forward closed progress: 1210393
Forward closed progress: 1210469
Forward closed progress: 1165273
Forward closed progress: 1162421
Forward closed progress: 1156215
Forward closed progress: 1156225
Forward closed progress: 1102492
Forward closed progress: 1101056
Forward closed progress: 1098322
Forward closed progress: 1084032
Forward closed progress: 1212589
Forward closed progress: 1212611
Forward closed progress: 1098316
Forward closed progress: 1052017
Forward closed progress: 1076157
Forward closed progress: 1069976
Forward closed progress: 1070012
Forward closed progress: 965191
Forward closed progress: 943096
Forward closed progress: 883510
Forward closed progress: 864068
Forward closed progress: 856891
Forward closed progress: 747037
Forward closed progress: 738942
Forward closed progress: 739457
Forward closed progress: 754013
Forward closed progress: 754049
Forward closed progress: 762689
Forward closed progress: 752249
Forward closed progress: 690899
Forward closed progress: 559333
Forward closed progress: 918407
Forward closed progress: 947359
Forward closed progress: 973039
Forward closed progress: 971963
Forward closed progress: 992036
Forward closed progress: 943270
Forward closed progress: 817527
Forward closed progress: 767855
Forward closed progress: 766637
Forward closed progress: 763949
Forward closed progress: 791926
Forward closed progress: 793956
Forward closed progress: 797941
Forward closed progress: 833659
Forward closed progress: 859631
Forward closed progress: 857308
Forward closed progress: 857328
Forward closed progress: 829868
Forward closed progress: 864822
Forward closed progress: 865814
Forward closed progress: 866017
Forward closed progress: 872125
Forward closed progress: 948871
Forward closed progress: 954306
Forward closed progress: 954327
Forward closed progress: 953893
Forward closed progress: 953909
Forward closed progress: 907649
Forward closed progress: 888749
Forward closed progress: 888301
Forward closed progress: 889213
Forward closed progress: 947582
Forward closed progress: 939706
Forward closed progress: 943894
Forward closed progress: 945894
Forward closed progress: 933910
Forward closed progress: 937828
Forward closed progress: 961453
Forward closed progress: 958555
Forward closed progress: 958567
Forward closed progress: 934031
Forward closed progress: 934054
Forward closed progress: 933314
Forward closed progress: 931233
Forward closed progress: 1053707
Forward closed progress: 1054517
Forward closed progress: 1035939
Forward closed progress: 1037955
Forward closed progress: 963158
Forward closed progress: 995208
Forward closed progress: 995904
Forward closed progress: 916470
Forward closed progress: 1006306
Forward closed progress: 1006514
Forward closed progress: 1051264
Forward closed progress: 1080876
Forward closed progress: 1073282
Forward closed progress: 1030248
Forward closed progress: 1055474
Forward closed progress: 1336499
Forward closed progress: 1549671
Forward closed progress: 1750436
Forward closed progress: 1780037
Forward closed progress: 1791658
Forward closed progress: 1792152
Forward closed progress: 1792294
Forward closed progress: 1769508
Forward closed progress: 1758898
Forward closed progress: 1740318
Forward closed progress: 1780343
Forward closed progress: 1745765
Forward closed progress: 1671945
Forward closed progress: 1715924
Forward closed progress: 1731656
Forward closed progress: 1741835
Forward closed progress: 1742477
Forward closed progress: 1744029
Forward closed progress: 1844294
Forward closed progress: 1842070
Forward closed progress: 1883445
Forward closed progress: 1883397
Forward closed progress: 1874990
Forward closed progress: 1922752
Forward closed progress: 1947785
Forward closed progress: 1950679
Forward closed progress: 1950289
Forward closed progress: 1933678
Forward closed progress: 1935317
Forward closed progress: 1929966
Forward closed progress: 1928716
Forward closed progress: 1951829
Forward closed progress: 1924422
Forward closed progress: 2025494
Forward closed progress: 2025492
Forward closed progress: 2046479
Forward closed progress: 2046539
Forward closed progress: 2031227
Forward closed progress: 2028697
Forward closed progress: 2026068
Forward closed progress: 2026068
Forward closed progress: 2015296
Forward closed progress: 1978264
Forward closed progress: 1983913
Forward closed progress: 2054549
Forward closed progress: 2056719
Forward closed progress: 1570137
Forward closed progress: 1595128
Forward closed progress: 1588552
Forward closed progress: 1482891
Forward closed progress: 1428884
Forward closed progress: 1407209
Forward closed progress: 1223678
Forward closed progress: 1212716
Forward closed progress: 1204102
Forward closed progress: 1203682
Forward closed progress: 1187708
Forward closed progress: 1150285
Forward closed progress: 1158316
Forward closed progress: 1089119
Forward closed progress: 1264034
Forward closed progress: 1430152
Forward closed progress: 1423671
Forward closed progress: 1544976
Forward closed progress: 1531560
Forward closed progress: 1531586
Forward closed progress: 1482922
Forward closed progress: 1487588
Forward closed progress: 1606430
Forward closed progress: 1611514
Forward closed progress: 1608296
Forward closed progress: 1621166
Forward closed progress: 1635330
Forward closed progress: 1679493
Forward closed progress: 1678309
Forward closed progress: 1678387
Forward closed progress: 1748207
Forward closed progress: 1748219
Forward closed progress: 1686250
Forward closed progress: 1774951
Forward closed progress: 1895782
Forward closed progress: 1887840
Forward closed progress: 1887932
Forward closed progress: 1818314
Forward closed progress: 1797917
Forward closed progress: 1688715
Forward closed progress: 1671916
Forward closed progress: 1669254
Forward closed progress: 1669730
Forward closed progress: 1626366
Forward closed progress: 1690368
Forward closed progress: 1688424
Forward closed progress: 1703828
Forward closed progress: 1703864
Forward closed progress: 1708344
Forward closed progress: 1707564
Forward closed progress: 1608469
Forward closed progress: 1611587
Forward closed progress: 1608029
Forward closed progress: 1608194
Forward closed progress: 1607140
Forward closed progress: 1607541
Forward closed progress: 1607597
Forward closed progress: 1607631
Forward closed progress: 1607059
Forward closed progress: 1608319
Forward closed progress: 1608319
Forward closed progress: 1604462
Forward closed progress: 1736997
Forward closed progress: 1712272
Forward closed progress: 1711192
Forward closed progress: 1704848
Forward closed progress: 1761393
Forward closed progress: 1806977
Forward closed progress: 1782528
Forward closed progress: 1782527
Forward closed progress: 1794467
Forward closed progress: 1792146
Forward closed progress: 1787161
Forward closed progress: 1786697
Forward closed progress: 1784910
Forward closed progress: 1783138
Forward closed progress: 1685502
Forward closed progress: 1560972
Forward closed progress: 1503676
Forward closed progress: 1362253
Forward closed progress: 1300402
Forward closed progress: 1281720
Forward closed progress: 1281777
Forward closed progress: 1268407
Forward closed progress: 1261206
Forward closed progress: 1241733
Forward closed progress: 1239876
Forward closed progress: 1242451
Forward closed progress: 1239768
Forward closed progress: 1241290
Forward closed progress: 1244414
Forward closed progress: 1244666
Forward closed progress: 1233553
Forward closed progress: 1235509
Forward closed progress: 1235201
Forward closed progress: 1232083
Forward closed progress: 1227065
Forward closed progress: 1226987
Forward closed progress: 1220889
Forward closed progress: 1083266
Forward closed progress: 1392904
Forward closed progress: 1400135
Forward closed progress: 1717395
Forward closed progress: 2063059
Forward closed progress: 2346601
Forward closed progress: 2342080
Forward closed progress: 2342184
Forward closed progress: 2304298
Forward closed progress: 2369786
Forward closed progress: 2688953
Forward closed progress: 2703718
Forward closed progress: 2696823
Forward closed progress: 2738649
Forward closed progress: 2780323
Forward closed progress: 2913593
Forward closed progress: 3051062
Forward closed progress: 3051090
Forward closed progress: 2926403
Forward closed progress: 3155657
Forward closed progress: 3517029
Forward closed progress: 3521226
Forward closed progress: 3521608
Forward closed progress: 3457080
Forward closed progress: 3468439
Forward closed progress: 3478641
Forward closed progress: 3453550
Forward closed progress: 3464650
Forward closed progress: 3472178
Forward closed progress: 3390820
Forward closed progress: 2979605
Forward closed progress: 2975416
Forward closed progress: 3063233
Forward closed progress: 3057603
Forward closed progress: 3089593
Forward closed progress: 3089641
Forward closed progress: 3104545
Forward closed progress: 3104905
Forward closed progress: 2900687
Forward closed progress: 3127796
Forward closed progress: 2939239
Forward closed progress: 2560462
Forward closed progress: 2564968
Forward closed progress: 2650164
Forward closed progress: 2713621
Forward closed progress: 2713028
Forward closed progress: 2713046
Forward closed progress: 2704883
Forward closed progress: 2719581
Forward closed progress: 2787637
Forward closed progress: 2789568
Forward closed progress: 2807862
Forward closed progress: 2837230
Forward closed progress: 2889834
Forward closed progress: 2889850
Forward closed progress: 2846964
Forward closed progress: 2883526
Forward closed progress: 2889627
Forward closed progress: 2890117
Forward closed progress: 2890163
Forward closed progress: 2862951
Forward closed progress: 2859129
Forward closed progress: 2847964
Forward closed progress: 2830523
Forward closed progress: 2800716
Forward closed progress: 2853663
Forward closed progress: 2854327
Forward closed progress: 2865150
Forward closed progress: 2865184
Forward closed progress: 2889500
Forward closed progress: 2863024
Forward closed progress: 2775847
Forward closed progress: 2750386
Forward closed progress: 2913253
Forward closed progress: 2858968
Forward closed progress: 2857224
Forward closed progress: 2833144
Forward closed progress: 2887202
Forward closed progress: 2815128
Forward closed progress: 2610653
Forward closed progress: 2340935
Forward closed progress: 2307175
Forward closed progress: 2281230
Forward closed progress: 2267448
Forward closed progress: 2277697
Forward closed progress: 2281448
Forward closed progress: 2281662
Forward closed progress: 2281722
Forward closed progress: 2275260
Forward closed progress: 2236867
Forward closed progress: 2239688
Forward closed progress: 2225718
Forward closed progress: 2209642
Forward closed progress: 2179854
Forward closed progress: 2183052
Forward closed progress: 2185006
Forward closed progress: 2190812
Forward closed progress: 2191416
Forward closed progress: 2208441
Forward closed progress: 2215511
Forward closed progress: 2215385
Forward closed progress: 2214815
Forward closed progress: 2215403
Forward closed progress: 2216327
Forward closed progress: 2216053
Forward closed progress: 2216861
Forward closed progress: 2219440
Forward closed progress: 2227019
Forward closed progress: 2221413
Forward closed progress: 2237123
Forward closed progress: 2210679
Forward closed progress: 2238342
Forward closed progress: 2222721
Forward closed progress: 2229310
Forward closed progress: 2229370
Forward closed progress: 2224288
Forward closed progress: 2223222
Forward closed progress: 2222001
Forward closed progress: 2221557
Forward closed progress: 2221289
Forward closed progress: 2218441
Forward closed progress: 2217698
Forward closed progress: 2166902
Forward closed progress: 2185740
Forward closed progress: 2179543
Forward closed progress: 2158028
Forward closed progress: 2164722
Forward closed progress: 2164766
Forward closed progress: 2159926
Forward closed progress: 2158896
Forward closed progress: 2157713
Forward closed progress: 2152959
Forward closed progress: 2150583
Forward closed progress: 2148995
Forward closed progress: 2147299
Forward closed progress: 2137876
Forward closed progress: 2110333
Forward closed progress: 1829779
Forward closed progress: 1727296
Forward closed progress: 1643536
Forward closed progress: 1811605
Forward closed progress: 1794567
Forward closed progress: 1937478
Forward closed progress: 1929188
Forward closed progress: 1929230
Forward closed progress: 1886012
Forward closed progress: 1908374
Forward closed progress: 2027464
Forward closed progress: 2033613
Forward closed progress: 2037343
Forward closed progress: 2051642
Forward closed progress: 2066114
Forward closed progress: 2128828
Forward closed progress: 2202413
Forward closed progress: 2202441
Forward closed progress: 2140249
Forward closed progress: 2250091
Forward closed progress: 2409835
Forward closed progress: 2405138
Forward closed progress: 2405290
Forward closed progress: 2350261
Forward closed progress: 2335838
Forward closed progress: 2269615
Forward closed progress: 2257593
Forward closed progress: 2244812
Forward closed progress: 2245544
Forward closed progress: 2200074
Forward closed progress: 2309643
Forward closed progress: 2309465
Forward closed progress: 2326543
Forward closed progress: 2326579
Forward closed progress: 2332962
Forward closed progress: 2333160
Forward closed progress: 2237011
Forward closed progress: 2246514
Forward closed progress: 2236571
Forward closed progress: 2230041
Forward closed progress: 2358550
Forward closed progress: 2358218
Forward closed progress: 2357138
Forward closed progress: 2350794
Forward closed progress: 2417495
Forward closed progress: 2359058
Forward closed progress: 2264398
Forward closed progress: 2103054
Forward closed progress: 2046062
Forward closed progress: 1998082
Forward closed progress: 1949361
Forward closed progress: 1941330
Forward closed progress: 1934523
Forward closed progress: 1929045
Forward closed progress: 1915497
Forward closed progress: 1912088
Forward closed progress: 1914688
Forward closed progress: 1911980
Forward closed progress: 1767626
Forward closed progress: 1705833
Forward closed progress: 1723099
Forward closed progress: 1760735
Forward closed progress: 1737336
Forward closed progress: 1803384
Forward closed progress: 1790368
Forward closed progress: 1779768
Forward closed progress: 1778092
Forward closed progress: 1764438
Forward closed progress: 1723385
Forward closed progress: 2602296
Forward closed progress: 2604744
Forward closed progress: 2711846
Forward closed progress: 3475687
Forward closed progress: 4051602
Forward closed progress: 4202901
Forward closed progress: 4202555
Forward closed progress: 4158366
Forward closed progress: 4158418
Forward closed progress: 4072801
Forward closed progress: 4083495
Forward closed progress: 4080900
Forward closed progress: 4094423
Forward closed progress: 4078982
Forward closed progress: 4080177
Forward closed progress: 4071675
Forward closed progress: 4109918
Forward closed progress: 4094191
Forward closed progress: 4102352
Forward closed progress: 4569977
Forward closed progress: 4424243
Forward closed progress: 4400533
Forward closed progress: 4449475
Forward closed progress: 4475635
Forward closed progress: 4455892
Forward closed progress: 4455922
Forward closed progress: 4400579
Forward closed progress: 4367744
Forward closed progress: 4296068
Forward closed progress: 4291367
Forward closed progress: 4358440
Forward closed progress: 4372168
Forward closed progress: 4368298
Forward closed progress: 4368318
Forward closed progress: 4340586
Forward closed progress: 4324308
Forward closed progress: 4515509
Forward closed progress: 4525383
Forward closed progress: 4558417
Forward closed progress: 4600089
Forward closed progress: 4600253
Forward closed progress: 4704517
Forward closed progress: 4747759
Forward closed progress: 4929400
Forward closed progress: 4929462
Forward closed progress: 4768446
Forward closed progress: 4761750
Forward closed progress: 4674136
Forward closed progress: 4664291
Forward closed progress: 4660639
Forward closed progress: 4546067
Forward closed progress: 4692759
Forward closed progress: 4689705
Forward closed progress: 4724873
Forward closed progress: 4724925
Forward closed progress: 4772816
Forward closed progress: 4764460
Forward closed progress: 4487958
Forward closed progress: 4519806
Forward closed progress: 4519626
Forward closed progress: 4554041
Forward closed progress: 4543365
Forward closed progress: 4543584
Forward closed progress: 4550904
Forward closed progress: 4544925
Forward closed progress: 4544963
Forward closed progress: 4544973
Forward closed progress: 4553013
Forward closed progress: 4554605
Forward closed progress: 4564933
Forward closed progress: 4564943
Forward closed progress: 4600893
Forward closed progress: 4625490
Forward closed progress: 4625478
Forward closed progress: 4611569
Forward closed progress: 4603205
Forward closed progress: 4611497
Forward closed progress: 4611825
Forward closed progress: 4616345
Forward closed progress: 4616351
Forward closed progress: 4612005
Forward closed progress: 4612005
Forward closed progress: 4609045
Forward closed progress: 4606139
Forward closed progress: 4872575
Forward closed progress: 4872443
Forward closed progress: 4821561
Forward closed progress: 4819809
Forward closed progress: 4819729
Forward closed progress: 4744631
Forward closed progress: 4819563
Forward closed progress: 4815506
Forward closed progress: 4794094
Forward closed progress: 4793310
Forward closed progress: 4792512
Forward closed progress: 4792332
Forward closed progress: 4792048
Forward closed progress: 4786984
Forward closed progress: 4579201
Forward closed progress: 4593385
Forward closed progress: 4593337
Forward closed progress: 4574621
Forward closed progress: 4580975
Forward closed progress: 4580981
Forward closed progress: 4573811
Forward closed progress: 4570689
Forward closed progress: 4238422
Forward closed progress: 4289996
Forward closed progress: 4257067
Forward closed progress: 4217666
Forward closed progress: 4125143
Forward closed progress: 3807002
Forward closed progress: 3835506
Forward closed progress: 3499754
Forward closed progress: 3497476
Forward closed progress: 3497666
Forward closed progress: 3496842
Forward closed progress: 3497514
Forward closed progress: 3137894
Forward closed progress: 3135883
Forward closed progress: 3125343
Forward closed progress: 3073975
Forward closed progress: 3047441
Forward closed progress: 3048001
Forward closed progress: 3039792
Forward closed progress: 3032879
Forward closed progress: 3040442
Forward closed progress: 3036824
Forward closed progress: 3036698
Forward closed progress: 3028812
Forward closed progress: 3020042
Forward closed progress: 3011106
Forward closed progress: 3004324
Forward closed progress: 2937328
Forward closed progress: 2927798
Forward closed progress: 2928714
Forward closed progress: 2927846
Forward closed progress: 2937638
Forward closed progress: 2936654
Forward closed progress: 2934064
Forward closed progress: 2932008
Forward closed progress: 2927717
Forward closed progress: 2926189
Forward closed progress: 2945212
Forward closed progress: 2947905
Forward closed progress: 2958131
Forward closed progress: 2960379
Forward closed progress: 2960379
Forward closed progress: 2955059
Forward closed progress: 2955059
Control exists for 9 color(s), jumping through 71143784448 vertices.
Elapsed: 13984264 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 13984.264
user ??
sys ??
