>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 54
Perturbation colors: 9007199254740992
All colors: 486388759756013600
Unknown update functions: 3
Lowest cardinality: 1
Highest cardinality: 2
Attractor colors: 180143985094819840
Attractor colors computed in 792 ms.
Backward progress: 103376
Backward progress: 106496
Backward progress: 108245
Backward progress: 108178
Backward progress: 108620
Backward progress: 108858
Backward progress: 109105
Backward progress: 107723
Backward progress: 108602
Backward progress: 109920
Backward progress: 109664
Backward progress: 108919
Backward progress: 110678
Backward progress: 107459
Backward progress: 114130
Backward progress: 112245
Backward progress: 116024
Backward progress: 116038
Backward progress: 113463
Backward progress: 113456
Backward progress: 112355
Backward progress: 109494
Backward progress: 109250
Backward progress: 108027
Backward progress: 112164
Backward progress: 105163
Backward progress: 114197
Backward progress: 114211
Backward progress: 107693
Backward progress: 107638
Backward progress: 105538
Backward progress: 100054
Backward progress: 131713
Backward progress: 132270
Backward progress: 153093
Backward progress: 153324
Backward progress: 153350
Backward progress: 153628
Backward progress: 153808
Backward progress: 153972
Backward progress: 167272
Backward progress: 169605
Backward progress: 174554
Backward progress: 168783
Backward progress: 168716
Backward progress: 169357
Backward progress: 177581
Backward progress: 178021
Backward progress: 176748
Backward progress: 186075
Backward progress: 192147
Backward progress: 190674
Backward progress: 176933
Backward progress: 179760
Backward progress: 175659
Backward progress: 237324
Backward progress: 237604
Backward progress: 247183
Backward progress: 242585
Backward progress: 242051
Backward progress: 243325
Backward progress: 257509
Backward progress: 253722
Backward progress: 261754
Backward progress: 261780
Backward progress: 256725
Backward progress: 256697
Backward progress: 253916
Backward progress: 248187
Backward progress: 264650
Backward progress: 264074
Backward progress: 269194
Backward progress: 285392
Backward progress: 297704
Backward progress: 297716
Backward progress: 297732
Backward progress: 297900
Backward progress: 295692
Backward progress: 295614
Backward progress: 306461
Backward progress: 306467
Backward progress: 307347
Backward progress: 300671
Backward progress: 300683
Backward progress: 300969
Backward progress: 297352
Backward progress: 294686
Backward progress: 293007
Backward progress: 329155
Backward progress: 332475
Backward progress: 332183
Backward progress: 338489
Backward progress: 338782
Backward progress: 338607
Backward progress: 339071
Backward progress: 339209
Backward progress: 339414
Backward progress: 351723
Backward progress: 351660
Backward progress: 353726
Backward progress: 346604
Backward progress: 346233
Backward progress: 346282
Backward progress: 346616
Backward progress: 346876
Backward progress: 326554
Backward progress: 325880
Backward progress: 325790
Backward progress: 325346
Backward progress: 326426
Backward progress: 321550
Backward progress: 326996
Backward progress: 317192
Backward progress: 320671
Backward progress: 320691
Backward progress: 318636
Backward progress: 318608
Backward progress: 317199
Backward progress: 314462
Backward progress: 312701
Backward progress: 301811
Backward progress: 301524
Backward progress: 301451
Backward progress: 301157
Backward progress: 299205
Backward progress: 298715
Backward progress: 297854
Backward progress: 299351
Backward progress: 298643
Backward progress: 296854
Backward progress: 295369
Backward progress: 293676
Backward progress: 293677
Backward progress: 293104
Backward progress: 350397
Backward progress: 358447
Backward progress: 343611
Backward progress: 374270
Backward progress: 374296
Backward progress: 354625
Backward progress: 354512
Backward progress: 345101
Backward progress: 330647
Backward progress: 330469
Backward progress: 327957
Backward progress: 323534
Backward progress: 320940
Backward progress: 290869
Backward progress: 370404
Backward progress: 399949
Backward progress: 403633
Backward progress: 406497
Backward progress: 414662
Backward progress: 414811
Backward progress: 414817
Backward progress: 415103
Backward progress: 412277
Backward progress: 413679
Backward progress: 412295
Backward progress: 412449
Backward progress: 412732
Backward progress: 430615
Backward progress: 430633
Backward progress: 434085
Backward progress: 422706
Backward progress: 422589
Backward progress: 423360
Backward progress: 423288
Backward progress: 423497
Backward progress: 419681
Backward progress: 419633
Backward progress: 419936
Backward progress: 421124
Backward progress: 414611
Backward progress: 425047
Backward progress: 409566
Backward progress: 409412
Backward progress: 408344
Backward progress: 407752
Backward progress: 407632
Backward progress: 415540
Backward progress: 412775
Backward progress: 417746
Backward progress: 417766
Backward progress: 414802
Backward progress: 414774
Backward progress: 412879
Backward progress: 408850
Backward progress: 410772
Backward progress: 409587
Backward progress: 406705
Backward progress: 411104
Backward progress: 408927
Backward progress: 409152
Backward progress: 410499
Backward progress: 410336
Backward progress: 410083
Backward progress: 409067
Backward progress: 401608
Backward progress: 399262
Backward progress: 399742
Backward progress: 398305
Backward progress: 397705
Backward progress: 394182
Backward progress: 402630
Backward progress: 399295
Backward progress: 392972
Backward progress: 388632
Backward progress: 384153
Backward progress: 383829
Backward progress: 383495
Backward progress: 381166
Backward progress: 389784
Backward progress: 359065
Backward progress: 359261
Backward progress: 359376
Backward progress: 359612
Backward progress: 359620
Backward progress: 359584
Backward progress: 359440
Backward progress: 360559
Backward progress: 360471
Backward progress: 357846
Backward progress: 357552
Backward progress: 357060
Backward progress: 357140
Backward progress: 356920
Backward progress: 357034
Backward progress: 356750
Backward progress: 355848
Backward progress: 307608
Backward progress: 307608
Backward progress: 190096
Backward progress: 233517
Backward progress: 238529
Backward progress: 231625
Backward progress: 279962
Backward progress: 280237
Backward progress: 279935
Backward progress: 281307
Backward progress: 281719
Backward progress: 282119
Backward progress: 318189
Backward progress: 320702
Backward progress: 330953
Backward progress: 308283
Backward progress: 308116
Backward progress: 309289
Backward progress: 311056
Backward progress: 311405
Backward progress: 301776
Backward progress: 302727
Backward progress: 306796
Backward progress: 305043
Backward progress: 301940
Backward progress: 305554
Backward progress: 298456
Backward progress: 320457
Backward progress: 314343
Backward progress: 325516
Backward progress: 325530
Backward progress: 318355
Backward progress: 318348
Backward progress: 314587
Backward progress: 305653
Backward progress: 299303
Backward progress: 293648
Backward progress: 291712
Backward progress: 344555
Backward progress: 349621
Backward progress: 327706
Backward progress: 357012
Backward progress: 357026
Backward progress: 337407
Backward progress: 337346
Backward progress: 328956
Backward progress: 311250
Backward progress: 309078
Backward progress: 308056
Backward progress: 302984
Backward progress: 299024
Backward progress: 267566
Backward progress: 260835
Backward progress: 248673
Backward progress: 242748
Backward progress: 242181
Backward progress: 244775
Backward progress: 235305
Backward progress: 236381
Backward progress: 236418
Backward progress: 237014
Backward progress: 237014
Backward progress: 237122
Backward progress: 237869
Backward progress: 237871
Backward progress: 237651
Backward progress: 237199
Backward progress: 237363
Backward progress: 237388
Backward progress: 237589
Backward progress: 237591
Backward progress: 237582
Backward progress: 237414
Backward progress: 237929
Backward progress: 237977
Backward progress: 237493
Backward progress: 237493
Backward progress: 151130
Backward progress: 150876
Backward progress: 161467
Backward progress: 161467
Backward progress: 150365
Backward progress: 150924
Backward progress: 145349
Backward progress: 214843
Backward progress: 218989
Backward progress: 219811
Backward progress: 221166
Backward progress: 221432
Backward progress: 225635
Backward progress: 225663
Backward progress: 222003
Backward progress: 220179
Backward progress: 220265
Backward progress: 220819
Backward progress: 220831
Backward progress: 217607
Backward progress: 217607
Forward closed progress: 217608
Forward closed progress: 217611
Forward closed progress: 369789
Forward closed progress: 217620
Forward closed progress: 217630
Forward closed progress: 217518
Forward closed progress: 217630
Forward closed progress: 202184
Forward closed progress: 202225
Forward closed progress: 202738
Forward closed progress: 202834
Forward closed progress: 202312
Forward closed progress: 187076
Forward closed progress: 187008
Forward closed progress: 188501
Forward closed progress: 188591
Forward closed progress: 187225
Forward closed progress: 187305
Forward closed progress: 188473
Forward closed progress: 206335
Forward closed progress: 187659
Forward closed progress: 187687
Forward closed progress: 190954
Forward closed progress: 238848
Forward closed progress: 238808
Forward closed progress: 238808
Forward closed progress: 238808
Forward closed progress: 188109
Forward closed progress: 192008
Forward closed progress: 191997
Forward closed progress: 256100
Forward closed progress: 256100
Forward closed progress: 256100
Forward closed progress: 188753
Forward closed progress: 197197
Forward closed progress: 200518
Forward closed progress: 202538
Forward closed progress: 208202
Forward closed progress: 231352
Forward closed progress: 246770
Forward closed progress: 281390
Forward closed progress: 281540
Forward closed progress: 281560
Forward closed progress: 255666
Forward closed progress: 211672
Forward closed progress: 273394
Forward closed progress: 259850
Forward closed progress: 263266
Forward closed progress: 301115
Forward closed progress: 402226
Forward closed progress: 402442
Forward closed progress: 402478
Forward closed progress: 331048
Forward closed progress: 207228
Forward closed progress: 277056
Forward closed progress: 250873
Forward closed progress: 235800
Forward closed progress: 235822
Forward closed progress: 249880
Forward closed progress: 280356
Forward closed progress: 280506
Forward closed progress: 280526
Forward closed progress: 256728
Forward closed progress: 211112
Forward closed progress: 363605
Forward closed progress: 366941
Forward closed progress: 376213
Forward closed progress: 354109
Forward closed progress: 222714
Forward closed progress: 296109
Forward closed progress: 382239
Forward closed progress: 472096
Forward closed progress: 472445
Forward closed progress: 472503
Forward closed progress: 411244
Forward closed progress: 331465
Forward closed progress: 330190
Forward closed progress: 333781
Forward closed progress: 355938
Forward closed progress: 323146
Forward closed progress: 225922
Forward closed progress: 293552
Forward closed progress: 293628
Forward closed progress: 228010
Forward closed progress: 426862
Forward closed progress: 678348
Forward closed progress: 889733
Forward closed progress: 1020004
Forward closed progress: 1020612
Forward closed progress: 1020694
Forward closed progress: 910164
Forward closed progress: 915097
Forward closed progress: 915321
Forward closed progress: 779075
Forward closed progress: 914124
Forward closed progress: 799162
Forward closed progress: 760406
Forward closed progress: 738222
Forward closed progress: 745638
Forward closed progress: 745686
Forward closed progress: 745698
Forward closed progress: 699272
Forward closed progress: 778482
Forward closed progress: 790569
Forward closed progress: 897310
Forward closed progress: 862652
Forward closed progress: 644138
Forward closed progress: 644726
Forward closed progress: 644822
Forward closed progress: 522848
Forward closed progress: 710681
Forward closed progress: 812182
Forward closed progress: 813213
Forward closed progress: 787376
Forward closed progress: 787548
Forward closed progress: 751116
Forward closed progress: 706946
Forward closed progress: 707702
Forward closed progress: 515087
Forward closed progress: 518999
Forward closed progress: 526971
Forward closed progress: 538251
Forward closed progress: 565169
Forward closed progress: 565417
Forward closed progress: 577073
Forward closed progress: 556043
Forward closed progress: 331144
Forward closed progress: 440740
Forward closed progress: 574876
Forward closed progress: 565090
Forward closed progress: 566316
Forward closed progress: 569812
Forward closed progress: 684171
Forward closed progress: 687600
Forward closed progress: 761064
Forward closed progress: 749830
Forward closed progress: 749868
Forward closed progress: 696393
Forward closed progress: 694697
Forward closed progress: 691194
Forward closed progress: 691192
Forward closed progress: 690852
Forward closed progress: 690404
Forward closed progress: 727347
Forward closed progress: 728202
Forward closed progress: 728188
Forward closed progress: 728398
Forward closed progress: 728450
Forward closed progress: 709813
Forward closed progress: 705782
Forward closed progress: 735697
Forward closed progress: 735705
Forward closed progress: 753750
Forward closed progress: 751702
Forward closed progress: 748288
Forward closed progress: 739774
Forward closed progress: 817382
Forward closed progress: 817414
Forward closed progress: 747210
Forward closed progress: 749511
Forward closed progress: 796893
Forward closed progress: 782212
Forward closed progress: 782250
Forward closed progress: 663582
Forward closed progress: 642257
Forward closed progress: 617196
Forward closed progress: 593653
Forward closed progress: 588823
Forward closed progress: 524009
Forward closed progress: 504335
Forward closed progress: 504689
Forward closed progress: 512745
Forward closed progress: 512809
Forward closed progress: 504455
Forward closed progress: 530243
Forward closed progress: 502577
Forward closed progress: 421189
Forward closed progress: 352223
Forward closed progress: 570475
Forward closed progress: 595079
Forward closed progress: 621423
Forward closed progress: 620868
Forward closed progress: 683137
Forward closed progress: 611245
Forward closed progress: 540104
Forward closed progress: 496982
Forward closed progress: 495438
Forward closed progress: 492423
Forward closed progress: 513079
Forward closed progress: 514736
Forward closed progress: 519352
Forward closed progress: 554385
Forward closed progress: 572227
Forward closed progress: 569279
Forward closed progress: 569299
Forward closed progress: 545368
Forward closed progress: 566398
Forward closed progress: 568339
Forward closed progress: 569729
Forward closed progress: 566508
Forward closed progress: 614142
Forward closed progress: 620571
Forward closed progress: 620582
Forward closed progress: 619610
Forward closed progress: 619626
Forward closed progress: 597725
Forward closed progress: 586561
Forward closed progress: 586251
Forward closed progress: 588042
Forward closed progress: 651011
Forward closed progress: 642289
Forward closed progress: 649902
Forward closed progress: 651686
Forward closed progress: 649382
Forward closed progress: 660104
Forward closed progress: 685138
Forward closed progress: 674788
Forward closed progress: 674800
Forward closed progress: 648888
Forward closed progress: 647265
Forward closed progress: 658919
Forward closed progress: 648339
Forward closed progress: 698305
Forward closed progress: 722396
Forward closed progress: 712369
Forward closed progress: 716123
Forward closed progress: 670621
Forward closed progress: 684806
Forward closed progress: 685298
Forward closed progress: 628969
Forward closed progress: 694037
Forward closed progress: 694037
Forward closed progress: 728411
Forward closed progress: 744655
Forward closed progress: 744371
Forward closed progress: 722892
Forward closed progress: 734747
Forward closed progress: 895908
Forward closed progress: 1053399
Forward closed progress: 1223162
Forward closed progress: 1221945
Forward closed progress: 1202455
Forward closed progress: 1202850
Forward closed progress: 1202922
Forward closed progress: 1190018
Forward closed progress: 1174752
Forward closed progress: 1213685
Forward closed progress: 1185863
Forward closed progress: 1140957
Forward closed progress: 1168549
Forward closed progress: 1174884
Forward closed progress: 1186048
Forward closed progress: 1186108
Forward closed progress: 1353494
Forward closed progress: 1365955
Forward closed progress: 1365814
Forward closed progress: 1420993
Forward closed progress: 1454899
Forward closed progress: 1457387
Forward closed progress: 1456713
Forward closed progress: 1459466
Forward closed progress: 1474579
Forward closed progress: 1457756
Forward closed progress: 1478524
Forward closed progress: 1477751
Forward closed progress: 1491455
Forward closed progress: 1491521
Forward closed progress: 1481255
Forward closed progress: 1481129
Forward closed progress: 1478063
Forward closed progress: 1478063
Forward closed progress: 1449181
Forward closed progress: 1460799
Forward closed progress: 1538440
Forward closed progress: 1540093
Forward closed progress: 1157690
Forward closed progress: 1195932
Forward closed progress: 1187758
Forward closed progress: 1109368
Forward closed progress: 1135746
Forward closed progress: 1045621
Forward closed progress: 784446
Forward closed progress: 790857
Forward closed progress: 757528
Forward closed progress: 864964
Forward closed progress: 972689
Forward closed progress: 965957
Forward closed progress: 1034166
Forward closed progress: 1021860
Forward closed progress: 1021886
Forward closed progress: 985195
Forward closed progress: 984733
Forward closed progress: 1062471
Forward closed progress: 1064439
Forward closed progress: 1070745
Forward closed progress: 1078309
Forward closed progress: 1093181
Forward closed progress: 1208739
Forward closed progress: 1207623
Forward closed progress: 1207714
Forward closed progress: 1248439
Forward closed progress: 1248455
Forward closed progress: 1214474
Forward closed progress: 1324206
Forward closed progress: 1486508
Forward closed progress: 1469306
Forward closed progress: 1469398
Forward closed progress: 1369815
Forward closed progress: 1354583
Forward closed progress: 1309665
Forward closed progress: 1284467
Forward closed progress: 1296185
Forward closed progress: 1301199
Forward closed progress: 1258057
Forward closed progress: 1264454
Forward closed progress: 1260242
Forward closed progress: 1276076
Forward closed progress: 1276164
Forward closed progress: 1266064
Forward closed progress: 1285760
Forward closed progress: 1280989
Forward closed progress: 1120232
Forward closed progress: 1124640
Forward closed progress: 1120168
Forward closed progress: 1120088
Forward closed progress: 1119788
Forward closed progress: 1122488
Forward closed progress: 1121722
Forward closed progress: 1122385
Forward closed progress: 1122545
Forward closed progress: 1122579
Forward closed progress: 1122164
Forward closed progress: 1123076
Forward closed progress: 1123544
Forward closed progress: 1120640
Forward closed progress: 1212577
Forward closed progress: 1198478
Forward closed progress: 1197214
Forward closed progress: 1192686
Forward closed progress: 1242214
Forward closed progress: 1269841
Forward closed progress: 1258254
Forward closed progress: 1258253
Forward closed progress: 1263329
Forward closed progress: 1261341
Forward closed progress: 1260978
Forward closed progress: 1258846
Forward closed progress: 1258658
Forward closed progress: 1210503
Forward closed progress: 1131663
Forward closed progress: 1093703
Forward closed progress: 996434
Forward closed progress: 946893
Forward closed progress: 924670
Forward closed progress: 924745
Forward closed progress: 913694
Forward closed progress: 907414
Forward closed progress: 895995
Forward closed progress: 892346
Forward closed progress: 893365
Forward closed progress: 892220
Forward closed progress: 893941
Forward closed progress: 898287
Forward closed progress: 898559
Forward closed progress: 881914
Forward closed progress: 886269
Forward closed progress: 885663
Forward closed progress: 881509
Forward closed progress: 879102
Forward closed progress: 877713
Forward closed progress: 868260
Forward closed progress: 752671
Forward closed progress: 956987
Forward closed progress: 973951
Forward closed progress: 1231792
Forward closed progress: 1478187
Forward closed progress: 1669002
Forward closed progress: 1664331
Forward closed progress: 1664403
Forward closed progress: 1630612
Forward closed progress: 1648115
Forward closed progress: 1903779
Forward closed progress: 1911665
Forward closed progress: 1920007
Forward closed progress: 1946241
Forward closed progress: 1975719
Forward closed progress: 2275340
Forward closed progress: 2359264
Forward closed progress: 2359300
Forward closed progress: 2286884
Forward closed progress: 2580049
Forward closed progress: 2901743
Forward closed progress: 2900796
Forward closed progress: 2901128
Forward closed progress: 2799816
Forward closed progress: 2783136
Forward closed progress: 2872384
Forward closed progress: 2764913
Forward closed progress: 2813753
Forward closed progress: 2830871
Forward closed progress: 2744809
Forward closed progress: 2411243
Forward closed progress: 2406722
Forward closed progress: 2393462
Forward closed progress: 2378837
Forward closed progress: 2398841
Forward closed progress: 2399121
Forward closed progress: 2381445
Forward closed progress: 2429773
Forward closed progress: 2426973
Forward closed progress: 2070181
Forward closed progress: 2250989
Forward closed progress: 2108348
Forward closed progress: 2108164
Forward closed progress: 2107704
Forward closed progress: 1908770
Forward closed progress: 1912170
Forward closed progress: 1970308
Forward closed progress: 1995983
Forward closed progress: 1995360
Forward closed progress: 1995382
Forward closed progress: 1988260
Forward closed progress: 1992740
Forward closed progress: 2026073
Forward closed progress: 2026849
Forward closed progress: 2032672
Forward closed progress: 2096038
Forward closed progress: 2120164
Forward closed progress: 2120186
Forward closed progress: 2102128
Forward closed progress: 2143644
Forward closed progress: 2180699
Forward closed progress: 2181073
Forward closed progress: 2181131
Forward closed progress: 2145953
Forward closed progress: 2158403
Forward closed progress: 2156346
Forward closed progress: 2140351
Forward closed progress: 2114692
Forward closed progress: 2112346
Forward closed progress: 2111544
Forward closed progress: 2120503
Forward closed progress: 2120615
Forward closed progress: 2110779
Forward closed progress: 2125433
Forward closed progress: 2108961
Forward closed progress: 2047092
Forward closed progress: 2031569
Forward closed progress: 2186489
Forward closed progress: 2154714
Forward closed progress: 2152544
Forward closed progress: 2139850
Forward closed progress: 2197898
Forward closed progress: 2162360
Forward closed progress: 1986680
Forward closed progress: 1795901
Forward closed progress: 1691322
Forward closed progress: 1718622
Forward closed progress: 1703137
Forward closed progress: 1701992
Forward closed progress: 1689596
Forward closed progress: 1690054
Forward closed progress: 1690158
Forward closed progress: 1686542
Forward closed progress: 1656789
Forward closed progress: 1661139
Forward closed progress: 1649676
Forward closed progress: 1641644
Forward closed progress: 1614147
Forward closed progress: 1615811
Forward closed progress: 1616025
Forward closed progress: 1619657
Forward closed progress: 1619089
Forward closed progress: 1642496
Forward closed progress: 1642165
Forward closed progress: 1641797
Forward closed progress: 1647233
Forward closed progress: 1647085
Forward closed progress: 1648207
Forward closed progress: 1647865
Forward closed progress: 1652302
Forward closed progress: 1653490
Forward closed progress: 1659552
Forward closed progress: 1653220
Forward closed progress: 1658288
Forward closed progress: 1649042
Forward closed progress: 1663498
Forward closed progress: 1653933
Forward closed progress: 1658739
Forward closed progress: 1658843
Forward closed progress: 1654770
Forward closed progress: 1654690
Forward closed progress: 1653826
Forward closed progress: 1653590
Forward closed progress: 1653658
Forward closed progress: 1648160
Forward closed progress: 1640788
Forward closed progress: 1571600
Forward closed progress: 1563772
Forward closed progress: 1282878
Forward closed progress: 1249238
Forward closed progress: 1178162
Forward closed progress: 1290663
Forward closed progress: 1278309
Forward closed progress: 1356328
Forward closed progress: 1349482
Forward closed progress: 1349528
Forward closed progress: 1315024
Forward closed progress: 1319822
Forward closed progress: 1399869
Forward closed progress: 1403549
Forward closed progress: 1409741
Forward closed progress: 1418682
Forward closed progress: 1434356
Forward closed progress: 1562702
Forward closed progress: 1605973
Forward closed progress: 1606009
Forward closed progress: 1571153
Forward closed progress: 1705102
Forward closed progress: 1881275
Forward closed progress: 1871888
Forward closed progress: 1872068
Forward closed progress: 1787435
Forward closed progress: 1781432
Forward closed progress: 1769021
Forward closed progress: 1743258
Forward closed progress: 1747465
Forward closed progress: 1752653
Forward closed progress: 1707831
Forward closed progress: 1734856
Forward closed progress: 1732180
Forward closed progress: 1750131
Forward closed progress: 1750371
Forward closed progress: 1740271
Forward closed progress: 1760936
Forward closed progress: 1757529
Forward closed progress: 1595452
Forward closed progress: 1605910
Forward closed progress: 1595408
Forward closed progress: 1595328
Forward closed progress: 1595028
Forward closed progress: 1589793
Forward closed progress: 1687430
Forward closed progress: 1687026
Forward closed progress: 1685794
Forward closed progress: 1681522
Forward closed progress: 1739315
Forward closed progress: 1726464
Forward closed progress: 1674148
Forward closed progress: 1566818
Forward closed progress: 1510309
Forward closed progress: 1499689
Forward closed progress: 1461085
Forward closed progress: 1453470
Forward closed progress: 1450423
Forward closed progress: 1445806
Forward closed progress: 1439873
Forward closed progress: 1434639
Forward closed progress: 1438889
Forward closed progress: 1434513
Forward closed progress: 1292525
Forward closed progress: 1267300
Forward closed progress: 1279695
Forward closed progress: 1303903
Forward closed progress: 1302392
Forward closed progress: 1340464
Forward closed progress: 1340100
Forward closed progress: 1335816
Forward closed progress: 1340904
Forward closed progress: 1332652
Forward closed progress: 1313964
Forward closed progress: 2008463
Forward closed progress: 2009863
Forward closed progress: 2086556
Forward closed progress: 2621003
Forward closed progress: 2995416
Forward closed progress: 3085793
Forward closed progress: 3085105
Forward closed progress: 3047631
Forward closed progress: 3047679
Forward closed progress: 2992852
Forward closed progress: 3000133
Forward closed progress: 2996421
Forward closed progress: 3017069
Forward closed progress: 2991847
Forward closed progress: 2994073
Forward closed progress: 2988711
Forward closed progress: 3015232
Forward closed progress: 2995229
Forward closed progress: 3004990
Forward closed progress: 3293472
Forward closed progress: 3366150
Forward closed progress: 3348902
Forward closed progress: 3400419
Forward closed progress: 3423339
Forward closed progress: 3415433
Forward closed progress: 3413932
Forward closed progress: 3392494
Forward closed progress: 3392514
Forward closed progress: 3363128
Forward closed progress: 3322401
Forward closed progress: 3269787
Forward closed progress: 3263549
Forward closed progress: 3314078
Forward closed progress: 3328960
Forward closed progress: 3323203
Forward closed progress: 3323223
Forward closed progress: 3301110
Forward closed progress: 3285496
Forward closed progress: 3417038
Forward closed progress: 3418520
Forward closed progress: 3431036
Forward closed progress: 3448051
Forward closed progress: 3448085
Forward closed progress: 3657067
Forward closed progress: 3704725
Forward closed progress: 3790575
Forward closed progress: 3790655
Forward closed progress: 3715395
Forward closed progress: 3813315
Forward closed progress: 3676316
Forward closed progress: 3672815
Forward closed progress: 3665707
Forward closed progress: 3590043
Forward closed progress: 3581817
Forward closed progress: 3577127
Forward closed progress: 3607716
Forward closed progress: 3607784
Forward closed progress: 3588169
Forward closed progress: 3612743
Forward closed progress: 3607242
Forward closed progress: 3393653
Forward closed progress: 3414693
Forward closed progress: 3414579
Forward closed progress: 3437329
Forward closed progress: 3428475
Forward closed progress: 3428591
Forward closed progress: 3438595
Forward closed progress: 3432130
Forward closed progress: 3432214
Forward closed progress: 3432224
Forward closed progress: 3437268
Forward closed progress: 3438845
Forward closed progress: 3445773
Forward closed progress: 3445783
Forward closed progress: 3499912
Forward closed progress: 3518547
Forward closed progress: 3518515
Forward closed progress: 3509333
Forward closed progress: 3504053
Forward closed progress: 3497748
Forward closed progress: 3498084
Forward closed progress: 3501470
Forward closed progress: 3501480
Forward closed progress: 3498198
Forward closed progress: 3498198
Forward closed progress: 3495702
Forward closed progress: 3493391
Forward closed progress: 3687759
Forward closed progress: 3685031
Forward closed progress: 3690335
Forward closed progress: 3689067
Forward closed progress: 3689037
Forward closed progress: 3640121
Forward closed progress: 3640131
Forward closed progress: 3631013
Forward closed progress: 3629093
Forward closed progress: 3674973
Forward closed progress: 3672355
Forward closed progress: 3665637
Forward closed progress: 3664851
Forward closed progress: 3664018
Forward closed progress: 3663853
Forward closed progress: 3663328
Forward closed progress: 3662566
Forward closed progress: 3531782
Forward closed progress: 3552695
Forward closed progress: 3552103
Forward closed progress: 3546175
Forward closed progress: 3559943
Forward closed progress: 3559953
Forward closed progress: 3546643
Forward closed progress: 3536887
Forward closed progress: 3331334
Forward closed progress: 3395898
Forward closed progress: 3369376
Forward closed progress: 3312451
Forward closed progress: 3216264
Forward closed progress: 2999339
Forward closed progress: 3008574
Forward closed progress: 2810234
Forward closed progress: 2808252
Forward closed progress: 2807521
Forward closed progress: 2807452
Forward closed progress: 2807729
Forward closed progress: 2606822
Forward closed progress: 2605732
Forward closed progress: 2600934
Forward closed progress: 2551133
Forward closed progress: 2515725
Forward closed progress: 2517189
Forward closed progress: 2499574
Forward closed progress: 2499113
Forward closed progress: 2513791
Forward closed progress: 2513837
Forward closed progress: 2513693
Forward closed progress: 2508550
Forward closed progress: 2501804
Forward closed progress: 2494002
Forward closed progress: 2489690
Forward closed progress: 2422667
Forward closed progress: 2415441
Forward closed progress: 2415850
Forward closed progress: 2415465
Forward closed progress: 2421447
Forward closed progress: 2421095
Forward closed progress: 2419315
Forward closed progress: 2419147
Forward closed progress: 2415551
Forward closed progress: 2414273
Forward closed progress: 2417738
Forward closed progress: 2419295
Forward closed progress: 2429011
Forward closed progress: 2430542
Forward closed progress: 2430542
Forward closed progress: 2427061
Forward closed progress: 2427061
Control exists for 20 color(s), jumping through 66442887168 vertices.
Elapsed: 10165973 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 10165.973
user ??
sys ??
