>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 168
Perturbation colors: 9007199254740992
All colors: 1513209474796486700
Unknown update functions: 1
Lowest cardinality: 4
Highest cardinality: 4
Attractor colors: 1504202275541745700
Attractor colors computed in 1181 ms.
Backward progress: 101634
Backward progress: 101512
Backward progress: 101586
Backward progress: 102144
Backward progress: 103120
Backward progress: 103136
Backward progress: 103044
Backward progress: 101720
Backward progress: 105015
Backward progress: 104547
Backward progress: 103691
Backward progress: 105189
Backward progress: 106333
Backward progress: 104479
Backward progress: 104501
Backward progress: 104781
Backward progress: 102633
Backward progress: 103083
Backward progress: 113893
Backward progress: 119247
Backward progress: 139284
Backward progress: 145075
Backward progress: 146686
Backward progress: 146679
Backward progress: 148464
Backward progress: 151016
Backward progress: 153959
Backward progress: 152205
Backward progress: 153709
Backward progress: 182636
Backward progress: 200571
Backward progress: 207870
Backward progress: 217029
Backward progress: 213847
Backward progress: 210762
Backward progress: 209800
Backward progress: 209152
Backward progress: 210852
Backward progress: 231198
Backward progress: 214130
Backward progress: 214110
Backward progress: 213430
Backward progress: 228208
Backward progress: 219632
Backward progress: 223247
Backward progress: 223715
Backward progress: 274186
Backward progress: 231948
Backward progress: 230803
Backward progress: 230703
Backward progress: 230559
Backward progress: 230502
Backward progress: 230322
Backward progress: 229584
Backward progress: 227977
Backward progress: 209125
Backward progress: 209125
Forward closed progress: 208370
Forward closed progress: 208377
Forward closed progress: 266300
Forward closed progress: 206700
Forward closed progress: 206777
Forward closed progress: 207044
Forward closed progress: 207578
Forward closed progress: 207311
Forward closed progress: 207511
Forward closed progress: 208029
Forward closed progress: 208135
Forward closed progress: 206798
Forward closed progress: 207479
Forward closed progress: 208165
Forward closed progress: 209766
Forward closed progress: 209836
Forward closed progress: 208459
Forward closed progress: 211162
Forward closed progress: 205448
Forward closed progress: 215294
Forward closed progress: 215846
Forward closed progress: 209100
Forward closed progress: 233254
Forward closed progress: 240216
Forward closed progress: 244929
Forward closed progress: 244678
Forward closed progress: 244660
Forward closed progress: 244660
Forward closed progress: 212467
Forward closed progress: 239397
Forward closed progress: 241039
Forward closed progress: 239862
Forward closed progress: 239852
Forward closed progress: 239852
Forward closed progress: 215619
Forward closed progress: 215077
Forward closed progress: 205584
Forward closed progress: 185775
Forward closed progress: 260710
Forward closed progress: 191982
Forward closed progress: 193518
Forward closed progress: 194622
Forward closed progress: 215487
Forward closed progress: 219399
Forward closed progress: 229195
Forward closed progress: 229348
Forward closed progress: 229374
Forward closed progress: 221792
Forward closed progress: 198560
Forward closed progress: 256016
Forward closed progress: 257794
Forward closed progress: 258180
Forward closed progress: 258139
Forward closed progress: 261736
Forward closed progress: 283686
Forward closed progress: 303275
Forward closed progress: 303470
Forward closed progress: 303508
Forward closed progress: 277382
Forward closed progress: 277428
Forward closed progress: 275395
Forward closed progress: 273978
Forward closed progress: 206719
Forward closed progress: 268390
Forward closed progress: 267501
Forward closed progress: 269672
Forward closed progress: 262056
Forward closed progress: 262071
Forward closed progress: 262077
Forward closed progress: 262059
Forward closed progress: 239151
Forward closed progress: 225016
Forward closed progress: 226487
Forward closed progress: 236059
Forward closed progress: 236218
Forward closed progress: 236244
Forward closed progress: 226932
Forward closed progress: 202632
Forward closed progress: 215446
Forward closed progress: 211535
Forward closed progress: 219268
Forward closed progress: 219388
Forward closed progress: 219412
Forward closed progress: 202992
Forward closed progress: 275836
Forward closed progress: 276667
Forward closed progress: 259663
Forward closed progress: 203265
Forward closed progress: 299399
Forward closed progress: 344713
Forward closed progress: 377535
Forward closed progress: 379217
Forward closed progress: 379525
Forward closed progress: 352562
Forward closed progress: 270789
Forward closed progress: 262871
Forward closed progress: 255402
Forward closed progress: 230105
Forward closed progress: 204641
Forward closed progress: 381552
Forward closed progress: 382018
Forward closed progress: 207310
Forward closed progress: 281754
Forward closed progress: 394134
Forward closed progress: 485654
Forward closed progress: 513685
Forward closed progress: 515076
Forward closed progress: 515414
Forward closed progress: 478645
Forward closed progress: 488352
Forward closed progress: 488212
Forward closed progress: 434317
Forward closed progress: 456879
Forward closed progress: 455862
Forward closed progress: 408108
Forward closed progress: 399690
Forward closed progress: 390073
Forward closed progress: 390118
Forward closed progress: 376300
Forward closed progress: 367202
Forward closed progress: 375718
Forward closed progress: 377129
Forward closed progress: 427381
Forward closed progress: 427360
Forward closed progress: 395403
Forward closed progress: 396380
Forward closed progress: 396060
Forward closed progress: 372074
Forward closed progress: 542324
Forward closed progress: 835054
Forward closed progress: 835898
Forward closed progress: 612430
Forward closed progress: 611682
Forward closed progress: 611866
Forward closed progress: 570908
Forward closed progress: 561690
Forward closed progress: 682454
Forward closed progress: 562777
Forward closed progress: 563866
Forward closed progress: 564874
Forward closed progress: 520403
Forward closed progress: 673216
Forward closed progress: 677225
Forward closed progress: 580138
Forward closed progress: 558056
Forward closed progress: 639277
Forward closed progress: 639535
Forward closed progress: 581447
Forward closed progress: 581309
Forward closed progress: 571413
Forward closed progress: 558375
Forward closed progress: 482761
Forward closed progress: 368512
Forward closed progress: 376005
Forward closed progress: 369362
Forward closed progress: 370926
Forward closed progress: 370843
Forward closed progress: 365499
Forward closed progress: 363918
Forward closed progress: 470752
Forward closed progress: 468320
Forward closed progress: 465506
Forward closed progress: 547526
Forward closed progress: 562685
Forward closed progress: 562823
Forward closed progress: 578508
Forward closed progress: 578528
Forward closed progress: 584101
Forward closed progress: 633443
Forward closed progress: 634241
Forward closed progress: 673042
Forward closed progress: 673394
Forward closed progress: 673432
Forward closed progress: 641901
Forward closed progress: 636705
Forward closed progress: 618722
Forward closed progress: 618448
Forward closed progress: 618356
Forward closed progress: 618254
Forward closed progress: 622415
Forward closed progress: 622955
Forward closed progress: 622941
Forward closed progress: 623060
Forward closed progress: 623112
Forward closed progress: 620914
Forward closed progress: 616187
Forward closed progress: 710310
Forward closed progress: 705311
Forward closed progress: 705248
Forward closed progress: 662017
Forward closed progress: 662706
Forward closed progress: 662434
Forward closed progress: 655871
Forward closed progress: 655896
Forward closed progress: 746034
Forward closed progress: 746054
Forward closed progress: 663801
Forward closed progress: 671027
Forward closed progress: 668721
Forward closed progress: 668954
Forward closed progress: 673235
Forward closed progress: 702498
Forward closed progress: 700156
Forward closed progress: 691579
Forward closed progress: 605831
Forward closed progress: 599287
Forward closed progress: 596348
Forward closed progress: 558592
Forward closed progress: 551876
Forward closed progress: 465486
Forward closed progress: 445679
Forward closed progress: 437379
Forward closed progress: 432847
Forward closed progress: 454212
Forward closed progress: 454166
Forward closed progress: 422217
Forward closed progress: 422169
Forward closed progress: 425765
Forward closed progress: 424432
Forward closed progress: 406262
Forward closed progress: 401770
Forward closed progress: 406344
Forward closed progress: 406364
Forward closed progress: 402540
Forward closed progress: 397966
Forward closed progress: 391827
Forward closed progress: 391687
Forward closed progress: 391759
Forward closed progress: 391689
Forward closed progress: 391617
Forward closed progress: 386713
Forward closed progress: 385547
Forward closed progress: 391493
Forward closed progress: 387229
Forward closed progress: 387148
Forward closed progress: 386893
Forward closed progress: 387198
Forward closed progress: 387198
Forward closed progress: 387252
Forward closed progress: 387280
Forward closed progress: 387268
Forward closed progress: 386895
Forward closed progress: 386917
Forward closed progress: 386921
Forward closed progress: 386391
Forward closed progress: 386931
Forward closed progress: 856309
Forward closed progress: 1041352
Forward closed progress: 1014717
Forward closed progress: 906049
Forward closed progress: 751175
Forward closed progress: 751716
Forward closed progress: 742402
Forward closed progress: 398407
Forward closed progress: 444987
Forward closed progress: 434187
Forward closed progress: 396545
Forward closed progress: 407271
Forward closed progress: 407311
Forward closed progress: 396755
Forward closed progress: 388048
Forward closed progress: 391380
Forward closed progress: 387006
Forward closed progress: 392408
Forward closed progress: 383219
Forward closed progress: 373898
Forward closed progress: 373976
Forward closed progress: 436437
Forward closed progress: 480310
Forward closed progress: 522007
Forward closed progress: 529574
Forward closed progress: 550847
Forward closed progress: 551225
Forward closed progress: 551297
Forward closed progress: 544976
Forward closed progress: 564676
Forward closed progress: 559222
Forward closed progress: 546454
Forward closed progress: 560549
Forward closed progress: 564405
Forward closed progress: 612964
Forward closed progress: 613105
Forward closed progress: 634533
Forward closed progress: 647483
Forward closed progress: 647129
Forward closed progress: 656442
Forward closed progress: 673328
Forward closed progress: 675644
Forward closed progress: 674960
Forward closed progress: 672192
Forward closed progress: 678622
Forward closed progress: 682662
Forward closed progress: 635285
Forward closed progress: 646446
Forward closed progress: 603434
Forward closed progress: 631093
Forward closed progress: 631213
Forward closed progress: 615092
Forward closed progress: 610288
Forward closed progress: 603310
Forward closed progress: 575243
Forward closed progress: 563099
Forward closed progress: 534478
Forward closed progress: 551821
Forward closed progress: 552028
Forward closed progress: 570229
Forward closed progress: 570252
Forward closed progress: 444703
Forward closed progress: 441829
Forward closed progress: 438556
Forward closed progress: 434868
Forward closed progress: 470638
Forward closed progress: 468093
Forward closed progress: 406214
Forward closed progress: 410329
Forward closed progress: 410178
Forward closed progress: 408762
Forward closed progress: 395747
Forward closed progress: 409055
Forward closed progress: 409073
Forward closed progress: 396237
Forward closed progress: 381920
Forward closed progress: 382498
Forward closed progress: 380135
Forward closed progress: 380111
Forward closed progress: 379114
Forward closed progress: 371746
Forward closed progress: 369138
Forward closed progress: 330539
Forward closed progress: 478240
Forward closed progress: 593696
Forward closed progress: 560654
Forward closed progress: 707083
Forward closed progress: 709490
Forward closed progress: 709740
Forward closed progress: 700073
Forward closed progress: 706907
Forward closed progress: 748780
Forward closed progress: 758847
Forward closed progress: 878854
Forward closed progress: 1003398
Forward closed progress: 1174190
Forward closed progress: 1406414
Forward closed progress: 1405193
Forward closed progress: 1338141
Forward closed progress: 1388413
Forward closed progress: 1447973
Forward closed progress: 1456818
Forward closed progress: 1441405
Forward closed progress: 1413666
Forward closed progress: 1398647
Forward closed progress: 1426618
Forward closed progress: 1409020
Forward closed progress: 1416106
Forward closed progress: 1417350
Forward closed progress: 1371290
Forward closed progress: 1351909
Forward closed progress: 1382111
Forward closed progress: 1212536
Forward closed progress: 1254739
Forward closed progress: 1255180
Forward closed progress: 1136850
Forward closed progress: 1115446
Forward closed progress: 1073491
Forward closed progress: 1070586
Forward closed progress: 1067117
Forward closed progress: 1047409
Forward closed progress: 1047229
Forward closed progress: 1047523
Forward closed progress: 1045421
Forward closed progress: 880644
Forward closed progress: 880656
Forward closed progress: 881000
Forward closed progress: 880999
Forward closed progress: 881046
Forward closed progress: 881026
Forward closed progress: 881172
Forward closed progress: 881235
Forward closed progress: 881007
Forward closed progress: 881069
Forward closed progress: 881110
Forward closed progress: 882566
Forward closed progress: 882564
Forward closed progress: 884116
Forward closed progress: 887556
Forward closed progress: 887558
Forward closed progress: 885586
Forward closed progress: 882162
Forward closed progress: 882078
Forward closed progress: 881142
Forward closed progress: 881140
Forward closed progress: 881117
Forward closed progress: 960350
Forward closed progress: 943433
Forward closed progress: 834637
Forward closed progress: 884230
Forward closed progress: 884520
Forward closed progress: 848242
Forward closed progress: 845741
Forward closed progress: 834927
Forward closed progress: 809827
Forward closed progress: 783812
Forward closed progress: 686495
Forward closed progress: 604303
Forward closed progress: 581881
Forward closed progress: 581871
Forward closed progress: 582599
Forward closed progress: 580544
Forward closed progress: 580509
Forward closed progress: 580443
Forward closed progress: 580181
Forward closed progress: 577936
Forward closed progress: 573801
Forward closed progress: 494342
Forward closed progress: 495782
Forward closed progress: 495822
Forward closed progress: 497236
Forward closed progress: 497242
Forward closed progress: 460224
Forward closed progress: 459868
Forward closed progress: 460024
Forward closed progress: 460120
Forward closed progress: 462826
Forward closed progress: 462814
Forward closed progress: 463020
Forward closed progress: 463846
Forward closed progress: 463807
Forward closed progress: 463925
Forward closed progress: 461491
Forward closed progress: 460170
Forward closed progress: 461486
Forward closed progress: 461504
Forward closed progress: 460161
Forward closed progress: 458982
Forward closed progress: 420553
Forward closed progress: 330545
Forward closed progress: 402865
Forward closed progress: 394390
Forward closed progress: 394272
Forward closed progress: 394009
Forward closed progress: 394737
Forward closed progress: 394737
Forward closed progress: 394914
Forward closed progress: 531348
Forward closed progress: 610848
Forward closed progress: 755597
Forward closed progress: 757833
Forward closed progress: 758071
Forward closed progress: 750157
Forward closed progress: 777815
Forward closed progress: 834643
Forward closed progress: 845690
Forward closed progress: 974557
Forward closed progress: 1125025
Forward closed progress: 1295465
Forward closed progress: 1639839
Forward closed progress: 1639098
Forward closed progress: 1430347
Forward closed progress: 1542473
Forward closed progress: 1697992
Forward closed progress: 1707998
Forward closed progress: 1700801
Forward closed progress: 1677756
Forward closed progress: 1662427
Forward closed progress: 1747244
Forward closed progress: 1707957
Forward closed progress: 1727573
Forward closed progress: 1735803
Forward closed progress: 1532552
Forward closed progress: 1519610
Forward closed progress: 1675944
Forward closed progress: 1678606
Forward closed progress: 1766606
Forward closed progress: 1779233
Forward closed progress: 1772079
Forward closed progress: 1784522
Forward closed progress: 1821164
Forward closed progress: 1667623
Forward closed progress: 1713929
Forward closed progress: 1714517
Forward closed progress: 1596637
Forward closed progress: 1577536
Forward closed progress: 1531468
Forward closed progress: 1524598
Forward closed progress: 1522972
Forward closed progress: 1560111
Forward closed progress: 1556049
Forward closed progress: 1607187
Forward closed progress: 1605560
Forward closed progress: 1497489
Forward closed progress: 1535855
Forward closed progress: 1542377
Forward closed progress: 1572046
Forward closed progress: 1572427
Forward closed progress: 1607371
Forward closed progress: 1742606
Forward closed progress: 1850530
Forward closed progress: 1851014
Forward closed progress: 1851076
Forward closed progress: 1764971
Forward closed progress: 1766653
Forward closed progress: 1765875
Forward closed progress: 1757046
Forward closed progress: 1769806
Forward closed progress: 1838154
Forward closed progress: 1871251
Forward closed progress: 1871755
Forward closed progress: 1872029
Forward closed progress: 1872063
Forward closed progress: 1854000
Forward closed progress: 1841450
Forward closed progress: 2048246
Forward closed progress: 2042899
Forward closed progress: 2041978
Forward closed progress: 2136732
Forward closed progress: 2066048
Forward closed progress: 2063629
Forward closed progress: 2074259
Forward closed progress: 2064417
Forward closed progress: 2065418
Forward closed progress: 2192009
Forward closed progress: 2192487
Forward closed progress: 2083419
Forward closed progress: 2083058
Forward closed progress: 2084155
Forward closed progress: 2237866
Forward closed progress: 2290137
Forward closed progress: 2295160
Forward closed progress: 2295236
Forward closed progress: 2206833
Forward closed progress: 2202160
Forward closed progress: 2218712
Forward closed progress: 2213368
Forward closed progress: 2201635
Forward closed progress: 2198422
Forward closed progress: 2173296
Forward closed progress: 2163331
Forward closed progress: 2156920
Forward closed progress: 2248921
Forward closed progress: 2249818
Forward closed progress: 2164197
Forward closed progress: 2154764
Forward closed progress: 2192797
Forward closed progress: 2191459
Forward closed progress: 2024896
Forward closed progress: 2012657
Forward closed progress: 2012421
Forward closed progress: 1994059
Forward closed progress: 2018292
Forward closed progress: 1992365
Forward closed progress: 1966660
Forward closed progress: 1893297
Forward closed progress: 1850150
Forward closed progress: 1850848
Forward closed progress: 1848702
Forward closed progress: 2533708
Forward closed progress: 2694949
Forward closed progress: 2391270
Forward closed progress: 2513617
Forward closed progress: 2516514
Forward closed progress: 2469939
Forward closed progress: 2402156
Forward closed progress: 2418039
Forward closed progress: 2431701
Forward closed progress: 2601233
Forward closed progress: 2598015
Forward closed progress: 2746189
Forward closed progress: 2728411
Forward closed progress: 2703795
Forward closed progress: 2706573
Forward closed progress: 2731969
Forward closed progress: 2740924
Forward closed progress: 2597569
Forward closed progress: 2561685
Forward closed progress: 2576396
Forward closed progress: 2558029
Forward closed progress: 2580473
Forward closed progress: 2551756
Forward closed progress: 2554674
Forward closed progress: 2412816
Forward closed progress: 2446206
Forward closed progress: 2446672
Forward closed progress: 2340614
Forward closed progress: 2321014
Forward closed progress: 2284121
Forward closed progress: 2276006
Forward closed progress: 2185653
Forward closed progress: 2185422
Forward closed progress: 2184542
Forward closed progress: 2169362
Forward closed progress: 2190384
Forward closed progress: 2193556
Forward closed progress: 2217899
Forward closed progress: 2218104
Forward closed progress: 1965551
Forward closed progress: 1961261
Forward closed progress: 1960801
Forward closed progress: 1952851
Forward closed progress: 1944616
Forward closed progress: 1925580
Forward closed progress: 1957561
Forward closed progress: 1956647
Forward closed progress: 1921015
Forward closed progress: 1926910
Forward closed progress: 1922794
Forward closed progress: 1897623
Forward closed progress: 1888463
Forward closed progress: 1891398
Forward closed progress: 1891598
Forward closed progress: 1848038
Forward closed progress: 1847958
Forward closed progress: 1846566
Forward closed progress: 2096746
Forward closed progress: 1851786
Forward closed progress: 1549653
Forward closed progress: 1575886
Forward closed progress: 1576126
Forward closed progress: 1520610
Forward closed progress: 1517006
Forward closed progress: 1501185
Forward closed progress: 1453990
Forward closed progress: 1484075
Forward closed progress: 1438733
Forward closed progress: 1408258
Forward closed progress: 1296271
Forward closed progress: 1296134
Forward closed progress: 1167553
Forward closed progress: 1207106
Forward closed progress: 1306567
Forward closed progress: 1410991
Forward closed progress: 1421635
Forward closed progress: 1510543
Forward closed progress: 1512066
Forward closed progress: 1512231
Forward closed progress: 1503804
Forward closed progress: 1498440
Forward closed progress: 1488178
Forward closed progress: 1487132
Forward closed progress: 1488088
Forward closed progress: 1486743
Forward closed progress: 1496618
Forward closed progress: 1511615
Forward closed progress: 1603028
Forward closed progress: 1603242
Forward closed progress: 1728744
Forward closed progress: 1736842
Forward closed progress: 1736404
Forward closed progress: 1761516
Forward closed progress: 1804646
Forward closed progress: 1809096
Forward closed progress: 1807569
Forward closed progress: 1801362
Forward closed progress: 1822101
Forward closed progress: 1843372
Forward closed progress: 1822153
Forward closed progress: 1883368
Forward closed progress: 1811396
Forward closed progress: 1811288
Forward closed progress: 1811805
Forward closed progress: 1811557
Forward closed progress: 1813004
Forward closed progress: 1854911
Forward closed progress: 1741560
Forward closed progress: 1764025
Forward closed progress: 1764203
Forward closed progress: 1706290
Forward closed progress: 1687435
Forward closed progress: 1664641
Forward closed progress: 1663529
Forward closed progress: 1530972
Forward closed progress: 1530238
Forward closed progress: 1515122
Forward closed progress: 1523860
Forward closed progress: 1517821
Forward closed progress: 1517104
Forward closed progress: 1625495
Forward closed progress: 1686688
Forward closed progress: 1698987
Forward closed progress: 1762424
Forward closed progress: 1763001
Forward closed progress: 1359039
Forward closed progress: 1354544
Forward closed progress: 1353583
Forward closed progress: 1332790
Forward closed progress: 1331154
Forward closed progress: 1330896
Forward closed progress: 1329993
Forward closed progress: 1319454
Forward closed progress: 1296330
Forward closed progress: 1393456
Forward closed progress: 1384799
Forward closed progress: 1343557
Forward closed progress: 1368054
Forward closed progress: 1364604
Forward closed progress: 1354576
Forward closed progress: 1413116
Forward closed progress: 1322316
Forward closed progress: 1277604
Forward closed progress: 1220601
Forward closed progress: 1234090
Forward closed progress: 1234574
Forward closed progress: 1136967
Forward closed progress: 1128660
Forward closed progress: 1119372
Forward closed progress: 1143097
Forward closed progress: 1138696
Forward closed progress: 1123917
Forward closed progress: 1097539
Forward closed progress: 1098167
Forward closed progress: 1095853
Forward closed progress: 1095254
Forward closed progress: 1094786
Forward closed progress: 1092850
Forward closed progress: 1089080
Forward closed progress: 1089097
Forward closed progress: 1079683
Forward closed progress: 976680
Forward closed progress: 844682
Forward closed progress: 684233
Forward closed progress: 795088
Forward closed progress: 1046206
Forward closed progress: 945902
Forward closed progress: 1302769
Forward closed progress: 1305361
Forward closed progress: 1304131
Forward closed progress: 1294464
Forward closed progress: 1277344
Forward closed progress: 1350062
Forward closed progress: 1373724
Forward closed progress: 1685772
Forward closed progress: 1826767
Forward closed progress: 2214476
Forward closed progress: 2498359
Forward closed progress: 2497304
Forward closed progress: 2428583
Forward closed progress: 2489470
Forward closed progress: 2555965
Forward closed progress: 2564699
Forward closed progress: 2517779
Forward closed progress: 2490018
Forward closed progress: 2443870
Forward closed progress: 2480052
Forward closed progress: 2446377
Forward closed progress: 2456393
Forward closed progress: 2457637
Forward closed progress: 2446745
Forward closed progress: 2419439
Forward closed progress: 2512885
Forward closed progress: 2157742
Forward closed progress: 2238339
Forward closed progress: 2238784
Forward closed progress: 2006103
Forward closed progress: 1959451
Forward closed progress: 1869148
Forward closed progress: 1863029
Forward closed progress: 1859638
Forward closed progress: 1812097
Forward closed progress: 1811737
Forward closed progress: 1812031
Forward closed progress: 1809729
Forward closed progress: 1771075
Forward closed progress: 1763329
Forward closed progress: 1761727
Forward closed progress: 1757114
Forward closed progress: 1762599
Forward closed progress: 1762616
Forward closed progress: 1759596
Forward closed progress: 1759834
Forward closed progress: 1759848
Forward closed progress: 1757058
Forward closed progress: 1755958
Forward closed progress: 1755962
Forward closed progress: 1755992
Forward closed progress: 1751552
Forward closed progress: 2160420
Forward closed progress: 1992550
Forward closed progress: 1572777
Forward closed progress: 1689762
Forward closed progress: 1690038
Forward closed progress: 1603825
Forward closed progress: 1597693
Forward closed progress: 1573623
Forward closed progress: 1507827
Forward closed progress: 1531239
Forward closed progress: 1484318
Forward closed progress: 1436855
Forward closed progress: 1249447
Forward closed progress: 1063437
Forward closed progress: 922058
Forward closed progress: 894158
Forward closed progress: 892805
Forward closed progress: 893042
Forward closed progress: 891440
Forward closed progress: 891266
Forward closed progress: 891132
Forward closed progress: 890870
Forward closed progress: 856921
Forward closed progress: 844501
Forward closed progress: 803804
Forward closed progress: 801220
Forward closed progress: 803785
Forward closed progress: 826904
Forward closed progress: 825560
Forward closed progress: 852491
Forward closed progress: 879244
Forward closed progress: 879330
Forward closed progress: 839876
Forward closed progress: 843537
Forward closed progress: 843672
Forward closed progress: 857692
Forward closed progress: 857251
Forward closed progress: 869756
Forward closed progress: 866702
Forward closed progress: 812646
Forward closed progress: 812715
Forward closed progress: 794301
Forward closed progress: 760756
Forward closed progress: 528549
Forward closed progress: 531761
Forward closed progress: 534204
Forward closed progress: 514073
Forward closed progress: 516021
Forward closed progress: 514259
Forward closed progress: 512919
Forward closed progress: 513255
Forward closed progress: 511701
Forward closed progress: 507507
Forward closed progress: 491302
Forward closed progress: 655487
Forward closed progress: 664259
Forward closed progress: 731211
Forward closed progress: 812003
Forward closed progress: 837209
Forward closed progress: 838081
Forward closed progress: 838207
Forward closed progress: 794829
Forward closed progress: 793961
Forward closed progress: 796973
Forward closed progress: 806999
Forward closed progress: 814434
Forward closed progress: 813862
Forward closed progress: 815273
Forward closed progress: 858943
Forward closed progress: 850889
Forward closed progress: 793856
Forward closed progress: 823532
Forward closed progress: 831802
Forward closed progress: 831938
Forward closed progress: 831966
Forward closed progress: 818575
Forward closed progress: 809679
Forward closed progress: 835338
Forward closed progress: 843194
Forward closed progress: 843330
Forward closed progress: 843358
Forward closed progress: 823693
Forward closed progress: 810445
Forward closed progress: 800029
Forward closed progress: 800643
Forward closed progress: 809547
Forward closed progress: 824873
Forward closed progress: 835631
Forward closed progress: 914204
Forward closed progress: 914268
Forward closed progress: 849841
Forward closed progress: 812625
Forward closed progress: 812415
Forward closed progress: 812141
Forward closed progress: 812320
Forward closed progress: 812332
Forward closed progress: 812326
Forward closed progress: 811482
Forward closed progress: 809695
Forward closed progress: 834612
Forward closed progress: 799666
Forward closed progress: 798189
Forward closed progress: 799443
Forward closed progress: 799448
Forward closed progress: 799497
Forward closed progress: 799509
Forward closed progress: 799569
Forward closed progress: 786904
Forward closed progress: 732463
Forward closed progress: 707438
Forward closed progress: 683435
Forward closed progress: 653427
Forward closed progress: 525230
Forward closed progress: 525514
Forward closed progress: 525847
Forward closed progress: 525138
Forward closed progress: 525746
Forward closed progress: 525459
Forward closed progress: 525239
Forward closed progress: 525293
Forward closed progress: 525037
Forward closed progress: 524126
Forward closed progress: 525798
Forward closed progress: 519007
Forward closed progress: 519007
Control exists for 167 color(s), jumping through 8993934142111744 vertices.
Elapsed: 6715514 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 6715.514
user ??
sys ??
