>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 32
Uncertainty colors: 8064000
Perturbation colors: 4294967296
All colors: 34634616274944000
Unknown update functions: 5
Lowest cardinality: 2
Highest cardinality: 4
Attractor colors: 10307938690269184
Attractor colors computed in 23062 ms.
Backward progress: 100601
Backward progress: 101370
Backward progress: 101388
Backward progress: 101426
Backward progress: 101017
Backward progress: 101056
Backward progress: 101062
Backward progress: 101087
Backward progress: 101114
Backward progress: 102449
Backward progress: 102453
Backward progress: 102514
Backward progress: 102719
Backward progress: 102741
Backward progress: 101862
Backward progress: 102740
Backward progress: 111214
Backward progress: 110592
Backward progress: 110919
Backward progress: 102151
Backward progress: 102105
Backward progress: 102162
Backward progress: 102100
Backward progress: 101305
Backward progress: 100744
Backward progress: 100897
Backward progress: 101417
Backward progress: 101193
Backward progress: 101428
Backward progress: 101211
Backward progress: 101209
Backward progress: 101194
Backward progress: 101164
Backward progress: 101412
Backward progress: 101413
Backward progress: 102687
Backward progress: 102865
Backward progress: 102727
Backward progress: 104204
Backward progress: 104217
Backward progress: 118441
Backward progress: 117795
Backward progress: 118352
Backward progress: 119080
Backward progress: 118871
Backward progress: 118738
Backward progress: 118861
Backward progress: 118860
Backward progress: 119010
Backward progress: 119000
Backward progress: 119081
Backward progress: 119080
Backward progress: 119043
Backward progress: 119323
Backward progress: 119074
Backward progress: 119165
Backward progress: 119164
Backward progress: 119125
Backward progress: 118980
Backward progress: 119047
Backward progress: 118791
Backward progress: 119149
Backward progress: 119163
Backward progress: 119166
Backward progress: 120684
Backward progress: 120685
Backward progress: 120334
Backward progress: 120054
Backward progress: 119762
Backward progress: 119856
Backward progress: 119802
Backward progress: 119803
Backward progress: 119793
Backward progress: 119887
Backward progress: 119884
Backward progress: 119873
Backward progress: 120022
Backward progress: 120058
Backward progress: 120028
Backward progress: 119466
Backward progress: 117596
Backward progress: 117511
Backward progress: 117342
Backward progress: 147220
Backward progress: 143439
Backward progress: 143551
Backward progress: 141593
Backward progress: 141575
Backward progress: 138788
Backward progress: 142311
Backward progress: 146267
Backward progress: 146418
Backward progress: 146053
Backward progress: 146051
Backward progress: 145766
Backward progress: 145742
Backward progress: 145962
Backward progress: 146585
Backward progress: 145909
Backward progress: 145838
Backward progress: 147764
Backward progress: 148061
Backward progress: 147992
Backward progress: 147897
Backward progress: 149940
Backward progress: 149790
Backward progress: 148726
Backward progress: 148591
Backward progress: 148334
Backward progress: 148326
Backward progress: 148569
Backward progress: 148622
Backward progress: 148630
Backward progress: 148630
Backward progress: 153279
Backward progress: 152749
Backward progress: 152749
Backward progress: 151470
Backward progress: 151874
Backward progress: 151543
Backward progress: 151493
Backward progress: 151546
Backward progress: 151858
Backward progress: 151838
Backward progress: 151830
Backward progress: 151856
Backward progress: 151832
Backward progress: 149439
Backward progress: 149475
Backward progress: 149474
Backward progress: 149479
Backward progress: 149471
Backward progress: 157156
Backward progress: 157157
Backward progress: 157154
Backward progress: 156940
Backward progress: 167140
Backward progress: 165408
Backward progress: 161996
Backward progress: 161723
Backward progress: 160582
Backward progress: 160414
Backward progress: 160876
Backward progress: 160869
Backward progress: 160809
Backward progress: 160839
Backward progress: 160725
Backward progress: 161048
Backward progress: 161024
Backward progress: 160703
Backward progress: 160710
Backward progress: 160675
Backward progress: 160298
Backward progress: 160393
Backward progress: 160341
Backward progress: 160330
Backward progress: 160830
Backward progress: 160711
Backward progress: 163556
Backward progress: 162415
Backward progress: 162321
Backward progress: 161990
Backward progress: 162130
Backward progress: 162480
Backward progress: 162476
Backward progress: 162463
Backward progress: 175764
Backward progress: 175386
Backward progress: 167127
Backward progress: 167671
Backward progress: 167073
Backward progress: 167201
Backward progress: 167201
Backward progress: 167391
Backward progress: 167395
Backward progress: 167391
Backward progress: 167487
Backward progress: 167578
Backward progress: 167463
Backward progress: 167471
Backward progress: 168266
Backward progress: 167700
Backward progress: 167732
Backward progress: 167735
Backward progress: 167780
Backward progress: 167859
Backward progress: 167783
Backward progress: 167707
Backward progress: 167785
Backward progress: 167787
Backward progress: 167720
Backward progress: 167724
Backward progress: 167503
Backward progress: 167521
Backward progress: 165903
Backward progress: 164439
Backward progress: 178715
Backward progress: 178115
Backward progress: 168302
Backward progress: 168846
Backward progress: 168031
Backward progress: 168159
Backward progress: 167544
Backward progress: 167540
Backward progress: 167540
Backward progress: 167513
Backward progress: 167471
Backward progress: 166900
Backward progress: 167602
Backward progress: 166913
Backward progress: 166911
Backward progress: 166878
Backward progress: 166884
Backward progress: 166922
Backward progress: 166856
Backward progress: 166891
Backward progress: 166893
Backward progress: 166824
Backward progress: 166532
Backward progress: 164752
Backward progress: 210083
Backward progress: 203509
Backward progress: 202429
Backward progress: 200999
Backward progress: 200587
Backward progress: 200834
Backward progress: 200518
Backward progress: 202020
Backward progress: 202020
Backward progress: 201607
Backward progress: 202084
Backward progress: 201536
Backward progress: 201492
Backward progress: 202085
Backward progress: 202166
Backward progress: 202093
Backward progress: 202823
Backward progress: 202811
Backward progress: 202050
Backward progress: 201859
Backward progress: 201710
Backward progress: 201898
Backward progress: 201031
Backward progress: 201512
Backward progress: 201533
Backward progress: 201509
Backward progress: 199279
Backward progress: 205625
Backward progress: 203892
Backward progress: 201667
Backward progress: 201575
Backward progress: 201587
Backward progress: 201527
Backward progress: 201638
Backward progress: 201451
Backward progress: 201431
Backward progress: 201403
Backward progress: 201403
Backward progress: 201780
Backward progress: 201618
Backward progress: 203335
Backward progress: 203055
Backward progress: 201890
Backward progress: 197061
Backward progress: 201218
Backward progress: 200788
Backward progress: 199184
Backward progress: 199186
Backward progress: 199041
Backward progress: 198653
Backward progress: 215359
Backward progress: 206729
Backward progress: 204499
Backward progress: 204369
Backward progress: 203459
Backward progress: 203470
Backward progress: 203082
Backward progress: 203049
Backward progress: 203021
Backward progress: 202800
Backward progress: 202888
Backward progress: 202988
Backward progress: 203009
Backward progress: 202994
Backward progress: 205950
Backward progress: 205950
Backward progress: 205944
Backward progress: 204219
Backward progress: 204418
Backward progress: 204341
Backward progress: 204211
Backward progress: 204179
Backward progress: 204133
Backward progress: 204129
Backward progress: 204122
Backward progress: 204134
Backward progress: 204173
Backward progress: 203482
Backward progress: 202869
Backward progress: 201183
Backward progress: 209977
Backward progress: 209698
Backward progress: 202243
Backward progress: 201311
Backward progress: 200654
Backward progress: 200505
Backward progress: 200504
Backward progress: 200502
Backward progress: 200322
Backward progress: 200333
Backward progress: 200221
Backward progress: 200553
Backward progress: 200406
Backward progress: 200169
Backward progress: 200231
Backward progress: 200094
Backward progress: 199834
Backward progress: 199846
Backward progress: 199851
Backward progress: 328163
Backward progress: 333499
Backward progress: 328061
Backward progress: 339164
Backward progress: 337325
Backward progress: 337302
Backward progress: 364287
Backward progress: 357415
Backward progress: 353116
Backward progress: 350891
Backward progress: 354830
Backward progress: 355810
Backward progress: 355809
Backward progress: 355967
Backward progress: 358640
Backward progress: 358692
Backward progress: 358553
Backward progress: 359019
Backward progress: 358892
Backward progress: 358636
Backward progress: 380220
Backward progress: 390945
Backward progress: 399969
Backward progress: 398707
Backward progress: 398194
Backward progress: 398085
Backward progress: 396678
Backward progress: 411364
Backward progress: 411445
Backward progress: 408156
Backward progress: 411344
Backward progress: 408435
Backward progress: 408810
Backward progress: 409078
Backward progress: 408636
Backward progress: 408305
Backward progress: 407941
Backward progress: 408049
Backward progress: 407939
Backward progress: 407714
Backward progress: 407517
Backward progress: 407274
Backward progress: 407340
Backward progress: 436671
Backward progress: 437968
Backward progress: 438190
Backward progress: 440147
Backward progress: 440139
Backward progress: 440131
Backward progress: 436051
Backward progress: 436030
Backward progress: 432666
Backward progress: 432987
Backward progress: 432522
Backward progress: 431012
Backward progress: 429378
Backward progress: 429341
Backward progress: 429138
Backward progress: 429147
Backward progress: 429015
Backward progress: 429385
Backward progress: 429307
Backward progress: 429163
Backward progress: 429056
Backward progress: 429008
Backward progress: 428926
Backward progress: 428140
Backward progress: 427900
Backward progress: 429519
Backward progress: 429520
Backward progress: 429516
Backward progress: 429011
Backward progress: 429142
Backward progress: 429102
Backward progress: 429003
Backward progress: 428995
Backward progress: 428988
Backward progress: 428938
Backward progress: 428884
Backward progress: 428745
Backward progress: 428725
Backward progress: 428743
Backward progress: 428725
Backward progress: 428894
Backward progress: 428688
Backward progress: 428674
Backward progress: 429115
Backward progress: 397811
Backward progress: 370651
Backward progress: 370439
Backward progress: 382990
Backward progress: 378671
Backward progress: 379981
Backward progress: 379266
Backward progress: 379256
Backward progress: 376262
Backward progress: 377528
Backward progress: 381596
Backward progress: 382185
Backward progress: 382067
Backward progress: 382065
Backward progress: 381742
Backward progress: 381718
Backward progress: 382110
Backward progress: 382541
Backward progress: 382118
Backward progress: 381520
Backward progress: 381430
Backward progress: 381892
Backward progress: 381777
Backward progress: 382081
Backward progress: 382152
Backward progress: 382054
Backward progress: 381967
Backward progress: 381792
Backward progress: 381471
Backward progress: 382405
Backward progress: 383652
Backward progress: 385221
Backward progress: 387423
Backward progress: 385299
Backward progress: 385287
Backward progress: 385249
Backward progress: 385252
Backward progress: 385136
Backward progress: 384994
Backward progress: 384799
Backward progress: 384576
Backward progress: 385192
Backward progress: 394445
Backward progress: 395845
Backward progress: 395805
Backward progress: 395850
Backward progress: 395919
Backward progress: 395922
Backward progress: 395938
Backward progress: 395978
Backward progress: 396068
Backward progress: 396124
Backward progress: 397699
Backward progress: 394559
Backward progress: 396204
Backward progress: 415496
Backward progress: 414702
Backward progress: 396593
Backward progress: 406086
Backward progress: 398054
Backward progress: 397413
Backward progress: 396960
Backward progress: 396900
Backward progress: 396873
Backward progress: 389011
Backward progress: 394177
Backward progress: 390938
Backward progress: 390941
Backward progress: 390935
Backward progress: 390451
Backward progress: 390501
Backward progress: 390424
Backward progress: 390271
Backward progress: 390043
Backward progress: 390029
Backward progress: 389980
Backward progress: 389893
Backward progress: 390041
Backward progress: 390001
Backward progress: 390003
Backward progress: 389905
Backward progress: 389833
Backward progress: 389245
Backward progress: 388621
Backward progress: 393581
Backward progress: 368699
Backward progress: 369363
Backward progress: 369799
Backward progress: 369047
Backward progress: 370139
Backward progress: 368317
Backward progress: 368343
Backward progress: 368415
Backward progress: 368521
Backward progress: 368311
Backward progress: 367931
Backward progress: 377371
Backward progress: 374983
Backward progress: 375209
Backward progress: 376209
Backward progress: 376207
Backward progress: 376202
Backward progress: 374301
Backward progress: 374280
Backward progress: 371760
Backward progress: 372083
Backward progress: 371629
Backward progress: 371265
Backward progress: 370575
Backward progress: 370538
Backward progress: 370534
Backward progress: 370514
Backward progress: 370618
Backward progress: 370372
Backward progress: 370263
Backward progress: 370177
Backward progress: 370140
Backward progress: 369993
Backward progress: 369984
Backward progress: 370066
Backward progress: 370053
Backward progress: 370053
Backward progress: 369863
Backward progress: 369797
Backward progress: 369729
Backward progress: 369739
Backward progress: 357914
Backward progress: 362943
Backward progress: 363045
Backward progress: 363564
Backward progress: 362853
Backward progress: 362843
Backward progress: 359135
Backward progress: 358969
Backward progress: 357686
Backward progress: 357952
Backward progress: 357833
Backward progress: 357831
Backward progress: 357424
Backward progress: 357400
Backward progress: 357134
Backward progress: 357020
Backward progress: 356779
Backward progress: 356559
Backward progress: 356469
Backward progress: 356136
Backward progress: 356148
Backward progress: 356169
Backward progress: 356169
Backward progress: 356169
Backward progress: 356145
Backward progress: 356273
Backward progress: 356260
Backward progress: 356147
Backward progress: 356066
Backward progress: 356014
Backward progress: 355941
Backward progress: 355857
Backward progress: 355566
Backward progress: 355408
Backward progress: 355357
Backward progress: 355250
Backward progress: 354047
Backward progress: 355418
Backward progress: 354179
Backward progress: 354117
Backward progress: 354055
Backward progress: 354000
Backward progress: 353563
Backward progress: 354132
Backward progress: 354136
Backward progress: 354138
Backward progress: 354132
Backward progress: 353662
Backward progress: 353528
Backward progress: 353528
Backward progress: 353528
Backward progress: 353390
Backward progress: 353185
Backward progress: 353237
Backward progress: 353237
Backward progress: 353237
Backward progress: 353125
Backward progress: 353001
Backward progress: 351811
Backward progress: 351413
Backward progress: 351359
Backward progress: 351224
Backward progress: 351488
Backward progress: 351567
Backward progress: 352001
Backward progress: 352012
Backward progress: 351999
Backward progress: 351757
Backward progress: 351804
Backward progress: 352061
Backward progress: 352022
Backward progress: 352015
Backward progress: 352127
Backward progress: 352008
Backward progress: 351998
Backward progress: 352111
Backward progress: 352528
Backward progress: 352528
Backward progress: 352528
Backward progress: 352525
Backward progress: 352153
Backward progress: 352154
Backward progress: 351988
Backward progress: 352018
Backward progress: 352018
Backward progress: 389638
Backward progress: 391391
Backward progress: 387854
Backward progress: 387848
Backward progress: 381244
Backward progress: 394673
Backward progress: 387408
Backward progress: 387925
Backward progress: 387690
Backward progress: 388108
Backward progress: 388611
Backward progress: 387773
Backward progress: 387893
Backward progress: 387851
Backward progress: 387674
Backward progress: 387972
Backward progress: 387955
Backward progress: 387647
Backward progress: 387087
Backward progress: 386901
Backward progress: 387113
Backward progress: 387598
Backward progress: 387597
Backward progress: 386927
Backward progress: 388243
Backward progress: 387502
Backward progress: 387514
Backward progress: 388527
Backward progress: 388466
Backward progress: 388464
Backward progress: 386782
Backward progress: 383764
Backward progress: 383232
Backward progress: 382886
Backward progress: 382582
Backward progress: 382520
Backward progress: 380485
Backward progress: 380255
Backward progress: 398608
Backward progress: 387548
Backward progress: 382502
Backward progress: 382710
Backward progress: 380997
Backward progress: 380992
Backward progress: 380942
Backward progress: 380065
Backward progress: 379994
Backward progress: 379426
Backward progress: 378522
Backward progress: 378362
Backward progress: 377344
Backward progress: 371029
Backward progress: 367666
Backward progress: 367310
Backward progress: 363611
Backward progress: 363371
Backward progress: 359121
Backward progress: 360957
Backward progress: 360692
Backward progress: 360632
Backward progress: 360095
Backward progress: 360105
Backward progress: 360243
Backward progress: 359254
Backward progress: 361495
Backward progress: 360092
Backward progress: 359671
Backward progress: 359654
Backward progress: 459122
Backward progress: 466256
Backward progress: 456619
Backward progress: 461605
Backward progress: 448490
Backward progress: 455534
Backward progress: 455877
Backward progress: 456174
Backward progress: 456382
Backward progress: 456516
Backward progress: 455964
Backward progress: 456016
Backward progress: 460877
Backward progress: 471678
Backward progress: 461494
Backward progress: 459553
Backward progress: 458781
Backward progress: 458927
Backward progress: 458657
Backward progress: 458218
Backward progress: 462821
Backward progress: 458776
Backward progress: 458780
Backward progress: 458789
Backward progress: 458449
Backward progress: 458052
Backward progress: 456251
Backward progress: 454111
Backward progress: 453908
Backward progress: 463093
Backward progress: 463092
Backward progress: 463092
Backward progress: 463089
Backward progress: 462123
Backward progress: 461504
Backward progress: 461504
Backward progress: 460772
Backward progress: 461155
Backward progress: 462207
Backward progress: 458878
Backward progress: 459075
Backward progress: 448982
Backward progress: 448158
Backward progress: 445897
Backward progress: 443872
Backward progress: 443821
Backward progress: 441209
Backward progress: 436207
Backward progress: 435336
Backward progress: 434759
Backward progress: 434823
Backward progress: 438118
Backward progress: 437745
Backward progress: 439868
Backward progress: 439203
Backward progress: 439207
Backward progress: 447146
Backward progress: 447287
Backward progress: 447500
Backward progress: 447194
Backward progress: 446991
Backward progress: 446995
Backward progress: 446440
Backward progress: 446103
Backward progress: 445111
Backward progress: 445250
Backward progress: 445087
Backward progress: 444934
Backward progress: 445029
Backward progress: 444991
Backward progress: 444862
Backward progress: 444753
Backward progress: 444462
Backward progress: 442954
Backward progress: 442030
Backward progress: 440953
Backward progress: 440307
Backward progress: 440138
Backward progress: 439564
Backward progress: 431902
Backward progress: 432010
Backward progress: 432011
Backward progress: 432013
Backward progress: 431861
Backward progress: 431866
Backward progress: 431858
Backward progress: 431583
Backward progress: 431948
Backward progress: 431954
Backward progress: 431950
Backward progress: 431968
Backward progress: 432189
Backward progress: 432547
Backward progress: 432478
Backward progress: 432419
Backward progress: 429490
Backward progress: 429001
Backward progress: 447119
Backward progress: 445926
Backward progress: 436813
Backward progress: 429600
Backward progress: 428094
Backward progress: 429753
Backward progress: 427708
Backward progress: 427711
Backward progress: 427516
Backward progress: 427923
Backward progress: 469792
Backward progress: 445465
Backward progress: 439232
Backward progress: 439229
Backward progress: 437392
Backward progress: 436873
Backward progress: 436448
Backward progress: 436273
Backward progress: 436284
Backward progress: 436187
Backward progress: 436108
Backward progress: 435916
Backward progress: 435765
Backward progress: 435566
Backward progress: 435359
Backward progress: 434975
Backward progress: 437959
Backward progress: 437960
Backward progress: 437951
Backward progress: 435490
Backward progress: 435761
Backward progress: 435642
Backward progress: 435149
Backward progress: 435132
Backward progress: 435044
Backward progress: 434922
Backward progress: 434854
Backward progress: 434764
Backward progress: 432887
Backward progress: 431755
Backward progress: 431756
Backward progress: 431785
Backward progress: 431785
Backward progress: 432035
Backward progress: 442593
Backward progress: 441485
Backward progress: 433397
Backward progress: 432776
Backward progress: 432670
Backward progress: 433507
Backward progress: 433501
Backward progress: 433476
Backward progress: 433631
Backward progress: 433478
Backward progress: 433508
Backward progress: 433476
Backward progress: 433111
Backward progress: 433513
Backward progress: 433413
Backward progress: 433469
Backward progress: 432686
Backward progress: 430603
Backward progress: 427972
Backward progress: 427545
Backward progress: 426296
Backward progress: 424944
Backward progress: 424945
Backward progress: 424255
Backward progress: 424255
Forward closed progress: 386649
Forward closed progress: 355730
Forward closed progress: 305605
Forward closed progress: 320843
Forward closed progress: 283118
Forward closed progress: 281620
Forward closed progress: 281614
Forward closed progress: 273653
Forward closed progress: 343973
Forward closed progress: 302662
Forward closed progress: 302440
Forward closed progress: 297018
Forward closed progress: 293190
Forward closed progress: 284771
Forward closed progress: 282773
Forward closed progress: 282561
Forward closed progress: 291266
Forward closed progress: 312632
Forward closed progress: 314295
Forward closed progress: 313286
Forward closed progress: 317678
Forward closed progress: 317680
Forward closed progress: 312266
Forward closed progress: 311915
Forward closed progress: 318281
Forward closed progress: 318273
Forward closed progress: 289874
Forward closed progress: 289659
Forward closed progress: 282476
Forward closed progress: 281564
Forward closed progress: 281449
Forward closed progress: 262737
Forward closed progress: 262765
Forward closed progress: 262699
Forward closed progress: 270228
Forward closed progress: 374376
Forward closed progress: 363896
Forward closed progress: 363018
Forward closed progress: 381080
Forward closed progress: 373228
Forward closed progress: 372614
Forward closed progress: 365358
Forward closed progress: 365360
Forward closed progress: 357830
Forward closed progress: 355677
Forward closed progress: 355060
Forward closed progress: 356514
Forward closed progress: 355891
Forward closed progress: 355050
Forward closed progress: 354981
Forward closed progress: 354969
Forward closed progress: 348631
Forward closed progress: 349487
Forward closed progress: 349582
Forward closed progress: 349375
Forward closed progress: 349205
Forward closed progress: 349254
Forward closed progress: 348873
Forward closed progress: 539689
Forward closed progress: 546301
Forward closed progress: 541159
Forward closed progress: 514800
Forward closed progress: 514796
Forward closed progress: 512691
Forward closed progress: 519580
Forward closed progress: 512718
Forward closed progress: 512470
Forward closed progress: 512495
Forward closed progress: 511027
Forward closed progress: 511089
Forward closed progress: 511024
Forward closed progress: 511017
Forward closed progress: 509378
Forward closed progress: 509155
Forward closed progress: 505683
Forward closed progress: 504228
Forward closed progress: 503707
Forward closed progress: 503769
Forward closed progress: 503704
Forward closed progress: 503092
Forward closed progress: 791001
Forward closed progress: 779612
Forward closed progress: 778558
Forward closed progress: 786787
Forward closed progress: 774135
Forward closed progress: 774133
Forward closed progress: 764815
Forward closed progress: 764323
Forward closed progress: 757625
Forward closed progress: 757699
Forward closed progress: 754773
Forward closed progress: 754749
Forward closed progress: 752597
Forward closed progress: 749960
Forward closed progress: 748248
Forward closed progress: 748248
Forward closed progress: 747835
Forward closed progress: 748701
Forward closed progress: 748893
Forward closed progress: 748573
Forward closed progress: 746524
Forward closed progress: 746300
Forward closed progress: 746179
Forward closed progress: 745784
Forward closed progress: 744709
Forward closed progress: 744676
Forward closed progress: 744648
Forward closed progress: 750536
Forward closed progress: 751476
Forward closed progress: 747484
Forward closed progress: 747483
Forward closed progress: 747375
Forward closed progress: 749250
Forward closed progress: 747274
Forward closed progress: 747278
Forward closed progress: 747340
Forward closed progress: 747274
Forward closed progress: 747097
Forward closed progress: 746484
Forward closed progress: 746547
Forward closed progress: 746020
Forward closed progress: 745664
Forward closed progress: 745518
Forward closed progress: 749177
Forward closed progress: 749174
Forward closed progress: 746717
Forward closed progress: 746725
Forward closed progress: 746905
Forward closed progress: 746914
Forward closed progress: 746716
Forward closed progress: 746742
Forward closed progress: 747201
Forward closed progress: 747181
Forward closed progress: 746933
Forward closed progress: 746726
Forward closed progress: 746725
Forward closed progress: 702117
Forward closed progress: 665433
Forward closed progress: 664591
Forward closed progress: 783656
Forward closed progress: 767280
Forward closed progress: 767272
Forward closed progress: 766648
Forward closed progress: 748094
Forward closed progress: 756494
Forward closed progress: 753570
Forward closed progress: 747720
Forward closed progress: 1317250
Forward closed progress: 1400404
Forward closed progress: 1404716
Forward closed progress: 1394854
Forward closed progress: 1358952
Forward closed progress: 1358554
Forward closed progress: 1356754
Forward closed progress: 1360499
Forward closed progress: 1359580
Forward closed progress: 1360946
Forward closed progress: 1355630
Forward closed progress: 1355565
Forward closed progress: 1355290
Forward closed progress: 1355222
Forward closed progress: 1349614
Forward closed progress: 1349399
Forward closed progress: 1349339
Forward closed progress: 1349162
Forward closed progress: 1345272
Forward closed progress: 1335080
Forward closed progress: 1331273
Forward closed progress: 1329913
Forward closed progress: 1326150
Forward closed progress: 1331066
Forward closed progress: 1329603
Forward closed progress: 1330741
Forward closed progress: 1330099
Forward closed progress: 1117846
Forward closed progress: 1117843
Forward closed progress: 1116393
Forward closed progress: 1116312
Forward closed progress: 1115144
Forward closed progress: 1114976
Forward closed progress: 1114566
Forward closed progress: 1097542
Forward closed progress: 1092807
Forward closed progress: 1092588
Forward closed progress: 1004040
Forward closed progress: 1002731
Forward closed progress: 1001090
Forward closed progress: 933777
Forward closed progress: 1009864
Forward closed progress: 1015530
Forward closed progress: 1003549
Forward closed progress: 999764
Forward closed progress: 987682
Forward closed progress: 1122594
Forward closed progress: 1070832
Forward closed progress: 1070830
Forward closed progress: 1070827
Forward closed progress: 1068737
Forward closed progress: 1068573
Forward closed progress: 1053622
Forward closed progress: 1051562
Forward closed progress: 1050997
Forward closed progress: 1049666
Forward closed progress: 1031318
Forward closed progress: 1031546
Forward closed progress: 1023661
Forward closed progress: 1023393
Forward closed progress: 1029296
Forward closed progress: 1021727
Forward closed progress: 1021715
Forward closed progress: 995052
Forward closed progress: 1020693
Forward closed progress: 1022373
Forward closed progress: 966404
Forward closed progress: 966014
Forward closed progress: 957911
Forward closed progress: 992148
Forward closed progress: 1007277
Forward closed progress: 1012462
Forward closed progress: 1015564
Forward closed progress: 1016217
Forward closed progress: 1015608
Forward closed progress: 1016157
Forward closed progress: 1015777
Forward closed progress: 1016359
Forward closed progress: 1016236
Forward closed progress: 1015585
Forward closed progress: 1015220
Forward closed progress: 984793
Forward closed progress: 976146
Forward closed progress: 976086
Forward closed progress: 976104
Forward closed progress: 976232
Forward closed progress: 974001
Forward closed progress: 958855
Forward closed progress: 962868
Forward closed progress: 955290
Forward closed progress: 954008
Forward closed progress: 953780
Forward closed progress: 952830
Forward closed progress: 951608
Forward closed progress: 950178
Forward closed progress: 935827
Forward closed progress: 917465
Forward closed progress: 915571
Forward closed progress: 912817
Forward closed progress: 911435
Forward closed progress: 1094144
Forward closed progress: 1114232
Forward closed progress: 1116537
Forward closed progress: 1117178
Forward closed progress: 1117161
Forward closed progress: 1120053
Forward closed progress: 1120636
Forward closed progress: 1119413
Forward closed progress: 1118979
Forward closed progress: 1126538
Forward closed progress: 1126534
Forward closed progress: 1126466
Forward closed progress: 1128365
Forward closed progress: 1128955
Forward closed progress: 1127087
Forward closed progress: 1126845
Forward closed progress: 1126707
Forward closed progress: 1128277
Forward closed progress: 1201894
Forward closed progress: 1201375
Forward closed progress: 1202526
Forward closed progress: 1202402
Forward closed progress: 1202970
Forward closed progress: 1202967
Forward closed progress: 1202406
Forward closed progress: 1201690
Forward closed progress: 1202928
Forward closed progress: 1196539
Forward closed progress: 1345739
Forward closed progress: 1347670
Forward closed progress: 1346113
Forward closed progress: 1344249
Forward closed progress: 1336806
Forward closed progress: 1335997
Forward closed progress: 1336032
Forward closed progress: 1335518
Forward closed progress: 1332413
Forward closed progress: 1323139
Forward closed progress: 1322515
Forward closed progress: 1257931
Forward closed progress: 1243675
Forward closed progress: 1242748
Forward closed progress: 1243677
Forward closed progress: 1241509
Forward closed progress: 1240337
Forward closed progress: 1240249
Forward closed progress: 1240868
Forward closed progress: 1240866
Forward closed progress: 1240428
Forward closed progress: 1240010
Forward closed progress: 1239681
Forward closed progress: 1239548
Forward closed progress: 1239522
Forward closed progress: 1239549
Forward closed progress: 1238803
Forward closed progress: 1240508
Forward closed progress: 1240501
Forward closed progress: 1239099
Forward closed progress: 1238722
Forward closed progress: 1238804
Forward closed progress: 1224541
Forward closed progress: 1222264
Forward closed progress: 1191163
Forward closed progress: 1275796
Forward closed progress: 1282873
Forward closed progress: 1283799
Forward closed progress: 1281749
Forward closed progress: 1280786
Forward closed progress: 1281971
Forward closed progress: 1282067
Forward closed progress: 1282078
Forward closed progress: 1281854
Forward closed progress: 1281803
Forward closed progress: 1282075
Forward closed progress: 1282127
Forward closed progress: 1279914
Forward closed progress: 1280580
Forward closed progress: 1280288
Forward closed progress: 1280471
Forward closed progress: 1280450
Forward closed progress: 1234211
Forward closed progress: 1233913
Forward closed progress: 1233865
Forward closed progress: 1233686
Forward closed progress: 1233856
Forward closed progress: 1233249
Forward closed progress: 1233131
Forward closed progress: 1217092
Forward closed progress: 1180621
Forward closed progress: 1205575
Forward closed progress: 1203378
Forward closed progress: 1200630
Forward closed progress: 1201027
Forward closed progress: 1200504
Forward closed progress: 1191458
Forward closed progress: 1189805
Forward closed progress: 1236979
Forward closed progress: 1220872
Forward closed progress: 1220840
Forward closed progress: 1220047
Forward closed progress: 1219642
Forward closed progress: 1218611
Forward closed progress: 1218552
Forward closed progress: 1214740
Forward closed progress: 1212853
Forward closed progress: 1212651
Forward closed progress: 1211706
Forward closed progress: 1205230
Forward closed progress: 1217534
Forward closed progress: 1214828
Forward closed progress: 1205338
Forward closed progress: 1204195
Forward closed progress: 1206060
Forward closed progress: 1205403
Forward closed progress: 1205059
Forward closed progress: 1204725
Forward closed progress: 1204610
Forward closed progress: 1203206
Forward closed progress: 1202617
Forward closed progress: 1202087
Forward closed progress: 1195832
Forward closed progress: 1189346
Forward closed progress: 1191178
Forward closed progress: 1190896
Forward closed progress: 1189176
Forward closed progress: 1193261
Forward closed progress: 1189158
Forward closed progress: 1187478
Forward closed progress: 1183319
Forward closed progress: 1177300
Forward closed progress: 1175576
Forward closed progress: 1174474
Forward closed progress: 1110524
Forward closed progress: 1111096
Forward closed progress: 1111032
Forward closed progress: 1111748
Forward closed progress: 1111639
Forward closed progress: 1112948
Forward closed progress: 1112961
Forward closed progress: 1112948
Forward closed progress: 1112993
Forward closed progress: 1112744
Forward closed progress: 1111781
Forward closed progress: 1110792
Forward closed progress: 1111776
Forward closed progress: 1110744
Forward closed progress: 1111031
Forward closed progress: 1110864
Forward closed progress: 1110414
Forward closed progress: 1618396
Forward closed progress: 1493435
Forward closed progress: 1481210
Forward closed progress: 1481204
Forward closed progress: 1544450
Forward closed progress: 1542928
Forward closed progress: 1563106
Forward closed progress: 1560679
Forward closed progress: 1562360
Forward closed progress: 1581072
Forward closed progress: 1581674
Forward closed progress: 1582482
Forward closed progress: 1662625
Forward closed progress: 1721242
Forward closed progress: 1721315
Forward closed progress: 1721314
Forward closed progress: 1721282
Forward closed progress: 1721196
Forward closed progress: 1627420
Forward closed progress: 1627419
Forward closed progress: 1627221
Forward closed progress: 1627310
Forward closed progress: 1626993
Forward closed progress: 1626972
Forward closed progress: 1626878
Forward closed progress: 1593904
Forward closed progress: 1594087
Forward closed progress: 1593533
Forward closed progress: 1593531
Forward closed progress: 1593530
Forward closed progress: 1593528
Forward closed progress: 1588712
Forward closed progress: 1586829
Forward closed progress: 1586829
Forward closed progress: 1586109
Forward closed progress: 1584947
Forward closed progress: 1584838
Forward closed progress: 1510223
Forward closed progress: 1494165
Forward closed progress: 1477652
Forward closed progress: 1666764
Forward closed progress: 1628233
Forward closed progress: 1630213
Forward closed progress: 1628923
Forward closed progress: 1624354
Forward closed progress: 1627131
Forward closed progress: 1573115
Forward closed progress: 1554689
Forward closed progress: 1524536
Forward closed progress: 1545302
Forward closed progress: 1540816
Forward closed progress: 1541078
Forward closed progress: 1540436
Forward closed progress: 1537594
Forward closed progress: 1593997
Forward closed progress: 1561570
Forward closed progress: 1560812
Forward closed progress: 1560548
Forward closed progress: 1558407
Forward closed progress: 1558449
Forward closed progress: 1555612
Forward closed progress: 1554460
Forward closed progress: 1560292
Forward closed progress: 1540146
Forward closed progress: 1539598
Forward closed progress: 1558212
Forward closed progress: 1539571
Forward closed progress: 1535181
Forward closed progress: 1534865
Forward closed progress: 1534522
Forward closed progress: 1529476
Forward closed progress: 1528410
Forward closed progress: 1512372
Forward closed progress: 1486341
Forward closed progress: 1486322
Forward closed progress: 1486361
Forward closed progress: 1486350
Forward closed progress: 1486689
Forward closed progress: 1486662
Forward closed progress: 1486783
Forward closed progress: 1486417
Forward closed progress: 1467629
Forward closed progress: 1467224
Forward closed progress: 1467225
Forward closed progress: 1467327
Forward closed progress: 1602203
Forward closed progress: 1609068
Forward closed progress: 1591040
Forward closed progress: 1588863
Forward closed progress: 1588753
Forward closed progress: 1587479
Forward closed progress: 1645520
Forward closed progress: 1645737
Forward closed progress: 1663427
Forward closed progress: 1662464
Forward closed progress: 1684983
Forward closed progress: 1682050
Forward closed progress: 1674792
Forward closed progress: 1674798
Forward closed progress: 1675100
Forward closed progress: 1674640
Forward closed progress: 1687966
Forward closed progress: 1689441
Forward closed progress: 1689493
Forward closed progress: 1688578
Forward closed progress: 1688842
Forward closed progress: 1687241
Forward closed progress: 1649734
Forward closed progress: 1665946
Forward closed progress: 1663315
Forward closed progress: 1661880
Forward closed progress: 1661402
Forward closed progress: 1742984
Forward closed progress: 1754558
Forward closed progress: 1753583
Forward closed progress: 1753998
Forward closed progress: 1754708
Forward closed progress: 1754896
Forward closed progress: 1753200
Forward closed progress: 1756385
Forward closed progress: 1761679
Forward closed progress: 1743631
Forward closed progress: 1742397
Forward closed progress: 1735685
Forward closed progress: 1735104
Forward closed progress: 1733606
Forward closed progress: 1732254
Forward closed progress: 1737187
Forward closed progress: 1696191
Forward closed progress: 1705109
Forward closed progress: 1705081
Forward closed progress: 1700818
Forward closed progress: 1754933
Forward closed progress: 1742067
Forward closed progress: 1741525
Forward closed progress: 1742156
Forward closed progress: 1741456
Forward closed progress: 1740968
Forward closed progress: 1740571
Forward closed progress: 1739444
Forward closed progress: 1745573
Forward closed progress: 1745150
Forward closed progress: 1748993
Forward closed progress: 1748271
Forward closed progress: 1746319
Forward closed progress: 1742262
Forward closed progress: 1741713
Forward closed progress: 1741801
Forward closed progress: 1742592
Forward closed progress: 1741817
Forward closed progress: 1741286
Forward closed progress: 1741137
Forward closed progress: 1740264
Forward closed progress: 1739636
Forward closed progress: 1739981
Forward closed progress: 1734703
Forward closed progress: 1736509
Forward closed progress: 1735789
Forward closed progress: 1734353
Forward closed progress: 1733707
Forward closed progress: 1733772
Forward closed progress: 1734261
Forward closed progress: 1733879
Forward closed progress: 1733768
Forward closed progress: 1733684
Forward closed progress: 1726421
Forward closed progress: 1725584
Forward closed progress: 1723572
Forward closed progress: 1727430
Forward closed progress: 1727426
Forward closed progress: 1740126
Forward closed progress: 1760373
Forward closed progress: 1760067
Forward closed progress: 1758789
Forward closed progress: 1751361
Forward closed progress: 1750421
Forward closed progress: 1763556
Forward closed progress: 1766225
Forward closed progress: 1773279
Forward closed progress: 1773224
Forward closed progress: 1773201
Forward closed progress: 1773108
Forward closed progress: 1773037
Forward closed progress: 1773081
Forward closed progress: 1768369
Forward closed progress: 1767796
Forward closed progress: 1768562
Forward closed progress: 1763004
Forward closed progress: 1765016
Forward closed progress: 1764579
Forward closed progress: 1763552
Forward closed progress: 1763622
Forward closed progress: 1763573
Forward closed progress: 1762818
Forward closed progress: 1771837
Forward closed progress: 1772561
Forward closed progress: 1772540
Forward closed progress: 1772556
Forward closed progress: 1772174
Forward closed progress: 1773326
Forward closed progress: 1773083
Forward closed progress: 1771773
Forward closed progress: 1770766
Forward closed progress: 1781734
Forward closed progress: 1775977
Forward closed progress: 1780077
Forward closed progress: 1780831
Forward closed progress: 1779633
Forward closed progress: 1777023
Forward closed progress: 1774517
Forward closed progress: 1776775
Forward closed progress: 1776121
Forward closed progress: 1774689
Forward closed progress: 1775131
Forward closed progress: 1774775
Forward closed progress: 1774394
Forward closed progress: 1775045
Forward closed progress: 1774969
Forward closed progress: 1774376
Forward closed progress: 1774326
Forward closed progress: 1774371
Forward closed progress: 1772324
Forward closed progress: 1771345
Forward closed progress: 1771943
Forward closed progress: 1771641
Forward closed progress: 1771671
Forward closed progress: 1771630
Forward closed progress: 1770817
Forward closed progress: 1770904
Forward closed progress: 1770810
Forward closed progress: 1770790
Forward closed progress: 2054249
Forward closed progress: 1954124
Forward closed progress: 1931989
Forward closed progress: 1926924
Forward closed progress: 1954981
Forward closed progress: 1960384
Forward closed progress: 1961811
Forward closed progress: 1958677
Forward closed progress: 1957906
Forward closed progress: 1958373
Forward closed progress: 1947313
Forward closed progress: 1949406
Forward closed progress: 1941142
Forward closed progress: 1939752
Forward closed progress: 1939749
Forward closed progress: 1938542
Forward closed progress: 1937509
Forward closed progress: 1936795
Forward closed progress: 1936309
Forward closed progress: 1843729
Forward closed progress: 1843643
Forward closed progress: 1842874
Forward closed progress: 1842779
Forward closed progress: 1842707
Forward closed progress: 1842041
Forward closed progress: 1841764
Forward closed progress: 1847338
Forward closed progress: 1846358
Forward closed progress: 1846872
Forward closed progress: 1847400
Forward closed progress: 1847471
Forward closed progress: 1851463
Forward closed progress: 1856725
Forward closed progress: 1853454
Forward closed progress: 1849779
Forward closed progress: 1859151
Forward closed progress: 1861602
Forward closed progress: 1861975
Forward closed progress: 1862102
Forward closed progress: 1862367
Forward closed progress: 1868836
Forward closed progress: 1868795
Forward closed progress: 1869669
Forward closed progress: 1869690
Forward closed progress: 1868261
Forward closed progress: 1863353
Forward closed progress: 1857217
Forward closed progress: 1855599
Forward closed progress: 1861067
Forward closed progress: 1862091
Forward closed progress: 1862134
Forward closed progress: 1861426
Forward closed progress: 1861161
Forward closed progress: 1853462
Forward closed progress: 1848459
Forward closed progress: 1848237
Forward closed progress: 1847054
Forward closed progress: 1847227
Forward closed progress: 1847099
Forward closed progress: 1847030
Forward closed progress: 1870459
Forward closed progress: 1868845
Forward closed progress: 1775930
Forward closed progress: 1787553
Forward closed progress: 1796357
Forward closed progress: 1790813
Forward closed progress: 1769675
Forward closed progress: 1775678
Forward closed progress: 1774877
Forward closed progress: 1903371
Forward closed progress: 1898238
Forward closed progress: 1889257
Forward closed progress: 1880600
Forward closed progress: 1880589
Forward closed progress: 1880425
Forward closed progress: 1882403
Forward closed progress: 1880588
Forward closed progress: 1880693
Forward closed progress: 1879131
Forward closed progress: 1875466
Forward closed progress: 1874973
Forward closed progress: 1874747
Forward closed progress: 1874037
Forward closed progress: 1872285
Forward closed progress: 1867380
Forward closed progress: 1891400
Forward closed progress: 1887264
Forward closed progress: 1868962
Forward closed progress: 1869565
Forward closed progress: 1871661
Forward closed progress: 1873047
Forward closed progress: 1880150
Forward closed progress: 1880670
Forward closed progress: 1880673
Forward closed progress: 1881309
Forward closed progress: 1880204
Forward closed progress: 1877828
Forward closed progress: 1909998
Forward closed progress: 1907465
Forward closed progress: 1907936
Forward closed progress: 1908010
Forward closed progress: 1907986
Forward closed progress: 1907710
Forward closed progress: 1911871
Forward closed progress: 1911791
Forward closed progress: 1911665
Forward closed progress: 1922250
Forward closed progress: 1922030
Forward closed progress: 1919412
Forward closed progress: 1917951
Forward closed progress: 1916783
Forward closed progress: 1916539
Forward closed progress: 1916567
Forward closed progress: 1916036
Forward closed progress: 1916191
Forward closed progress: 1915806
Forward closed progress: 1915057
Forward closed progress: 1912835
Forward closed progress: 1919288
Forward closed progress: 1918994
Forward closed progress: 1910798
Forward closed progress: 1910781
Forward closed progress: 1911749
Forward closed progress: 1910719
Forward closed progress: 1906610
Forward closed progress: 1905520
Forward closed progress: 1904682
Forward closed progress: 1902900
Forward closed progress: 1902536
Forward closed progress: 1902184
Forward closed progress: 1898448
Forward closed progress: 1902790
Forward closed progress: 1901907
Forward closed progress: 1870430
Forward closed progress: 1870447
Forward closed progress: 1869805
Forward closed progress: 1870206
Forward closed progress: 1869842
Forward closed progress: 1866966
Forward closed progress: 1864138
Forward closed progress: 1864006
Forward closed progress: 1859617
Forward closed progress: 1859911
Forward closed progress: 1859914
Forward closed progress: 1860188
Forward closed progress: 1860141
Forward closed progress: 1864104
Forward closed progress: 1862019
Forward closed progress: 1860626
Forward closed progress: 1860584
Forward closed progress: 1856755
Forward closed progress: 1826560
Forward closed progress: 1824453
Forward closed progress: 1819421
Forward closed progress: 1818767
Forward closed progress: 1818767
Control exists for 2400004 color(s), jumping through 4146069504 vertices.
Elapsed: 8003751 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 8003.751
user ??
sys ??
