>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 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: 64233744172580860
Attractor colors computed in 34388 ms.
Backward progress: 113360
Backward progress: 113828
Backward progress: 113819
Backward progress: 114860
Backward progress: 115620
Backward progress: 114928
Backward progress: 114861
Backward progress: 116001
Backward progress: 114782
Backward progress: 114161
Backward progress: 113808
Backward progress: 113458
Backward progress: 113541
Backward progress: 113581
Backward progress: 123329
Backward progress: 123374
Backward progress: 128694
Backward progress: 129260
Backward progress: 129326
Backward progress: 129523
Backward progress: 129502
Backward progress: 129596
Backward progress: 129020
Backward progress: 128903
Backward progress: 128467
Backward progress: 145628
Backward progress: 146628
Backward progress: 146612
Backward progress: 146884
Backward progress: 147832
Backward progress: 147812
Backward progress: 147734
Backward progress: 147932
Backward progress: 147984
Backward progress: 147929
Backward progress: 147953
Backward progress: 147727
Backward progress: 147689
Backward progress: 147609
Backward progress: 147672
Backward progress: 147867
Backward progress: 147862
Backward progress: 147054
Backward progress: 147030
Backward progress: 147001
Backward progress: 147122
Backward progress: 146422
Backward progress: 146611
Backward progress: 148691
Backward progress: 129740
Backward progress: 129560
Backward progress: 140352
Backward progress: 140726
Backward progress: 141757
Backward progress: 142250
Backward progress: 142218
Backward progress: 142223
Backward progress: 142150
Backward progress: 142171
Backward progress: 143061
Backward progress: 143194
Backward progress: 143191
Backward progress: 143208
Backward progress: 143198
Backward progress: 143185
Backward progress: 143143
Backward progress: 143511
Backward progress: 144704
Backward progress: 144720
Backward progress: 144726
Backward progress: 143923
Backward progress: 143943
Backward progress: 143917
Backward progress: 141842
Backward progress: 142732
Backward progress: 143851
Backward progress: 143830
Backward progress: 143986
Backward progress: 143793
Backward progress: 148513
Backward progress: 147944
Backward progress: 147866
Backward progress: 147907
Backward progress: 147919
Backward progress: 147810
Backward progress: 147780
Backward progress: 147735
Backward progress: 147985
Backward progress: 144349
Backward progress: 145569
Backward progress: 147357
Backward progress: 147380
Backward progress: 147380
Backward progress: 147396
Backward progress: 141882
Backward progress: 141254
Backward progress: 140932
Backward progress: 143321
Backward progress: 143314
Backward progress: 143304
Backward progress: 143292
Backward progress: 143290
Backward progress: 143289
Backward progress: 143257
Backward progress: 143178
Backward progress: 143195
Backward progress: 143195
Backward progress: 143140
Backward progress: 143158
Backward progress: 143226
Backward progress: 142553
Backward progress: 142184
Backward progress: 142236
Backward progress: 142252
Backward progress: 142232
Backward progress: 136953
Backward progress: 133161
Backward progress: 133155
Backward progress: 133570
Backward progress: 133616
Backward progress: 134101
Backward progress: 134082
Backward progress: 134176
Backward progress: 133605
Backward progress: 133477
Backward progress: 132839
Backward progress: 137507
Backward progress: 137575
Backward progress: 137537
Backward progress: 137770
Backward progress: 138253
Backward progress: 138229
Backward progress: 138068
Backward progress: 137953
Backward progress: 138005
Backward progress: 137849
Backward progress: 137873
Backward progress: 137577
Backward progress: 137496
Backward progress: 137130
Backward progress: 136706
Backward progress: 136783
Backward progress: 136778
Backward progress: 134818
Backward progress: 134675
Backward progress: 134556
Backward progress: 134547
Backward progress: 134521
Backward progress: 130210
Backward progress: 129442
Backward progress: 131783
Backward progress: 131758
Backward progress: 131769
Backward progress: 131652
Backward progress: 131614
Backward progress: 131609
Backward progress: 131487
Backward progress: 131098
Backward progress: 131011
Backward progress: 131008
Backward progress: 131025
Backward progress: 131015
Backward progress: 131002
Backward progress: 130908
Backward progress: 130576
Backward progress: 130635
Backward progress: 130621
Backward progress: 130612
Backward progress: 129222
Backward progress: 129234
Backward progress: 129135
Backward progress: 129121
Backward progress: 129090
Backward progress: 129045
Backward progress: 129243
Backward progress: 128964
Backward progress: 128915
Backward progress: 128192
Backward progress: 128224
Backward progress: 127472
Backward progress: 126121
Backward progress: 125816
Backward progress: 125720
Backward progress: 126054
Backward progress: 126046
Backward progress: 126040
Backward progress: 126040
Backward progress: 126038
Backward progress: 126037
Backward progress: 126004
Backward progress: 125853
Backward progress: 125881
Backward progress: 125881
Backward progress: 125425
Backward progress: 125425
Backward progress: 125291
Backward progress: 125237
Backward progress: 125239
Backward progress: 125253
Backward progress: 125188
Backward progress: 124707
Backward progress: 124704
Backward progress: 124700
Backward progress: 124598
Backward progress: 123159
Backward progress: 123108
Backward progress: 123144
Backward progress: 123227
Backward progress: 123300
Backward progress: 123357
Backward progress: 123618
Backward progress: 123593
Backward progress: 123593
Backward progress: 123683
Backward progress: 123763
Backward progress: 123677
Backward progress: 123673
Backward progress: 123757
Backward progress: 123946
Backward progress: 123923
Backward progress: 123849
Backward progress: 123717
Backward progress: 123702
Backward progress: 121402
Backward progress: 121424
Backward progress: 121428
Backward progress: 121410
Backward progress: 121439
Backward progress: 121433
Backward progress: 121430
Backward progress: 121402
Backward progress: 121417
Backward progress: 121439
Backward progress: 121379
Backward progress: 121339
Backward progress: 121275
Backward progress: 121492
Backward progress: 121508
Backward progress: 121543
Backward progress: 121529
Backward progress: 121593
Backward progress: 121472
Backward progress: 121265
Backward progress: 122574
Backward progress: 122561
Backward progress: 122549
Backward progress: 122584
Backward progress: 122541
Backward progress: 122538
Backward progress: 122483
Backward progress: 122543
Backward progress: 122593
Backward progress: 122516
Backward progress: 122475
Backward progress: 122000
Backward progress: 121715
Backward progress: 121466
Backward progress: 121420
Backward progress: 119795
Backward progress: 119107
Backward progress: 118299
Backward progress: 118289
Backward progress: 118290
Backward progress: 118290
Backward progress: 118288
Backward progress: 118287
Backward progress: 118270
Backward progress: 118230
Backward progress: 118234
Backward progress: 118233
Backward progress: 118217
Backward progress: 118236
Backward progress: 118264
Backward progress: 118265
Backward progress: 118272
Backward progress: 118210
Backward progress: 118211
Backward progress: 118193
Backward progress: 118345
Backward progress: 118371
Backward progress: 118250
Backward progress: 122016
Backward progress: 121299
Backward progress: 121278
Backward progress: 121270
Backward progress: 121171
Backward progress: 118984
Backward progress: 118797
Backward progress: 118739
Backward progress: 118524
Backward progress: 118341
Backward progress: 118175
Backward progress: 118418
Backward progress: 118410
Backward progress: 118370
Backward progress: 118358
Backward progress: 118330
Backward progress: 118163
Backward progress: 115081
Backward progress: 181373
Backward progress: 182346
Backward progress: 181169
Backward progress: 179021
Backward progress: 180000
Backward progress: 174646
Backward progress: 174657
Backward progress: 174654
Backward progress: 175095
Backward progress: 175104
Backward progress: 174716
Backward progress: 174709
Backward progress: 174710
Backward progress: 174971
Backward progress: 181183
Backward progress: 182490
Backward progress: 182225
Backward progress: 181260
Backward progress: 181158
Backward progress: 182243
Backward progress: 181348
Backward progress: 180813
Backward progress: 177170
Backward progress: 177115
Backward progress: 177197
Backward progress: 177181
Backward progress: 177161
Backward progress: 177176
Backward progress: 177097
Backward progress: 174184
Backward progress: 174206
Backward progress: 174137
Backward progress: 172870
Backward progress: 169428
Backward progress: 171194
Backward progress: 171266
Backward progress: 171241
Backward progress: 171241
Backward progress: 171154
Backward progress: 171102
Backward progress: 171054
Backward progress: 169545
Backward progress: 170101
Backward progress: 169554
Backward progress: 174470
Backward progress: 174482
Backward progress: 174290
Backward progress: 173845
Backward progress: 173037
Backward progress: 172671
Backward progress: 172650
Backward progress: 172582
Backward progress: 174124
Backward progress: 174114
Backward progress: 174132
Backward progress: 174116
Backward progress: 174097
Backward progress: 174095
Backward progress: 174036
Backward progress: 173038
Backward progress: 173011
Backward progress: 172943
Backward progress: 172936
Backward progress: 172922
Backward progress: 172865
Backward progress: 172826
Backward progress: 172011
Backward progress: 171901
Backward progress: 171747
Backward progress: 171842
Backward progress: 171833
Backward progress: 183478
Backward progress: 183689
Backward progress: 183699
Backward progress: 182648
Backward progress: 182806
Backward progress: 182820
Backward progress: 182799
Backward progress: 182789
Backward progress: 182829
Backward progress: 182819
Backward progress: 182746
Backward progress: 182672
Backward progress: 182451
Backward progress: 182463
Backward progress: 182382
Backward progress: 182386
Backward progress: 182388
Backward progress: 182386
Backward progress: 182378
Backward progress: 182382
Backward progress: 182380
Backward progress: 182115
Backward progress: 181932
Backward progress: 182284
Backward progress: 182291
Backward progress: 182409
Backward progress: 182512
Backward progress: 185788
Backward progress: 185790
Backward progress: 184696
Backward progress: 184706
Backward progress: 182821
Backward progress: 176635
Backward progress: 175474
Backward progress: 175550
Backward progress: 175683
Backward progress: 175687
Backward progress: 175715
Backward progress: 176212
Backward progress: 176138
Backward progress: 176135
Backward progress: 176015
Backward progress: 175723
Backward progress: 174841
Backward progress: 176036
Backward progress: 176021
Backward progress: 176085
Backward progress: 176083
Backward progress: 176077
Backward progress: 176087
Backward progress: 176062
Backward progress: 175689
Backward progress: 175692
Backward progress: 175690
Backward progress: 175990
Backward progress: 176169
Backward progress: 176157
Backward progress: 175863
Backward progress: 175860
Backward progress: 175648
Backward progress: 176835
Backward progress: 176665
Backward progress: 175015
Backward progress: 174897
Backward progress: 175147
Backward progress: 175141
Backward progress: 175147
Backward progress: 175145
Backward progress: 175139
Backward progress: 175136
Backward progress: 175100
Backward progress: 174976
Backward progress: 174979
Backward progress: 174958
Backward progress: 174919
Backward progress: 174790
Backward progress: 174736
Backward progress: 174683
Backward progress: 174535
Backward progress: 174430
Backward progress: 174427
Backward progress: 174418
Backward progress: 174218
Backward progress: 174247
Backward progress: 174223
Backward progress: 173753
Backward progress: 173749
Backward progress: 173749
Forward closed progress: 184811
Forward closed progress: 184792
Forward closed progress: 175780
Forward closed progress: 179122
Forward closed progress: 179783
Forward closed progress: 179415
Forward closed progress: 179299
Forward closed progress: 178745
Forward closed progress: 177774
Forward closed progress: 174845
Forward closed progress: 174702
Forward closed progress: 173638
Forward closed progress: 172571
Forward closed progress: 172170
Forward closed progress: 172079
Forward closed progress: 171977
Forward closed progress: 177168
Forward closed progress: 177949
Forward closed progress: 177326
Forward closed progress: 176772
Forward closed progress: 177645
Forward closed progress: 177699
Forward closed progress: 177371
Forward closed progress: 184358
Forward closed progress: 184184
Forward closed progress: 182059
Forward closed progress: 182050
Forward closed progress: 180750
Forward closed progress: 180774
Forward closed progress: 180687
Forward closed progress: 189795
Forward closed progress: 190134
Forward closed progress: 222638
Forward closed progress: 222903
Forward closed progress: 223416
Forward closed progress: 223406
Forward closed progress: 224071
Forward closed progress: 223570
Forward closed progress: 222924
Forward closed progress: 220122
Forward closed progress: 220137
Forward closed progress: 217847
Forward closed progress: 217842
Forward closed progress: 217914
Forward closed progress: 220754
Forward closed progress: 220537
Forward closed progress: 217225
Forward closed progress: 217213
Forward closed progress: 217427
Forward closed progress: 217402
Forward closed progress: 217345
Forward closed progress: 248325
Forward closed progress: 249093
Forward closed progress: 249382
Forward closed progress: 247719
Forward closed progress: 246314
Forward closed progress: 246330
Forward closed progress: 246084
Forward closed progress: 246674
Forward closed progress: 246681
Forward closed progress: 246021
Forward closed progress: 245099
Forward closed progress: 244656
Forward closed progress: 245110
Forward closed progress: 245143
Forward closed progress: 245125
Forward closed progress: 244117
Forward closed progress: 244121
Forward closed progress: 244154
Forward closed progress: 243899
Forward closed progress: 366178
Forward closed progress: 326442
Forward closed progress: 326651
Forward closed progress: 327491
Forward closed progress: 327421
Forward closed progress: 327421
Forward closed progress: 328741
Forward closed progress: 328540
Forward closed progress: 328304
Forward closed progress: 327240
Forward closed progress: 326874
Forward closed progress: 326838
Forward closed progress: 326614
Forward closed progress: 326552
Forward closed progress: 328737
Forward closed progress: 328630
Forward closed progress: 328636
Forward closed progress: 324329
Forward closed progress: 324542
Forward closed progress: 321264
Forward closed progress: 323621
Forward closed progress: 323789
Forward closed progress: 323766
Forward closed progress: 323752
Forward closed progress: 323777
Forward closed progress: 323356
Forward closed progress: 324155
Forward closed progress: 350231
Forward closed progress: 344922
Forward closed progress: 346512
Forward closed progress: 363542
Forward closed progress: 362024
Forward closed progress: 361982
Forward closed progress: 363128
Forward closed progress: 361834
Forward closed progress: 360993
Forward closed progress: 359805
Forward closed progress: 359796
Forward closed progress: 359761
Forward closed progress: 359690
Forward closed progress: 359319
Forward closed progress: 358235
Forward closed progress: 358082
Forward closed progress: 358026
Forward closed progress: 358103
Forward closed progress: 453127
Forward closed progress: 461794
Forward closed progress: 463132
Forward closed progress: 464576
Forward closed progress: 464436
Forward closed progress: 468903
Forward closed progress: 468437
Forward closed progress: 472442
Forward closed progress: 470469
Forward closed progress: 466003
Forward closed progress: 465568
Forward closed progress: 464437
Forward closed progress: 464253
Forward closed progress: 464128
Forward closed progress: 470012
Forward closed progress: 470099
Forward closed progress: 469984
Forward closed progress: 469796
Forward closed progress: 466889
Forward closed progress: 460361
Forward closed progress: 460273
Forward closed progress: 458417
Forward closed progress: 458405
Forward closed progress: 458419
Forward closed progress: 458399
Forward closed progress: 458303
Forward closed progress: 425549
Forward closed progress: 425593
Forward closed progress: 425545
Forward closed progress: 425535
Forward closed progress: 425628
Forward closed progress: 425666
Forward closed progress: 425350
Forward closed progress: 425326
Forward closed progress: 428055
Forward closed progress: 411489
Forward closed progress: 411243
Forward closed progress: 402349
Forward closed progress: 402417
Forward closed progress: 402361
Forward closed progress: 402380
Forward closed progress: 402375
Forward closed progress: 399913
Forward closed progress: 399443
Forward closed progress: 396507
Forward closed progress: 392892
Forward closed progress: 389273
Forward closed progress: 419734
Forward closed progress: 418353
Forward closed progress: 415896
Forward closed progress: 415908
Forward closed progress: 414857
Forward closed progress: 413813
Forward closed progress: 411844
Forward closed progress: 411206
Forward closed progress: 410642
Forward closed progress: 406217
Forward closed progress: 403134
Forward closed progress: 398432
Forward closed progress: 394211
Forward closed progress: 428939
Forward closed progress: 432110
Forward closed progress: 432152
Forward closed progress: 432140
Forward closed progress: 432154
Forward closed progress: 432134
Forward closed progress: 432006
Forward closed progress: 434099
Forward closed progress: 434788
Forward closed progress: 434614
Forward closed progress: 434614
Forward closed progress: 434620
Forward closed progress: 434617
Forward closed progress: 434227
Forward closed progress: 433515
Forward closed progress: 432508
Forward closed progress: 434918
Forward closed progress: 429593
Forward closed progress: 429454
Forward closed progress: 428022
Forward closed progress: 427608
Forward closed progress: 427163
Forward closed progress: 426792
Forward closed progress: 426323
Forward closed progress: 424606
Forward closed progress: 425446
Forward closed progress: 425381
Forward closed progress: 425217
Forward closed progress: 424845
Forward closed progress: 424584
Forward closed progress: 424256
Forward closed progress: 423764
Forward closed progress: 419885
Forward closed progress: 406657
Forward closed progress: 406558
Forward closed progress: 406406
Forward closed progress: 406351
Forward closed progress: 406093
Forward closed progress: 408688
Forward closed progress: 403586
Forward closed progress: 403624
Forward closed progress: 403599
Forward closed progress: 398989
Forward closed progress: 398677
Forward closed progress: 398624
Forward closed progress: 398581
Forward closed progress: 391075
Forward closed progress: 388970
Forward closed progress: 387752
Forward closed progress: 383936
Forward closed progress: 381999
Forward closed progress: 380454
Forward closed progress: 380304
Forward closed progress: 379840
Forward closed progress: 379844
Forward closed progress: 379748
Forward closed progress: 379646
Forward closed progress: 480254
Forward closed progress: 496186
Forward closed progress: 496292
Forward closed progress: 496356
Forward closed progress: 496407
Forward closed progress: 496753
Forward closed progress: 496753
Forward closed progress: 496707
Forward closed progress: 496709
Forward closed progress: 500277
Forward closed progress: 500447
Forward closed progress: 500398
Forward closed progress: 500211
Forward closed progress: 500138
Forward closed progress: 513255
Forward closed progress: 560141
Forward closed progress: 560142
Forward closed progress: 560096
Forward closed progress: 560118
Forward closed progress: 560109
Forward closed progress: 560045
Forward closed progress: 560034
Forward closed progress: 559945
Forward closed progress: 559829
Forward closed progress: 559773
Forward closed progress: 557306
Forward closed progress: 619489
Forward closed progress: 620758
Forward closed progress: 621952
Forward closed progress: 621930
Forward closed progress: 622029
Forward closed progress: 622067
Forward closed progress: 621460
Forward closed progress: 620975
Forward closed progress: 618654
Forward closed progress: 618098
Forward closed progress: 604462
Forward closed progress: 605377
Forward closed progress: 604917
Forward closed progress: 604381
Forward closed progress: 602093
Forward closed progress: 602045
Forward closed progress: 602028
Forward closed progress: 601879
Forward closed progress: 601814
Forward closed progress: 601800
Forward closed progress: 601686
Forward closed progress: 601766
Forward closed progress: 599233
Forward closed progress: 594202
Forward closed progress: 596626
Forward closed progress: 595926
Forward closed progress: 594808
Forward closed progress: 594316
Forward closed progress: 589945
Forward closed progress: 589844
Forward closed progress: 587833
Forward closed progress: 581222
Forward closed progress: 562521
Forward closed progress: 562450
Forward closed progress: 560764
Forward closed progress: 592241
Forward closed progress: 593277
Forward closed progress: 594509
Forward closed progress: 594323
Forward closed progress: 594287
Forward closed progress: 594516
Forward closed progress: 594495
Forward closed progress: 595907
Forward closed progress: 595421
Forward closed progress: 598359
Forward closed progress: 571684
Forward closed progress: 567787
Forward closed progress: 567655
Forward closed progress: 567526
Forward closed progress: 553355
Forward closed progress: 550334
Forward closed progress: 547824
Forward closed progress: 546492
Forward closed progress: 565714
Forward closed progress: 564002
Forward closed progress: 563330
Forward closed progress: 563270
Forward closed progress: 563274
Forward closed progress: 564460
Forward closed progress: 563143
Forward closed progress: 562456
Forward closed progress: 560259
Forward closed progress: 556309
Forward closed progress: 553922
Forward closed progress: 546927
Forward closed progress: 545154
Forward closed progress: 545828
Forward closed progress: 545818
Forward closed progress: 545783
Forward closed progress: 545782
Forward closed progress: 545703
Forward closed progress: 545496
Forward closed progress: 547997
Forward closed progress: 546984
Forward closed progress: 546964
Forward closed progress: 546741
Forward closed progress: 546664
Forward closed progress: 546568
Forward closed progress: 546557
Forward closed progress: 546477
Forward closed progress: 546237
Forward closed progress: 546401
Forward closed progress: 546375
Forward closed progress: 546355
Forward closed progress: 546261
Forward closed progress: 546261
Forward closed progress: 546181
Forward closed progress: 546091
Forward closed progress: 543270
Forward closed progress: 541952
Forward closed progress: 543262
Forward closed progress: 541616
Forward closed progress: 539493
Forward closed progress: 539413
Forward closed progress: 539182
Forward closed progress: 538496
Forward closed progress: 536931
Forward closed progress: 521920
Forward closed progress: 683232
Forward closed progress: 749245
Forward closed progress: 745375
Forward closed progress: 745594
Forward closed progress: 747657
Forward closed progress: 770463
Forward closed progress: 774179
Forward closed progress: 773846
Forward closed progress: 773957
Forward closed progress: 763076
Forward closed progress: 776849
Forward closed progress: 788761
Forward closed progress: 789195
Forward closed progress: 789498
Forward closed progress: 789515
Forward closed progress: 784591
Forward closed progress: 784353
Forward closed progress: 784243
Forward closed progress: 829068
Forward closed progress: 829136
Forward closed progress: 828902
Forward closed progress: 838578
Forward closed progress: 828696
Forward closed progress: 828678
Forward closed progress: 828572
Forward closed progress: 803124
Forward closed progress: 803281
Forward closed progress: 803101
Forward closed progress: 803579
Forward closed progress: 791573
Forward closed progress: 797631
Forward closed progress: 797648
Forward closed progress: 797685
Forward closed progress: 797728
Forward closed progress: 797945
Forward closed progress: 797620
Forward closed progress: 795722
Forward closed progress: 795800
Forward closed progress: 797302
Forward closed progress: 797836
Forward closed progress: 797790
Forward closed progress: 796833
Forward closed progress: 783514
Forward closed progress: 777642
Forward closed progress: 776922
Forward closed progress: 757692
Forward closed progress: 757712
Forward closed progress: 844215
Forward closed progress: 840522
Forward closed progress: 840956
Forward closed progress: 835783
Forward closed progress: 835748
Forward closed progress: 833473
Forward closed progress: 833486
Forward closed progress: 832020
Forward closed progress: 831714
Forward closed progress: 835655
Forward closed progress: 810901
Forward closed progress: 807891
Forward closed progress: 789955
Forward closed progress: 793210
Forward closed progress: 792998
Forward closed progress: 790904
Forward closed progress: 812316
Forward closed progress: 810363
Forward closed progress: 809422
Forward closed progress: 809312
Forward closed progress: 808941
Forward closed progress: 808878
Forward closed progress: 808136
Forward closed progress: 805611
Forward closed progress: 797308
Forward closed progress: 796291
Forward closed progress: 795943
Forward closed progress: 795379
Forward closed progress: 796247
Forward closed progress: 796061
Forward closed progress: 795627
Forward closed progress: 795275
Forward closed progress: 789390
Forward closed progress: 788884
Forward closed progress: 789508
Forward closed progress: 789422
Forward closed progress: 788716
Forward closed progress: 789417
Forward closed progress: 787706
Forward closed progress: 786423
Forward closed progress: 786407
Forward closed progress: 786170
Forward closed progress: 785270
Forward closed progress: 782763
Forward closed progress: 766997
Forward closed progress: 760337
Forward closed progress: 760216
Forward closed progress: 758561
Forward closed progress: 870046
Forward closed progress: 872878
Forward closed progress: 873843
Forward closed progress: 873907
Forward closed progress: 874236
Forward closed progress: 872168
Forward closed progress: 866285
Forward closed progress: 866337
Forward closed progress: 865597
Forward closed progress: 865682
Forward closed progress: 865622
Forward closed progress: 917359
Forward closed progress: 917522
Forward closed progress: 917733
Forward closed progress: 920219
Forward closed progress: 921936
Forward closed progress: 921958
Forward closed progress: 920980
Forward closed progress: 935672
Forward closed progress: 935708
Forward closed progress: 935657
Forward closed progress: 935498
Forward closed progress: 930641
Forward closed progress: 930677
Forward closed progress: 930223
Forward closed progress: 930263
Forward closed progress: 929490
Forward closed progress: 930577
Forward closed progress: 929422
Forward closed progress: 931316
Forward closed progress: 930891
Forward closed progress: 931497
Forward closed progress: 930821
Forward closed progress: 930571
Forward closed progress: 938472
Forward closed progress: 935144
Forward closed progress: 931703
Forward closed progress: 931979
Forward closed progress: 931985
Forward closed progress: 1023147
Forward closed progress: 1026678
Forward closed progress: 1026568
Forward closed progress: 1026593
Forward closed progress: 1029130
Forward closed progress: 1030393
Forward closed progress: 1030864
Forward closed progress: 1030616
Forward closed progress: 1029684
Forward closed progress: 1028609
Forward closed progress: 1033961
Forward closed progress: 1021160
Forward closed progress: 1020940
Forward closed progress: 1020400
Forward closed progress: 1020254
Forward closed progress: 1016965
Forward closed progress: 1017001
Forward closed progress: 1016679
Forward closed progress: 1017712
Forward closed progress: 998124
Forward closed progress: 1036602
Forward closed progress: 1027488
Forward closed progress: 1027310
Forward closed progress: 1027310
Forward closed progress: 1027125
Forward closed progress: 1027335
Forward closed progress: 1027291
Forward closed progress: 1026689
Forward closed progress: 1026513
Forward closed progress: 1026367
Forward closed progress: 1026463
Forward closed progress: 1026141
Forward closed progress: 1030092
Forward closed progress: 1029886
Forward closed progress: 1028560
Forward closed progress: 1028511
Forward closed progress: 1027877
Forward closed progress: 1025388
Forward closed progress: 1025355
Forward closed progress: 1024632
Forward closed progress: 1024559
Forward closed progress: 1024710
Forward closed progress: 1024638
Forward closed progress: 1025054
Forward closed progress: 1025078
Forward closed progress: 1025294
Forward closed progress: 1024909
Forward closed progress: 1024502
Forward closed progress: 1024483
Forward closed progress: 1024507
Forward closed progress: 1024085
Forward closed progress: 1023868
Forward closed progress: 1023535
Forward closed progress: 1023352
Forward closed progress: 1023213
Forward closed progress: 1022869
Forward closed progress: 1022161
Forward closed progress: 1020294
Forward closed progress: 1020878
Forward closed progress: 1020874
Forward closed progress: 1020042
Forward closed progress: 1019799
Forward closed progress: 1022835
Forward closed progress: 1022449
Forward closed progress: 1022293
Forward closed progress: 1022013
Forward closed progress: 1021343
Forward closed progress: 1020637
Forward closed progress: 1021035
Forward closed progress: 1020783
Forward closed progress: 1020655
Forward closed progress: 1020705
Forward closed progress: 1020613
Forward closed progress: 1020348
Forward closed progress: 1019026
Forward closed progress: 1033759
Forward closed progress: 1038990
Forward closed progress: 1038762
Forward closed progress: 1039714
Forward closed progress: 1030748
Forward closed progress: 1041319
Forward closed progress: 1041139
Forward closed progress: 1055284
Forward closed progress: 1055329
Forward closed progress: 1055515
Forward closed progress: 1055471
Forward closed progress: 1054569
Forward closed progress: 1054614
Forward closed progress: 1051456
Forward closed progress: 1049669
Forward closed progress: 1049566
Forward closed progress: 1069559
Forward closed progress: 1067969
Forward closed progress: 1074674
Forward closed progress: 1075895
Forward closed progress: 1075787
Forward closed progress: 1075741
Forward closed progress: 1075772
Forward closed progress: 1075739
Forward closed progress: 1075473
Forward closed progress: 1068624
Forward closed progress: 1068921
Forward closed progress: 1066685
Forward closed progress: 1065382
Forward closed progress: 1065252
Forward closed progress: 1065147
Forward closed progress: 1060895
Forward closed progress: 1059372
Forward closed progress: 1058079
Forward closed progress: 1084111
Forward closed progress: 1085856
Forward closed progress: 1085660
Forward closed progress: 1086000
Forward closed progress: 1085802
Forward closed progress: 1085573
Forward closed progress: 1087122
Forward closed progress: 1087146
Forward closed progress: 1087354
Forward closed progress: 1087336
Forward closed progress: 1085945
Forward closed progress: 1085969
Forward closed progress: 1085853
Forward closed progress: 1085566
Forward closed progress: 1082172
Forward closed progress: 1081784
Forward closed progress: 1081788
Forward closed progress: 1080905
Forward closed progress: 1106679
Forward closed progress: 1106762
Forward closed progress: 1104886
Forward closed progress: 1104888
Forward closed progress: 1107463
Forward closed progress: 1107327
Forward closed progress: 1105525
Forward closed progress: 1105109
Forward closed progress: 1104223
Forward closed progress: 1103018
Forward closed progress: 1111323
Forward closed progress: 1110905
Forward closed progress: 1110761
Forward closed progress: 1110898
Forward closed progress: 1107010
Forward closed progress: 1107156
Forward closed progress: 1106986
Forward closed progress: 1106931
Forward closed progress: 1102626
Forward closed progress: 1101049
Forward closed progress: 1323422
Forward closed progress: 1825144
Forward closed progress: 1818406
Forward closed progress: 1817844
Forward closed progress: 1820050
Forward closed progress: 1814841
Forward closed progress: 1825630
Forward closed progress: 1836330
Forward closed progress: 1829766
Forward closed progress: 1859696
Forward closed progress: 1871127
Forward closed progress: 1871115
Forward closed progress: 1871063
Forward closed progress: 1883746
Forward closed progress: 1884409
Forward closed progress: 1880427
Forward closed progress: 1874708
Forward closed progress: 1874660
Forward closed progress: 1873757
Forward closed progress: 1945031
Forward closed progress: 1959653
Forward closed progress: 1959662
Forward closed progress: 1959815
Forward closed progress: 1959923
Forward closed progress: 1952478
Forward closed progress: 1951650
Forward closed progress: 1941658
Forward closed progress: 1941721
Forward closed progress: 1941670
Forward closed progress: 1871269
Forward closed progress: 1869624
Forward closed progress: 1868597
Forward closed progress: 1868512
Forward closed progress: 1871517
Forward closed progress: 1843177
Forward closed progress: 1840197
Forward closed progress: 1825281
Forward closed progress: 1817748
Forward closed progress: 1744585
Forward closed progress: 1743645
Forward closed progress: 1737814
Forward closed progress: 1737382
Forward closed progress: 1736264
Forward closed progress: 1735762
Forward closed progress: 1738329
Forward closed progress: 1741599
Forward closed progress: 1741015
Forward closed progress: 1740463
Forward closed progress: 1740789
Forward closed progress: 1740090
Forward closed progress: 1757188
Forward closed progress: 1761229
Forward closed progress: 1761255
Forward closed progress: 1759966
Forward closed progress: 1759810
Forward closed progress: 1760428
Forward closed progress: 1767696
Forward closed progress: 1767647
Forward closed progress: 1767653
Forward closed progress: 1770358
Forward closed progress: 1770732
Forward closed progress: 1770844
Forward closed progress: 1770986
Forward closed progress: 1771156
Forward closed progress: 1766289
Forward closed progress: 1766221
Forward closed progress: 1756889
Forward closed progress: 1756364
Forward closed progress: 1778872
Forward closed progress: 1779062
Forward closed progress: 1778987
Forward closed progress: 1768121
Forward closed progress: 1766930
Forward closed progress: 1766252
Forward closed progress: 1766233
Forward closed progress: 1772453
Forward closed progress: 1774911
Forward closed progress: 1756960
Forward closed progress: 1758283
Forward closed progress: 1758268
Forward closed progress: 1756930
Forward closed progress: 1757349
Forward closed progress: 1757163
Forward closed progress: 1757366
Forward closed progress: 1757537
Forward closed progress: 1757367
Forward closed progress: 1760484
Forward closed progress: 1756958
Forward closed progress: 1756354
Forward closed progress: 1751298
Forward closed progress: 1751053
Forward closed progress: 1747839
Forward closed progress: 1747569
Forward closed progress: 1747185
Forward closed progress: 1737944
Forward closed progress: 1734081
Forward closed progress: 1733813
Forward closed progress: 1722198
Forward closed progress: 1724281
Forward closed progress: 1726345
Forward closed progress: 1726292
Forward closed progress: 1726856
Forward closed progress: 1726405
Forward closed progress: 1730574
Forward closed progress: 1730474
Forward closed progress: 1735279
Forward closed progress: 1735248
Forward closed progress: 1733208
Forward closed progress: 1731509
Forward closed progress: 1731521
Forward closed progress: 1727237
Forward closed progress: 1727210
Forward closed progress: 1726015
Forward closed progress: 1724104
Forward closed progress: 1711381
Forward closed progress: 1711541
Forward closed progress: 1711437
Forward closed progress: 1711271
Forward closed progress: 1711281
Forward closed progress: 1711203
Forward closed progress: 1711939
Forward closed progress: 1711927
Forward closed progress: 1711037
Forward closed progress: 1710161
Forward closed progress: 1712449
Forward closed progress: 1712787
Forward closed progress: 1712795
Forward closed progress: 1712699
Forward closed progress: 1712995
Forward closed progress: 1712721
Forward closed progress: 1851494
Forward closed progress: 1852679
Forward closed progress: 1853416
Forward closed progress: 1853676
Forward closed progress: 1839902
Forward closed progress: 1844896
Forward closed progress: 1844806
Forward closed progress: 1844806
Forward closed progress: 1844822
Forward closed progress: 1846137
Forward closed progress: 1846003
Forward closed progress: 1858142
Forward closed progress: 1859376
Forward closed progress: 1859162
Forward closed progress: 1852500
Forward closed progress: 1848688
Forward closed progress: 1848010
Forward closed progress: 1848110
Forward closed progress: 1848110
Forward closed progress: 2003934
Forward closed progress: 2001655
Forward closed progress: 2006107
Forward closed progress: 2006277
Forward closed progress: 2007534
Forward closed progress: 2007184
Forward closed progress: 2007164
Forward closed progress: 2007079
Forward closed progress: 2009115
Forward closed progress: 2012296
Forward closed progress: 2012268
Forward closed progress: 2013390
Forward closed progress: 2013426
Forward closed progress: 2013529
Forward closed progress: 2011438
Forward closed progress: 2007848
Forward closed progress: 2007633
Forward closed progress: 2007669
Forward closed progress: 2007436
Forward closed progress: 2007161
Forward closed progress: 2006936
Forward closed progress: 2005167
Forward closed progress: 2000778
Forward closed progress: 2000566
Forward closed progress: 2007213
Forward closed progress: 2032753
Forward closed progress: 2032431
Forward closed progress: 2022071
Forward closed progress: 2023335
Forward closed progress: 2022481
Forward closed progress: 2019351
Forward closed progress: 2017483
Forward closed progress: 2016797
Forward closed progress: 2016887
Forward closed progress: 2016867
Forward closed progress: 2015573
Forward closed progress: 2010948
Forward closed progress: 2037834
Forward closed progress: 2037858
Forward closed progress: 2039442
Forward closed progress: 2039566
Forward closed progress: 2039616
Forward closed progress: 2039584
Forward closed progress: 2042394
Forward closed progress: 2039151
Forward closed progress: 2039177
Forward closed progress: 2027691
Forward closed progress: 2052792
Forward closed progress: 2055648
Forward closed progress: 2055676
Forward closed progress: 2055648
Forward closed progress: 2055720
Forward closed progress: 2055692
Forward closed progress: 2059766
Forward closed progress: 2059766
Forward closed progress: 2059718
Forward closed progress: 2060109
Forward closed progress: 2060328
Forward closed progress: 2060372
Forward closed progress: 2060236
Forward closed progress: 2060212
Forward closed progress: 2054284
Forward closed progress: 2053841
Forward closed progress: 2064365
Forward closed progress: 2064229
Forward closed progress: 2063730
Forward closed progress: 2059449
Forward closed progress: 2059463
Forward closed progress: 2059429
Forward closed progress: 2058177
Forward closed progress: 2058143
Forward closed progress: 2057829
Forward closed progress: 2057930
Forward closed progress: 2057541
Forward closed progress: 2057280
Forward closed progress: 2057101
Forward closed progress: 2055963
Forward closed progress: 2053881
Forward closed progress: 2057430
Forward closed progress: 2057432
Forward closed progress: 2054592
Forward closed progress: 2054844
Forward closed progress: 2054677
Forward closed progress: 2054130
Forward closed progress: 2054178
Forward closed progress: 2054170
Forward closed progress: 2053664
Forward closed progress: 2052480
Forward closed progress: 2053550
Forward closed progress: 2051918
Forward closed progress: 2051794
Forward closed progress: 2051234
Forward closed progress: 2051248
Forward closed progress: 2051202
Forward closed progress: 2051244
Forward closed progress: 2051198
Forward closed progress: 2050832
Forward closed progress: 2050690
Forward closed progress: 2050660
Forward closed progress: 2048644
Forward closed progress: 2048490
Forward closed progress: 2048512
Forward closed progress: 2048370
Forward closed progress: 2047900
Forward closed progress: 2160780
Forward closed progress: 2170038
Forward closed progress: 2169623
Forward closed progress: 2169203
Forward closed progress: 2141784
Forward closed progress: 2142366
Forward closed progress: 2140575
Forward closed progress: 2141142
Forward closed progress: 2141178
Forward closed progress: 2141261
Forward closed progress: 2141149
Forward closed progress: 2135656
Forward closed progress: 2135692
Forward closed progress: 2134195
Forward closed progress: 2123447
Forward closed progress: 2122652
Forward closed progress: 2116398
Forward closed progress: 2100444
Forward closed progress: 2097564
Forward closed progress: 2098606
Forward closed progress: 2098610
Forward closed progress: 2099120
Forward closed progress: 2098515
Forward closed progress: 2182569
Forward closed progress: 2182577
Forward closed progress: 2180262
Forward closed progress: 2179315
Forward closed progress: 2179349
Forward closed progress: 2179341
Forward closed progress: 2175611
Forward closed progress: 2170534
Forward closed progress: 2172366
Forward closed progress: 2172615
Forward closed progress: 2172696
Forward closed progress: 2172539
Forward closed progress: 2163003
Forward closed progress: 2163783
Forward closed progress: 2161219
Forward closed progress: 2161003
Forward closed progress: 2152391
Forward closed progress: 2149937
Forward closed progress: 2149965
Forward closed progress: 2156341
Forward closed progress: 2156317
Forward closed progress: 2156314
Forward closed progress: 2156334
Forward closed progress: 2156322
Forward closed progress: 2157563
Forward closed progress: 2157587
Forward closed progress: 2158329
Forward closed progress: 2158381
Forward closed progress: 2158255
Forward closed progress: 2158131
Forward closed progress: 2159307
Forward closed progress: 2150594
Forward closed progress: 2112544
Forward closed progress: 2112452
Forward closed progress: 2112699
Forward closed progress: 2112697
Forward closed progress: 2112317
Forward closed progress: 2112176
Forward closed progress: 2112822
Forward closed progress: 2112320
Forward closed progress: 2112299
Forward closed progress: 2115451
Forward closed progress: 2114943
Forward closed progress: 2116014
Forward closed progress: 2117438
Forward closed progress: 2116000
Forward closed progress: 2116109
Forward closed progress: 2116114
Forward closed progress: 2114589
Forward closed progress: 2114774
Forward closed progress: 2114900
Forward closed progress: 2113692
Forward closed progress: 2113088
Forward closed progress: 2112543
Forward closed progress: 2121027
Forward closed progress: 2121587
Forward closed progress: 2121130
Forward closed progress: 2116328
Forward closed progress: 2113731
Forward closed progress: 2112648
Forward closed progress: 2112648
Control exists for 14955584 color(s), jumping through 4294967296 vertices.
Elapsed: 6356252 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 6356.252
user ??
sys ??
