>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 182891520
Perturbation colors: 9007199254740992
All colors: 1647340362642447200000000
Unknown update functions: 7
Lowest cardinality: 1
Highest cardinality: 4
Backward progress: 107246
Backward progress: 103072
Backward progress: 103082
Backward progress: 109746
Backward progress: 107921
Backward progress: 105599
Backward progress: 105627
Backward progress: 105621
Attractor colors: 126605697127797650000000
Attractor colors computed in 173190 ms.
Backward progress: 108868
Backward progress: 157751
Backward progress: 127209
Backward progress: 130321
Backward progress: 130372
Backward progress: 130371
Backward progress: 102843
Backward progress: 121008
Backward progress: 122842
Backward progress: 125642
Backward progress: 128602
Backward progress: 157754
Backward progress: 159662
Backward progress: 157034
Backward progress: 174377
Backward progress: 174229
Backward progress: 178106
Backward progress: 178106
Backward progress: 178471
Backward progress: 178346
Backward progress: 150791
Backward progress: 155172
Backward progress: 153005
Backward progress: 176869
Backward progress: 143860
Backward progress: 156741
Backward progress: 156747
Backward progress: 153732
Backward progress: 153721
Backward progress: 152182
Backward progress: 146055
Backward progress: 145914
Backward progress: 138522
Backward progress: 142644
Backward progress: 132042
Backward progress: 150867
Backward progress: 158648
Backward progress: 146926
Backward progress: 154385
Backward progress: 154391
Backward progress: 149467
Backward progress: 149446
Backward progress: 146993
Backward progress: 146861
Backward progress: 146805
Backward progress: 145839
Backward progress: 150147
Backward progress: 150044
Backward progress: 148252
Backward progress: 148256
Backward progress: 195869
Backward progress: 215637
Backward progress: 214574
Backward progress: 209015
Backward progress: 213802
Backward progress: 202645
Backward progress: 206623
Backward progress: 206788
Backward progress: 207846
Backward progress: 207850
Backward progress: 210191
Backward progress: 210256
Backward progress: 213386
Backward progress: 213388
Backward progress: 212605
Backward progress: 211422
Backward progress: 215740
Backward progress: 215770
Backward progress: 215905
Backward progress: 215811
Backward progress: 215855
Backward progress: 216687
Backward progress: 216689
Backward progress: 216281
Backward progress: 215543
Backward progress: 215358
Backward progress: 219041
Backward progress: 218930
Backward progress: 216792
Backward progress: 216371
Backward progress: 216097
Backward progress: 216097
Backward progress: 115937
Backward progress: 103447
Backward progress: 103845
Backward progress: 139203
Backward progress: 174312
Backward progress: 163332
Backward progress: 175687
Backward progress: 170612
Backward progress: 170922
Backward progress: 169706
Backward progress: 313225
Backward progress: 318975
Backward progress: 324471
Backward progress: 321461
Backward progress: 283310
Backward progress: 282725
Backward progress: 281282
Backward progress: 281019
Backward progress: 291896
Backward progress: 290980
Backward progress: 555286
Backward progress: 515114
Backward progress: 520830
Backward progress: 453874
Backward progress: 453925
Backward progress: 453924
Backward progress: 515554
Backward progress: 389013
Backward progress: 427196
Backward progress: 409841
Backward progress: 412745
Backward progress: 415545
Backward progress: 418541
Backward progress: 447965
Backward progress: 450659
Backward progress: 448295
Backward progress: 448627
Backward progress: 465982
Backward progress: 465834
Backward progress: 509981
Backward progress: 586790
Backward progress: 540107
Backward progress: 539879
Backward progress: 443531
Backward progress: 444080
Backward progress: 428214
Backward progress: 432592
Backward progress: 430428
Backward progress: 459446
Backward progress: 459359
Backward progress: 463547
Backward progress: 465966
Backward progress: 465790
Backward progress: 467989
Backward progress: 459443
Backward progress: 459559
Backward progress: 342118
Backward progress: 339832
Backward progress: 360427
Backward progress: 360439
Backward progress: 355937
Backward progress: 355923
Backward progress: 353619
Backward progress: 344603
Backward progress: 344398
Backward progress: 336138
Backward progress: 341054
Backward progress: 338244
Backward progress: 333397
Backward progress: 332565
Backward progress: 341125
Backward progress: 374112
Backward progress: 364633
Backward progress: 364730
Backward progress: 369565
Backward progress: 369501
Backward progress: 373170
Backward progress: 379887
Backward progress: 396920
Backward progress: 402539
Backward progress: 402499
Backward progress: 402634
Backward progress: 402555
Backward progress: 402557
Backward progress: 402201
Backward progress: 435506
Backward progress: 436446
Backward progress: 436636
Backward progress: 458702
Backward progress: 453201
Backward progress: 427650
Backward progress: 550259
Backward progress: 556770
Backward progress: 546513
Backward progress: 548146
Backward progress: 548144
Backward progress: 548146
Backward progress: 543390
Backward progress: 547177
Backward progress: 552992
Backward progress: 552061
Backward progress: 551934
Backward progress: 564125
Backward progress: 559992
Backward progress: 562666
Backward progress: 577030
Backward progress: 578595
Backward progress: 578561
Backward progress: 578721
Backward progress: 578261
Backward progress: 609412
Backward progress: 606948
Backward progress: 597423
Backward progress: 603525
Backward progress: 605848
Backward progress: 725463
Backward progress: 794882
Backward progress: 795714
Backward progress: 795718
Backward progress: 795470
Backward progress: 865298
Backward progress: 885194
Backward progress: 929101
Backward progress: 928883
Backward progress: 928539
Backward progress: 961947
Backward progress: 910110
Backward progress: 918378
Backward progress: 918396
Backward progress: 910274
Backward progress: 910134
Backward progress: 909246
Backward progress: 907580
Backward progress: 1121577
Backward progress: 1122882
Backward progress: 995276
Backward progress: 990077
Backward progress: 1112395
Backward progress: 1110466
Backward progress: 1070085
Backward progress: 1063480
Backward progress: 1039537
Backward progress: 1035564
Backward progress: 976041
Backward progress: 962565
Backward progress: 937537
Backward progress: 945900
Backward progress: 945918
Backward progress: 937841
Backward progress: 931284
Backward progress: 900205
Backward progress: 930115
Backward progress: 930655
Backward progress: 934021
Backward progress: 933671
Backward progress: 933687
Backward progress: 926955
Backward progress: 2960916
Backward progress: 3110395
Backward progress: 2616107
Backward progress: 2704102
Backward progress: 2662334
Backward progress: 2595980
Backward progress: 2596590
Backward progress: 2575732
Backward progress: 2256317
Backward progress: 2174940
Backward progress: 1971126
Backward progress: 1730651
Backward progress: 1972349
Backward progress: 1844573
Backward progress: 1831642
Backward progress: 1963809
Backward progress: 1945387
Backward progress: 2285171
Backward progress: 2297957
Backward progress: 2286075
Backward progress: 2286053
Backward progress: 2305819
Backward progress: 2144584
Backward progress: 2188393
Backward progress: 2133114
Backward progress: 2136276
Backward progress: 2066029
Backward progress: 1776608
Backward progress: 1796211
Backward progress: 1737347
Backward progress: 1824367
Backward progress: 1466461
Backward progress: 1627095
Backward progress: 1627139
Backward progress: 1569334
Backward progress: 1569282
Backward progress: 1557630
Backward progress: 1475588
Backward progress: 1421372
Backward progress: 1488303
Backward progress: 1486319
Backward progress: 2498583
Backward progress: 2411580
Backward progress: 2418150
Backward progress: 2483068
Backward progress: 2480916
Backward progress: 2358436
Backward progress: 2326110
Backward progress: 2498390
Backward progress: 2304334
Backward progress: 2289001
Backward progress: 2300527
Backward progress: 2294170
Backward progress: 2298439
Backward progress: 2292812
Backward progress: 2292528
Backward progress: 2267398
Backward progress: 2097777
Backward progress: 2101021
Backward progress: 2065169
Backward progress: 1763124
Backward progress: 1731691
Backward progress: 1896598
Backward progress: 1896642
Backward progress: 1818168
Backward progress: 1730008
Backward progress: 1654255
Backward progress: 2358180
Backward progress: 2325989
Backward progress: 2330645
Backward progress: 2024215
Backward progress: 2004525
Backward progress: 2266259
Backward progress: 2266423
Backward progress: 2132720
Backward progress: 2060295
Backward progress: 2037703
Backward progress: 1987833
Backward progress: 1986956
Backward progress: 1985660
Backward progress: 1984772
Backward progress: 2013893
Backward progress: 1984037
Backward progress: 1984549
Backward progress: 1981951
Backward progress: 1977333
Backward progress: 1974213
Backward progress: 1998174
Backward progress: 1973479
Backward progress: 1959751
Backward progress: 1986353
Backward progress: 1980249
Backward progress: 1967063
Backward progress: 2131554
Backward progress: 2120483
Backward progress: 2005474
Backward progress: 2341663
Backward progress: 1719059
Backward progress: 1708059
Backward progress: 1787923
Backward progress: 1760618
Backward progress: 1678899
Backward progress: 1669420
Backward progress: 1667939
Backward progress: 1691866
Backward progress: 1682458
Backward progress: 1886164
Backward progress: 1877087
Backward progress: 1880589
Backward progress: 1917521
Backward progress: 1916608
Backward progress: 1861725
Backward progress: 1927737
Backward progress: 1908418
Backward progress: 1940085
Backward progress: 1957667
Backward progress: 1955216
Backward progress: 1962530
Backward progress: 1959126
Backward progress: 1968934
Backward progress: 1969090
Backward progress: 1951579
Backward progress: 1937075
Backward progress: 1936184
Backward progress: 1949297
Backward progress: 1932803
Backward progress: 1934838
Backward progress: 1870236
Backward progress: 1821421
Backward progress: 1799841
Backward progress: 1860937
Backward progress: 1860810
Backward progress: 1831079
Backward progress: 1798258
Backward progress: 1798183
Backward progress: 1799123
Backward progress: 1799125
Backward progress: 1798663
Backward progress: 1797817
Backward progress: 1797578
Backward progress: 1750703
Backward progress: 1728637
Backward progress: 1779030
Backward progress: 1779054
Backward progress: 1723872
Backward progress: 1723397
Backward progress: 1668924
Backward progress: 1668432
Backward progress: 1650955
Backward progress: 1617109
Backward progress: 376877
Backward progress: 195765
Backward progress: 303959
Backward progress: 250070
Backward progress: 275596
Backward progress: 275647
Backward progress: 275640
Backward progress: 236516
Backward progress: 280319
Backward progress: 281452
Backward progress: 303022
Backward progress: 303537
Backward progress: 379964
Backward progress: 385352
Backward progress: 380624
Backward progress: 391975
Backward progress: 384534
Backward progress: 398484
Backward progress: 398484
Backward progress: 398935
Backward progress: 398782
Backward progress: 326899
Backward progress: 338258
Backward progress: 331278
Backward progress: 385884
Backward progress: 304552
Backward progress: 332404
Backward progress: 332410
Backward progress: 324738
Backward progress: 324727
Backward progress: 320795
Backward progress: 306573
Backward progress: 306288
Backward progress: 297972
Backward progress: 308823
Backward progress: 296928
Backward progress: 343720
Backward progress: 355662
Backward progress: 305757
Backward progress: 328863
Backward progress: 328869
Backward progress: 313566
Backward progress: 313545
Backward progress: 305891
Backward progress: 297167
Backward progress: 295461
Backward progress: 293637
Backward progress: 298516
Backward progress: 298261
Backward progress: 294240
Backward progress: 294244
Backward progress: 403426
Backward progress: 437520
Backward progress: 444115
Backward progress: 430898
Backward progress: 448864
Backward progress: 427504
Backward progress: 436924
Backward progress: 437200
Backward progress: 439652
Backward progress: 439640
Backward progress: 444979
Backward progress: 445107
Backward progress: 452105
Backward progress: 452107
Backward progress: 450375
Backward progress: 447705
Backward progress: 457712
Backward progress: 457772
Backward progress: 457994
Backward progress: 457837
Backward progress: 457916
Backward progress: 459724
Backward progress: 459726
Backward progress: 458845
Backward progress: 457169
Backward progress: 456931
Backward progress: 465953
Backward progress: 465455
Backward progress: 460596
Backward progress: 459673
Backward progress: 459184
Backward progress: 459184
Backward progress: 345417
Backward progress: 591970
Backward progress: 818014
Backward progress: 804119
Backward progress: 800618
Backward progress: 1121176
Backward progress: 1135248
Backward progress: 1135416
Backward progress: 1166539
Backward progress: 1317281
Backward progress: 1414288
Backward progress: 1413891
Backward progress: 1510873
Backward progress: 1630466
Backward progress: 1595779
Backward progress: 1654811
Backward progress: 1677151
Backward progress: 1676091
Backward progress: 1694716
Backward progress: 1673421
Backward progress: 1627383
Backward progress: 1627395
Backward progress: 1514328
Backward progress: 1631187
Backward progress: 1232435
Backward progress: 1062867
Backward progress: 987728
Backward progress: 980986
Backward progress: 973090
Backward progress: 902189
Backward progress: 625032
Backward progress: 787879
Backward progress: 953979
Backward progress: 953958
Backward progress: 1116265
Backward progress: 1102721
Backward progress: 1111474
Backward progress: 1376129
Backward progress: 1378025
Backward progress: 1376991
Backward progress: 1404661
Backward progress: 1518358
Backward progress: 1613833
Backward progress: 1604928
Backward progress: 1696891
Backward progress: 1772820
Backward progress: 1774838
Backward progress: 1815785
Backward progress: 1833985
Backward progress: 1869662
Backward progress: 1861670
Backward progress: 1828301
Backward progress: 1828313
Backward progress: 1741551
Backward progress: 1878936
Backward progress: 1539438
Backward progress: 1398553
Backward progress: 1341658
Backward progress: 1341169
Backward progress: 1333455
Backward progress: 1273708
Backward progress: 1073825
Backward progress: 2040641
Backward progress: 2109248
Backward progress: 2664484
Backward progress: 3276302
Backward progress: 3332527
Backward progress: 3319507
Backward progress: 3319636
Backward progress: 3319633
Backward progress: 3024813
Backward progress: 3087869
Backward progress: 3171581
Backward progress: 3174106
Backward progress: 3177127
Backward progress: 3289612
Backward progress: 3124678
Backward progress: 3211078
Backward progress: 3969586
Backward progress: 4053684
Backward progress: 4148841
Backward progress: 4225894
Backward progress: 4204671
Backward progress: 4204750
Backward progress: 4100890
Backward progress: 3876994
Backward progress: 3652531
Backward progress: 3586911
Backward progress: 3710943
Backward progress: 4094505
Backward progress: 3967781
Backward progress: 4004976
Backward progress: 4009355
Backward progress: 4011759
Backward progress: 4271197
Backward progress: 4277263
Backward progress: 4273517
Backward progress: 4338288
Backward progress: 4337910
Backward progress: 4329456
Backward progress: 4606375
Backward progress: 2911676
Backward progress: 2911346
Backward progress: 2760148
Backward progress: 2550855
Backward progress: 2558500
Backward progress: 2554236
Backward progress: 2573216
Backward progress: 2365938
Backward progress: 2395839
Backward progress: 2395847
Backward progress: 2389104
Backward progress: 2389095
Backward progress: 2384807
Backward progress: 2368999
Backward progress: 2368801
Backward progress: 2361473
Backward progress: 2463699
Backward progress: 2434589
Backward progress: 2437855
Backward progress: 2435708
Backward progress: 2516987
Backward progress: 2530739
Backward progress: 2491424
Backward progress: 2517441
Backward progress: 2517445
Backward progress: 2500663
Backward progress: 2500636
Backward progress: 2497097
Backward progress: 2491709
Backward progress: 2495841
Backward progress: 2490225
Backward progress: 2538342
Backward progress: 2534489
Backward progress: 2534549
Backward progress: 2739214
Backward progress: 2826229
Backward progress: 2851248
Backward progress: 2817297
Backward progress: 2841403
Backward progress: 2812396
Backward progress: 2823178
Backward progress: 2823432
Backward progress: 2825262
Backward progress: 2825266
Backward progress: 2831426
Backward progress: 2831491
Backward progress: 2838941
Backward progress: 2838943
Backward progress: 2837087
Backward progress: 2833516
Backward progress: 2843400
Backward progress: 2843446
Backward progress: 2843694
Backward progress: 2843554
Backward progress: 2843585
Backward progress: 2845600
Backward progress: 2845602
Backward progress: 2844694
Backward progress: 2842772
Backward progress: 2842486
Backward progress: 2850596
Backward progress: 2850143
Backward progress: 2845684
Backward progress: 2844746
Backward progress: 2844216
Backward progress: 2968930
Backward progress: 1701575
Backward progress: 1539033
Backward progress: 1246210
Backward progress: 1249010
Backward progress: 1249349
Backward progress: 1249169
Backward progress: 1312114
Backward progress: 1310174
Backward progress: 1286917
Backward progress: 1286931
Backward progress: 1287713
Backward progress: 1288239
Backward progress: 1288253
Backward progress: 1289117
Backward progress: 1289528
Backward progress: 1290056
Backward progress: 1289079
Backward progress: 1314673
Backward progress: 1283570
Backward progress: 1284689
Backward progress: 1284094
Backward progress: 1285077
Backward progress: 1285042
Backward progress: 1286000
Backward progress: 1286000
Forward closed progress: 1034371
Forward closed progress: 1029884
Forward closed progress: 1386579
Forward closed progress: 839499
Forward closed progress: 801619
Forward closed progress: 801383
Forward closed progress: 801471
Forward closed progress: 780190
Forward closed progress: 736551
Forward closed progress: 736614
Forward closed progress: 736632
Forward closed progress: 736569
Forward closed progress: 717104
Forward closed progress: 714592
Forward closed progress: 714835
Forward closed progress: 714853
Forward closed progress: 714653
Forward closed progress: 714670
Forward closed progress: 694046
Forward closed progress: 659621
Forward closed progress: 656465
Forward closed progress: 972021
Forward closed progress: 974372
Forward closed progress: 602190
Forward closed progress: 604763
Forward closed progress: 703784
Forward closed progress: 703766
Forward closed progress: 703775
Forward closed progress: 703775
Forward closed progress: 602537
Forward closed progress: 581121
Forward closed progress: 627427
Forward closed progress: 571231
Forward closed progress: 571239
Forward closed progress: 571239
Forward closed progress: 557105
Forward closed progress: 418451
Forward closed progress: 362632
Forward closed progress: 312319
Forward closed progress: 365651
Forward closed progress: 317598
Forward closed progress: 317355
Forward closed progress: 317369
Forward closed progress: 317299
Forward closed progress: 316716
Forward closed progress: 317905
Forward closed progress: 318605
Forward closed progress: 318587
Forward closed progress: 318515
Forward closed progress: 318529
Forward closed progress: 318451
Forward closed progress: 317739
Forward closed progress: 308866
Forward closed progress: 301750
Forward closed progress: 364591
Forward closed progress: 379353
Forward closed progress: 468561
Forward closed progress: 468723
Forward closed progress: 468749
Forward closed progress: 427083
Forward closed progress: 296822
Forward closed progress: 568350
Forward closed progress: 586145
Forward closed progress: 592247
Forward closed progress: 582323
Forward closed progress: 583438
Forward closed progress: 659121
Forward closed progress: 685957
Forward closed progress: 686194
Forward closed progress: 686236
Forward closed progress: 680416
Forward closed progress: 708982
Forward closed progress: 553176
Forward closed progress: 499789
Forward closed progress: 368672
Forward closed progress: 618489
Forward closed progress: 619487
Forward closed progress: 714449
Forward closed progress: 587732
Forward closed progress: 587803
Forward closed progress: 587817
Forward closed progress: 584075
Forward closed progress: 563567
Forward closed progress: 455045
Forward closed progress: 467663
Forward closed progress: 570657
Forward closed progress: 570819
Forward closed progress: 570845
Forward closed progress: 531305
Forward closed progress: 309907
Forward closed progress: 304959
Forward closed progress: 301829
Forward closed progress: 303192
Forward closed progress: 303228
Forward closed progress: 303236
Forward closed progress: 249222
Forward closed progress: 570600
Forward closed progress: 567827
Forward closed progress: 506073
Forward closed progress: 501685
Forward closed progress: 296298
Forward closed progress: 397149
Forward closed progress: 458999
Forward closed progress: 478121
Forward closed progress: 478221
Forward closed progress: 478231
Forward closed progress: 472801
Forward closed progress: 385755
Forward closed progress: 385771
Forward closed progress: 386211
Forward closed progress: 377433
Forward closed progress: 370746
Forward closed progress: 296413
Forward closed progress: 566784
Forward closed progress: 566824
Forward closed progress: 295339
Forward closed progress: 429571
Forward closed progress: 781782
Forward closed progress: 989778
Forward closed progress: 1182131
Forward closed progress: 1182366
Forward closed progress: 1182398
Forward closed progress: 1128144
Forward closed progress: 1129660
Forward closed progress: 1129635
Forward closed progress: 1024077
Forward closed progress: 1361445
Forward closed progress: 1347251
Forward closed progress: 1283251
Forward closed progress: 1217200
Forward closed progress: 1156496
Forward closed progress: 1156532
Forward closed progress: 1015499
Forward closed progress: 833450
Forward closed progress: 894320
Forward closed progress: 892579
Forward closed progress: 1168066
Forward closed progress: 1075500
Forward closed progress: 877066
Forward closed progress: 877240
Forward closed progress: 877136
Forward closed progress: 734379
Forward closed progress: 1218063
Forward closed progress: 1227831
Forward closed progress: 1276000
Forward closed progress: 1276864
Forward closed progress: 1276658
Forward closed progress: 1272997
Forward closed progress: 1262105
Forward closed progress: 1586146
Forward closed progress: 1586164
Forward closed progress: 1434826
Forward closed progress: 1434716
Forward closed progress: 1434772
Forward closed progress: 1358370
Forward closed progress: 1336233
Forward closed progress: 1354471
Forward closed progress: 1327222
Forward closed progress: 1316033
Forward closed progress: 1316663
Forward closed progress: 1316651
Forward closed progress: 647468
Forward closed progress: 795729
Forward closed progress: 793405
Forward closed progress: 789544
Forward closed progress: 684530
Forward closed progress: 694492
Forward closed progress: 693842
Forward closed progress: 691344
Forward closed progress: 687636
Forward closed progress: 576718
Forward closed progress: 272514
Forward closed progress: 303405
Forward closed progress: 255906
Forward closed progress: 265029
Forward closed progress: 265037
Forward closed progress: 248096
Forward closed progress: 247298
Forward closed progress: 284118
Forward closed progress: 279696
Forward closed progress: 282783
Forward closed progress: 298419
Forward closed progress: 590358
Forward closed progress: 419918
Forward closed progress: 419934
Forward closed progress: 425324
Forward closed progress: 444230
Forward closed progress: 451418
Forward closed progress: 465094
Forward closed progress: 465493
Forward closed progress: 465473
Forward closed progress: 459007
Forward closed progress: 458872
Forward closed progress: 447021
Forward closed progress: 447012
Forward closed progress: 446866
Forward closed progress: 446273
Forward closed progress: 440131
Forward closed progress: 540034
Forward closed progress: 513467
Forward closed progress: 504429
Forward closed progress: 492114
Forward closed progress: 534827
Forward closed progress: 520585
Forward closed progress: 554955
Forward closed progress: 549653
Forward closed progress: 549202
Forward closed progress: 571393
Forward closed progress: 558397
Forward closed progress: 558351
Forward closed progress: 660178
Forward closed progress: 658682
Forward closed progress: 574935
Forward closed progress: 588484
Forward closed progress: 588562
Forward closed progress: 577781
Forward closed progress: 577922
Forward closed progress: 572974
Forward closed progress: 559064
Forward closed progress: 556348
Forward closed progress: 541684
Forward closed progress: 541986
Forward closed progress: 538328
Forward closed progress: 518082
Forward closed progress: 512668
Forward closed progress: 509089
Forward closed progress: 432965
Forward closed progress: 432376
Forward closed progress: 416054
Forward closed progress: 415579
Forward closed progress: 443373
Forward closed progress: 442698
Forward closed progress: 431467
Forward closed progress: 431467
Forward closed progress: 436709
Forward closed progress: 436383
Forward closed progress: 429710
Forward closed progress: 450027
Forward closed progress: 365520
Forward closed progress: 371745
Forward closed progress: 351857
Forward closed progress: 358630
Forward closed progress: 358634
Forward closed progress: 349379
Forward closed progress: 343207
Forward closed progress: 323599
Forward closed progress: 361404
Forward closed progress: 353175
Forward closed progress: 338721
Forward closed progress: 343590
Forward closed progress: 347296
Forward closed progress: 348250
Forward closed progress: 348474
Forward closed progress: 348282
Forward closed progress: 346327
Forward closed progress: 346317
Forward closed progress: 346233
Forward closed progress: 345921
Forward closed progress: 339953
Forward closed progress: 351077
Forward closed progress: 348898
Forward closed progress: 350354
Forward closed progress: 350404
Forward closed progress: 349006
Forward closed progress: 342039
Forward closed progress: 339863
Forward closed progress: 334202
Forward closed progress: 334159
Forward closed progress: 333105
Forward closed progress: 333403
Forward closed progress: 333078
Forward closed progress: 332969
Forward closed progress: 332941
Forward closed progress: 332196
Forward closed progress: 499770
Forward closed progress: 566148
Forward closed progress: 587919
Forward closed progress: 591853
Forward closed progress: 645021
Forward closed progress: 644661
Forward closed progress: 645567
Forward closed progress: 645291
Forward closed progress: 645323
Forward closed progress: 631207
Forward closed progress: 631267
Forward closed progress: 628405
Forward closed progress: 626217
Forward closed progress: 603662
Forward closed progress: 601717
Forward closed progress: 612122
Forward closed progress: 607589
Forward closed progress: 608805
Forward closed progress: 610565
Forward closed progress: 610029
Forward closed progress: 616801
Forward closed progress: 562487
Forward closed progress: 593681
Forward closed progress: 593697
Forward closed progress: 536087
Forward closed progress: 537477
Forward closed progress: 573110
Forward closed progress: 574388
Forward closed progress: 574484
Forward closed progress: 491115
Forward closed progress: 489466
Forward closed progress: 487533
Forward closed progress: 468046
Forward closed progress: 448944
Forward closed progress: 420932
Forward closed progress: 387087
Forward closed progress: 387087
Forward closed progress: 350461
Forward closed progress: 344893
Forward closed progress: 333913
Forward closed progress: 332313
Forward closed progress: 300527
Forward closed progress: 754499
Forward closed progress: 698088
Forward closed progress: 598884
Forward closed progress: 591901
Forward closed progress: 610823
Forward closed progress: 340860
Forward closed progress: 293530
Forward closed progress: 283673
Forward closed progress: 278504
Forward closed progress: 309619
Forward closed progress: 302784
Forward closed progress: 302800
Forward closed progress: 303115
Forward closed progress: 310889
Forward closed progress: 311215
Forward closed progress: 323239
Forward closed progress: 315616
Forward closed progress: 315618
Forward closed progress: 313720
Forward closed progress: 317036
Forward closed progress: 318953
Forward closed progress: 318951
Forward closed progress: 318936
Forward closed progress: 318876
Forward closed progress: 318773
Forward closed progress: 333643
Forward closed progress: 334363
Forward closed progress: 334361
Forward closed progress: 332497
Forward closed progress: 321521
Forward closed progress: 321361
Forward closed progress: 315639
Forward closed progress: 314453
Forward closed progress: 317474
Forward closed progress: 321774
Forward closed progress: 315130
Forward closed progress: 315127
Forward closed progress: 313241
Forward closed progress: 313823
Forward closed progress: 314157
Forward closed progress: 313733
Forward closed progress: 311220
Forward closed progress: 296048
Forward closed progress: 407395
Forward closed progress: 374039
Forward closed progress: 273236
Forward closed progress: 307260
Forward closed progress: 307268
Forward closed progress: 273300
Forward closed progress: 250295
Forward closed progress: 238549
Forward closed progress: 232179
Forward closed progress: 252374
Forward closed progress: 258895
Forward closed progress: 233602
Forward closed progress: 240998
Forward closed progress: 241913
Forward closed progress: 241026
Forward closed progress: 241034
Forward closed progress: 240664
Forward closed progress: 239925
Forward closed progress: 239809
Forward closed progress: 240035
Forward closed progress: 240079
Forward closed progress: 240019
Forward closed progress: 181720
Forward closed progress: 189875
Forward closed progress: 194985
Forward closed progress: 200878
Forward closed progress: 201122
Forward closed progress: 204652
Forward closed progress: 204712
Forward closed progress: 204720
Forward closed progress: 202744
Forward closed progress: 202743
Forward closed progress: 202317
Forward closed progress: 201028
Forward closed progress: 197728
Forward closed progress: 198038
Forward closed progress: 198072
Forward closed progress: 198734
Forward closed progress: 198641
Forward closed progress: 197356
Forward closed progress: 204985
Forward closed progress: 204989
Forward closed progress: 197504
Forward closed progress: 197616
Forward closed progress: 198196
Forward closed progress: 198288
Forward closed progress: 198296
Forward closed progress: 190189
Forward closed progress: 189585
Forward closed progress: 185926
Forward closed progress: 185694
Forward closed progress: 181956
Forward closed progress: 181703
Forward closed progress: 179216
Forward closed progress: 177285
Forward closed progress: 184851
Forward closed progress: 105698
Forward closed progress: 121729
Forward closed progress: 121650
Forward closed progress: 138201
Forward closed progress: 138300
Forward closed progress: 138305
Forward closed progress: 137637
Forward closed progress: 135606
Forward closed progress: 152076
Forward closed progress: 152561
Forward closed progress: 164036
Forward closed progress: 168053
Forward closed progress: 192367
Forward closed progress: 189215
Forward closed progress: 221142
Forward closed progress: 221117
Forward closed progress: 203386
Forward closed progress: 208232
Forward closed progress: 212776
Forward closed progress: 213327
Forward closed progress: 213209
Forward closed progress: 205917
Forward closed progress: 204345
Forward closed progress: 203643
Forward closed progress: 198163
Forward closed progress: 192197
Forward closed progress: 206903
Forward closed progress: 199194
Forward closed progress: 240189
Forward closed progress: 197712
Forward closed progress: 209131
Forward closed progress: 209139
Forward closed progress: 200611
Forward closed progress: 200601
Forward closed progress: 197101
Forward closed progress: 196651
Forward closed progress: 180017
Forward closed progress: 187889
Forward closed progress: 164153
Forward closed progress: 163118
Forward closed progress: 194533
Forward closed progress: 183876
Forward closed progress: 148931
Forward closed progress: 161297
Forward closed progress: 161305
Forward closed progress: 152786
Forward closed progress: 152770
Forward closed progress: 148947
Forward closed progress: 140033
Forward closed progress: 135495
Forward closed progress: 133369
Forward closed progress: 141954
Forward closed progress: 146141
Forward closed progress: 143796
Forward closed progress: 133455
Forward closed progress: 133795
Forward closed progress: 136299
Forward closed progress: 137667
Forward closed progress: 135451
Forward closed progress: 136861
Forward closed progress: 135294
Forward closed progress: 135590
Forward closed progress: 135626
Forward closed progress: 136087
Forward closed progress: 136089
Forward closed progress: 136891
Forward closed progress: 137920
Forward closed progress: 137922
Forward closed progress: 136965
Forward closed progress: 136481
Forward closed progress: 136915
Forward closed progress: 136921
Forward closed progress: 136974
Forward closed progress: 136962
Forward closed progress: 137481
Forward closed progress: 136440
Forward closed progress: 136491
Forward closed progress: 136503
Forward closed progress: 135392
Forward closed progress: 131677
Forward closed progress: 137891
Forward closed progress: 167283
Forward closed progress: 202752
Forward closed progress: 203208
Forward closed progress: 203234
Forward closed progress: 200059
Forward closed progress: 195249
Forward closed progress: 208581
Forward closed progress: 208813
Forward closed progress: 217522
Forward closed progress: 221652
Forward closed progress: 242989
Forward closed progress: 273226
Forward closed progress: 273208
Forward closed progress: 260213
Forward closed progress: 270533
Forward closed progress: 302497
Forward closed progress: 303590
Forward closed progress: 303590
Forward closed progress: 297506
Forward closed progress: 301679
Forward closed progress: 306159
Forward closed progress: 300429
Forward closed progress: 275497
Forward closed progress: 276457
Forward closed progress: 291642
Forward closed progress: 284076
Forward closed progress: 343427
Forward closed progress: 342778
Forward closed progress: 357719
Forward closed progress: 358617
Forward closed progress: 358432
Forward closed progress: 366643
Forward closed progress: 430667
Forward closed progress: 369830
Forward closed progress: 388632
Forward closed progress: 388640
Forward closed progress: 373821
Forward closed progress: 373811
Forward closed progress: 368067
Forward closed progress: 366757
Forward closed progress: 356583
Forward closed progress: 355052
Forward closed progress: 365879
Forward closed progress: 398266
Forward closed progress: 387579
Forward closed progress: 387847
Forward closed progress: 398233
Forward closed progress: 398707
Forward closed progress: 409992
Forward closed progress: 410049
Forward closed progress: 410055
Forward closed progress: 408624
Forward closed progress: 410015
Forward closed progress: 409455
Forward closed progress: 409453
Forward closed progress: 409441
Forward closed progress: 409381
Forward closed progress: 408797
Forward closed progress: 430268
Forward closed progress: 431302
Forward closed progress: 452755
Forward closed progress: 452323
Forward closed progress: 502375
Forward closed progress: 538712
Forward closed progress: 538728
Forward closed progress: 515491
Forward closed progress: 530247
Forward closed progress: 538815
Forward closed progress: 532976
Forward closed progress: 532988
Forward closed progress: 505957
Forward closed progress: 504529
Forward closed progress: 502619
Forward closed progress: 488748
Forward closed progress: 487465
Forward closed progress: 475247
Forward closed progress: 467402
Forward closed progress: 463158
Forward closed progress: 518724
Forward closed progress: 477210
Forward closed progress: 493938
Forward closed progress: 493905
Forward closed progress: 481551
Forward closed progress: 492318
Forward closed progress: 480163
Forward closed progress: 460487
Forward closed progress: 608156
Forward closed progress: 642086
Forward closed progress: 645034
Forward closed progress: 679053
Forward closed progress: 683358
Forward closed progress: 683647
Forward closed progress: 682333
Forward closed progress: 670193
Forward closed progress: 656067
Forward closed progress: 641680
Forward closed progress: 641625
Forward closed progress: 641334
Forward closed progress: 640392
Forward closed progress: 634072
Forward closed progress: 652131
Forward closed progress: 653098
Forward closed progress: 724307
Forward closed progress: 742745
Forward closed progress: 911420
Forward closed progress: 984225
Forward closed progress: 961572
Forward closed progress: 995849
Forward closed progress: 946087
Forward closed progress: 947393
Forward closed progress: 928749
Forward closed progress: 948181
Forward closed progress: 946362
Forward closed progress: 941366
Forward closed progress: 898046
Forward closed progress: 968241
Forward closed progress: 922674
Forward closed progress: 1172327
Forward closed progress: 891206
Forward closed progress: 971246
Forward closed progress: 971282
Forward closed progress: 910220
Forward closed progress: 910186
Forward closed progress: 889191
Forward closed progress: 875346
Forward closed progress: 787622
Forward closed progress: 786023
Forward closed progress: 783331
Forward closed progress: 779391
Forward closed progress: 784803
Forward closed progress: 771320
Forward closed progress: 728890
Forward closed progress: 728922
Forward closed progress: 728990
Forward closed progress: 729832
Forward closed progress: 728922
Forward closed progress: 730506
Forward closed progress: 731132
Forward closed progress: 731136
Forward closed progress: 731487
Forward closed progress: 731491
Forward closed progress: 732249
Forward closed progress: 729246
Forward closed progress: 729828
Forward closed progress: 732272
Forward closed progress: 1002729
Forward closed progress: 945497
Forward closed progress: 699187
Forward closed progress: 793465
Forward closed progress: 793513
Forward closed progress: 713546
Forward closed progress: 713489
Forward closed progress: 690446
Forward closed progress: 633753
Forward closed progress: 632815
Forward closed progress: 614063
Forward closed progress: 560695
Forward closed progress: 552777
Forward closed progress: 545247
Forward closed progress: 454015
Forward closed progress: 411389
Forward closed progress: 381152
Forward closed progress: 369922
Forward closed progress: 368682
Forward closed progress: 366580
Forward closed progress: 367202
Forward closed progress: 366917
Forward closed progress: 360100
Forward closed progress: 322631
Forward closed progress: 292342
Forward closed progress: 264160
Forward closed progress: 227799
Forward closed progress: 151161
Forward closed progress: 148669
Forward closed progress: 189861
Forward closed progress: 181438
Forward closed progress: 218939
Forward closed progress: 219114
Forward closed progress: 219132
Forward closed progress: 215432
Forward closed progress: 208992
Forward closed progress: 226506
Forward closed progress: 226862
Forward closed progress: 243241
Forward closed progress: 247102
Forward closed progress: 287878
Forward closed progress: 317118
Forward closed progress: 317100
Forward closed progress: 304416
Forward closed progress: 316487
Forward closed progress: 329047
Forward closed progress: 329759
Forward closed progress: 329729
Forward closed progress: 322161
Forward closed progress: 323848
Forward closed progress: 327450
Forward closed progress: 322541
Forward closed progress: 319970
Forward closed progress: 320684
Forward closed progress: 349925
Forward closed progress: 340612
Forward closed progress: 424650
Forward closed progress: 342651
Forward closed progress: 361296
Forward closed progress: 361304
Forward closed progress: 347286
Forward closed progress: 347276
Forward closed progress: 341530
Forward closed progress: 340658
Forward closed progress: 318433
Forward closed progress: 319981
Forward closed progress: 320496
Forward closed progress: 384120
Forward closed progress: 363533
Forward closed progress: 285112
Forward closed progress: 310179
Forward closed progress: 310187
Forward closed progress: 292884
Forward closed progress: 292871
Forward closed progress: 285150
Forward closed progress: 269281
Forward closed progress: 258516
Forward closed progress: 254289
Forward closed progress: 223161
Forward closed progress: 188350
Forward closed progress: 186918
Forward closed progress: 192446
Forward closed progress: 182473
Forward closed progress: 178464
Forward closed progress: 176849
Forward closed progress: 177103
Forward closed progress: 176830
Forward closed progress: 174335
Forward closed progress: 172627
Forward closed progress: 157183
Forward closed progress: 119464
Forward closed progress: 119649
Forward closed progress: 123564
Forward closed progress: 119387
Forward closed progress: 119035
Forward closed progress: 119132
Forward closed progress: 112645
Forward closed progress: 180858
Forward closed progress: 176213
Forward closed progress: 235193
Forward closed progress: 311061
Forward closed progress: 335605
Forward closed progress: 335721
Forward closed progress: 335729
Forward closed progress: 327964
Forward closed progress: 311986
Forward closed progress: 381604
Forward closed progress: 405137
Forward closed progress: 428702
Forward closed progress: 430630
Forward closed progress: 430237
Forward closed progress: 429844
Forward closed progress: 420041
Forward closed progress: 426576
Forward closed progress: 563134
Forward closed progress: 565222
Forward closed progress: 495426
Forward closed progress: 528481
Forward closed progress: 547556
Forward closed progress: 547608
Forward closed progress: 547616
Forward closed progress: 507679
Forward closed progress: 466720
Forward closed progress: 518301
Forward closed progress: 520475
Forward closed progress: 520501
Forward closed progress: 520505
Forward closed progress: 488294
Forward closed progress: 470800
Forward closed progress: 579648
Forward closed progress: 581207
Forward closed progress: 656640
Forward closed progress: 707292
Forward closed progress: 918097
Forward closed progress: 882753
Forward closed progress: 1334912
Forward closed progress: 1334944
Forward closed progress: 995129
Forward closed progress: 644729
Forward closed progress: 480494
Forward closed progress: 568670
Forward closed progress: 568885
Forward closed progress: 611662
Forward closed progress: 611674
Forward closed progress: 690626
Forward closed progress: 686936
Forward closed progress: 457193
Forward closed progress: 430901
Forward closed progress: 423503
Forward closed progress: 565970
Forward closed progress: 510046
Forward closed progress: 510361
Forward closed progress: 514487
Forward closed progress: 513362
Forward closed progress: 513378
Forward closed progress: 513382
Forward closed progress: 548533
Forward closed progress: 548267
Forward closed progress: 546988
Forward closed progress: 547543
Forward closed progress: 567755
Forward closed progress: 567705
Forward closed progress: 599554
Forward closed progress: 610890
Forward closed progress: 608278
Forward closed progress: 607194
Forward closed progress: 669892
Forward closed progress: 669888
Forward closed progress: 627230
Forward closed progress: 634986
Forward closed progress: 635034
Forward closed progress: 633686
Forward closed progress: 602892
Forward closed progress: 602896
Forward closed progress: 593756
Forward closed progress: 593696
Forward closed progress: 629207
Forward closed progress: 632895
Forward closed progress: 623472
Forward closed progress: 623472
Forward closed progress: 634444
Forward closed progress: 634408
Forward closed progress: 629994
Forward closed progress: 647418
Forward closed progress: 578626
Forward closed progress: 588724
Forward closed progress: 570654
Forward closed progress: 575370
Forward closed progress: 575374
Forward closed progress: 569514
Forward closed progress: 566980
Forward closed progress: 563020
Forward closed progress: 559674
Forward closed progress: 546300
Forward closed progress: 568217
Forward closed progress: 564582
Forward closed progress: 538910
Forward closed progress: 526641
Forward closed progress: 525785
Forward closed progress: 419033
Forward closed progress: 407873
Forward closed progress: 435508
Forward closed progress: 414117
Forward closed progress: 405582
Forward closed progress: 404486
Forward closed progress: 402967
Forward closed progress: 403831
Forward closed progress: 403775
Forward closed progress: 402319
Forward closed progress: 339064
Forward closed progress: 354652
Forward closed progress: 354612
Forward closed progress: 333882
Forward closed progress: 343086
Forward closed progress: 343090
Forward closed progress: 334272
Forward closed progress: 331056
Forward closed progress: 195625
Forward closed progress: 222849
Forward closed progress: 197274
Forward closed progress: 150047
Forward closed progress: 141580
Forward closed progress: 142601
Forward closed progress: 139210
Forward closed progress: 137484
Forward closed progress: 157839
Forward closed progress: 157893
Forward closed progress: 167279
Forward closed progress: 168712
Forward closed progress: 165438
Forward closed progress: 160724
Forward closed progress: 160732
Forward closed progress: 160702
Forward closed progress: 161553
Forward closed progress: 161599
Forward closed progress: 162967
Forward closed progress: 166624
Forward closed progress: 167479
Forward closed progress: 167455
Forward closed progress: 168559
Forward closed progress: 172929
Forward closed progress: 168045
Forward closed progress: 169257
Forward closed progress: 169259
Forward closed progress: 167887
Forward closed progress: 167697
Forward closed progress: 172171
Forward closed progress: 172135
Forward closed progress: 168703
Forward closed progress: 170162
Forward closed progress: 170164
Forward closed progress: 168740
Forward closed progress: 168109
Forward closed progress: 155042
Forward closed progress: 118842
Forward closed progress: 119742
Forward closed progress: 118093
Forward closed progress: 115498
Forward closed progress: 122099
Forward closed progress: 105417
Forward closed progress: 105417
Control exists for 14056056 color(s), jumping through 8 vertices.
Elapsed: 14930238 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 14930.238
user ??
sys ??
