>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 32
Uncertainty colors: 109166400
Perturbation colors: 4294967296
All colors: 468866117822054400
Unknown update functions: 6
Lowest cardinality: 0
Highest cardinality: 5
Attractor colors: 86598566595788800
Attractor colors computed in 19501 ms.
Backward progress: 129966
Backward progress: 142108
Backward progress: 140536
Backward progress: 139730
Backward progress: 139726
Backward progress: 148260
Backward progress: 148879
Backward progress: 148867
Backward progress: 149794
Backward progress: 146759
Backward progress: 146739
Backward progress: 146638
Backward progress: 151839
Backward progress: 155450
Backward progress: 155405
Backward progress: 153569
Backward progress: 176798
Backward progress: 176377
Backward progress: 164970
Backward progress: 164418
Backward progress: 165852
Backward progress: 165854
Backward progress: 165969
Backward progress: 165960
Backward progress: 165837
Backward progress: 166483
Backward progress: 166482
Backward progress: 165928
Backward progress: 165356
Backward progress: 165211
Backward progress: 165164
Backward progress: 165163
Backward progress: 165366
Backward progress: 165210
Backward progress: 164730
Backward progress: 171488
Backward progress: 165368
Backward progress: 162435
Backward progress: 189696
Backward progress: 189500
Backward progress: 189537
Backward progress: 189539
Backward progress: 189509
Backward progress: 189513
Backward progress: 188963
Backward progress: 189011
Backward progress: 189140
Backward progress: 189134
Backward progress: 188975
Backward progress: 188244
Backward progress: 188193
Backward progress: 188723
Backward progress: 174604
Backward progress: 174434
Backward progress: 174390
Backward progress: 174233
Backward progress: 174269
Backward progress: 167235
Backward progress: 167969
Backward progress: 166926
Backward progress: 166164
Backward progress: 172995
Backward progress: 171990
Backward progress: 171022
Backward progress: 170976
Backward progress: 170621
Backward progress: 170625
Backward progress: 170119
Backward progress: 168853
Backward progress: 167957
Backward progress: 168135
Backward progress: 167721
Backward progress: 168725
Backward progress: 168402
Backward progress: 167366
Backward progress: 167350
Backward progress: 167432
Backward progress: 166574
Backward progress: 165393
Backward progress: 161623
Backward progress: 162032
Backward progress: 162108
Backward progress: 162042
Backward progress: 162198
Backward progress: 162196
Backward progress: 162140
Backward progress: 162072
Backward progress: 162050
Backward progress: 162218
Backward progress: 162316
Backward progress: 162313
Backward progress: 162261
Backward progress: 162204
Backward progress: 162174
Backward progress: 160267
Backward progress: 160679
Backward progress: 160673
Backward progress: 160665
Backward progress: 160655
Backward progress: 160621
Backward progress: 160699
Backward progress: 160693
Backward progress: 160566
Backward progress: 160337
Backward progress: 159952
Backward progress: 160077
Backward progress: 159351
Backward progress: 158914
Backward progress: 196538
Backward progress: 198268
Backward progress: 198414
Backward progress: 198534
Backward progress: 198394
Backward progress: 198552
Backward progress: 199412
Backward progress: 206601
Backward progress: 209739
Backward progress: 209033
Backward progress: 209143
Backward progress: 208556
Backward progress: 208992
Backward progress: 208896
Backward progress: 208498
Backward progress: 209364
Backward progress: 210280
Backward progress: 210197
Backward progress: 209967
Backward progress: 209963
Backward progress: 208904
Backward progress: 218476
Backward progress: 221894
Backward progress: 220911
Backward progress: 222279
Backward progress: 225435
Backward progress: 225242
Backward progress: 225431
Backward progress: 222598
Backward progress: 221819
Backward progress: 221809
Backward progress: 221083
Backward progress: 352056
Backward progress: 413780
Backward progress: 410040
Backward progress: 402360
Backward progress: 400961
Backward progress: 400736
Backward progress: 400652
Backward progress: 413623
Backward progress: 412502
Backward progress: 412128
Backward progress: 428592
Backward progress: 431976
Backward progress: 432347
Backward progress: 432609
Backward progress: 432407
Backward progress: 430588
Backward progress: 430662
Backward progress: 430528
Backward progress: 544382
Backward progress: 544486
Backward progress: 544535
Backward progress: 544507
Backward progress: 544951
Backward progress: 439810
Backward progress: 440544
Backward progress: 437794
Backward progress: 443667
Backward progress: 443266
Backward progress: 448237
Backward progress: 448243
Backward progress: 448172
Backward progress: 448168
Backward progress: 447292
Backward progress: 446030
Backward progress: 441682
Backward progress: 442356
Backward progress: 442604
Backward progress: 440101
Backward progress: 438911
Backward progress: 437246
Backward progress: 439860
Backward progress: 436110
Backward progress: 434522
Backward progress: 433742
Backward progress: 432539
Backward progress: 431413
Backward progress: 406006
Backward progress: 409037
Backward progress: 409075
Backward progress: 414301
Backward progress: 422581
Backward progress: 422869
Backward progress: 423103
Backward progress: 412185
Backward progress: 400610
Backward progress: 426885
Backward progress: 418661
Backward progress: 415841
Backward progress: 415781
Backward progress: 416865
Backward progress: 413091
Backward progress: 408576
Backward progress: 406815
Backward progress: 400684
Backward progress: 373755
Backward progress: 372884
Backward progress: 371712
Backward progress: 368437
Backward progress: 368245
Backward progress: 367856
Backward progress: 367478
Backward progress: 366631
Backward progress: 331960
Backward progress: 331856
Backward progress: 331856
Forward closed progress: 341810
Forward closed progress: 338650
Forward closed progress: 341890
Forward closed progress: 349763
Forward closed progress: 373405
Forward closed progress: 371657
Forward closed progress: 371651
Forward closed progress: 351688
Forward closed progress: 372562
Forward closed progress: 348433
Forward closed progress: 346030
Forward closed progress: 345968
Forward closed progress: 342475
Forward closed progress: 342461
Forward closed progress: 344651
Forward closed progress: 354511
Forward closed progress: 344189
Forward closed progress: 343777
Forward closed progress: 346792
Forward closed progress: 346280
Forward closed progress: 354424
Forward closed progress: 356223
Forward closed progress: 356288
Forward closed progress: 356300
Forward closed progress: 357712
Forward closed progress: 357594
Forward closed progress: 358692
Forward closed progress: 358908
Forward closed progress: 393010
Forward closed progress: 499133
Forward closed progress: 497707
Forward closed progress: 500497
Forward closed progress: 496196
Forward closed progress: 505060
Forward closed progress: 493978
Forward closed progress: 492864
Forward closed progress: 458809
Forward closed progress: 458796
Forward closed progress: 458642
Forward closed progress: 458682
Forward closed progress: 458885
Forward closed progress: 451609
Forward closed progress: 451497
Forward closed progress: 433301
Forward closed progress: 432743
Forward closed progress: 433247
Forward closed progress: 433255
Forward closed progress: 433285
Forward closed progress: 613749
Forward closed progress: 614902
Forward closed progress: 615121
Forward closed progress: 625220
Forward closed progress: 630417
Forward closed progress: 630118
Forward closed progress: 635327
Forward closed progress: 631253
Forward closed progress: 597150
Forward closed progress: 591971
Forward closed progress: 590269
Forward closed progress: 598168
Forward closed progress: 598840
Forward closed progress: 597832
Forward closed progress: 597910
Forward closed progress: 594039
Forward closed progress: 591353
Forward closed progress: 592028
Forward closed progress: 591920
Forward closed progress: 592064
Forward closed progress: 591852
Forward closed progress: 584477
Forward closed progress: 584302
Forward closed progress: 771667
Forward closed progress: 789996
Forward closed progress: 790296
Forward closed progress: 791802
Forward closed progress: 808807
Forward closed progress: 808665
Forward closed progress: 820538
Forward closed progress: 819269
Forward closed progress: 818009
Forward closed progress: 807078
Forward closed progress: 812879
Forward closed progress: 812992
Forward closed progress: 809886
Forward closed progress: 810021
Forward closed progress: 803553
Forward closed progress: 802963
Forward closed progress: 803209
Forward closed progress: 803277
Forward closed progress: 803163
Forward closed progress: 803155
Forward closed progress: 838362
Forward closed progress: 838400
Forward closed progress: 838460
Forward closed progress: 785171
Forward closed progress: 781207
Forward closed progress: 781314
Forward closed progress: 716571
Forward closed progress: 716658
Forward closed progress: 716663
Forward closed progress: 719585
Forward closed progress: 719064
Forward closed progress: 719064
Forward closed progress: 719030
Forward closed progress: 719006
Forward closed progress: 720451
Forward closed progress: 720381
Forward closed progress: 719086
Forward closed progress: 719053
Forward closed progress: 718563
Forward closed progress: 718610
Forward closed progress: 718548
Forward closed progress: 718450
Forward closed progress: 718509
Forward closed progress: 718784
Forward closed progress: 718721
Forward closed progress: 718640
Forward closed progress: 718622
Forward closed progress: 718717
Forward closed progress: 717377
Forward closed progress: 717276
Forward closed progress: 715361
Forward closed progress: 715333
Forward closed progress: 715393
Forward closed progress: 715389
Forward closed progress: 715312
Forward closed progress: 715294
Forward closed progress: 715294
Forward closed progress: 715206
Forward closed progress: 718450
Forward closed progress: 718466
Forward closed progress: 718375
Forward closed progress: 718674
Forward closed progress: 724274
Forward closed progress: 724208
Forward closed progress: 724307
Forward closed progress: 724337
Forward closed progress: 724093
Forward closed progress: 724652
Forward closed progress: 724273
Forward closed progress: 724414
Forward closed progress: 723957
Forward closed progress: 723722
Forward closed progress: 723696
Forward closed progress: 722130
Forward closed progress: 721912
Forward closed progress: 721900
Forward closed progress: 722635
Forward closed progress: 604565
Forward closed progress: 608340
Forward closed progress: 617816
Forward closed progress: 617172
Forward closed progress: 617621
Forward closed progress: 617939
Forward closed progress: 615388
Forward closed progress: 615751
Forward closed progress: 612876
Forward closed progress: 611768
Forward closed progress: 611752
Forward closed progress: 611774
Forward closed progress: 611626
Forward closed progress: 611316
Forward closed progress: 611370
Forward closed progress: 611037
Forward closed progress: 610537
Forward closed progress: 610727
Forward closed progress: 610369
Forward closed progress: 610946
Forward closed progress: 622696
Forward closed progress: 625541
Forward closed progress: 625453
Forward closed progress: 625688
Forward closed progress: 626137
Forward closed progress: 626715
Forward closed progress: 626599
Forward closed progress: 626459
Forward closed progress: 625945
Forward closed progress: 624485
Forward closed progress: 624769
Forward closed progress: 620093
Forward closed progress: 617767
Forward closed progress: 617927
Forward closed progress: 617807
Forward closed progress: 618003
Forward closed progress: 617743
Forward closed progress: 614860
Forward closed progress: 614910
Forward closed progress: 614890
Forward closed progress: 614860
Forward closed progress: 614486
Forward closed progress: 610946
Forward closed progress: 607119
Forward closed progress: 1030093
Forward closed progress: 1038966
Forward closed progress: 1043933
Forward closed progress: 1047440
Forward closed progress: 1047430
Forward closed progress: 1047432
Forward closed progress: 1047154
Forward closed progress: 1053072
Forward closed progress: 1052583
Forward closed progress: 1051721
Forward closed progress: 1044533
Forward closed progress: 1011947
Forward closed progress: 1011653
Forward closed progress: 1009525
Forward closed progress: 1009874
Forward closed progress: 1010211
Forward closed progress: 1009306
Forward closed progress: 1022035
Forward closed progress: 1022596
Forward closed progress: 1021823
Forward closed progress: 1021508
Forward closed progress: 1015223
Forward closed progress: 1015183
Forward closed progress: 1015359
Forward closed progress: 1015207
Forward closed progress: 966045
Forward closed progress: 965722
Forward closed progress: 939586
Forward closed progress: 943513
Forward closed progress: 943252
Forward closed progress: 943639
Forward closed progress: 942998
Forward closed progress: 940564
Forward closed progress: 940558
Forward closed progress: 940520
Forward closed progress: 940479
Forward closed progress: 940485
Forward closed progress: 940479
Forward closed progress: 957092
Forward closed progress: 957207
Forward closed progress: 956905
Forward closed progress: 956822
Forward closed progress: 956830
Forward closed progress: 954476
Forward closed progress: 952861
Forward closed progress: 953355
Forward closed progress: 954219
Forward closed progress: 934191
Forward closed progress: 928897
Forward closed progress: 928919
Forward closed progress: 928304
Forward closed progress: 928209
Forward closed progress: 928066
Forward closed progress: 912459
Forward closed progress: 911503
Forward closed progress: 887294
Forward closed progress: 887990
Forward closed progress: 888234
Forward closed progress: 890870
Forward closed progress: 890725
Forward closed progress: 890803
Forward closed progress: 890534
Forward closed progress: 886971
Forward closed progress: 886955
Forward closed progress: 886846
Forward closed progress: 886914
Forward closed progress: 886861
Forward closed progress: 886715
Forward closed progress: 886719
Forward closed progress: 886168
Forward closed progress: 886139
Forward closed progress: 883887
Forward closed progress: 880174
Forward closed progress: 880232
Forward closed progress: 880089
Forward closed progress: 880085
Forward closed progress: 880018
Forward closed progress: 878919
Forward closed progress: 878323
Forward closed progress: 878259
Forward closed progress: 870092
Forward closed progress: 869986
Forward closed progress: 868886
Forward closed progress: 866759
Forward closed progress: 963674
Forward closed progress: 846574
Forward closed progress: 846572
Forward closed progress: 846303
Forward closed progress: 889990
Forward closed progress: 895639
Forward closed progress: 895107
Forward closed progress: 896109
Forward closed progress: 897029
Forward closed progress: 896992
Forward closed progress: 896390
Forward closed progress: 896228
Forward closed progress: 896122
Forward closed progress: 895204
Forward closed progress: 880572
Forward closed progress: 880576
Forward closed progress: 879052
Forward closed progress: 879207
Forward closed progress: 877678
Forward closed progress: 874972
Forward closed progress: 874998
Forward closed progress: 856306
Forward closed progress: 851099
Forward closed progress: 813463
Forward closed progress: 843342
Forward closed progress: 843187
Forward closed progress: 843234
Forward closed progress: 845152
Forward closed progress: 845087
Forward closed progress: 845087
Forward closed progress: 844555
Forward closed progress: 844815
Forward closed progress: 844814
Forward closed progress: 844756
Forward closed progress: 836623
Forward closed progress: 836609
Forward closed progress: 836511
Forward closed progress: 836572
Forward closed progress: 836536
Forward closed progress: 832981
Forward closed progress: 832950
Forward closed progress: 832919
Forward closed progress: 827608
Forward closed progress: 827540
Forward closed progress: 826726
Forward closed progress: 826724
Forward closed progress: 824314
Forward closed progress: 820355
Forward closed progress: 797573
Forward closed progress: 795620
Forward closed progress: 848141
Forward closed progress: 867350
Forward closed progress: 868917
Forward closed progress: 868841
Forward closed progress: 873002
Forward closed progress: 876820
Forward closed progress: 879301
Forward closed progress: 878823
Forward closed progress: 878929
Forward closed progress: 881401
Forward closed progress: 879792
Forward closed progress: 878974
Forward closed progress: 881511
Forward closed progress: 882541
Forward closed progress: 878647
Forward closed progress: 877287
Forward closed progress: 875126
Forward closed progress: 832325
Forward closed progress: 846458
Forward closed progress: 846435
Forward closed progress: 846406
Forward closed progress: 846286
Forward closed progress: 846056
Forward closed progress: 846053
Forward closed progress: 845916
Forward closed progress: 841966
Forward closed progress: 842030
Forward closed progress: 841645
Forward closed progress: 840886
Forward closed progress: 840815
Forward closed progress: 840783
Forward closed progress: 840710
Forward closed progress: 840710
Forward closed progress: 840401
Forward closed progress: 840389
Forward closed progress: 839852
Forward closed progress: 839887
Forward closed progress: 840006
Forward closed progress: 840056
Forward closed progress: 840014
Forward closed progress: 839994
Forward closed progress: 881993
Forward closed progress: 882688
Forward closed progress: 883340
Forward closed progress: 883336
Forward closed progress: 883130
Forward closed progress: 882565
Forward closed progress: 878869
Forward closed progress: 878813
Forward closed progress: 878813
Forward closed progress: 878562
Forward closed progress: 878457
Forward closed progress: 878199
Forward closed progress: 923142
Forward closed progress: 921607
Forward closed progress: 921098
Forward closed progress: 922703
Forward closed progress: 921586
Forward closed progress: 920542
Forward closed progress: 921641
Forward closed progress: 921523
Forward closed progress: 919578
Forward closed progress: 918878
Forward closed progress: 914901
Forward closed progress: 910614
Forward closed progress: 910127
Forward closed progress: 910124
Forward closed progress: 909621
Forward closed progress: 909608
Forward closed progress: 909668
Forward closed progress: 909780
Forward closed progress: 909792
Forward closed progress: 909840
Forward closed progress: 909804
Forward closed progress: 911762
Forward closed progress: 911739
Forward closed progress: 911475
Forward closed progress: 911202
Forward closed progress: 911202
Forward closed progress: 911070
Forward closed progress: 911190
Forward closed progress: 911586
Forward closed progress: 912026
Forward closed progress: 912014
Forward closed progress: 912002
Forward closed progress: 912068
Forward closed progress: 911984
Forward closed progress: 908213
Forward closed progress: 881157
Forward closed progress: 878004
Forward closed progress: 890753
Forward closed progress: 889506
Forward closed progress: 888920
Forward closed progress: 889520
Forward closed progress: 889472
Forward closed progress: 889389
Forward closed progress: 885185
Forward closed progress: 885563
Forward closed progress: 884532
Forward closed progress: 884512
Forward closed progress: 884341
Forward closed progress: 884437
Forward closed progress: 884355
Forward closed progress: 884162
Forward closed progress: 884100
Forward closed progress: 882398
Forward closed progress: 882313
Forward closed progress: 882321
Forward closed progress: 882314
Forward closed progress: 881308
Forward closed progress: 882636
Forward closed progress: 882240
Forward closed progress: 882165
Forward closed progress: 881942
Forward closed progress: 881173
Forward closed progress: 881173
Forward closed progress: 881145
Forward closed progress: 880326
Forward closed progress: 880330
Forward closed progress: 880326
Forward closed progress: 882866
Forward closed progress: 882871
Forward closed progress: 882887
Forward closed progress: 882361
Forward closed progress: 882362
Forward closed progress: 882346
Forward closed progress: 882322
Forward closed progress: 882324
Forward closed progress: 882452
Forward closed progress: 882468
Forward closed progress: 882456
Forward closed progress: 882446
Forward closed progress: 882432
Forward closed progress: 882448
Forward closed progress: 882426
Forward closed progress: 886985
Forward closed progress: 885652
Forward closed progress: 884767
Forward closed progress: 884939
Forward closed progress: 884722
Forward closed progress: 884731
Forward closed progress: 884722
Forward closed progress: 885324
Forward closed progress: 885394
Forward closed progress: 885413
Forward closed progress: 885427
Forward closed progress: 885483
Forward closed progress: 885441
Forward closed progress: 884169
Forward closed progress: 883911
Forward closed progress: 883915
Forward closed progress: 883875
Forward closed progress: 883831
Forward closed progress: 883855
Forward closed progress: 883843
Forward closed progress: 883831
Forward closed progress: 883806
Forward closed progress: 883705
Forward closed progress: 880485
Forward closed progress: 881872
Forward closed progress: 881846
Forward closed progress: 879606
Forward closed progress: 879337
Forward closed progress: 879284
Forward closed progress: 878502
Forward closed progress: 897003
Forward closed progress: 896948
Forward closed progress: 896169
Forward closed progress: 896138
Forward closed progress: 896198
Forward closed progress: 895926
Forward closed progress: 896103
Forward closed progress: 895856
Forward closed progress: 895757
Forward closed progress: 895003
Forward closed progress: 891544
Forward closed progress: 891547
Forward closed progress: 891544
Forward closed progress: 891451
Forward closed progress: 890647
Forward closed progress: 890585
Forward closed progress: 890606
Forward closed progress: 890630
Forward closed progress: 890590
Forward closed progress: 890594
Forward closed progress: 890590
Forward closed progress: 884768
Forward closed progress: 884645
Forward closed progress: 884436
Forward closed progress: 883868
Forward closed progress: 887106
Forward closed progress: 886623
Forward closed progress: 885290
Forward closed progress: 885296
Forward closed progress: 884776
Forward closed progress: 886467
Forward closed progress: 886503
Forward closed progress: 886453
Forward closed progress: 886423
Forward closed progress: 886387
Forward closed progress: 886591
Forward closed progress: 886507
Forward closed progress: 886386
Forward closed progress: 886188
Forward closed progress: 886081
Forward closed progress: 884107
Forward closed progress: 884040
Forward closed progress: 884134
Forward closed progress: 882616
Forward closed progress: 882183
Forward closed progress: 881023
Forward closed progress: 847172
Forward closed progress: 848558
Forward closed progress: 846532
Forward closed progress: 846015
Forward closed progress: 859789
Forward closed progress: 863994
Forward closed progress: 863312
Forward closed progress: 865434
Forward closed progress: 865580
Forward closed progress: 865797
Forward closed progress: 867479
Forward closed progress: 886075
Forward closed progress: 886394
Forward closed progress: 886535
Forward closed progress: 886781
Forward closed progress: 886710
Forward closed progress: 886650
Forward closed progress: 886577
Forward closed progress: 886577
Forward closed progress: 886495
Forward closed progress: 886483
Forward closed progress: 885875
Forward closed progress: 885899
Forward closed progress: 885909
Forward closed progress: 885945
Forward closed progress: 885915
Forward closed progress: 885895
Forward closed progress: 901598
Forward closed progress: 902011
Forward closed progress: 902462
Forward closed progress: 902473
Forward closed progress: 901864
Forward closed progress: 901842
Forward closed progress: 901943
Forward closed progress: 901524
Forward closed progress: 901425
Forward closed progress: 901312
Forward closed progress: 903120
Forward closed progress: 921717
Forward closed progress: 919003
Forward closed progress: 920039
Forward closed progress: 920031
Forward closed progress: 919774
Forward closed progress: 919800
Forward closed progress: 919506
Forward closed progress: 919163
Forward closed progress: 919204
Forward closed progress: 919206
Forward closed progress: 919207
Forward closed progress: 919243
Forward closed progress: 919204
Forward closed progress: 920579
Forward closed progress: 920438
Forward closed progress: 920280
Forward closed progress: 920090
Forward closed progress: 920090
Forward closed progress: 919993
Forward closed progress: 920083
Forward closed progress: 920456
Forward closed progress: 920830
Forward closed progress: 920821
Forward closed progress: 920812
Forward closed progress: 920863
Forward closed progress: 920799
Forward closed progress: 918526
Forward closed progress: 917148
Forward closed progress: 956679
Forward closed progress: 956287
Forward closed progress: 955106
Forward closed progress: 955689
Forward closed progress: 949247
Forward closed progress: 949573
Forward closed progress: 948172
Forward closed progress: 948136
Forward closed progress: 948036
Forward closed progress: 948128
Forward closed progress: 948052
Forward closed progress: 947785
Forward closed progress: 947796
Forward closed progress: 943673
Forward closed progress: 943463
Forward closed progress: 943457
Forward closed progress: 940782
Forward closed progress: 939008
Forward closed progress: 938600
Forward closed progress: 938220
Forward closed progress: 936359
Forward closed progress: 933536
Forward closed progress: 935141
Forward closed progress: 935010
Forward closed progress: 935004
Forward closed progress: 934446
Forward closed progress: 934448
Forward closed progress: 934395
Forward closed progress: 934272
Forward closed progress: 934284
Forward closed progress: 934294
Forward closed progress: 934287
Forward closed progress: 934287
Forward closed progress: 934277
Forward closed progress: 934287
Forward closed progress: 934219
Forward closed progress: 936706
Forward closed progress: 930836
Forward closed progress: 930739
Forward closed progress: 930572
Forward closed progress: 930577
Forward closed progress: 930528
Forward closed progress: 930790
Forward closed progress: 930834
Forward closed progress: 930834
Forward closed progress: 930832
Forward closed progress: 930872
Forward closed progress: 930728
Forward closed progress: 927687
Forward closed progress: 927507
Forward closed progress: 927509
Forward closed progress: 927479
Forward closed progress: 927449
Forward closed progress: 927465
Forward closed progress: 927457
Forward closed progress: 927449
Forward closed progress: 927431
Forward closed progress: 927283
Forward closed progress: 933549
Forward closed progress: 932710
Forward closed progress: 932508
Forward closed progress: 932606
Forward closed progress: 932956
Forward closed progress: 932557
Forward closed progress: 932492
Forward closed progress: 931649
Forward closed progress: 928509
Forward closed progress: 928291
Forward closed progress: 927701
Forward closed progress: 927791
Forward closed progress: 927678
Forward closed progress: 927425
Forward closed progress: 927299
Forward closed progress: 926833
Forward closed progress: 926841
Forward closed progress: 926839
Forward closed progress: 926837
Forward closed progress: 926845
Forward closed progress: 926793
Forward closed progress: 926747
Forward closed progress: 886061
Forward closed progress: 876205
Forward closed progress: 873774
Forward closed progress: 872383
Forward closed progress: 1606069
Forward closed progress: 1651984
Forward closed progress: 1642884
Forward closed progress: 1651259
Forward closed progress: 1650867
Forward closed progress: 1681323
Forward closed progress: 1681141
Forward closed progress: 1678776
Forward closed progress: 1709651
Forward closed progress: 1680212
Forward closed progress: 1674199
Forward closed progress: 1672300
Forward closed progress: 1587894
Forward closed progress: 1630163
Forward closed progress: 1634780
Forward closed progress: 1636835
Forward closed progress: 1638350
Forward closed progress: 1638384
Forward closed progress: 1637089
Forward closed progress: 1636446
Forward closed progress: 1636593
Forward closed progress: 1620709
Forward closed progress: 1620754
Forward closed progress: 1796137
Forward closed progress: 1793740
Forward closed progress: 1793895
Forward closed progress: 1794035
Forward closed progress: 1794017
Forward closed progress: 1784293
Forward closed progress: 1755942
Forward closed progress: 1756314
Forward closed progress: 1756422
Forward closed progress: 1962556
Forward closed progress: 1950214
Forward closed progress: 1950121
Forward closed progress: 1953725
Forward closed progress: 1959413
Forward closed progress: 1959231
Forward closed progress: 1959232
Forward closed progress: 1962320
Forward closed progress: 1962320
Forward closed progress: 1961213
Forward closed progress: 1961663
Forward closed progress: 1960048
Forward closed progress: 1959465
Forward closed progress: 1960006
Forward closed progress: 1959781
Forward closed progress: 1958240
Forward closed progress: 1958499
Forward closed progress: 1958545
Forward closed progress: 1937956
Forward closed progress: 1938087
Forward closed progress: 1938134
Forward closed progress: 1938581
Forward closed progress: 1937279
Forward closed progress: 1938643
Forward closed progress: 1938681
Forward closed progress: 1938669
Forward closed progress: 1938219
Forward closed progress: 1878422
Forward closed progress: 1743791
Forward closed progress: 1743290
Forward closed progress: 1733598
Forward closed progress: 1826447
Forward closed progress: 1822980
Forward closed progress: 1823827
Forward closed progress: 1823236
Forward closed progress: 1822965
Forward closed progress: 1822935
Forward closed progress: 1822906
Forward closed progress: 1821561
Forward closed progress: 1809918
Forward closed progress: 1809696
Forward closed progress: 1809381
Forward closed progress: 1809525
Forward closed progress: 1809386
Forward closed progress: 1808405
Forward closed progress: 1808449
Forward closed progress: 1800828
Forward closed progress: 1800809
Forward closed progress: 1800764
Forward closed progress: 1767679
Forward closed progress: 1767636
Forward closed progress: 1767417
Forward closed progress: 1728228
Forward closed progress: 1730397
Forward closed progress: 1736427
Forward closed progress: 1736191
Forward closed progress: 1736189
Forward closed progress: 1736118
Forward closed progress: 1686207
Forward closed progress: 1687763
Forward closed progress: 1686531
Forward closed progress: 1687700
Forward closed progress: 1685286
Forward closed progress: 1681063
Forward closed progress: 1678301
Forward closed progress: 1647030
Forward closed progress: 1647207
Forward closed progress: 1646372
Forward closed progress: 1646135
Forward closed progress: 1656406
Forward closed progress: 1654827
Forward closed progress: 1652176
Forward closed progress: 1652155
Forward closed progress: 1648353
Forward closed progress: 1647894
Forward closed progress: 1645345
Forward closed progress: 1642968
Forward closed progress: 1642184
Forward closed progress: 1641816
Forward closed progress: 1642424
Forward closed progress: 1642413
Forward closed progress: 1642074
Forward closed progress: 1641811
Forward closed progress: 1525906
Forward closed progress: 1495907
Forward closed progress: 1504943
Forward closed progress: 1505235
Forward closed progress: 1505021
Forward closed progress: 1505359
Forward closed progress: 1506031
Forward closed progress: 1505988
Forward closed progress: 1505500
Forward closed progress: 1505321
Forward closed progress: 1505335
Forward closed progress: 1503828
Forward closed progress: 1503935
Forward closed progress: 1502624
Forward closed progress: 1500281
Forward closed progress: 1500271
Forward closed progress: 1496004
Forward closed progress: 1493064
Forward closed progress: 1485394
Forward closed progress: 1489754
Forward closed progress: 1489670
Forward closed progress: 1489706
Forward closed progress: 1490195
Forward closed progress: 1490145
Forward closed progress: 1490138
Forward closed progress: 1489967
Forward closed progress: 1488276
Forward closed progress: 1488275
Forward closed progress: 1488242
Forward closed progress: 1488252
Forward closed progress: 1488247
Forward closed progress: 1487678
Forward closed progress: 1487500
Forward closed progress: 1487444
Forward closed progress: 1486081
Forward closed progress: 1485984
Forward closed progress: 1485938
Forward closed progress: 1485556
Forward closed progress: 1483647
Forward closed progress: 1483347
Forward closed progress: 1479031
Forward closed progress: 1396351
Forward closed progress: 1399358
Forward closed progress: 1400106
Forward closed progress: 1400087
Forward closed progress: 1401666
Forward closed progress: 1402935
Forward closed progress: 1403248
Forward closed progress: 1403045
Forward closed progress: 1403235
Forward closed progress: 1403818
Forward closed progress: 1402791
Forward closed progress: 1402696
Forward closed progress: 1403263
Forward closed progress: 1403366
Forward closed progress: 1402903
Forward closed progress: 1402790
Forward closed progress: 1402308
Forward closed progress: 1386297
Forward closed progress: 1387655
Forward closed progress: 1387653
Forward closed progress: 1387635
Forward closed progress: 1387552
Forward closed progress: 1387554
Forward closed progress: 1387556
Forward closed progress: 1387560
Forward closed progress: 1388983
Forward closed progress: 1389011
Forward closed progress: 1389008
Forward closed progress: 1389000
Forward closed progress: 1388996
Forward closed progress: 1388978
Forward closed progress: 1388952
Forward closed progress: 1388934
Forward closed progress: 1395461
Forward closed progress: 1395541
Forward closed progress: 1395323
Forward closed progress: 1395694
Forward closed progress: 1395333
Forward closed progress: 1394957
Forward closed progress: 1395791
Forward closed progress: 1395788
Forward closed progress: 1394752
Forward closed progress: 1395017
Forward closed progress: 1393013
Forward closed progress: 1391389
Forward closed progress: 1391316
Forward closed progress: 1391298
Forward closed progress: 1391200
Forward closed progress: 1391193
Forward closed progress: 1391205
Forward closed progress: 1391207
Forward closed progress: 1391210
Forward closed progress: 1391477
Forward closed progress: 1391489
Forward closed progress: 1391440
Forward closed progress: 1391406
Forward closed progress: 1391398
Forward closed progress: 1391365
Forward closed progress: 1391381
Forward closed progress: 1391415
Forward closed progress: 1391562
Forward closed progress: 1391560
Forward closed progress: 1391552
Forward closed progress: 1391848
Forward closed progress: 1386277
Forward closed progress: 1386976
Forward closed progress: 1386889
Forward closed progress: 1386792
Forward closed progress: 1386817
Forward closed progress: 1386394
Forward closed progress: 1386329
Forward closed progress: 1386345
Forward closed progress: 1386276
Forward closed progress: 1385984
Forward closed progress: 1386043
Forward closed progress: 1386029
Forward closed progress: 1386023
Forward closed progress: 1385987
Forward closed progress: 1384749
Forward closed progress: 1384713
Forward closed progress: 1385470
Forward closed progress: 1385426
Forward closed progress: 1385702
Forward closed progress: 1385592
Forward closed progress: 1385609
Forward closed progress: 1376782
Forward closed progress: 1376192
Forward closed progress: 1376022
Forward closed progress: 1375988
Forward closed progress: 1561828
Forward closed progress: 1565213
Forward closed progress: 1567291
Forward closed progress: 1567786
Forward closed progress: 1567594
Forward closed progress: 1567963
Forward closed progress: 1567987
Forward closed progress: 1568010
Forward closed progress: 1566330
Forward closed progress: 1560793
Forward closed progress: 1558206
Forward closed progress: 1558542
Forward closed progress: 1558130
Forward closed progress: 1562935
Forward closed progress: 1561886
Forward closed progress: 1561917
Forward closed progress: 1561905
Forward closed progress: 1561882
Forward closed progress: 1561568
Forward closed progress: 1561539
Forward closed progress: 1561523
Forward closed progress: 1563079
Forward closed progress: 1568000
Forward closed progress: 1568183
Forward closed progress: 1636271
Forward closed progress: 1643608
Forward closed progress: 1643604
Forward closed progress: 1643563
Forward closed progress: 1643556
Forward closed progress: 1643535
Forward closed progress: 1647056
Forward closed progress: 1647018
Forward closed progress: 1645803
Forward closed progress: 1643197
Forward closed progress: 1643084
Forward closed progress: 1625668
Forward closed progress: 1622064
Forward closed progress: 1622206
Forward closed progress: 1622189
Forward closed progress: 1622130
Forward closed progress: 1621908
Forward closed progress: 1620863
Forward closed progress: 1620817
Forward closed progress: 1604644
Forward closed progress: 1576541
Forward closed progress: 1576024
Forward closed progress: 1666496
Forward closed progress: 1667817
Forward closed progress: 1668202
Forward closed progress: 1666334
Forward closed progress: 1667394
Forward closed progress: 1668160
Forward closed progress: 1668671
Forward closed progress: 1666849
Forward closed progress: 1646877
Forward closed progress: 1650157
Forward closed progress: 1654875
Forward closed progress: 1654398
Forward closed progress: 1649257
Forward closed progress: 1648969
Forward closed progress: 1648949
Forward closed progress: 1642832
Forward closed progress: 1642184
Forward closed progress: 1638846
Forward closed progress: 1639173
Forward closed progress: 1621295
Forward closed progress: 1604468
Forward closed progress: 1593387
Forward closed progress: 1593999
Forward closed progress: 1597967
Forward closed progress: 1597924
Forward closed progress: 1597833
Forward closed progress: 1594916
Forward closed progress: 1594660
Forward closed progress: 1591476
Forward closed progress: 1562891
Forward closed progress: 1567652
Forward closed progress: 1567431
Forward closed progress: 1567352
Forward closed progress: 1559485
Forward closed progress: 1563402
Forward closed progress: 1568578
Forward closed progress: 1562224
Forward closed progress: 1562873
Forward closed progress: 1577333
Forward closed progress: 1576548
Forward closed progress: 1576538
Forward closed progress: 1576559
Forward closed progress: 1575367
Forward closed progress: 1573873
Forward closed progress: 1574881
Forward closed progress: 1573280
Forward closed progress: 1573839
Forward closed progress: 1573704
Forward closed progress: 1564490
Forward closed progress: 1564602
Forward closed progress: 1552206
Forward closed progress: 1552298
Forward closed progress: 1552292
Forward closed progress: 1552532
Forward closed progress: 1552418
Forward closed progress: 1552265
Forward closed progress: 1592039
Forward closed progress: 1592082
Forward closed progress: 1592026
Forward closed progress: 1591561
Forward closed progress: 1591386
Forward closed progress: 1591335
Forward closed progress: 1591448
Forward closed progress: 1589943
Forward closed progress: 1589991
Forward closed progress: 1593553
Forward closed progress: 1593597
Forward closed progress: 1593528
Forward closed progress: 1593528
Forward closed progress: 1593508
Forward closed progress: 1593456
Forward closed progress: 1592146
Forward closed progress: 1591974
Forward closed progress: 1591617
Forward closed progress: 1593984
Forward closed progress: 1593960
Forward closed progress: 1593965
Forward closed progress: 1593983
Forward closed progress: 1594047
Forward closed progress: 1589801
Forward closed progress: 1589278
Forward closed progress: 1589071
Forward closed progress: 1588031
Forward closed progress: 1570025
Forward closed progress: 1569747
Forward closed progress: 1568911
Forward closed progress: 1568226
Forward closed progress: 1956283
Forward closed progress: 2457892
Forward closed progress: 2450347
Forward closed progress: 2446083
Forward closed progress: 2440689
Forward closed progress: 2413195
Forward closed progress: 2413321
Forward closed progress: 2412752
Forward closed progress: 2407627
Forward closed progress: 2487770
Forward closed progress: 2495658
Forward closed progress: 2495922
Forward closed progress: 2494326
Forward closed progress: 2512809
Forward closed progress: 2513577
Forward closed progress: 2513839
Forward closed progress: 2513050
Forward closed progress: 2512978
Forward closed progress: 2598611
Forward closed progress: 2609161
Forward closed progress: 2609063
Forward closed progress: 2608959
Forward closed progress: 2606997
Forward closed progress: 2606984
Forward closed progress: 2612450
Forward closed progress: 2607324
Forward closed progress: 2605907
Forward closed progress: 2494688
Forward closed progress: 2494373
Forward closed progress: 2494466
Forward closed progress: 2493582
Forward closed progress: 2378012
Forward closed progress: 2301138
Forward closed progress: 2307846
Forward closed progress: 2304554
Forward closed progress: 2263285
Forward closed progress: 2263455
Forward closed progress: 2263457
Forward closed progress: 2263481
Forward closed progress: 2263453
Forward closed progress: 2260105
Forward closed progress: 2259951
Forward closed progress: 2254086
Forward closed progress: 2253825
Forward closed progress: 2253796
Forward closed progress: 2251067
Forward closed progress: 2251215
Forward closed progress: 2286815
Forward closed progress: 2289161
Forward closed progress: 2289144
Forward closed progress: 2288894
Forward closed progress: 2288770
Forward closed progress: 2288466
Forward closed progress: 2291271
Forward closed progress: 2291229
Forward closed progress: 2292918
Forward closed progress: 2294195
Forward closed progress: 2294254
Forward closed progress: 2294170
Forward closed progress: 2291814
Forward closed progress: 2291721
Forward closed progress: 2291653
Forward closed progress: 2291344
Forward closed progress: 2291319
Forward closed progress: 2346503
Forward closed progress: 2348730
Forward closed progress: 2349536
Forward closed progress: 2333622
Forward closed progress: 2331828
Forward closed progress: 2330886
Forward closed progress: 2322628
Forward closed progress: 2354494
Forward closed progress: 2350450
Forward closed progress: 2350445
Forward closed progress: 2350424
Forward closed progress: 2361370
Forward closed progress: 2361280
Forward closed progress: 2359491
Forward closed progress: 2356516
Forward closed progress: 2353530
Forward closed progress: 2353017
Forward closed progress: 2352113
Forward closed progress: 2345931
Forward closed progress: 2320024
Forward closed progress: 2320187
Forward closed progress: 2310073
Forward closed progress: 2310046
Forward closed progress: 2309531
Forward closed progress: 2302450
Forward closed progress: 2302472
Forward closed progress: 2302450
Forward closed progress: 2300281
Forward closed progress: 2300046
Forward closed progress: 2299888
Forward closed progress: 2299844
Forward closed progress: 2290544
Forward closed progress: 2284892
Forward closed progress: 2273125
Forward closed progress: 2273892
Forward closed progress: 2273846
Forward closed progress: 2273713
Forward closed progress: 2270013
Forward closed progress: 2270191
Forward closed progress: 2270853
Forward closed progress: 2270353
Forward closed progress: 2270335
Forward closed progress: 2270665
Forward closed progress: 2269113
Forward closed progress: 2269113
Forward closed progress: 2269101
Forward closed progress: 2273025
Forward closed progress: 2273667
Forward closed progress: 2275144
Forward closed progress: 2270640
Forward closed progress: 2385616
Forward closed progress: 2388272
Forward closed progress: 2389220
Forward closed progress: 2389810
Forward closed progress: 2424587
Forward closed progress: 2456860
Forward closed progress: 2456891
Forward closed progress: 2457105
Forward closed progress: 2455992
Forward closed progress: 2453876
Forward closed progress: 2454052
Forward closed progress: 2502719
Forward closed progress: 2505611
Forward closed progress: 2505423
Forward closed progress: 2499395
Forward closed progress: 2503967
Forward closed progress: 2504131
Forward closed progress: 2504135
Forward closed progress: 2483991
Forward closed progress: 2463944
Forward closed progress: 2463811
Forward closed progress: 2764687
Forward closed progress: 2761891
Forward closed progress: 2778421
Forward closed progress: 2763988
Forward closed progress: 2769013
Forward closed progress: 2769028
Forward closed progress: 2769094
Forward closed progress: 2768176
Forward closed progress: 2765813
Forward closed progress: 2790987
Forward closed progress: 2791962
Forward closed progress: 2791652
Forward closed progress: 2790894
Forward closed progress: 2792246
Forward closed progress: 2792248
Forward closed progress: 2792216
Forward closed progress: 2791893
Forward closed progress: 2791215
Forward closed progress: 2791186
Forward closed progress: 2788948
Forward closed progress: 2787911
Forward closed progress: 2785415
Forward closed progress: 2773017
Forward closed progress: 2780255
Forward closed progress: 2840097
Forward closed progress: 2839032
Forward closed progress: 2831124
Forward closed progress: 2833586
Forward closed progress: 2833265
Forward closed progress: 2829781
Forward closed progress: 2829270
Forward closed progress: 2817671
Forward closed progress: 2816961
Forward closed progress: 2818560
Forward closed progress: 2818049
Forward closed progress: 2818183
Forward closed progress: 2818159
Forward closed progress: 2810714
Forward closed progress: 2804619
Forward closed progress: 2870712
Forward closed progress: 2871759
Forward closed progress: 2871758
Forward closed progress: 2872128
Forward closed progress: 2874066
Forward closed progress: 2873453
Forward closed progress: 2873601
Forward closed progress: 2871577
Forward closed progress: 2870135
Forward closed progress: 2869561
Forward closed progress: 2869371
Forward closed progress: 2871461
Forward closed progress: 2869565
Forward closed progress: 2841699
Forward closed progress: 2927608
Forward closed progress: 2903328
Forward closed progress: 2903476
Forward closed progress: 2903464
Forward closed progress: 2901948
Forward closed progress: 2901992
Forward closed progress: 2901956
Forward closed progress: 2900276
Forward closed progress: 2899466
Forward closed progress: 2895186
Forward closed progress: 2889244
Forward closed progress: 2890810
Forward closed progress: 2890684
Forward closed progress: 2886591
Forward closed progress: 2886687
Forward closed progress: 2886651
Forward closed progress: 2886597
Forward closed progress: 2886555
Forward closed progress: 2880859
Forward closed progress: 2879161
Forward closed progress: 2871081
Forward closed progress: 2869312
Forward closed progress: 2896098
Forward closed progress: 2895872
Forward closed progress: 2895101
Forward closed progress: 2892446
Forward closed progress: 2892550
Forward closed progress: 2892538
Forward closed progress: 2892514
Forward closed progress: 2892498
Forward closed progress: 2892226
Forward closed progress: 2892270
Forward closed progress: 2892234
Forward closed progress: 2892118
Forward closed progress: 2892854
Forward closed progress: 2900771
Forward closed progress: 2900857
Forward closed progress: 2900565
Forward closed progress: 2900725
Forward closed progress: 2900695
Forward closed progress: 2900609
Forward closed progress: 2900581
Forward closed progress: 2899529
Forward closed progress: 2899133
Forward closed progress: 2905782
Forward closed progress: 2892741
Forward closed progress: 2892817
Forward closed progress: 2892805
Forward closed progress: 2891913
Forward closed progress: 2891957
Forward closed progress: 2891921
Forward closed progress: 2890905
Forward closed progress: 2890083
Forward closed progress: 2887659
Forward closed progress: 2884245
Forward closed progress: 2870127
Forward closed progress: 2870075
Forward closed progress: 2865652
Forward closed progress: 2865748
Forward closed progress: 2865712
Forward closed progress: 2865658
Forward closed progress: 2865616
Forward closed progress: 2860730
Forward closed progress: 2858991
Forward closed progress: 2916316
Forward closed progress: 2925887
Forward closed progress: 2926233
Forward closed progress: 2924381
Forward closed progress: 2915121
Forward closed progress: 2920554
Forward closed progress: 2918361
Forward closed progress: 2918341
Forward closed progress: 2918607
Forward closed progress: 2918547
Forward closed progress: 2917806
Forward closed progress: 2928782
Forward closed progress: 2940931
Forward closed progress: 2940827
Forward closed progress: 2940497
Forward closed progress: 2940497
Forward closed progress: 2940458
Forward closed progress: 2940444
Forward closed progress: 2910198
Forward closed progress: 2910449
Forward closed progress: 2910383
Forward closed progress: 2911801
Forward closed progress: 2910928
Forward closed progress: 3071474
Forward closed progress: 3071465
Forward closed progress: 3067945
Forward closed progress: 3067909
Forward closed progress: 3067887
Forward closed progress: 3061458
Forward closed progress: 3044664
Forward closed progress: 3045554
Forward closed progress: 3045729
Forward closed progress: 3029547
Forward closed progress: 3038753
Forward closed progress: 3033913
Forward closed progress: 3034712
Forward closed progress: 3033097
Forward closed progress: 3033059
Forward closed progress: 3035664
Forward closed progress: 3023740
Forward closed progress: 3036243
Forward closed progress: 3036226
Forward closed progress: 3035368
Forward closed progress: 3035472
Forward closed progress: 3035420
Forward closed progress: 3035446
Forward closed progress: 3031269
Forward closed progress: 3032227
Forward closed progress: 3034120
Forward closed progress: 3034384
Forward closed progress: 3032767
Forward closed progress: 3033180
Forward closed progress: 3032942
Forward closed progress: 3034716
Forward closed progress: 3034692
Forward closed progress: 3034315
Forward closed progress: 3034221
Forward closed progress: 3034003
Forward closed progress: 3015193
Forward closed progress: 3010667
Forward closed progress: 3011398
Forward closed progress: 2909413
Forward closed progress: 2909385
Forward closed progress: 2909356
Forward closed progress: 2908712
Forward closed progress: 2908690
Forward closed progress: 2908698
Forward closed progress: 2908561
Forward closed progress: 2909351
Forward closed progress: 2909292
Forward closed progress: 2909256
Forward closed progress: 2909272
Forward closed progress: 2911050
Forward closed progress: 2909574
Forward closed progress: 2908436
Forward closed progress: 2907177
Forward closed progress: 2907134
Forward closed progress: 2943691
Forward closed progress: 2943946
Forward closed progress: 2942655
Forward closed progress: 2940783
Forward closed progress: 2940785
Forward closed progress: 2940149
Forward closed progress: 2920192
Forward closed progress: 2918424
Forward closed progress: 2918742
Forward closed progress: 2918894
Forward closed progress: 2918889
Forward closed progress: 2913042
Forward closed progress: 2915856
Forward closed progress: 2914771
Forward closed progress: 2913422
Forward closed progress: 2913596
Forward closed progress: 2911910
Forward closed progress: 2910823
Forward closed progress: 2910823
Control exists for 20162800 color(s), jumping through 4294967296 vertices.
Elapsed: 12586116 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 12586.116
user ??
sys ??
