>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 32
Uncertainty colors: 25472160
Perturbation colors: 4294967296
All colors: 109402094158479360
Unknown update functions: 3
Lowest cardinality: 3
Highest cardinality: 5
Attractor colors: 20163600144400384
Attractor colors computed in 35851 ms.
Backward progress: 100910
Backward progress: 100917
Backward progress: 101012
Backward progress: 102363
Backward progress: 102343
Backward progress: 118632
Backward progress: 120772
Backward progress: 122667
Backward progress: 129119
Backward progress: 129089
Backward progress: 129099
Backward progress: 123038
Backward progress: 126644
Backward progress: 135578
Backward progress: 136777
Backward progress: 136778
Backward progress: 136689
Backward progress: 136679
Backward progress: 136497
Backward progress: 135888
Backward progress: 135805
Backward progress: 136472
Backward progress: 137794
Backward progress: 137650
Backward progress: 135656
Backward progress: 136930
Backward progress: 136645
Backward progress: 138410
Backward progress: 138407
Backward progress: 138401
Backward progress: 138021
Backward progress: 137745
Backward progress: 137589
Backward progress: 137802
Backward progress: 112674
Backward progress: 112915
Backward progress: 116731
Backward progress: 118025
Backward progress: 117785
Backward progress: 117866
Backward progress: 117825
Backward progress: 119284
Backward progress: 120833
Backward progress: 120837
Backward progress: 121262
Backward progress: 130847
Backward progress: 128516
Backward progress: 128482
Backward progress: 128236
Backward progress: 137071
Backward progress: 137064
Backward progress: 119534
Backward progress: 119439
Backward progress: 119358
Backward progress: 118080
Backward progress: 118056
Backward progress: 117999
Backward progress: 117920
Backward progress: 117861
Backward progress: 103225
Forward closed progress: 127312
Forward closed progress: 124956
Forward closed progress: 124200
Forward closed progress: 133732
Forward closed progress: 120081
Forward closed progress: 119680
Forward closed progress: 117344
Forward closed progress: 117260
Forward closed progress: 119724
Forward closed progress: 130251
Forward closed progress: 132953
Forward closed progress: 132370
Forward closed progress: 132275
Forward closed progress: 142485
Forward closed progress: 143722
Forward closed progress: 144385
Forward closed progress: 144331
Forward closed progress: 145141
Forward closed progress: 145142
Forward closed progress: 146430
Forward closed progress: 146462
Forward closed progress: 146016
Forward closed progress: 145933
Forward closed progress: 144348
Forward closed progress: 144333
Forward closed progress: 144652
Forward closed progress: 144845
Forward closed progress: 189642
Forward closed progress: 195119
Forward closed progress: 194658
Forward closed progress: 194652
Forward closed progress: 208245
Forward closed progress: 207939
Forward closed progress: 207384
Forward closed progress: 206147
Forward closed progress: 206145
Forward closed progress: 206150
Forward closed progress: 205319
Forward closed progress: 205353
Forward closed progress: 205348
Forward closed progress: 204919
Forward closed progress: 205178
Forward closed progress: 205171
Forward closed progress: 205102
Forward closed progress: 205176
Forward closed progress: 205093
Forward closed progress: 188054
Forward closed progress: 187920
Forward closed progress: 188230
Forward closed progress: 188311
Forward closed progress: 188187
Forward closed progress: 188146
Forward closed progress: 188162
Forward closed progress: 280767
Forward closed progress: 287088
Forward closed progress: 290816
Forward closed progress: 284726
Forward closed progress: 293729
Forward closed progress: 293381
Forward closed progress: 293136
Forward closed progress: 292771
Forward closed progress: 290637
Forward closed progress: 287321
Forward closed progress: 287295
Forward closed progress: 283245
Forward closed progress: 282824
Forward closed progress: 273583
Forward closed progress: 273421
Forward closed progress: 273413
Forward closed progress: 457512
Forward closed progress: 442565
Forward closed progress: 440324
Forward closed progress: 431186
Forward closed progress: 431302
Forward closed progress: 431326
Forward closed progress: 431886
Forward closed progress: 431618
Forward closed progress: 431142
Forward closed progress: 431301
Forward closed progress: 428900
Forward closed progress: 428893
Forward closed progress: 428759
Forward closed progress: 428567
Forward closed progress: 428595
Forward closed progress: 428453
Forward closed progress: 426438
Forward closed progress: 426227
Forward closed progress: 432803
Forward closed progress: 434111
Forward closed progress: 429620
Forward closed progress: 429737
Forward closed progress: 429734
Forward closed progress: 429741
Forward closed progress: 430030
Forward closed progress: 429283
Forward closed progress: 429147
Forward closed progress: 428647
Forward closed progress: 428835
Forward closed progress: 428857
Forward closed progress: 426887
Forward closed progress: 426827
Forward closed progress: 424712
Forward closed progress: 424605
Forward closed progress: 424524
Forward closed progress: 424321
Forward closed progress: 424895
Forward closed progress: 422114
Forward closed progress: 421976
Forward closed progress: 419924
Forward closed progress: 466580
Forward closed progress: 465113
Forward closed progress: 465526
Forward closed progress: 465528
Forward closed progress: 464889
Forward closed progress: 462318
Forward closed progress: 463180
Forward closed progress: 462026
Forward closed progress: 462530
Forward closed progress: 461073
Forward closed progress: 456052
Forward closed progress: 456096
Forward closed progress: 456024
Forward closed progress: 455973
Forward closed progress: 455975
Forward closed progress: 456109
Forward closed progress: 453476
Forward closed progress: 452869
Forward closed progress: 451819
Forward closed progress: 451819
Forward closed progress: 650498
Forward closed progress: 660210
Forward closed progress: 661612
Forward closed progress: 663113
Forward closed progress: 656337
Forward closed progress: 658227
Forward closed progress: 658699
Forward closed progress: 670656
Forward closed progress: 664946
Forward closed progress: 664822
Forward closed progress: 664813
Forward closed progress: 660190
Forward closed progress: 661507
Forward closed progress: 638047
Forward closed progress: 637983
Forward closed progress: 636032
Forward closed progress: 636025
Forward closed progress: 635688
Forward closed progress: 635504
Forward closed progress: 635294
Forward closed progress: 633174
Forward closed progress: 628701
Forward closed progress: 630018
Forward closed progress: 629830
Forward closed progress: 629784
Forward closed progress: 548448
Forward closed progress: 548533
Forward closed progress: 548557
Forward closed progress: 548961
Forward closed progress: 548480
Forward closed progress: 534001
Forward closed progress: 503009
Forward closed progress: 503514
Forward closed progress: 503015
Forward closed progress: 503037
Forward closed progress: 503031
Forward closed progress: 493936
Forward closed progress: 521907
Forward closed progress: 523632
Forward closed progress: 522494
Forward closed progress: 517034
Forward closed progress: 609392
Forward closed progress: 591775
Forward closed progress: 591775
Forward closed progress: 591775
Forward closed progress: 591773
Forward closed progress: 590285
Forward closed progress: 590210
Forward closed progress: 596572
Forward closed progress: 596476
Forward closed progress: 596255
Forward closed progress: 596246
Forward closed progress: 595092
Forward closed progress: 584976
Forward closed progress: 581374
Forward closed progress: 581356
Forward closed progress: 576967
Forward closed progress: 571857
Forward closed progress: 562941
Forward closed progress: 570590
Forward closed progress: 567868
Forward closed progress: 553858
Forward closed progress: 537415
Forward closed progress: 536732
Forward closed progress: 517765
Forward closed progress: 507657
Forward closed progress: 503423
Forward closed progress: 496923
Forward closed progress: 497358
Forward closed progress: 497265
Forward closed progress: 497144
Forward closed progress: 493948
Forward closed progress: 492804
Forward closed progress: 491156
Forward closed progress: 490850
Forward closed progress: 489933
Forward closed progress: 489022
Forward closed progress: 523749
Forward closed progress: 526643
Forward closed progress: 533524
Forward closed progress: 533683
Forward closed progress: 533996
Forward closed progress: 533984
Forward closed progress: 535682
Forward closed progress: 535661
Forward closed progress: 535449
Forward closed progress: 557716
Forward closed progress: 562611
Forward closed progress: 562620
Forward closed progress: 561941
Forward closed progress: 559055
Forward closed progress: 634333
Forward closed progress: 637540
Forward closed progress: 635914
Forward closed progress: 633516
Forward closed progress: 633453
Forward closed progress: 632777
Forward closed progress: 627802
Forward closed progress: 625762
Forward closed progress: 670919
Forward closed progress: 660127
Forward closed progress: 657627
Forward closed progress: 649910
Forward closed progress: 643177
Forward closed progress: 639392
Forward closed progress: 639650
Forward closed progress: 650313
Forward closed progress: 650018
Forward closed progress: 644015
Forward closed progress: 643873
Forward closed progress: 639353
Forward closed progress: 639345
Forward closed progress: 636994
Forward closed progress: 631213
Forward closed progress: 608441
Forward closed progress: 607130
Forward closed progress: 605222
Forward closed progress: 662508
Forward closed progress: 661977
Forward closed progress: 669238
Forward closed progress: 664048
Forward closed progress: 663767
Forward closed progress: 665271
Forward closed progress: 666228
Forward closed progress: 666147
Forward closed progress: 666070
Forward closed progress: 666042
Forward closed progress: 665872
Forward closed progress: 666024
Forward closed progress: 652694
Forward closed progress: 652718
Forward closed progress: 648990
Forward closed progress: 651557
Forward closed progress: 651531
Forward closed progress: 626994
Forward closed progress: 627011
Forward closed progress: 626985
Forward closed progress: 626859
Forward closed progress: 626977
Forward closed progress: 626155
Forward closed progress: 622949
Forward closed progress: 611911
Forward closed progress: 610821
Forward closed progress: 653192
Forward closed progress: 634327
Forward closed progress: 634416
Forward closed progress: 635068
Forward closed progress: 635066
Forward closed progress: 635075
Forward closed progress: 634842
Forward closed progress: 634618
Forward closed progress: 634654
Forward closed progress: 633037
Forward closed progress: 626060
Forward closed progress: 625799
Forward closed progress: 624416
Forward closed progress: 622001
Forward closed progress: 631643
Forward closed progress: 621382
Forward closed progress: 618592
Forward closed progress: 611200
Forward closed progress: 612046
Forward closed progress: 611343
Forward closed progress: 611290
Forward closed progress: 610534
Forward closed progress: 610427
Forward closed progress: 610191
Forward closed progress: 610054
Forward closed progress: 609714
Forward closed progress: 604930
Forward closed progress: 594213
Forward closed progress: 596386
Forward closed progress: 590189
Forward closed progress: 587676
Forward closed progress: 587016
Forward closed progress: 552383
Forward closed progress: 702181
Forward closed progress: 836919
Forward closed progress: 823926
Forward closed progress: 824136
Forward closed progress: 826077
Forward closed progress: 860895
Forward closed progress: 871064
Forward closed progress: 871050
Forward closed progress: 890911
Forward closed progress: 879853
Forward closed progress: 883956
Forward closed progress: 885469
Forward closed progress: 889318
Forward closed progress: 890904
Forward closed progress: 895304
Forward closed progress: 895380
Forward closed progress: 895361
Forward closed progress: 893483
Forward closed progress: 897416
Forward closed progress: 894234
Forward closed progress: 894017
Forward closed progress: 891843
Forward closed progress: 891166
Forward closed progress: 859257
Forward closed progress: 859363
Forward closed progress: 859165
Forward closed progress: 858967
Forward closed progress: 858993
Forward closed progress: 858428
Forward closed progress: 843176
Forward closed progress: 842446
Forward closed progress: 842610
Forward closed progress: 842614
Forward closed progress: 842696
Forward closed progress: 842706
Forward closed progress: 889852
Forward closed progress: 882535
Forward closed progress: 882543
Forward closed progress: 882563
Forward closed progress: 882623
Forward closed progress: 882887
Forward closed progress: 878133
Forward closed progress: 877627
Forward closed progress: 875747
Forward closed progress: 875759
Forward closed progress: 875607
Forward closed progress: 873504
Forward closed progress: 845628
Forward closed progress: 837418
Forward closed progress: 835876
Forward closed progress: 810618
Forward closed progress: 922631
Forward closed progress: 879087
Forward closed progress: 876428
Forward closed progress: 877230
Forward closed progress: 876586
Forward closed progress: 874876
Forward closed progress: 874536
Forward closed progress: 872372
Forward closed progress: 872433
Forward closed progress: 828719
Forward closed progress: 820345
Forward closed progress: 812993
Forward closed progress: 830762
Forward closed progress: 837169
Forward closed progress: 828228
Forward closed progress: 856139
Forward closed progress: 842769
Forward closed progress: 845398
Forward closed progress: 842760
Forward closed progress: 841942
Forward closed progress: 830798
Forward closed progress: 829803
Forward closed progress: 831451
Forward closed progress: 830184
Forward closed progress: 825159
Forward closed progress: 825765
Forward closed progress: 825279
Forward closed progress: 825231
Forward closed progress: 824835
Forward closed progress: 817701
Forward closed progress: 816953
Forward closed progress: 825999
Forward closed progress: 819923
Forward closed progress: 819108
Forward closed progress: 818137
Forward closed progress: 812865
Forward closed progress: 795425
Forward closed progress: 792463
Forward closed progress: 792463
Forward closed progress: 792383
Forward closed progress: 926718
Forward closed progress: 938866
Forward closed progress: 939829
Forward closed progress: 939884
Forward closed progress: 940223
Forward closed progress: 893839
Forward closed progress: 902167
Forward closed progress: 902155
Forward closed progress: 901697
Forward closed progress: 901249
Forward closed progress: 900288
Forward closed progress: 898715
Forward closed progress: 905557
Forward closed progress: 905898
Forward closed progress: 905928
Forward closed progress: 906403
Forward closed progress: 906493
Forward closed progress: 906451
Forward closed progress: 895421
Forward closed progress: 894083
Forward closed progress: 893990
Forward closed progress: 894030
Forward closed progress: 893904
Forward closed progress: 919152
Forward closed progress: 920084
Forward closed progress: 920075
Forward closed progress: 919802
Forward closed progress: 919419
Forward closed progress: 918957
Forward closed progress: 918083
Forward closed progress: 921713
Forward closed progress: 924681
Forward closed progress: 924832
Forward closed progress: 924744
Forward closed progress: 924647
Forward closed progress: 916474
Forward closed progress: 900602
Forward closed progress: 961632
Forward closed progress: 965543
Forward closed progress: 959595
Forward closed progress: 960975
Forward closed progress: 960570
Forward closed progress: 960618
Forward closed progress: 960775
Forward closed progress: 960843
Forward closed progress: 960572
Forward closed progress: 958784
Forward closed progress: 958745
Forward closed progress: 958541
Forward closed progress: 958583
Forward closed progress: 958565
Forward closed progress: 953662
Forward closed progress: 953583
Forward closed progress: 953543
Forward closed progress: 953279
Forward closed progress: 952523
Forward closed progress: 950052
Forward closed progress: 950051
Forward closed progress: 949902
Forward closed progress: 954615
Forward closed progress: 943594
Forward closed progress: 944580
Forward closed progress: 944556
Forward closed progress: 944150
Forward closed progress: 944028
Forward closed progress: 943948
Forward closed progress: 975000
Forward closed progress: 955139
Forward closed progress: 955153
Forward closed progress: 955182
Forward closed progress: 955184
Forward closed progress: 955111
Forward closed progress: 955173
Forward closed progress: 955193
Forward closed progress: 955093
Forward closed progress: 955129
Forward closed progress: 954800
Forward closed progress: 954372
Forward closed progress: 954398
Forward closed progress: 954248
Forward closed progress: 955298
Forward closed progress: 954739
Forward closed progress: 970969
Forward closed progress: 965517
Forward closed progress: 960297
Forward closed progress: 960326
Forward closed progress: 959860
Forward closed progress: 959798
Forward closed progress: 959589
Forward closed progress: 959533
Forward closed progress: 959148
Forward closed progress: 959579
Forward closed progress: 958995
Forward closed progress: 958968
Forward closed progress: 958926
Forward closed progress: 958728
Forward closed progress: 958599
Forward closed progress: 958326
Forward closed progress: 958092
Forward closed progress: 956477
Forward closed progress: 957749
Forward closed progress: 958483
Forward closed progress: 956771
Forward closed progress: 953875
Forward closed progress: 955783
Forward closed progress: 955771
Forward closed progress: 955327
Forward closed progress: 955259
Forward closed progress: 954886
Forward closed progress: 954698
Forward closed progress: 955372
Forward closed progress: 954838
Forward closed progress: 954782
Forward closed progress: 955035
Forward closed progress: 954766
Forward closed progress: 950913
Forward closed progress: 950035
Forward closed progress: 927154
Forward closed progress: 927478
Forward closed progress: 927466
Forward closed progress: 927963
Forward closed progress: 928078
Forward closed progress: 928054
Forward closed progress: 933796
Forward closed progress: 933772
Forward closed progress: 933550
Forward closed progress: 937621
Forward closed progress: 942279
Forward closed progress: 937698
Forward closed progress: 937644
Forward closed progress: 937647
Forward closed progress: 937632
Forward closed progress: 937540
Forward closed progress: 937439
Forward closed progress: 937269
Forward closed progress: 935446
Forward closed progress: 937563
Forward closed progress: 937650
Forward closed progress: 937650
Forward closed progress: 938400
Forward closed progress: 938412
Forward closed progress: 938206
Forward closed progress: 938280
Forward closed progress: 938292
Forward closed progress: 938205
Forward closed progress: 937713
Forward closed progress: 937704
Forward closed progress: 936287
Forward closed progress: 936251
Forward closed progress: 936307
Forward closed progress: 936107
Forward closed progress: 936107
Forward closed progress: 934677
Forward closed progress: 932030
Forward closed progress: 931954
Forward closed progress: 928901
Forward closed progress: 1106041
Forward closed progress: 1560471
Forward closed progress: 1538949
Forward closed progress: 1537653
Forward closed progress: 1539750
Forward closed progress: 1538010
Forward closed progress: 1534496
Forward closed progress: 1535384
Forward closed progress: 1530864
Forward closed progress: 1529413
Forward closed progress: 1526574
Forward closed progress: 1557213
Forward closed progress: 1526698
Forward closed progress: 1526748
Forward closed progress: 1526750
Forward closed progress: 1536681
Forward closed progress: 1537344
Forward closed progress: 1530759
Forward closed progress: 1530030
Forward closed progress: 1529928
Forward closed progress: 1640484
Forward closed progress: 1725810
Forward closed progress: 1725513
Forward closed progress: 1683873
Forward closed progress: 1683781
Forward closed progress: 1589843
Forward closed progress: 1578374
Forward closed progress: 1579900
Forward closed progress: 1575183
Forward closed progress: 1566991
Forward closed progress: 1566986
Forward closed progress: 1566872
Forward closed progress: 1566007
Forward closed progress: 1554911
Forward closed progress: 1551329
Forward closed progress: 1444159
Forward closed progress: 1444355
Forward closed progress: 1444257
Forward closed progress: 1441961
Forward closed progress: 1441929
Forward closed progress: 1438469
Forward closed progress: 1435243
Forward closed progress: 1433997
Forward closed progress: 1438587
Forward closed progress: 1439518
Forward closed progress: 1441799
Forward closed progress: 1441729
Forward closed progress: 1442159
Forward closed progress: 1442027
Forward closed progress: 1443795
Forward closed progress: 1444316
Forward closed progress: 1444235
Forward closed progress: 1444324
Forward closed progress: 1444333
Forward closed progress: 1445138
Forward closed progress: 1445126
Forward closed progress: 1445025
Forward closed progress: 1445045
Forward closed progress: 1445072
Forward closed progress: 1445190
Forward closed progress: 1447460
Forward closed progress: 1447447
Forward closed progress: 1444261
Forward closed progress: 1442181
Forward closed progress: 1450050
Forward closed progress: 1456632
Forward closed progress: 1448773
Forward closed progress: 1447592
Forward closed progress: 1447313
Forward closed progress: 1447253
Forward closed progress: 1447058
Forward closed progress: 1446811
Forward closed progress: 1445569
Forward closed progress: 1445628
Forward closed progress: 1437437
Forward closed progress: 1430901
Forward closed progress: 1432092
Forward closed progress: 1432048
Forward closed progress: 1433619
Forward closed progress: 1434375
Forward closed progress: 1434301
Forward closed progress: 1434258
Forward closed progress: 1433774
Forward closed progress: 1431743
Forward closed progress: 1431106
Forward closed progress: 1431046
Forward closed progress: 1428644
Forward closed progress: 1397815
Forward closed progress: 1395983
Forward closed progress: 1396449
Forward closed progress: 1396599
Forward closed progress: 1396614
Forward closed progress: 1396990
Forward closed progress: 1397044
Forward closed progress: 1399225
Forward closed progress: 1399767
Forward closed progress: 1395018
Forward closed progress: 1395285
Forward closed progress: 1395283
Forward closed progress: 1395239
Forward closed progress: 1454423
Forward closed progress: 1459569
Forward closed progress: 1460306
Forward closed progress: 1460566
Forward closed progress: 1402517
Forward closed progress: 1402378
Forward closed progress: 1402351
Forward closed progress: 1402354
Forward closed progress: 1402330
Forward closed progress: 1402378
Forward closed progress: 1402344
Forward closed progress: 1419210
Forward closed progress: 1423055
Forward closed progress: 1423133
Forward closed progress: 1418273
Forward closed progress: 1417929
Forward closed progress: 1418053
Forward closed progress: 1418025
Forward closed progress: 1574720
Forward closed progress: 1564672
Forward closed progress: 1533804
Forward closed progress: 1534042
Forward closed progress: 1538511
Forward closed progress: 1537477
Forward closed progress: 1537399
Forward closed progress: 1537291
Forward closed progress: 1535610
Forward closed progress: 1535595
Forward closed progress: 1536447
Forward closed progress: 1534767
Forward closed progress: 1534753
Forward closed progress: 1534689
Forward closed progress: 1542087
Forward closed progress: 1542123
Forward closed progress: 1541756
Forward closed progress: 1535660
Forward closed progress: 1535968
Forward closed progress: 1535531
Forward closed progress: 1535567
Forward closed progress: 1535296
Forward closed progress: 1523665
Forward closed progress: 1517453
Forward closed progress: 1517003
Forward closed progress: 1519872
Forward closed progress: 1542026
Forward closed progress: 1544419
Forward closed progress: 1536277
Forward closed progress: 1535995
Forward closed progress: 1535867
Forward closed progress: 1535803
Forward closed progress: 1535826
Forward closed progress: 1535808
Forward closed progress: 1528650
Forward closed progress: 1556023
Forward closed progress: 1556038
Forward closed progress: 1556410
Forward closed progress: 1557016
Forward closed progress: 1557282
Forward closed progress: 1557304
Forward closed progress: 1557156
Forward closed progress: 1557178
Forward closed progress: 1557174
Forward closed progress: 1557396
Forward closed progress: 1555929
Forward closed progress: 1556785
Forward closed progress: 1553171
Forward closed progress: 1571941
Forward closed progress: 1564009
Forward closed progress: 1564023
Forward closed progress: 1564009
Forward closed progress: 1564041
Forward closed progress: 1564027
Forward closed progress: 1569791
Forward closed progress: 1569791
Forward closed progress: 1569787
Forward closed progress: 1569755
Forward closed progress: 1569589
Forward closed progress: 1572027
Forward closed progress: 1573201
Forward closed progress: 1573115
Forward closed progress: 1573069
Forward closed progress: 1573009
Forward closed progress: 1573134
Forward closed progress: 1570968
Forward closed progress: 1604097
Forward closed progress: 1602698
Forward closed progress: 1578931
Forward closed progress: 1578769
Forward closed progress: 1578263
Forward closed progress: 1578232
Forward closed progress: 1578218
Forward closed progress: 1577946
Forward closed progress: 1577931
Forward closed progress: 1576836
Forward closed progress: 1576822
Forward closed progress: 1576758
Forward closed progress: 1577752
Forward closed progress: 1575756
Forward closed progress: 1575784
Forward closed progress: 1575474
Forward closed progress: 1574600
Forward closed progress: 1585831
Forward closed progress: 1586786
Forward closed progress: 1580829
Forward closed progress: 1580663
Forward closed progress: 1580598
Forward closed progress: 1575273
Forward closed progress: 1577125
Forward closed progress: 1576882
Forward closed progress: 1576992
Forward closed progress: 1574098
Forward closed progress: 1573651
Forward closed progress: 1573383
Forward closed progress: 1573397
Forward closed progress: 1573351
Forward closed progress: 1573371
Forward closed progress: 1573309
Forward closed progress: 1574159
Forward closed progress: 1574089
Forward closed progress: 1573671
Forward closed progress: 1573623
Forward closed progress: 1573221
Forward closed progress: 1573077
Forward closed progress: 1574140
Forward closed progress: 1574054
Forward closed progress: 1573965
Forward closed progress: 1571675
Forward closed progress: 1601944
Forward closed progress: 1602326
Forward closed progress: 1602281
Forward closed progress: 1602246
Forward closed progress: 1597220
Forward closed progress: 1602464
Forward closed progress: 1602488
Forward closed progress: 1602157
Forward closed progress: 1598130
Forward closed progress: 1598196
Forward closed progress: 1598220
Forward closed progress: 1597410
Forward closed progress: 1596041
Forward closed progress: 1594882
Forward closed progress: 1587481
Forward closed progress: 1586277
Forward closed progress: 1605392
Forward closed progress: 1605406
Forward closed progress: 1603623
Forward closed progress: 1597104
Forward closed progress: 1597121
Forward closed progress: 1597121
Forward closed progress: 1596366
Forward closed progress: 1596640
Forward closed progress: 1597074
Forward closed progress: 1596946
Forward closed progress: 1596956
Forward closed progress: 1596982
Forward closed progress: 1595954
Forward closed progress: 1595709
Forward closed progress: 1595341
Forward closed progress: 1594935
Forward closed progress: 1590184
Forward closed progress: 1589758
Forward closed progress: 1589758
Forward closed progress: 1590478
Forward closed progress: 1590153
Forward closed progress: 1590332
Forward closed progress: 1590338
Forward closed progress: 1590344
Forward closed progress: 1590371
Forward closed progress: 1590408
Forward closed progress: 1590528
Forward closed progress: 1591032
Forward closed progress: 1590879
Forward closed progress: 1590720
Forward closed progress: 1585558
Forward closed progress: 1582556
Forward closed progress: 1582935
Forward closed progress: 1582292
Forward closed progress: 1582352
Forward closed progress: 1582356
Forward closed progress: 1582344
Forward closed progress: 1581978
Forward closed progress: 1524444
Forward closed progress: 1527039
Forward closed progress: 1525883
Forward closed progress: 1524958
Forward closed progress: 1520621
Forward closed progress: 1520621
Control exists for 4694704 color(s), jumping through 386924544 vertices.
Elapsed: 5881646 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 5881.646
user ??
sys ??
