>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 18
Perturbation colors: 9007199254740992
All colors: 162129586585337860
Unknown update functions: 2
Lowest cardinality: 1
Highest cardinality: 2
Attractor colors: 54043195528445950
Attractor colors computed in 844 ms.
Backward progress: 103811
Backward progress: 104033
Backward progress: 104075
Backward progress: 104661
Backward progress: 104927
Backward progress: 105314
Backward progress: 112380
Backward progress: 114152
Backward progress: 115465
Backward progress: 115419
Backward progress: 115337
Backward progress: 117207
Backward progress: 119129
Backward progress: 119687
Backward progress: 119007
Backward progress: 121649
Backward progress: 124860
Backward progress: 125398
Backward progress: 122859
Backward progress: 125811
Backward progress: 123480
Backward progress: 174012
Backward progress: 174778
Backward progress: 180154
Backward progress: 179599
Backward progress: 178926
Backward progress: 180419
Backward progress: 197775
Backward progress: 196936
Backward progress: 202465
Backward progress: 202501
Backward progress: 199247
Backward progress: 198150
Backward progress: 197018
Backward progress: 196958
Backward progress: 210308
Backward progress: 209933
Backward progress: 215303
Backward progress: 228962
Backward progress: 235321
Backward progress: 235347
Backward progress: 235715
Backward progress: 235877
Backward progress: 234882
Backward progress: 235142
Backward progress: 241599
Backward progress: 241622
Backward progress: 241464
Backward progress: 238409
Backward progress: 238437
Backward progress: 238812
Backward progress: 236206
Backward progress: 234237
Backward progress: 232776
Backward progress: 263815
Backward progress: 267202
Backward progress: 266636
Backward progress: 274730
Backward progress: 275021
Backward progress: 274727
Backward progress: 275164
Backward progress: 275381
Backward progress: 275856
Backward progress: 285402
Backward progress: 285234
Backward progress: 285204
Backward progress: 281499
Backward progress: 280751
Backward progress: 274151
Backward progress: 274151
Backward progress: 274576
Backward progress: 265110
Backward progress: 264191
Backward progress: 261495
Backward progress: 261037
Backward progress: 262173
Backward progress: 257627
Backward progress: 263688
Backward progress: 256322
Backward progress: 259705
Backward progress: 259737
Backward progress: 257823
Backward progress: 257091
Backward progress: 256317
Backward progress: 254850
Backward progress: 251242
Backward progress: 245450
Backward progress: 245276
Backward progress: 245147
Backward progress: 241751
Backward progress: 239371
Backward progress: 239003
Backward progress: 238072
Backward progress: 239378
Backward progress: 238498
Backward progress: 237538
Backward progress: 236478
Backward progress: 233551
Backward progress: 233555
Backward progress: 232846
Backward progress: 281257
Backward progress: 289260
Backward progress: 261930
Backward progress: 280141
Backward progress: 280177
Backward progress: 268649
Backward progress: 264800
Backward progress: 260594
Backward progress: 250730
Backward progress: 252394
Backward progress: 248642
Backward progress: 246432
Backward progress: 246068
Backward progress: 222343
Backward progress: 287135
Backward progress: 318325
Backward progress: 321207
Backward progress: 324022
Backward progress: 332613
Backward progress: 332723
Backward progress: 332739
Backward progress: 333747
Backward progress: 330958
Backward progress: 332319
Backward progress: 330974
Backward progress: 331136
Backward progress: 331608
Backward progress: 341724
Backward progress: 341764
Backward progress: 342256
Backward progress: 336887
Backward progress: 336788
Backward progress: 335725
Backward progress: 335629
Backward progress: 335807
Backward progress: 334869
Backward progress: 335377
Backward progress: 336158
Backward progress: 336960
Backward progress: 333014
Backward progress: 343541
Backward progress: 329261
Backward progress: 329229
Backward progress: 328526
Backward progress: 327511
Backward progress: 327217
Backward progress: 337391
Backward progress: 336891
Backward progress: 339929
Backward progress: 339947
Backward progress: 338251
Backward progress: 337609
Backward progress: 336939
Backward progress: 336939
Backward progress: 345673
Backward progress: 342001
Backward progress: 335182
Backward progress: 339837
Backward progress: 337351
Backward progress: 337635
Backward progress: 344790
Backward progress: 345885
Backward progress: 345531
Backward progress: 341751
Backward progress: 335551
Backward progress: 333833
Backward progress: 333808
Backward progress: 332557
Backward progress: 332151
Backward progress: 327872
Backward progress: 336745
Backward progress: 332551
Backward progress: 329221
Backward progress: 325849
Backward progress: 317813
Backward progress: 317397
Backward progress: 317160
Backward progress: 313960
Backward progress: 322700
Backward progress: 294222
Backward progress: 295062
Backward progress: 295270
Backward progress: 295593
Backward progress: 295603
Backward progress: 295568
Backward progress: 295384
Backward progress: 296838
Backward progress: 296740
Backward progress: 293433
Backward progress: 293465
Backward progress: 292803
Backward progress: 292867
Backward progress: 292505
Backward progress: 292548
Backward progress: 292147
Backward progress: 291641
Backward progress: 290567
Backward progress: 255965
Backward progress: 255965
Backward progress: 126621
Backward progress: 155680
Backward progress: 160807
Backward progress: 156656
Backward progress: 213284
Backward progress: 213530
Backward progress: 213279
Backward progress: 215387
Backward progress: 216066
Backward progress: 217107
Backward progress: 237727
Backward progress: 239607
Backward progress: 242119
Backward progress: 235598
Backward progress: 235321
Backward progress: 239365
Backward progress: 240314
Backward progress: 240842
Backward progress: 237821
Backward progress: 237469
Backward progress: 235397
Backward progress: 234588
Backward progress: 232326
Backward progress: 236469
Backward progress: 231367
Backward progress: 260153
Backward progress: 257761
Backward progress: 265479
Backward progress: 265505
Backward progress: 260709
Backward progress: 259241
Backward progress: 257752
Backward progress: 257541
Backward progress: 252784
Backward progress: 250800
Backward progress: 248958
Backward progress: 297990
Backward progress: 303993
Backward progress: 269008
Backward progress: 287019
Backward progress: 287045
Backward progress: 275177
Backward progress: 271424
Backward progress: 267316
Backward progress: 255399
Backward progress: 254437
Backward progress: 252685
Backward progress: 248735
Backward progress: 248371
Backward progress: 220033
Backward progress: 219005
Backward progress: 212470
Backward progress: 208116
Backward progress: 207086
Backward progress: 210569
Backward progress: 205075
Backward progress: 206391
Backward progress: 206572
Backward progress: 207276
Backward progress: 207276
Backward progress: 207456
Backward progress: 208771
Backward progress: 208777
Backward progress: 208317
Backward progress: 207857
Backward progress: 208521
Backward progress: 208632
Backward progress: 209017
Backward progress: 209023
Backward progress: 209002
Backward progress: 208746
Backward progress: 209141
Backward progress: 209535
Backward progress: 208621
Backward progress: 208621
Backward progress: 104392
Backward progress: 104264
Backward progress: 109195
Backward progress: 109195
Backward progress: 103985
Backward progress: 104472
Backward progress: 101763
Backward progress: 155931
Backward progress: 159531
Backward progress: 160913
Backward progress: 161817
Backward progress: 162171
Backward progress: 166585
Backward progress: 166623
Backward progress: 162626
Backward progress: 161828
Backward progress: 161886
Backward progress: 162500
Backward progress: 162536
Backward progress: 158331
Backward progress: 158331
Forward closed progress: 158332
Forward closed progress: 158335
Forward closed progress: 298923
Forward closed progress: 158344
Forward closed progress: 158379
Forward closed progress: 158249
Forward closed progress: 158379
Forward closed progress: 141225
Forward closed progress: 141242
Forward closed progress: 141551
Forward closed progress: 141665
Forward closed progress: 141326
Forward closed progress: 135857
Forward closed progress: 135755
Forward closed progress: 137037
Forward closed progress: 137145
Forward closed progress: 135968
Forward closed progress: 136120
Forward closed progress: 137895
Forward closed progress: 146305
Forward closed progress: 136735
Forward closed progress: 136777
Forward closed progress: 142863
Forward closed progress: 188421
Forward closed progress: 188400
Forward closed progress: 188400
Forward closed progress: 188400
Forward closed progress: 137683
Forward closed progress: 144174
Forward closed progress: 144174
Forward closed progress: 208788
Forward closed progress: 208788
Forward closed progress: 208788
Forward closed progress: 138913
Forward closed progress: 139882
Forward closed progress: 142450
Forward closed progress: 143858
Forward closed progress: 148046
Forward closed progress: 159939
Forward closed progress: 167227
Forward closed progress: 195426
Forward closed progress: 195523
Forward closed progress: 195549
Forward closed progress: 180641
Forward closed progress: 150416
Forward closed progress: 192338
Forward closed progress: 186120
Forward closed progress: 192255
Forward closed progress: 220132
Forward closed progress: 313110
Forward closed progress: 313261
Forward closed progress: 313305
Forward closed progress: 257469
Forward closed progress: 149260
Forward closed progress: 202564
Forward closed progress: 179078
Forward closed progress: 164428
Forward closed progress: 164462
Forward closed progress: 171062
Forward closed progress: 195669
Forward closed progress: 195766
Forward closed progress: 195792
Forward closed progress: 182164
Forward closed progress: 152396
Forward closed progress: 239946
Forward closed progress: 244762
Forward closed progress: 225696
Forward closed progress: 214028
Forward closed progress: 158104
Forward closed progress: 212315
Forward closed progress: 273398
Forward closed progress: 360127
Forward closed progress: 360352
Forward closed progress: 360418
Forward closed progress: 310982
Forward closed progress: 249355
Forward closed progress: 247151
Forward closed progress: 250827
Forward closed progress: 225567
Forward closed progress: 201195
Forward closed progress: 160642
Forward closed progress: 228048
Forward closed progress: 228118
Forward closed progress: 161810
Forward closed progress: 304036
Forward closed progress: 463172
Forward closed progress: 592800
Forward closed progress: 704930
Forward closed progress: 705334
Forward closed progress: 705434
Forward closed progress: 617190
Forward closed progress: 621876
Forward closed progress: 622150
Forward closed progress: 570037
Forward closed progress: 642958
Forward closed progress: 529768
Forward closed progress: 459887
Forward closed progress: 447527
Forward closed progress: 453059
Forward closed progress: 453095
Forward closed progress: 453113
Forward closed progress: 431881
Forward closed progress: 467665
Forward closed progress: 479822
Forward closed progress: 525885
Forward closed progress: 515841
Forward closed progress: 442348
Forward closed progress: 442719
Forward closed progress: 442791
Forward closed progress: 347315
Forward closed progress: 476765
Forward closed progress: 534679
Forward closed progress: 536274
Forward closed progress: 552672
Forward closed progress: 552894
Forward closed progress: 551441
Forward closed progress: 516075
Forward closed progress: 516503
Forward closed progress: 455369
Forward closed progress: 518469
Forward closed progress: 527553
Forward closed progress: 520069
Forward closed progress: 548442
Forward closed progress: 548600
Forward closed progress: 531887
Forward closed progress: 515434
Forward closed progress: 392723
Forward closed progress: 540804
Forward closed progress: 663781
Forward closed progress: 652438
Forward closed progress: 653749
Forward closed progress: 665016
Forward closed progress: 783743
Forward closed progress: 787355
Forward closed progress: 913577
Forward closed progress: 901466
Forward closed progress: 901514
Forward closed progress: 838937
Forward closed progress: 837040
Forward closed progress: 839851
Forward closed progress: 839847
Forward closed progress: 839403
Forward closed progress: 838779
Forward closed progress: 885374
Forward closed progress: 886553
Forward closed progress: 886539
Forward closed progress: 886658
Forward closed progress: 886710
Forward closed progress: 862624
Forward closed progress: 861205
Forward closed progress: 861767
Forward closed progress: 861781
Forward closed progress: 842238
Forward closed progress: 840930
Forward closed progress: 838558
Forward closed progress: 831326
Forward closed progress: 931454
Forward closed progress: 931484
Forward closed progress: 845610
Forward closed progress: 812831
Forward closed progress: 829937
Forward closed progress: 823330
Forward closed progress: 823374
Forward closed progress: 747628
Forward closed progress: 726313
Forward closed progress: 685320
Forward closed progress: 670292
Forward closed progress: 664212
Forward closed progress: 577511
Forward closed progress: 564623
Forward closed progress: 565001
Forward closed progress: 578121
Forward closed progress: 578169
Forward closed progress: 585207
Forward closed progress: 576369
Forward closed progress: 524329
Forward closed progress: 431097
Forward closed progress: 687489
Forward closed progress: 711573
Forward closed progress: 734149
Forward closed progress: 733386
Forward closed progress: 751698
Forward closed progress: 717314
Forward closed progress: 618155
Forward closed progress: 585743
Forward closed progress: 584644
Forward closed progress: 576528
Forward closed progress: 593707
Forward closed progress: 595285
Forward closed progress: 602322
Forward closed progress: 636106
Forward closed progress: 659464
Forward closed progress: 656741
Forward closed progress: 656761
Forward closed progress: 634001
Forward closed progress: 658212
Forward closed progress: 659229
Forward closed progress: 659437
Forward closed progress: 661655
Forward closed progress: 703390
Forward closed progress: 709247
Forward closed progress: 709274
Forward closed progress: 708798
Forward closed progress: 708814
Forward closed progress: 684022
Forward closed progress: 675438
Forward closed progress: 674970
Forward closed progress: 675858
Forward closed progress: 715006
Forward closed progress: 706582
Forward closed progress: 710632
Forward closed progress: 712964
Forward closed progress: 706832
Forward closed progress: 714569
Forward closed progress: 733254
Forward closed progress: 729975
Forward closed progress: 729987
Forward closed progress: 715762
Forward closed progress: 713863
Forward closed progress: 716822
Forward closed progress: 712562
Forward closed progress: 794664
Forward closed progress: 795770
Forward closed progress: 784494
Forward closed progress: 786558
Forward closed progress: 733536
Forward closed progress: 758174
Forward closed progress: 758886
Forward closed progress: 704378
Forward closed progress: 759432
Forward closed progress: 759576
Forward closed progress: 785932
Forward closed progress: 798642
Forward closed progress: 793542
Forward closed progress: 766675
Forward closed progress: 785299
Forward closed progress: 986954
Forward closed progress: 1124976
Forward closed progress: 1284340
Forward closed progress: 1303784
Forward closed progress: 1311502
Forward closed progress: 1311784
Forward closed progress: 1311870
Forward closed progress: 1303802
Forward closed progress: 1291946
Forward closed progress: 1333670
Forward closed progress: 1297341
Forward closed progress: 1232636
Forward closed progress: 1264376
Forward closed progress: 1279675
Forward closed progress: 1297507
Forward closed progress: 1297639
Forward closed progress: 1383216
Forward closed progress: 1414594
Forward closed progress: 1414506
Forward closed progress: 1470447
Forward closed progress: 1493704
Forward closed progress: 1496185
Forward closed progress: 1495642
Forward closed progress: 1499813
Forward closed progress: 1522920
Forward closed progress: 1497347
Forward closed progress: 1585035
Forward closed progress: 1584855
Forward closed progress: 1604078
Forward closed progress: 1604152
Forward closed progress: 1590164
Forward closed progress: 1587858
Forward closed progress: 1585431
Forward closed progress: 1585431
Forward closed progress: 1550621
Forward closed progress: 1548577
Forward closed progress: 1601727
Forward closed progress: 1603911
Forward closed progress: 1175005
Forward closed progress: 1195400
Forward closed progress: 1188660
Forward closed progress: 1105545
Forward closed progress: 1056110
Forward closed progress: 1036913
Forward closed progress: 850239
Forward closed progress: 857314
Forward closed progress: 803340
Forward closed progress: 941937
Forward closed progress: 1071974
Forward closed progress: 1066026
Forward closed progress: 1166386
Forward closed progress: 1152633
Forward closed progress: 1152663
Forward closed progress: 1115033
Forward closed progress: 1115035
Forward closed progress: 1189791
Forward closed progress: 1194783
Forward closed progress: 1195169
Forward closed progress: 1206375
Forward closed progress: 1213483
Forward closed progress: 1254054
Forward closed progress: 1252950
Forward closed progress: 1253035
Forward closed progress: 1307871
Forward closed progress: 1307883
Forward closed progress: 1260466
Forward closed progress: 1352961
Forward closed progress: 1435086
Forward closed progress: 1426940
Forward closed progress: 1427044
Forward closed progress: 1377766
Forward closed progress: 1348896
Forward closed progress: 1275794
Forward closed progress: 1256594
Forward closed progress: 1262895
Forward closed progress: 1263355
Forward closed progress: 1226675
Forward closed progress: 1267671
Forward closed progress: 1265727
Forward closed progress: 1279739
Forward closed progress: 1279775
Forward closed progress: 1283559
Forward closed progress: 1282779
Forward closed progress: 1198310
Forward closed progress: 1201248
Forward closed progress: 1197870
Forward closed progress: 1197854
Forward closed progress: 1196980
Forward closed progress: 1197375
Forward closed progress: 1197431
Forward closed progress: 1197465
Forward closed progress: 1196977
Forward closed progress: 1198237
Forward closed progress: 1198237
Forward closed progress: 1194560
Forward closed progress: 1285377
Forward closed progress: 1267610
Forward closed progress: 1266530
Forward closed progress: 1261578
Forward closed progress: 1298926
Forward closed progress: 1319444
Forward closed progress: 1305138
Forward closed progress: 1305137
Forward closed progress: 1312210
Forward closed progress: 1309887
Forward closed progress: 1308000
Forward closed progress: 1306575
Forward closed progress: 1305607
Forward closed progress: 1230946
Forward closed progress: 1141904
Forward closed progress: 1120136
Forward closed progress: 1026474
Forward closed progress: 967637
Forward closed progress: 949160
Forward closed progress: 949223
Forward closed progress: 938599
Forward closed progress: 931147
Forward closed progress: 913668
Forward closed progress: 911967
Forward closed progress: 914182
Forward closed progress: 911859
Forward closed progress: 913021
Forward closed progress: 915425
Forward closed progress: 915677
Forward closed progress: 907076
Forward closed progress: 908672
Forward closed progress: 908364
Forward closed progress: 905966
Forward closed progress: 901308
Forward closed progress: 901230
Forward closed progress: 895852
Forward closed progress: 797796
Forward closed progress: 1035436
Forward closed progress: 1042437
Forward closed progress: 1262271
Forward closed progress: 1514957
Forward closed progress: 1729656
Forward closed progress: 1723875
Forward closed progress: 1723957
Forward closed progress: 1694083
Forward closed progress: 1720502
Forward closed progress: 1916730
Forward closed progress: 1930882
Forward closed progress: 1930762
Forward closed progress: 1969012
Forward closed progress: 1989181
Forward closed progress: 2110859
Forward closed progress: 2222064
Forward closed progress: 2222102
Forward closed progress: 2122229
Forward closed progress: 2341952
Forward closed progress: 2584272
Forward closed progress: 2586433
Forward closed progress: 2586803
Forward closed progress: 2539076
Forward closed progress: 2516773
Forward closed progress: 2546106
Forward closed progress: 2489486
Forward closed progress: 2522932
Forward closed progress: 2528928
Forward closed progress: 2458962
Forward closed progress: 2262237
Forward closed progress: 2258214
Forward closed progress: 2316922
Forward closed progress: 2309595
Forward closed progress: 2339283
Forward closed progress: 2339347
Forward closed progress: 2351515
Forward closed progress: 2351875
Forward closed progress: 2176120
Forward closed progress: 2312962
Forward closed progress: 2203546
Forward closed progress: 1947830
Forward closed progress: 1952041
Forward closed progress: 2004942
Forward closed progress: 2044527
Forward closed progress: 2043929
Forward closed progress: 2043947
Forward closed progress: 2035787
Forward closed progress: 2042149
Forward closed progress: 2081157
Forward closed progress: 2082950
Forward closed progress: 2092636
Forward closed progress: 2114436
Forward closed progress: 2148961
Forward closed progress: 2148977
Forward closed progress: 2123738
Forward closed progress: 2157908
Forward closed progress: 2162255
Forward closed progress: 2162696
Forward closed progress: 2162740
Forward closed progress: 2145212
Forward closed progress: 2141851
Forward closed progress: 2136842
Forward closed progress: 2123771
Forward closed progress: 2102460
Forward closed progress: 2131003
Forward closed progress: 2131555
Forward closed progress: 2141066
Forward closed progress: 2141100
Forward closed progress: 2157552
Forward closed progress: 2139120
Forward closed progress: 2083479
Forward closed progress: 2067850
Forward closed progress: 2171394
Forward closed progress: 2136369
Forward closed progress: 2134513
Forward closed progress: 2118625
Forward closed progress: 2154853
Forward closed progress: 2105623
Forward closed progress: 1966772
Forward closed progress: 1762276
Forward closed progress: 1693831
Forward closed progress: 1725576
Forward closed progress: 1699545
Forward closed progress: 1701310
Forward closed progress: 1696806
Forward closed progress: 1697016
Forward closed progress: 1697076
Forward closed progress: 1691322
Forward closed progress: 1671671
Forward closed progress: 1674852
Forward closed progress: 1661172
Forward closed progress: 1645709
Forward closed progress: 1623897
Forward closed progress: 1626347
Forward closed progress: 1627841
Forward closed progress: 1632159
Forward closed progress: 1631599
Forward closed progress: 1642169
Forward closed progress: 1645746
Forward closed progress: 1645626
Forward closed progress: 1646117
Forward closed progress: 1646101
Forward closed progress: 1646911
Forward closed progress: 1646691
Forward closed progress: 1647554
Forward closed progress: 1648748
Forward closed progress: 1653530
Forward closed progress: 1648514
Forward closed progress: 1655610
Forward closed progress: 1641791
Forward closed progress: 1656559
Forward closed progress: 1651258
Forward closed progress: 1655307
Forward closed progress: 1655367
Forward closed progress: 1652484
Forward closed progress: 1651871
Forward closed progress: 1651175
Forward closed progress: 1651064
Forward closed progress: 1649228
Forward closed progress: 1646812
Forward closed progress: 1639745
Forward closed progress: 1587179
Forward closed progress: 1575939
Forward closed progress: 1347838
Forward closed progress: 1293174
Forward closed progress: 1264750
Forward closed progress: 1403581
Forward closed progress: 1382059
Forward closed progress: 1504065
Forward closed progress: 1495348
Forward closed progress: 1495394
Forward closed progress: 1463240
Forward closed progress: 1472621
Forward closed progress: 1545971
Forward closed progress: 1552169
Forward closed progress: 1556171
Forward closed progress: 1568742
Forward closed progress: 1576190
Forward closed progress: 1629210
Forward closed progress: 1687793
Forward closed progress: 1687821
Forward closed progress: 1640199
Forward closed progress: 1756086
Forward closed progress: 1868148
Forward closed progress: 1863018
Forward closed progress: 1863174
Forward closed progress: 1822259
Forward closed progress: 1800442
Forward closed progress: 1761036
Forward closed progress: 1741451
Forward closed progress: 1740877
Forward closed progress: 1741609
Forward closed progress: 1702901
Forward closed progress: 1775519
Forward closed progress: 1775283
Forward closed progress: 1790969
Forward closed progress: 1791005
Forward closed progress: 1795996
Forward closed progress: 1796194
Forward closed progress: 1712693
Forward closed progress: 1721296
Forward closed progress: 1712253
Forward closed progress: 1706067
Forward closed progress: 1794597
Forward closed progress: 1794301
Forward closed progress: 1793221
Forward closed progress: 1788269
Forward closed progress: 1830429
Forward closed progress: 1790272
Forward closed progress: 1717259
Forward closed progress: 1592193
Forward closed progress: 1548998
Forward closed progress: 1549734
Forward closed progress: 1504018
Forward closed progress: 1495203
Forward closed progress: 1492570
Forward closed progress: 1487092
Forward closed progress: 1476220
Forward closed progress: 1473005
Forward closed progress: 1474885
Forward closed progress: 1472897
Forward closed progress: 1363221
Forward closed progress: 1320314
Forward closed progress: 1335762
Forward closed progress: 1356368
Forward closed progress: 1341227
Forward closed progress: 1378535
Forward closed progress: 1372527
Forward closed progress: 1365447
Forward closed progress: 1369293
Forward closed progress: 1359720
Forward closed progress: 1333687
Forward closed progress: 2011919
Forward closed progress: 2014439
Forward closed progress: 2157330
Forward closed progress: 2767414
Forward closed progress: 3246129
Forward closed progress: 3370521
Forward closed progress: 3370015
Forward closed progress: 3317476
Forward closed progress: 3317538
Forward closed progress: 3244589
Forward closed progress: 3256629
Forward closed progress: 3248828
Forward closed progress: 3261683
Forward closed progress: 3247250
Forward closed progress: 3248369
Forward closed progress: 3241883
Forward closed progress: 3267979
Forward closed progress: 3249070
Forward closed progress: 3257445
Forward closed progress: 3556167
Forward closed progress: 3547127
Forward closed progress: 3494948
Forward closed progress: 3567360
Forward closed progress: 3584637
Forward closed progress: 3565242
Forward closed progress: 3565268
Forward closed progress: 3537461
Forward closed progress: 3505684
Forward closed progress: 3452329
Forward closed progress: 3447936
Forward closed progress: 3496291
Forward closed progress: 3512390
Forward closed progress: 3507961
Forward closed progress: 3507987
Forward closed progress: 3484520
Forward closed progress: 3469496
Forward closed progress: 3618087
Forward closed progress: 3629313
Forward closed progress: 3650975
Forward closed progress: 3682391
Forward closed progress: 3682451
Forward closed progress: 3767249
Forward closed progress: 3791775
Forward closed progress: 3926734
Forward closed progress: 3926820
Forward closed progress: 3810134
Forward closed progress: 3812930
Forward closed progress: 3735565
Forward closed progress: 3727310
Forward closed progress: 3724352
Forward closed progress: 3638688
Forward closed progress: 3718192
Forward closed progress: 3714018
Forward closed progress: 3744168
Forward closed progress: 3744246
Forward closed progress: 3779755
Forward closed progress: 3773331
Forward closed progress: 3574193
Forward closed progress: 3590753
Forward closed progress: 3590573
Forward closed progress: 3621494
Forward closed progress: 3612582
Forward closed progress: 3612727
Forward closed progress: 3621327
Forward closed progress: 3615215
Forward closed progress: 3615271
Forward closed progress: 3615287
Forward closed progress: 3621945
Forward closed progress: 3624144
Forward closed progress: 3632992
Forward closed progress: 3633006
Forward closed progress: 3663044
Forward closed progress: 3685131
Forward closed progress: 3685103
Forward closed progress: 3673112
Forward closed progress: 3666187
Forward closed progress: 3673647
Forward closed progress: 3673975
Forward closed progress: 3677975
Forward closed progress: 3677987
Forward closed progress: 3674155
Forward closed progress: 3674155
Forward closed progress: 3671699
Forward closed progress: 3669109
Forward closed progress: 3830831
Forward closed progress: 3830753
Forward closed progress: 3787135
Forward closed progress: 3785203
Forward closed progress: 3785083
Forward closed progress: 3730927
Forward closed progress: 3769167
Forward closed progress: 3764639
Forward closed progress: 3752235
Forward closed progress: 3751367
Forward closed progress: 3750591
Forward closed progress: 3750347
Forward closed progress: 3749991
Forward closed progress: 3745687
Forward closed progress: 3626216
Forward closed progress: 3638620
Forward closed progress: 3638536
Forward closed progress: 3622344
Forward closed progress: 3627916
Forward closed progress: 3627928
Forward closed progress: 3621534
Forward closed progress: 3618654
Forward closed progress: 3410331
Forward closed progress: 3455219
Forward closed progress: 3426845
Forward closed progress: 3392880
Forward closed progress: 3265849
Forward closed progress: 3040658
Forward closed progress: 3098365
Forward closed progress: 2808762
Forward closed progress: 2807333
Forward closed progress: 2807928
Forward closed progress: 2807237
Forward closed progress: 2807464
Forward closed progress: 2489011
Forward closed progress: 2487720
Forward closed progress: 2476660
Forward closed progress: 2433173
Forward closed progress: 2413921
Forward closed progress: 2414675
Forward closed progress: 2399624
Forward closed progress: 2395532
Forward closed progress: 2407452
Forward closed progress: 2406106
Forward closed progress: 2406010
Forward closed progress: 2401460
Forward closed progress: 2395556
Forward closed progress: 2389875
Forward closed progress: 2385669
Forward closed progress: 2330418
Forward closed progress: 2325680
Forward closed progress: 2326282
Forward closed progress: 2325720
Forward closed progress: 2330632
Forward closed progress: 2330000
Forward closed progress: 2328596
Forward closed progress: 2328452
Forward closed progress: 2325840
Forward closed progress: 2324878
Forward closed progress: 2328922
Forward closed progress: 2331507
Forward closed progress: 2341773
Forward closed progress: 2343741
Forward closed progress: 2343741
Forward closed progress: 2339057
Forward closed progress: 2339057
Control exists for 6 color(s), jumping through 71143784448 vertices.
Elapsed: 9876618 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 9876.618
user ??
sys ??
