>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 32
Uncertainty colors: 363888000
Perturbation colors: 4294967296
All colors: 1562887059406848000
Unknown update functions: 6
Lowest cardinality: 0
Highest cardinality: 5
Attractor colors: 9898284709576704
Attractor colors computed in 18750 ms.
Backward progress: 103112
Backward progress: 103162
Backward progress: 103180
Backward progress: 103586
Backward progress: 105052
Backward progress: 105064
Backward progress: 105060
Backward progress: 111345
Backward progress: 111267
Backward progress: 110681
Backward progress: 110489
Backward progress: 110497
Backward progress: 109555
Backward progress: 109403
Backward progress: 109233
Backward progress: 109160
Backward progress: 108760
Backward progress: 108370
Backward progress: 108318
Backward progress: 107492
Backward progress: 107488
Backward progress: 109967
Backward progress: 111855
Backward progress: 111577
Backward progress: 111591
Backward progress: 111597
Backward progress: 145673
Backward progress: 145979
Backward progress: 145843
Backward progress: 145779
Backward progress: 145818
Backward progress: 145966
Backward progress: 146237
Backward progress: 146187
Backward progress: 146542
Backward progress: 146442
Backward progress: 147083
Backward progress: 146955
Backward progress: 145362
Backward progress: 145214
Backward progress: 144681
Backward progress: 144013
Backward progress: 144001
Backward progress: 142973
Backward progress: 142708
Backward progress: 144271
Backward progress: 144116
Backward progress: 144059
Backward progress: 143861
Backward progress: 143965
Backward progress: 143817
Backward progress: 143625
Backward progress: 144485
Backward progress: 142293
Backward progress: 143802
Backward progress: 143847
Backward progress: 143638
Backward progress: 143528
Backward progress: 143874
Backward progress: 143858
Backward progress: 143518
Backward progress: 143391
Backward progress: 145519
Backward progress: 145517
Backward progress: 145433
Backward progress: 145361
Backward progress: 145337
Backward progress: 177603
Backward progress: 173080
Backward progress: 173430
Backward progress: 173414
Backward progress: 172404
Backward progress: 172570
Backward progress: 172544
Backward progress: 172426
Backward progress: 172966
Backward progress: 172760
Backward progress: 174454
Backward progress: 174346
Backward progress: 174141
Backward progress: 172008
Backward progress: 171946
Backward progress: 171746
Backward progress: 171639
Backward progress: 171398
Backward progress: 171948
Backward progress: 171806
Backward progress: 171047
Backward progress: 171046
Backward progress: 171032
Backward progress: 170947
Backward progress: 170877
Backward progress: 170793
Backward progress: 170181
Backward progress: 171404
Backward progress: 171455
Backward progress: 170597
Backward progress: 170927
Backward progress: 170911
Backward progress: 170401
Backward progress: 170078
Backward progress: 171429
Backward progress: 171427
Backward progress: 171173
Backward progress: 170835
Backward progress: 170669
Backward progress: 170228
Backward progress: 170359
Backward progress: 170264
Backward progress: 170236
Backward progress: 170260
Backward progress: 170222
Backward progress: 169440
Backward progress: 168334
Backward progress: 188175
Backward progress: 188911
Backward progress: 188763
Backward progress: 188751
Backward progress: 187729
Backward progress: 195267
Backward progress: 194811
Backward progress: 198117
Backward progress: 198077
Backward progress: 193141
Backward progress: 192909
Backward progress: 195364
Backward progress: 189485
Backward progress: 189176
Backward progress: 189168
Backward progress: 189184
Backward progress: 189128
Backward progress: 188404
Backward progress: 188120
Backward progress: 188170
Backward progress: 186861
Backward progress: 186837
Backward progress: 186781
Backward progress: 186640
Backward progress: 186393
Backward progress: 185781
Backward progress: 188723
Backward progress: 188627
Backward progress: 188577
Backward progress: 188489
Backward progress: 188489
Backward progress: 188985
Backward progress: 188665
Backward progress: 188597
Backward progress: 188143
Backward progress: 188145
Backward progress: 211409
Backward progress: 211399
Backward progress: 211249
Backward progress: 211269
Backward progress: 213521
Backward progress: 213531
Backward progress: 212283
Backward progress: 212495
Backward progress: 212527
Backward progress: 215017
Backward progress: 219314
Backward progress: 219274
Backward progress: 218910
Backward progress: 218024
Backward progress: 218040
Backward progress: 218119
Backward progress: 217947
Backward progress: 217788
Backward progress: 217502
Backward progress: 217058
Backward progress: 210736
Backward progress: 210758
Backward progress: 210058
Backward progress: 250912
Backward progress: 409313
Backward progress: 406913
Backward progress: 402769
Backward progress: 402528
Backward progress: 403010
Backward progress: 403223
Backward progress: 413341
Backward progress: 414330
Backward progress: 414342
Backward progress: 414314
Backward progress: 417060
Backward progress: 417086
Backward progress: 417106
Backward progress: 447206
Backward progress: 447848
Backward progress: 447848
Backward progress: 447822
Backward progress: 447444
Backward progress: 447395
Backward progress: 447335
Backward progress: 448247
Backward progress: 455059
Backward progress: 454073
Backward progress: 454136
Backward progress: 454140
Backward progress: 467893
Backward progress: 467929
Backward progress: 457323
Backward progress: 438088
Backward progress: 433730
Backward progress: 432997
Backward progress: 416115
Backward progress: 415377
Backward progress: 412646
Backward progress: 412558
Backward progress: 415596
Backward progress: 419391
Backward progress: 419123
Backward progress: 418757
Backward progress: 418371
Backward progress: 417292
Backward progress: 416727
Backward progress: 416074
Backward progress: 425076
Backward progress: 425834
Backward progress: 425826
Backward progress: 425956
Backward progress: 425744
Backward progress: 426884
Backward progress: 429412
Backward progress: 429344
Backward progress: 429346
Backward progress: 432794
Backward progress: 432728
Backward progress: 432838
Backward progress: 432880
Backward progress: 432730
Backward progress: 430694
Backward progress: 430559
Backward progress: 428661
Backward progress: 428462
Backward progress: 452928
Backward progress: 452687
Backward progress: 452253
Backward progress: 442714
Backward progress: 441918
Backward progress: 441724
Backward progress: 450021
Backward progress: 449338
Backward progress: 440895
Backward progress: 440891
Backward progress: 440871
Backward progress: 445476
Backward progress: 445430
Backward progress: 444986
Backward progress: 444924
Backward progress: 444918
Backward progress: 443814
Backward progress: 444150
Backward progress: 443982
Backward progress: 443342
Backward progress: 443147
Backward progress: 442727
Backward progress: 442681
Backward progress: 441729
Backward progress: 446580
Backward progress: 445661
Backward progress: 444139
Backward progress: 448101
Backward progress: 448101
Backward progress: 448059
Backward progress: 446997
Backward progress: 446267
Backward progress: 446243
Backward progress: 443817
Backward progress: 443309
Backward progress: 442391
Backward progress: 440375
Backward progress: 434179
Backward progress: 434633
Backward progress: 434617
Backward progress: 433007
Backward progress: 428843
Backward progress: 427325
Backward progress: 418041
Backward progress: 418483
Backward progress: 418451
Backward progress: 418573
Backward progress: 417801
Backward progress: 420013
Backward progress: 419983
Backward progress: 421175
Backward progress: 421145
Backward progress: 419303
Backward progress: 419199
Backward progress: 419197
Backward progress: 417039
Backward progress: 417021
Backward progress: 415777
Backward progress: 415455
Backward progress: 413503
Backward progress: 413513
Backward progress: 413503
Backward progress: 418949
Backward progress: 418994
Backward progress: 418982
Backward progress: 418858
Backward progress: 418824
Backward progress: 419365
Backward progress: 419395
Backward progress: 418817
Backward progress: 418617
Backward progress: 421146
Backward progress: 420987
Backward progress: 421035
Backward progress: 420987
Backward progress: 420599
Backward progress: 417566
Backward progress: 417138
Backward progress: 416852
Backward progress: 416888
Backward progress: 416868
Backward progress: 416768
Backward progress: 416794
Backward progress: 416862
Backward progress: 416742
Backward progress: 495290
Backward progress: 495664
Backward progress: 501424
Backward progress: 502576
Backward progress: 502602
Backward progress: 502618
Backward progress: 502544
Backward progress: 502476
Backward progress: 502520
Backward progress: 503570
Backward progress: 503568
Backward progress: 503310
Backward progress: 508336
Backward progress: 508292
Backward progress: 508161
Backward progress: 509200
Backward progress: 509464
Backward progress: 509054
Backward progress: 509108
Backward progress: 509020
Backward progress: 557681
Backward progress: 554417
Backward progress: 555279
Backward progress: 553168
Backward progress: 553384
Backward progress: 553376
Backward progress: 553388
Backward progress: 553400
Backward progress: 553659
Backward progress: 553609
Backward progress: 553581
Backward progress: 553397
Backward progress: 552670
Backward progress: 553233
Backward progress: 552654
Backward progress: 552654
Backward progress: 552638
Backward progress: 553592
Backward progress: 552505
Backward progress: 551945
Backward progress: 551933
Backward progress: 551919
Backward progress: 551820
Backward progress: 551394
Backward progress: 550708
Backward progress: 555330
Backward progress: 567526
Backward progress: 567275
Backward progress: 564547
Backward progress: 564723
Backward progress: 564709
Backward progress: 564567
Backward progress: 564545
Backward progress: 563281
Backward progress: 563181
Backward progress: 562253
Backward progress: 562147
Backward progress: 562190
Backward progress: 562150
Backward progress: 560909
Backward progress: 559386
Backward progress: 578460
Backward progress: 578586
Backward progress: 578594
Backward progress: 578690
Backward progress: 578948
Backward progress: 578934
Backward progress: 578936
Backward progress: 578724
Backward progress: 578632
Backward progress: 578916
Backward progress: 578912
Backward progress: 580366
Backward progress: 581190
Backward progress: 581584
Backward progress: 581574
Backward progress: 579692
Backward progress: 614456
Backward progress: 625001
Backward progress: 625103
Backward progress: 625101
Backward progress: 624985
Backward progress: 624997
Backward progress: 624993
Backward progress: 624853
Backward progress: 628125
Backward progress: 627975
Backward progress: 627814
Backward progress: 627616
Backward progress: 627332
Backward progress: 627340
Backward progress: 627330
Backward progress: 627310
Backward progress: 627114
Backward progress: 633108
Backward progress: 633096
Backward progress: 632245
Backward progress: 632273
Backward progress: 632265
Backward progress: 632245
Backward progress: 632233
Backward progress: 631711
Backward progress: 630809
Backward progress: 622247
Backward progress: 621710
Backward progress: 627427
Backward progress: 627343
Backward progress: 627161
Backward progress: 625081
Backward progress: 625109
Backward progress: 625109
Backward progress: 625103
Backward progress: 625101
Backward progress: 624879
Backward progress: 624630
Backward progress: 624626
Backward progress: 624442
Backward progress: 624030
Backward progress: 623918
Backward progress: 623613
Backward progress: 623339
Backward progress: 623401
Backward progress: 628709
Backward progress: 628575
Backward progress: 627235
Backward progress: 627325
Backward progress: 627315
Backward progress: 627271
Backward progress: 627261
Backward progress: 626609
Backward progress: 627055
Backward progress: 628351
Backward progress: 628337
Backward progress: 628179
Backward progress: 628215
Backward progress: 628203
Backward progress: 628191
Backward progress: 628181
Backward progress: 628153
Backward progress: 627349
Backward progress: 628031
Backward progress: 627459
Backward progress: 627571
Backward progress: 631169
Backward progress: 631223
Backward progress: 631221
Backward progress: 631097
Backward progress: 631109
Backward progress: 631105
Backward progress: 630965
Backward progress: 634337
Backward progress: 633925
Backward progress: 633689
Backward progress: 633501
Backward progress: 632889
Backward progress: 632913
Backward progress: 632909
Backward progress: 632889
Backward progress: 632889
Backward progress: 632719
Backward progress: 632731
Backward progress: 632731
Backward progress: 632715
Backward progress: 635136
Backward progress: 635124
Backward progress: 634053
Backward progress: 634109
Backward progress: 634093
Backward progress: 634053
Backward progress: 634037
Backward progress: 633207
Backward progress: 632697
Backward progress: 708542
Backward progress: 709824
Backward progress: 709878
Backward progress: 709461
Backward progress: 711435
Backward progress: 719553
Backward progress: 718455
Backward progress: 718453
Backward progress: 718947
Backward progress: 718885
Backward progress: 714573
Backward progress: 723182
Backward progress: 719784
Backward progress: 719512
Backward progress: 719180
Backward progress: 719180
Backward progress: 718074
Backward progress: 716947
Backward progress: 716427
Backward progress: 704281
Backward progress: 705545
Backward progress: 705157
Backward progress: 705557
Backward progress: 705460
Backward progress: 704722
Backward progress: 704497
Backward progress: 708231
Backward progress: 708229
Backward progress: 708991
Backward progress: 710889
Backward progress: 711851
Backward progress: 772607
Backward progress: 772626
Backward progress: 772205
Backward progress: 770708
Backward progress: 770739
Backward progress: 770722
Backward progress: 763780
Backward progress: 758162
Backward progress: 758250
Backward progress: 758403
Backward progress: 758475
Backward progress: 758458
Backward progress: 753289
Backward progress: 752855
Backward progress: 752829
Backward progress: 752127
Backward progress: 752103
Backward progress: 752122
Backward progress: 752048
Backward progress: 752050
Backward progress: 752035
Backward progress: 754589
Backward progress: 753411
Backward progress: 753224
Backward progress: 753238
Backward progress: 753224
Backward progress: 755453
Backward progress: 755512
Backward progress: 755527
Backward progress: 755521
Backward progress: 755305
Backward progress: 755331
Backward progress: 754730
Backward progress: 754534
Backward progress: 754876
Backward progress: 754966
Backward progress: 755330
Backward progress: 755564
Backward progress: 755535
Backward progress: 755492
Backward progress: 756846
Backward progress: 756822
Backward progress: 756804
Backward progress: 756856
Backward progress: 756857
Backward progress: 756804
Backward progress: 756380
Backward progress: 756186
Backward progress: 753433
Backward progress: 721849
Backward progress: 721833
Backward progress: 721815
Backward progress: 721443
Backward progress: 721431
Backward progress: 721263
Backward progress: 721163
Backward progress: 723813
Backward progress: 723482
Backward progress: 723290
Backward progress: 723507
Backward progress: 723502
Backward progress: 723506
Backward progress: 723654
Backward progress: 724400
Backward progress: 724358
Backward progress: 724072
Backward progress: 723314
Backward progress: 722940
Backward progress: 723084
Backward progress: 742292
Backward progress: 742276
Backward progress: 741833
Backward progress: 741607
Backward progress: 741621
Backward progress: 741621
Backward progress: 735820
Backward progress: 736198
Backward progress: 733412
Backward progress: 733330
Backward progress: 736566
Backward progress: 736492
Backward progress: 736412
Backward progress: 736310
Backward progress: 736312
Backward progress: 736310
Backward progress: 736168
Backward progress: 726639
Backward progress: 727299
Backward progress: 727172
Backward progress: 726953
Backward progress: 726202
Backward progress: 727502
Backward progress: 726062
Backward progress: 726022
Backward progress: 725736
Backward progress: 723149
Backward progress: 722419
Backward progress: 722302
Backward progress: 722200
Backward progress: 719551
Backward progress: 719551
Forward closed progress: 715617
Forward closed progress: 714471
Forward closed progress: 726186
Forward closed progress: 728695
Forward closed progress: 727526
Forward closed progress: 727382
Forward closed progress: 721524
Forward closed progress: 722343
Forward closed progress: 690294
Forward closed progress: 658242
Forward closed progress: 655222
Forward closed progress: 654273
Forward closed progress: 654031
Forward closed progress: 665793
Forward closed progress: 672759
Forward closed progress: 666538
Forward closed progress: 668033
Forward closed progress: 668029
Forward closed progress: 668107
Forward closed progress: 667917
Forward closed progress: 667921
Forward closed progress: 667346
Forward closed progress: 652924
Forward closed progress: 652914
Forward closed progress: 651961
Forward closed progress: 651438
Forward closed progress: 650902
Forward closed progress: 650894
Forward closed progress: 681143
Forward closed progress: 676610
Forward closed progress: 964404
Forward closed progress: 952625
Forward closed progress: 952326
Forward closed progress: 967757
Forward closed progress: 942590
Forward closed progress: 942260
Forward closed progress: 849641
Forward closed progress: 849948
Forward closed progress: 843519
Forward closed progress: 843641
Forward closed progress: 842379
Forward closed progress: 842281
Forward closed progress: 842178
Forward closed progress: 842490
Forward closed progress: 835280
Forward closed progress: 986752
Forward closed progress: 985188
Forward closed progress: 985547
Forward closed progress: 985551
Forward closed progress: 985139
Forward closed progress: 985069
Forward closed progress: 974201
Forward closed progress: 865135
Forward closed progress: 864831
Forward closed progress: 863655
Forward closed progress: 863263
Forward closed progress: 865218
Forward closed progress: 865171
Forward closed progress: 865113
Forward closed progress: 865063
Forward closed progress: 865109
Forward closed progress: 861233
Forward closed progress: 850364
Forward closed progress: 850785
Forward closed progress: 850780
Forward closed progress: 850781
Forward closed progress: 850760
Forward closed progress: 849033
Forward closed progress: 1129700
Forward closed progress: 1009199
Forward closed progress: 1007958
Forward closed progress: 1012314
Forward closed progress: 1012786
Forward closed progress: 1012585
Forward closed progress: 1025936
Forward closed progress: 1022265
Forward closed progress: 1020400
Forward closed progress: 1009122
Forward closed progress: 1006576
Forward closed progress: 1006226
Forward closed progress: 993238
Forward closed progress: 980904
Forward closed progress: 979741
Forward closed progress: 977870
Forward closed progress: 975993
Forward closed progress: 998073
Forward closed progress: 921458
Forward closed progress: 920243
Forward closed progress: 923855
Forward closed progress: 923817
Forward closed progress: 922381
Forward closed progress: 922130
Forward closed progress: 910995
Forward closed progress: 915677
Forward closed progress: 915508
Forward closed progress: 915533
Forward closed progress: 915513
Forward closed progress: 915501
Forward closed progress: 915497
Forward closed progress: 914260
Forward closed progress: 909578
Forward closed progress: 909562
Forward closed progress: 909574
Forward closed progress: 909570
Forward closed progress: 909566
Forward closed progress: 909566
Forward closed progress: 909424
Forward closed progress: 900256
Forward closed progress: 900665
Forward closed progress: 900453
Forward closed progress: 900020
Forward closed progress: 899990
Forward closed progress: 898519
Forward closed progress: 897953
Forward closed progress: 913119
Forward closed progress: 911030
Forward closed progress: 910810
Forward closed progress: 679546
Forward closed progress: 685458
Forward closed progress: 683960
Forward closed progress: 710781
Forward closed progress: 710769
Forward closed progress: 700825
Forward closed progress: 700047
Forward closed progress: 660057
Forward closed progress: 647254
Forward closed progress: 647595
Forward closed progress: 647347
Forward closed progress: 646413
Forward closed progress: 645524
Forward closed progress: 631428
Forward closed progress: 645554
Forward closed progress: 645823
Forward closed progress: 645589
Forward closed progress: 644889
Forward closed progress: 644667
Forward closed progress: 643881
Forward closed progress: 644483
Forward closed progress: 627947
Forward closed progress: 620310
Forward closed progress: 640833
Forward closed progress: 648392
Forward closed progress: 648108
Forward closed progress: 648024
Forward closed progress: 647888
Forward closed progress: 649768
Forward closed progress: 649492
Forward closed progress: 648399
Forward closed progress: 647319
Forward closed progress: 639385
Forward closed progress: 639376
Forward closed progress: 639360
Forward closed progress: 634852
Forward closed progress: 638388
Forward closed progress: 624833
Forward closed progress: 623117
Forward closed progress: 623181
Forward closed progress: 623117
Forward closed progress: 617719
Forward closed progress: 618041
Forward closed progress: 618059
Forward closed progress: 613567
Forward closed progress: 605611
Forward closed progress: 808368
Forward closed progress: 823130
Forward closed progress: 829081
Forward closed progress: 826818
Forward closed progress: 824877
Forward closed progress: 843088
Forward closed progress: 842618
Forward closed progress: 842506
Forward closed progress: 834371
Forward closed progress: 814071
Forward closed progress: 813976
Forward closed progress: 813601
Forward closed progress: 812236
Forward closed progress: 812223
Forward closed progress: 811942
Forward closed progress: 827016
Forward closed progress: 827025
Forward closed progress: 827013
Forward closed progress: 826979
Forward closed progress: 827492
Forward closed progress: 827680
Forward closed progress: 827510
Forward closed progress: 787199
Forward closed progress: 786757
Forward closed progress: 802263
Forward closed progress: 812216
Forward closed progress: 812213
Forward closed progress: 812216
Forward closed progress: 812209
Forward closed progress: 810936
Forward closed progress: 767102
Forward closed progress: 767078
Forward closed progress: 767058
Forward closed progress: 766971
Forward closed progress: 765979
Forward closed progress: 765075
Forward closed progress: 753210
Forward closed progress: 726791
Forward closed progress: 726419
Forward closed progress: 690276
Forward closed progress: 662776
Forward closed progress: 661339
Forward closed progress: 660253
Forward closed progress: 655275
Forward closed progress: 653079
Forward closed progress: 681658
Forward closed progress: 681819
Forward closed progress: 682028
Forward closed progress: 681893
Forward closed progress: 681897
Forward closed progress: 668652
Forward closed progress: 668643
Forward closed progress: 668548
Forward closed progress: 668559
Forward closed progress: 668532
Forward closed progress: 668501
Forward closed progress: 668507
Forward closed progress: 667643
Forward closed progress: 667203
Forward closed progress: 667455
Forward closed progress: 658920
Forward closed progress: 654818
Forward closed progress: 653424
Forward closed progress: 647132
Forward closed progress: 644327
Forward closed progress: 608974
Forward closed progress: 654977
Forward closed progress: 655023
Forward closed progress: 654895
Forward closed progress: 654951
Forward closed progress: 654935
Forward closed progress: 653932
Forward closed progress: 668068
Forward closed progress: 667616
Forward closed progress: 667636
Forward closed progress: 667383
Forward closed progress: 671215
Forward closed progress: 671057
Forward closed progress: 670937
Forward closed progress: 665673
Forward closed progress: 641958
Forward closed progress: 641416
Forward closed progress: 641771
Forward closed progress: 641734
Forward closed progress: 641714
Forward closed progress: 641630
Forward closed progress: 641621
Forward closed progress: 635267
Forward closed progress: 635582
Forward closed progress: 682412
Forward closed progress: 700376
Forward closed progress: 699928
Forward closed progress: 699193
Forward closed progress: 698746
Forward closed progress: 698641
Forward closed progress: 698934
Forward closed progress: 698617
Forward closed progress: 698067
Forward closed progress: 695627
Forward closed progress: 679172
Forward closed progress: 679155
Forward closed progress: 679123
Forward closed progress: 675448
Forward closed progress: 675252
Forward closed progress: 674999
Forward closed progress: 675008
Forward closed progress: 675005
Forward closed progress: 675002
Forward closed progress: 676865
Forward closed progress: 648871
Forward closed progress: 648749
Forward closed progress: 648607
Forward closed progress: 647773
Forward closed progress: 610628
Forward closed progress: 600556
Forward closed progress: 638459
Forward closed progress: 638871
Forward closed progress: 639212
Forward closed progress: 638752
Forward closed progress: 638695
Forward closed progress: 636417
Forward closed progress: 638682
Forward closed progress: 638493
Forward closed progress: 638209
Forward closed progress: 621710
Forward closed progress: 622050
Forward closed progress: 621726
Forward closed progress: 621546
Forward closed progress: 620688
Forward closed progress: 620128
Forward closed progress: 619638
Forward closed progress: 619642
Forward closed progress: 619632
Forward closed progress: 619626
Forward closed progress: 619878
Forward closed progress: 619987
Forward closed progress: 619945
Forward closed progress: 606808
Forward closed progress: 606547
Forward closed progress: 605927
Forward closed progress: 606632
Forward closed progress: 606531
Forward closed progress: 606706
Forward closed progress: 606914
Forward closed progress: 606856
Forward closed progress: 606818
Forward closed progress: 606814
Forward closed progress: 605564
Forward closed progress: 605474
Forward closed progress: 605553
Forward closed progress: 605548
Forward closed progress: 605528
Forward closed progress: 605501
Forward closed progress: 605507
Forward closed progress: 605210
Forward closed progress: 606907
Forward closed progress: 606672
Forward closed progress: 606537
Forward closed progress: 606529
Forward closed progress: 606432
Forward closed progress: 606411
Forward closed progress: 606378
Forward closed progress: 606269
Forward closed progress: 606201
Forward closed progress: 606069
Forward closed progress: 605785
Forward closed progress: 605780
Forward closed progress: 605779
Forward closed progress: 605775
Forward closed progress: 605750
Forward closed progress: 605728
Forward closed progress: 605693
Forward closed progress: 605729
Forward closed progress: 605598
Forward closed progress: 605660
Forward closed progress: 604006
Forward closed progress: 604418
Forward closed progress: 602840
Forward closed progress: 585645
Forward closed progress: 592546
Forward closed progress: 592683
Forward closed progress: 592158
Forward closed progress: 590628
Forward closed progress: 590657
Forward closed progress: 591005
Forward closed progress: 591044
Forward closed progress: 591017
Forward closed progress: 590837
Forward closed progress: 590699
Forward closed progress: 590641
Forward closed progress: 589404
Forward closed progress: 589013
Forward closed progress: 590399
Forward closed progress: 590320
Forward closed progress: 590407
Forward closed progress: 590432
Forward closed progress: 590422
Forward closed progress: 590404
Forward closed progress: 590337
Forward closed progress: 589719
Forward closed progress: 589675
Forward closed progress: 589809
Forward closed progress: 589855
Forward closed progress: 589766
Forward closed progress: 589709
Forward closed progress: 589686
Forward closed progress: 589492
Forward closed progress: 588108
Forward closed progress: 595374
Forward closed progress: 595293
Forward closed progress: 595337
Forward closed progress: 595116
Forward closed progress: 595528
Forward closed progress: 595899
Forward closed progress: 595531
Forward closed progress: 595596
Forward closed progress: 595572
Forward closed progress: 595584
Forward closed progress: 595674
Forward closed progress: 595632
Forward closed progress: 595431
Forward closed progress: 595210
Forward closed progress: 595274
Forward closed progress: 596041
Forward closed progress: 595809
Forward closed progress: 595729
Forward closed progress: 595331
Forward closed progress: 595505
Forward closed progress: 594653
Forward closed progress: 592829
Forward closed progress: 593457
Forward closed progress: 593353
Forward closed progress: 593349
Forward closed progress: 593228
Forward closed progress: 592952
Forward closed progress: 592660
Forward closed progress: 583754
Forward closed progress: 580895
Forward closed progress: 581259
Forward closed progress: 579947
Forward closed progress: 579804
Forward closed progress: 579713
Forward closed progress: 672773
Forward closed progress: 683489
Forward closed progress: 684071
Forward closed progress: 683374
Forward closed progress: 684272
Forward closed progress: 687194
Forward closed progress: 687007
Forward closed progress: 686689
Forward closed progress: 686546
Forward closed progress: 687374
Forward closed progress: 688490
Forward closed progress: 688627
Forward closed progress: 688199
Forward closed progress: 686648
Forward closed progress: 686471
Forward closed progress: 686397
Forward closed progress: 702870
Forward closed progress: 747304
Forward closed progress: 742168
Forward closed progress: 742752
Forward closed progress: 742467
Forward closed progress: 742751
Forward closed progress: 742722
Forward closed progress: 742712
Forward closed progress: 738512
Forward closed progress: 738155
Forward closed progress: 738272
Forward closed progress: 731773
Forward closed progress: 771982
Forward closed progress: 772359
Forward closed progress: 772202
Forward closed progress: 772098
Forward closed progress: 771428
Forward closed progress: 763159
Forward closed progress: 763168
Forward closed progress: 751889
Forward closed progress: 751936
Forward closed progress: 743577
Forward closed progress: 733575
Forward closed progress: 733564
Forward closed progress: 720207
Forward closed progress: 719033
Forward closed progress: 719027
Forward closed progress: 718944
Forward closed progress: 719089
Forward closed progress: 719068
Forward closed progress: 719060
Forward closed progress: 715482
Forward closed progress: 714669
Forward closed progress: 714315
Forward closed progress: 711593
Forward closed progress: 704939
Forward closed progress: 705917
Forward closed progress: 705250
Forward closed progress: 703883
Forward closed progress: 704663
Forward closed progress: 693301
Forward closed progress: 672439
Forward closed progress: 672267
Forward closed progress: 672241
Forward closed progress: 672184
Forward closed progress: 672181
Forward closed progress: 682933
Forward closed progress: 682841
Forward closed progress: 683506
Forward closed progress: 680333
Forward closed progress: 680304
Forward closed progress: 679646
Forward closed progress: 679688
Forward closed progress: 679355
Forward closed progress: 679385
Forward closed progress: 679380
Forward closed progress: 679369
Forward closed progress: 679353
Forward closed progress: 679329
Forward closed progress: 679312
Forward closed progress: 675494
Forward closed progress: 674968
Forward closed progress: 675970
Forward closed progress: 679866
Forward closed progress: 679784
Forward closed progress: 679719
Forward closed progress: 679599
Forward closed progress: 679483
Forward closed progress: 660083
Forward closed progress: 659961
Forward closed progress: 661179
Forward closed progress: 660242
Forward closed progress: 660301
Forward closed progress: 660252
Forward closed progress: 660332
Forward closed progress: 660244
Forward closed progress: 629751
Forward closed progress: 630132
Forward closed progress: 628526
Forward closed progress: 626824
Forward closed progress: 626845
Forward closed progress: 626772
Forward closed progress: 626776
Forward closed progress: 643992
Forward closed progress: 643932
Forward closed progress: 644039
Forward closed progress: 643825
Forward closed progress: 643888
Forward closed progress: 643974
Forward closed progress: 643732
Forward closed progress: 643882
Forward closed progress: 642708
Forward closed progress: 642506
Forward closed progress: 642341
Forward closed progress: 636059
Forward closed progress: 633560
Forward closed progress: 631468
Forward closed progress: 630389
Forward closed progress: 631465
Forward closed progress: 631118
Forward closed progress: 630491
Forward closed progress: 630475
Forward closed progress: 630475
Forward closed progress: 631118
Forward closed progress: 631118
Forward closed progress: 631109
Forward closed progress: 631100
Forward closed progress: 631138
Forward closed progress: 631124
Forward closed progress: 630737
Forward closed progress: 630071
Forward closed progress: 630155
Forward closed progress: 629608
Forward closed progress: 629293
Forward closed progress: 609609
Forward closed progress: 607826
Forward closed progress: 607870
Forward closed progress: 607865
Forward closed progress: 607864
Forward closed progress: 607862
Forward closed progress: 607855
Forward closed progress: 607852
Forward closed progress: 607518
Forward closed progress: 607514
Forward closed progress: 607434
Forward closed progress: 607358
Forward closed progress: 606916
Forward closed progress: 606930
Forward closed progress: 606929
Forward closed progress: 606789
Forward closed progress: 606792
Forward closed progress: 606793
Forward closed progress: 606793
Forward closed progress: 606795
Forward closed progress: 606789
Forward closed progress: 606789
Forward closed progress: 606753
Forward closed progress: 606823
Forward closed progress: 607212
Forward closed progress: 606631
Forward closed progress: 606176
Forward closed progress: 606195
Forward closed progress: 606192
Forward closed progress: 606189
Forward closed progress: 606198
Forward closed progress: 605815
Forward closed progress: 605697
Forward closed progress: 604670
Forward closed progress: 603472
Forward closed progress: 601600
Forward closed progress: 601118
Forward closed progress: 600790
Forward closed progress: 590795
Forward closed progress: 590615
Forward closed progress: 590617
Forward closed progress: 590692
Forward closed progress: 591464
Forward closed progress: 593459
Forward closed progress: 593358
Forward closed progress: 593390
Forward closed progress: 593410
Forward closed progress: 593364
Forward closed progress: 594463
Forward closed progress: 594469
Forward closed progress: 594424
Forward closed progress: 594580
Forward closed progress: 594738
Forward closed progress: 594725
Forward closed progress: 594715
Forward closed progress: 594711
Forward closed progress: 594560
Forward closed progress: 598755
Forward closed progress: 598715
Forward closed progress: 598823
Forward closed progress: 598810
Forward closed progress: 598509
Forward closed progress: 598592
Forward closed progress: 598679
Forward closed progress: 598665
Forward closed progress: 598577
Forward closed progress: 598513
Forward closed progress: 598528
Forward closed progress: 598322
Forward closed progress: 598721
Forward closed progress: 599718
Forward closed progress: 599318
Forward closed progress: 599073
Forward closed progress: 599076
Forward closed progress: 598067
Forward closed progress: 598111
Forward closed progress: 598099
Forward closed progress: 598163
Forward closed progress: 598222
Forward closed progress: 597907
Forward closed progress: 597924
Forward closed progress: 597890
Forward closed progress: 597728
Forward closed progress: 597534
Forward closed progress: 597490
Forward closed progress: 597452
Forward closed progress: 597409
Forward closed progress: 597383
Forward closed progress: 597336
Forward closed progress: 594108
Forward closed progress: 593852
Forward closed progress: 593735
Forward closed progress: 593740
Forward closed progress: 593713
Forward closed progress: 593707
Forward closed progress: 593213
Forward closed progress: 592015
Forward closed progress: 591829
Forward closed progress: 591652
Forward closed progress: 591625
Forward closed progress: 985606
Forward closed progress: 986614
Forward closed progress: 978731
Forward closed progress: 917479
Forward closed progress: 917442
Forward closed progress: 949960
Forward closed progress: 965470
Forward closed progress: 964070
Forward closed progress: 970711
Forward closed progress: 930903
Forward closed progress: 930377
Forward closed progress: 925379
Forward closed progress: 921846
Forward closed progress: 953188
Forward closed progress: 971103
Forward closed progress: 971083
Forward closed progress: 1039347
Forward closed progress: 1043773
Forward closed progress: 1043842
Forward closed progress: 1043834
Forward closed progress: 1043598
Forward closed progress: 1006395
Forward closed progress: 1006143
Forward closed progress: 1005846
Forward closed progress: 1003819
Forward closed progress: 990337
Forward closed progress: 990368
Forward closed progress: 990357
Forward closed progress: 990346
Forward closed progress: 960622
Forward closed progress: 966815
Forward closed progress: 966733
Forward closed progress: 967107
Forward closed progress: 967043
Forward closed progress: 966974
Forward closed progress: 966683
Forward closed progress: 966073
Forward closed progress: 966046
Forward closed progress: 966036
Forward closed progress: 963983
Forward closed progress: 963729
Forward closed progress: 963564
Forward closed progress: 963638
Forward closed progress: 963632
Forward closed progress: 964000
Forward closed progress: 956664
Forward closed progress: 957227
Forward closed progress: 955389
Forward closed progress: 956524
Forward closed progress: 940891
Forward closed progress: 896469
Forward closed progress: 867190
Forward closed progress: 861562
Forward closed progress: 862606
Forward closed progress: 862820
Forward closed progress: 860841
Forward closed progress: 860763
Forward closed progress: 859850
Forward closed progress: 859893
Forward closed progress: 852714
Forward closed progress: 853475
Forward closed progress: 853346
Forward closed progress: 853136
Forward closed progress: 852894
Forward closed progress: 852654
Forward closed progress: 853304
Forward closed progress: 850751
Forward closed progress: 846164
Forward closed progress: 836142
Forward closed progress: 838320
Forward closed progress: 839015
Forward closed progress: 819415
Forward closed progress: 819399
Forward closed progress: 819391
Forward closed progress: 819415
Forward closed progress: 818682
Forward closed progress: 818810
Forward closed progress: 818735
Forward closed progress: 818688
Forward closed progress: 817582
Forward closed progress: 817642
Forward closed progress: 817637
Forward closed progress: 817639
Forward closed progress: 817630
Forward closed progress: 817606
Forward closed progress: 817619
Forward closed progress: 817614
Forward closed progress: 817613
Forward closed progress: 817597
Forward closed progress: 817580
Forward closed progress: 817593
Forward closed progress: 817493
Forward closed progress: 817321
Forward closed progress: 817330
Forward closed progress: 815010
Forward closed progress: 814345
Forward closed progress: 778942
Forward closed progress: 778494
Forward closed progress: 777771
Forward closed progress: 777451
Forward closed progress: 776194
Forward closed progress: 784897
Forward closed progress: 784255
Forward closed progress: 784249
Forward closed progress: 784211
Forward closed progress: 782582
Forward closed progress: 782564
Forward closed progress: 782403
Forward closed progress: 782281
Forward closed progress: 777594
Forward closed progress: 775913
Forward closed progress: 775354
Forward closed progress: 774534
Forward closed progress: 697444
Forward closed progress: 687414
Forward closed progress: 691222
Forward closed progress: 691206
Forward closed progress: 691144
Forward closed progress: 690516
Forward closed progress: 682666
Forward closed progress: 697963
Forward closed progress: 700073
Forward closed progress: 699935
Forward closed progress: 700219
Forward closed progress: 700111
Forward closed progress: 700043
Forward closed progress: 699459
Forward closed progress: 695041
Forward closed progress: 695014
Forward closed progress: 695004
Forward closed progress: 692731
Forward closed progress: 690997
Forward closed progress: 690482
Forward closed progress: 690591
Forward closed progress: 684613
Forward closed progress: 683649
Forward closed progress: 682795
Forward closed progress: 668613
Forward closed progress: 671409
Forward closed progress: 671405
Forward closed progress: 671411
Forward closed progress: 671165
Forward closed progress: 671159
Forward closed progress: 670930
Forward closed progress: 668759
Forward closed progress: 668902
Forward closed progress: 668901
Forward closed progress: 668897
Forward closed progress: 668231
Forward closed progress: 668000
Forward closed progress: 667591
Forward closed progress: 667624
Forward closed progress: 663949
Forward closed progress: 663953
Forward closed progress: 663698
Forward closed progress: 663105
Forward closed progress: 662712
Forward closed progress: 660846
Forward closed progress: 660584
Forward closed progress: 661519
Forward closed progress: 661517
Forward closed progress: 661506
Forward closed progress: 660908
Forward closed progress: 660056
Forward closed progress: 655124
Forward closed progress: 622313
Forward closed progress: 623013
Forward closed progress: 623248
Forward closed progress: 622931
Forward closed progress: 623291
Forward closed progress: 623502
Forward closed progress: 623418
Forward closed progress: 623302
Forward closed progress: 623271
Forward closed progress: 623541
Forward closed progress: 623766
Forward closed progress: 623756
Forward closed progress: 623674
Forward closed progress: 623382
Forward closed progress: 623307
Forward closed progress: 623274
Forward closed progress: 620660
Forward closed progress: 620701
Forward closed progress: 620676
Forward closed progress: 620708
Forward closed progress: 620561
Forward closed progress: 620607
Forward closed progress: 620597
Forward closed progress: 620591
Forward closed progress: 620414
Forward closed progress: 621709
Forward closed progress: 621650
Forward closed progress: 621596
Forward closed progress: 621598
Forward closed progress: 618524
Forward closed progress: 618501
Forward closed progress: 620562
Forward closed progress: 620535
Forward closed progress: 620523
Forward closed progress: 620525
Forward closed progress: 620519
Forward closed progress: 620480
Forward closed progress: 620579
Forward closed progress: 620554
Forward closed progress: 620539
Forward closed progress: 619968
Forward closed progress: 619533
Forward closed progress: 619315
Forward closed progress: 619300
Forward closed progress: 619354
Forward closed progress: 616922
Forward closed progress: 614049
Forward closed progress: 614042
Forward closed progress: 612722
Forward closed progress: 613117
Forward closed progress: 614783
Forward closed progress: 614832
Forward closed progress: 614816
Forward closed progress: 614365
Forward closed progress: 614205
Forward closed progress: 613362
Forward closed progress: 613036
Forward closed progress: 613151
Forward closed progress: 613056
Forward closed progress: 613023
Forward closed progress: 614109
Forward closed progress: 614640
Forward closed progress: 614618
Forward closed progress: 615318
Forward closed progress: 616003
Forward closed progress: 615572
Forward closed progress: 615569
Forward closed progress: 616430
Forward closed progress: 616177
Forward closed progress: 612704
Forward closed progress: 607908
Forward closed progress: 605816
Forward closed progress: 605810
Forward closed progress: 606883
Forward closed progress: 606657
Forward closed progress: 606657
Forward closed progress: 606453
Forward closed progress: 606442
Forward closed progress: 604775
Forward closed progress: 601125
Forward closed progress: 603998
Forward closed progress: 604413
Forward closed progress: 603990
Forward closed progress: 603970
Forward closed progress: 603688
Forward closed progress: 604077
Forward closed progress: 605470
Forward closed progress: 603742
Forward closed progress: 602937
Forward closed progress: 602963
Forward closed progress: 602627
Forward closed progress: 963850
Forward closed progress: 965844
Forward closed progress: 961253
Forward closed progress: 833518
Forward closed progress: 833197
Forward closed progress: 810063
Forward closed progress: 814331
Forward closed progress: 813853
Forward closed progress: 813847
Forward closed progress: 813885
Forward closed progress: 813930
Forward closed progress: 815333
Forward closed progress: 815311
Forward closed progress: 806677
Forward closed progress: 803664
Forward closed progress: 802713
Forward closed progress: 802750
Forward closed progress: 800076
Forward closed progress: 843062
Forward closed progress: 865142
Forward closed progress: 865226
Forward closed progress: 865253
Forward closed progress: 865247
Forward closed progress: 865229
Forward closed progress: 866804
Forward closed progress: 866786
Forward closed progress: 866621
Forward closed progress: 865137
Forward closed progress: 865354
Forward closed progress: 865346
Forward closed progress: 865360
Forward closed progress: 864667
Forward closed progress: 864364
Forward closed progress: 864084
Forward closed progress: 864024
Forward closed progress: 857285
Forward closed progress: 857599
Forward closed progress: 835095
Forward closed progress: 831439
Forward closed progress: 812005
Forward closed progress: 673704
Forward closed progress: 673427
Forward closed progress: 673406
Forward closed progress: 673202
Forward closed progress: 670013
Forward closed progress: 670013
Forward closed progress: 669830
Forward closed progress: 668215
Forward closed progress: 667100
Forward closed progress: 668013
Forward closed progress: 668003
Forward closed progress: 638660
Forward closed progress: 638658
Forward closed progress: 636993
Forward closed progress: 635501
Forward closed progress: 636111
Forward closed progress: 636013
Forward closed progress: 636067
Forward closed progress: 636075
Forward closed progress: 635881
Forward closed progress: 636477
Forward closed progress: 636470
Forward closed progress: 636474
Forward closed progress: 636196
Forward closed progress: 636168
Forward closed progress: 636210
Forward closed progress: 636180
Forward closed progress: 636149
Forward closed progress: 635816
Forward closed progress: 640249
Forward closed progress: 640277
Forward closed progress: 640281
Forward closed progress: 639869
Forward closed progress: 639873
Forward closed progress: 639775
Forward closed progress: 639807
Forward closed progress: 634207
Forward closed progress: 623876
Forward closed progress: 623962
Forward closed progress: 622123
Forward closed progress: 617234
Forward closed progress: 617247
Forward closed progress: 614151
Forward closed progress: 614337
Forward closed progress: 614369
Forward closed progress: 614323
Forward closed progress: 614352
Forward closed progress: 614345
Forward closed progress: 614345
Forward closed progress: 614290
Forward closed progress: 614003
Forward closed progress: 614087
Forward closed progress: 614079
Forward closed progress: 614174
Forward closed progress: 613589
Forward closed progress: 613559
Forward closed progress: 610553
Forward closed progress: 610557
Forward closed progress: 609189
Forward closed progress: 608957
Forward closed progress: 608949
Forward closed progress: 608957
Forward closed progress: 608959
Forward closed progress: 608953
Forward closed progress: 608915
Forward closed progress: 608960
Forward closed progress: 608952
Forward closed progress: 608957
Forward closed progress: 607482
Forward closed progress: 607200
Forward closed progress: 603827
Forward closed progress: 599386
Forward closed progress: 600164
Forward closed progress: 599595
Forward closed progress: 597457
Forward closed progress: 596092
Forward closed progress: 595975
Forward closed progress: 595604
Forward closed progress: 596828
Forward closed progress: 596099
Forward closed progress: 595038
Forward closed progress: 595064
Forward closed progress: 594834
Forward closed progress: 509630
Forward closed progress: 510004
Forward closed progress: 509998
Forward closed progress: 509584
Forward closed progress: 509572
Forward closed progress: 517453
Forward closed progress: 517750
Forward closed progress: 517502
Forward closed progress: 517472
Forward closed progress: 494331
Forward closed progress: 493010
Forward closed progress: 501173
Forward closed progress: 500438
Forward closed progress: 500422
Forward closed progress: 500326
Forward closed progress: 498883
Forward closed progress: 498859
Forward closed progress: 498656
Forward closed progress: 499144
Forward closed progress: 499061
Forward closed progress: 498897
Forward closed progress: 498027
Forward closed progress: 497265
Forward closed progress: 497994
Forward closed progress: 498008
Forward closed progress: 498010
Forward closed progress: 497936
Forward closed progress: 497938
Forward closed progress: 497904
Forward closed progress: 496722
Forward closed progress: 491751
Forward closed progress: 490950
Forward closed progress: 482862
Forward closed progress: 482864
Forward closed progress: 482842
Forward closed progress: 481220
Forward closed progress: 481040
Forward closed progress: 480695
Forward closed progress: 480205
Forward closed progress: 464310
Forward closed progress: 464316
Forward closed progress: 464316
Control exists for 2304624 color(s), jumping through 669417472 vertices.
Elapsed: 3832988 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 3832.988
user ??
sys ??
