>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 32
Uncertainty colors: 580608000
Perturbation colors: 4294967296
All colors: 2493692371795968000
Unknown update functions: 9
Lowest cardinality: 0
Highest cardinality: 4
Attractor colors: 108750891217059840
Attractor colors computed in 10784 ms.
Backward progress: 105759
Backward progress: 105713
Backward progress: 105786
Backward progress: 105724
Backward progress: 104921
Backward progress: 104352
Backward progress: 104505
Backward progress: 105025
Backward progress: 104805
Backward progress: 105040
Backward progress: 104823
Backward progress: 104821
Backward progress: 104806
Backward progress: 104776
Backward progress: 105024
Backward progress: 105025
Backward progress: 106315
Backward progress: 106493
Backward progress: 106355
Backward progress: 107832
Backward progress: 107845
Backward progress: 122658
Backward progress: 122020
Backward progress: 122577
Backward progress: 123321
Backward progress: 123112
Backward progress: 122979
Backward progress: 123102
Backward progress: 123101
Backward progress: 123251
Backward progress: 123229
Backward progress: 123310
Backward progress: 123309
Backward progress: 123272
Backward progress: 123560
Backward progress: 123307
Backward progress: 123398
Backward progress: 123397
Backward progress: 123358
Backward progress: 123213
Backward progress: 123288
Backward progress: 123032
Backward progress: 123390
Backward progress: 123404
Backward progress: 123407
Backward progress: 125005
Backward progress: 125006
Backward progress: 124655
Backward progress: 124371
Backward progress: 124079
Backward progress: 124173
Backward progress: 124107
Backward progress: 124108
Backward progress: 124098
Backward progress: 124192
Backward progress: 124189
Backward progress: 124174
Backward progress: 124323
Backward progress: 124367
Backward progress: 124329
Backward progress: 123771
Backward progress: 121729
Backward progress: 121663
Backward progress: 121490
Backward progress: 152942
Backward progress: 149169
Backward progress: 149289
Backward progress: 147331
Backward progress: 147313
Backward progress: 144526
Backward progress: 148041
Backward progress: 151973
Backward progress: 152124
Backward progress: 151759
Backward progress: 151757
Backward progress: 151472
Backward progress: 151448
Backward progress: 151672
Backward progress: 152295
Backward progress: 151619
Backward progress: 151548
Backward progress: 153460
Backward progress: 153757
Backward progress: 153688
Backward progress: 153593
Backward progress: 155632
Backward progress: 155482
Backward progress: 154414
Backward progress: 154279
Backward progress: 154006
Backward progress: 153998
Backward progress: 154257
Backward progress: 154322
Backward progress: 154330
Backward progress: 154330
Backward progress: 158975
Backward progress: 158441
Backward progress: 158441
Backward progress: 157162
Backward progress: 157566
Backward progress: 157235
Backward progress: 157181
Backward progress: 157246
Backward progress: 157558
Backward progress: 157538
Backward progress: 157530
Backward progress: 157556
Backward progress: 157532
Backward progress: 155127
Backward progress: 155167
Backward progress: 155166
Backward progress: 155171
Backward progress: 155163
Backward progress: 163140
Backward progress: 163141
Backward progress: 163138
Backward progress: 162924
Backward progress: 173088
Backward progress: 171352
Backward progress: 167940
Backward progress: 167655
Backward progress: 166514
Backward progress: 166346
Backward progress: 166788
Backward progress: 166781
Backward progress: 166721
Backward progress: 166751
Backward progress: 166637
Backward progress: 166960
Backward progress: 166936
Backward progress: 166615
Backward progress: 166622
Backward progress: 166587
Backward progress: 166210
Backward progress: 166305
Backward progress: 166253
Backward progress: 166242
Backward progress: 166742
Backward progress: 166623
Backward progress: 169468
Backward progress: 168327
Backward progress: 168233
Backward progress: 167882
Backward progress: 168022
Backward progress: 168384
Backward progress: 168380
Backward progress: 168367
Backward progress: 181800
Backward progress: 181406
Backward progress: 173067
Backward progress: 173615
Backward progress: 173017
Backward progress: 173145
Backward progress: 173145
Backward progress: 173335
Backward progress: 173339
Backward progress: 173335
Backward progress: 173443
Backward progress: 173534
Backward progress: 173419
Backward progress: 173427
Backward progress: 174230
Backward progress: 173664
Backward progress: 173696
Backward progress: 173699
Backward progress: 173752
Backward progress: 173831
Backward progress: 173755
Backward progress: 173671
Backward progress: 173749
Backward progress: 173751
Backward progress: 173684
Backward progress: 173688
Backward progress: 173423
Backward progress: 173441
Backward progress: 171769
Backward progress: 169257
Backward progress: 183098
Backward progress: 182749
Backward progress: 172918
Backward progress: 173464
Backward progress: 172750
Backward progress: 172878
Backward progress: 172263
Backward progress: 172259
Backward progress: 172225
Backward progress: 171570
Backward progress: 172304
Backward progress: 171615
Backward progress: 171613
Backward progress: 171572
Backward progress: 169736
Backward progress: 216090
Backward progress: 209496
Backward progress: 208420
Backward progress: 206990
Backward progress: 206578
Backward progress: 206825
Backward progress: 206509
Backward progress: 207991
Backward progress: 207991
Backward progress: 207578
Backward progress: 208055
Backward progress: 207507
Backward progress: 207463
Backward progress: 208072
Backward progress: 208153
Backward progress: 208080
Backward progress: 208810
Backward progress: 208798
Backward progress: 208017
Backward progress: 207794
Backward progress: 207645
Backward progress: 207849
Backward progress: 206974
Backward progress: 207455
Backward progress: 207472
Backward progress: 207444
Backward progress: 205282
Backward progress: 211628
Backward progress: 209895
Backward progress: 207658
Backward progress: 207562
Backward progress: 207574
Backward progress: 207518
Backward progress: 207629
Backward progress: 207426
Backward progress: 207406
Backward progress: 207378
Backward progress: 207378
Backward progress: 207755
Backward progress: 207593
Backward progress: 208265
Backward progress: 207985
Backward progress: 206796
Backward progress: 199911
Backward progress: 201911
Backward progress: 200467
Backward progress: 215341
Backward progress: 208356
Backward progress: 206275
Backward progress: 205365
Backward progress: 205378
Backward progress: 205054
Backward progress: 205022
Backward progress: 204994
Backward progress: 204787
Backward progress: 204875
Backward progress: 204973
Backward progress: 205002
Backward progress: 204987
Backward progress: 207808
Backward progress: 207808
Backward progress: 207802
Backward progress: 206077
Backward progress: 206276
Backward progress: 206199
Backward progress: 206069
Backward progress: 206041
Backward progress: 206002
Backward progress: 205998
Backward progress: 205991
Backward progress: 206002
Backward progress: 206041
Backward progress: 204487
Backward progress: 203862
Backward progress: 201819
Backward progress: 203657
Backward progress: 203378
Backward progress: 197359
Backward progress: 196411
Backward progress: 194848
Backward progress: 194715
Backward progress: 194457
Backward progress: 194424
Backward progress: 194167
Backward progress: 194178
Backward progress: 194078
Backward progress: 194074
Backward progress: 193952
Backward progress: 193654
Backward progress: 193670
Backward progress: 193675
Backward progress: 325894
Backward progress: 331318
Backward progress: 326525
Backward progress: 336563
Backward progress: 335708
Backward progress: 335687
Backward progress: 361666
Backward progress: 355161
Backward progress: 351014
Backward progress: 349153
Backward progress: 353223
Backward progress: 354203
Backward progress: 354202
Backward progress: 354372
Backward progress: 356938
Backward progress: 356976
Backward progress: 356805
Backward progress: 357216
Backward progress: 357077
Backward progress: 356789
Backward progress: 378783
Backward progress: 391664
Backward progress: 400431
Backward progress: 399169
Backward progress: 398653
Backward progress: 398544
Backward progress: 397074
Backward progress: 412568
Backward progress: 412661
Backward progress: 409372
Backward progress: 412608
Backward progress: 409667
Backward progress: 409991
Backward progress: 410259
Backward progress: 409817
Backward progress: 409477
Backward progress: 409150
Backward progress: 409266
Backward progress: 409148
Backward progress: 408907
Backward progress: 408710
Backward progress: 408495
Backward progress: 408569
Backward progress: 437813
Backward progress: 439227
Backward progress: 439449
Backward progress: 441466
Backward progress: 441458
Backward progress: 441450
Backward progress: 437370
Backward progress: 437349
Backward progress: 434172
Backward progress: 434493
Backward progress: 433980
Backward progress: 432343
Backward progress: 430666
Backward progress: 430629
Backward progress: 430426
Backward progress: 430435
Backward progress: 430303
Backward progress: 430689
Backward progress: 430595
Backward progress: 430451
Backward progress: 430340
Backward progress: 430292
Backward progress: 430198
Backward progress: 429428
Backward progress: 429217
Backward progress: 430867
Backward progress: 430868
Backward progress: 430864
Backward progress: 430359
Backward progress: 430490
Backward progress: 430450
Backward progress: 430351
Backward progress: 430343
Backward progress: 430336
Backward progress: 430278
Backward progress: 430212
Backward progress: 430073
Backward progress: 430045
Backward progress: 430071
Backward progress: 430045
Backward progress: 430222
Backward progress: 430008
Backward progress: 429994
Backward progress: 430574
Backward progress: 396870
Backward progress: 369223
Backward progress: 382537
Backward progress: 378557
Backward progress: 380030
Backward progress: 379315
Backward progress: 379305
Backward progress: 376311
Backward progress: 377577
Backward progress: 381816
Backward progress: 382407
Backward progress: 382285
Backward progress: 382283
Backward progress: 381952
Backward progress: 381928
Backward progress: 382213
Backward progress: 382636
Backward progress: 382169
Backward progress: 381525
Backward progress: 381431
Backward progress: 381814
Backward progress: 381710
Backward progress: 381946
Backward progress: 382017
Backward progress: 381915
Backward progress: 381824
Backward progress: 381641
Backward progress: 381538
Backward progress: 382570
Backward progress: 383659
Backward progress: 385427
Backward progress: 387277
Backward progress: 385572
Backward progress: 385560
Backward progress: 385514
Backward progress: 385517
Backward progress: 385365
Backward progress: 385235
Backward progress: 385088
Backward progress: 384857
Backward progress: 385517
Backward progress: 395042
Backward progress: 396438
Backward progress: 396390
Backward progress: 396431
Backward progress: 396492
Backward progress: 396495
Backward progress: 396508
Backward progress: 396548
Backward progress: 396638
Backward progress: 396694
Backward progress: 398315
Backward progress: 394895
Backward progress: 396444
Backward progress: 416167
Backward progress: 415329
Backward progress: 388683
Backward progress: 387604
Backward progress: 387536
Backward progress: 387493
Backward progress: 392846
Backward progress: 389599
Backward progress: 389602
Backward progress: 389596
Backward progress: 389112
Backward progress: 389162
Backward progress: 389057
Backward progress: 388896
Backward progress: 388648
Backward progress: 388626
Backward progress: 388561
Backward progress: 388445
Backward progress: 388606
Backward progress: 388566
Backward progress: 388568
Backward progress: 388454
Backward progress: 388374
Backward progress: 387678
Backward progress: 386611
Backward progress: 387830
Backward progress: 362236
Backward progress: 362944
Backward progress: 363392
Backward progress: 362640
Backward progress: 363732
Backward progress: 361866
Backward progress: 361900
Backward progress: 361972
Backward progress: 362086
Backward progress: 361824
Backward progress: 361282
Backward progress: 371646
Backward progress: 368962
Backward progress: 369188
Backward progress: 370216
Backward progress: 370214
Backward progress: 370209
Backward progress: 368308
Backward progress: 368287
Backward progress: 365675
Backward progress: 365998
Backward progress: 365504
Backward progress: 365064
Backward progress: 364270
Backward progress: 364233
Backward progress: 364229
Backward progress: 364209
Backward progress: 364309
Backward progress: 364051
Backward progress: 363942
Backward progress: 363840
Backward progress: 363803
Backward progress: 363644
Backward progress: 363635
Backward progress: 363729
Backward progress: 363716
Backward progress: 363716
Backward progress: 363476
Backward progress: 363391
Backward progress: 363365
Backward progress: 363375
Backward progress: 350787
Backward progress: 356078
Backward progress: 356184
Backward progress: 356707
Backward progress: 355996
Backward progress: 355986
Backward progress: 352278
Backward progress: 352112
Backward progress: 350657
Backward progress: 350923
Backward progress: 350800
Backward progress: 350798
Backward progress: 350367
Backward progress: 350343
Backward progress: 350053
Backward progress: 349875
Backward progress: 349602
Backward progress: 349390
Backward progress: 349296
Backward progress: 348897
Backward progress: 348797
Backward progress: 348826
Backward progress: 348826
Backward progress: 348826
Backward progress: 348794
Backward progress: 348984
Backward progress: 348971
Backward progress: 348806
Backward progress: 348717
Backward progress: 348657
Backward progress: 348580
Backward progress: 348476
Backward progress: 348095
Backward progress: 347913
Backward progress: 347804
Backward progress: 347649
Backward progress: 345533
Backward progress: 345541
Backward progress: 345470
Backward progress: 346132
Backward progress: 346136
Backward progress: 346138
Backward progress: 346132
Backward progress: 345662
Backward progress: 345528
Backward progress: 345528
Backward progress: 345528
Backward progress: 345382
Backward progress: 345137
Backward progress: 345197
Backward progress: 345197
Backward progress: 345197
Backward progress: 345053
Backward progress: 344904
Backward progress: 343683
Backward progress: 343167
Backward progress: 343105
Backward progress: 342946
Backward progress: 343131
Backward progress: 343169
Backward progress: 343586
Backward progress: 343597
Backward progress: 343580
Backward progress: 343387
Backward progress: 343385
Backward progress: 343492
Backward progress: 343487
Backward progress: 343484
Backward progress: 343588
Backward progress: 343469
Backward progress: 343455
Backward progress: 343568
Backward progress: 343989
Backward progress: 343989
Backward progress: 343989
Backward progress: 343986
Backward progress: 343614
Backward progress: 343615
Backward progress: 343411
Backward progress: 343449
Backward progress: 343449
Backward progress: 379263
Backward progress: 380605
Backward progress: 377682
Backward progress: 377676
Backward progress: 371774
Backward progress: 382068
Backward progress: 376916
Backward progress: 377417
Backward progress: 377182
Backward progress: 377604
Backward progress: 378109
Backward progress: 377273
Backward progress: 377327
Backward progress: 377306
Backward progress: 377135
Backward progress: 378201
Backward progress: 378199
Backward progress: 377995
Backward progress: 377659
Backward progress: 377473
Backward progress: 377685
Backward progress: 378385
Backward progress: 378384
Backward progress: 377714
Backward progress: 378865
Backward progress: 378283
Backward progress: 378295
Backward progress: 379324
Backward progress: 379288
Backward progress: 379286
Backward progress: 377498
Backward progress: 374448
Backward progress: 373896
Backward progress: 373546
Backward progress: 373242
Backward progress: 373154
Backward progress: 371095
Backward progress: 370865
Backward progress: 384403
Backward progress: 373753
Backward progress: 369592
Backward progress: 369731
Backward progress: 366139
Backward progress: 366129
Backward progress: 366092
Backward progress: 365164
Backward progress: 365024
Backward progress: 363779
Backward progress: 362875
Backward progress: 362715
Backward progress: 362383
Backward progress: 360080
Backward progress: 359832
Backward progress: 355823
Backward progress: 357464
Backward progress: 357134
Backward progress: 357084
Backward progress: 356568
Backward progress: 356578
Backward progress: 356732
Backward progress: 355727
Backward progress: 357976
Backward progress: 356777
Backward progress: 356141
Backward progress: 356128
Backward progress: 461396
Backward progress: 467999
Backward progress: 458755
Backward progress: 461702
Backward progress: 450189
Backward progress: 456337
Backward progress: 456680
Backward progress: 456981
Backward progress: 457195
Backward progress: 457211
Backward progress: 456803
Backward progress: 456841
Backward progress: 460337
Backward progress: 470592
Backward progress: 461707
Backward progress: 460139
Backward progress: 459086
Backward progress: 459207
Backward progress: 458982
Backward progress: 458543
Backward progress: 464151
Backward progress: 459776
Backward progress: 459780
Backward progress: 459789
Backward progress: 459433
Backward progress: 458978
Backward progress: 456858
Backward progress: 454751
Backward progress: 459864
Backward progress: 459863
Backward progress: 459863
Backward progress: 459860
Backward progress: 458894
Backward progress: 458123
Backward progress: 458123
Backward progress: 457329
Backward progress: 457665
Backward progress: 458646
Backward progress: 456193
Backward progress: 457249
Backward progress: 448032
Backward progress: 447388
Backward progress: 445003
Backward progress: 442830
Backward progress: 442808
Backward progress: 441443
Backward progress: 435991
Backward progress: 435151
Backward progress: 434565
Backward progress: 434592
Backward progress: 437504
Backward progress: 436706
Backward progress: 438171
Backward progress: 437839
Backward progress: 437843
Backward progress: 445299
Backward progress: 445440
Backward progress: 445653
Backward progress: 445347
Backward progress: 445144
Backward progress: 445145
Backward progress: 444558
Backward progress: 444221
Backward progress: 443378
Backward progress: 443537
Backward progress: 443374
Backward progress: 443221
Backward progress: 443316
Backward progress: 443278
Backward progress: 443141
Backward progress: 443032
Backward progress: 442709
Backward progress: 441197
Backward progress: 440279
Backward progress: 439202
Backward progress: 438346
Backward progress: 438177
Backward progress: 437571
Backward progress: 429438
Backward progress: 429579
Backward progress: 429580
Backward progress: 429582
Backward progress: 429430
Backward progress: 429435
Backward progress: 429427
Backward progress: 429330
Backward progress: 429512
Backward progress: 429518
Backward progress: 429514
Backward progress: 429523
Backward progress: 429639
Backward progress: 429839
Backward progress: 429798
Backward progress: 429767
Backward progress: 426667
Backward progress: 426096
Backward progress: 445232
Backward progress: 444023
Backward progress: 435468
Backward progress: 428325
Backward progress: 426643
Backward progress: 428618
Backward progress: 426489
Backward progress: 426492
Backward progress: 426089
Backward progress: 426522
Backward progress: 468112
Backward progress: 444908
Backward progress: 439275
Backward progress: 439272
Backward progress: 437407
Backward progress: 436852
Backward progress: 436514
Backward progress: 436365
Backward progress: 436376
Backward progress: 436279
Backward progress: 436228
Backward progress: 436063
Backward progress: 435892
Backward progress: 435681
Backward progress: 435422
Backward progress: 435012
Backward progress: 437615
Backward progress: 437616
Backward progress: 437607
Backward progress: 435519
Backward progress: 435790
Backward progress: 435671
Backward progress: 435208
Backward progress: 435196
Backward progress: 435146
Backward progress: 435099
Backward progress: 435061
Backward progress: 435010
Backward progress: 432113
Backward progress: 431087
Backward progress: 431088
Backward progress: 431125
Backward progress: 431125
Backward progress: 431153
Backward progress: 434516
Backward progress: 434052
Backward progress: 431811
Backward progress: 432196
Backward progress: 432153
Backward progress: 433145
Backward progress: 433139
Backward progress: 433026
Backward progress: 433181
Backward progress: 433028
Backward progress: 433058
Backward progress: 433026
Backward progress: 432579
Backward progress: 432975
Backward progress: 432995
Backward progress: 433051
Backward progress: 433068
Backward progress: 431286
Backward progress: 429122
Backward progress: 428619
Backward progress: 427532
Backward progress: 426515
Backward progress: 426516
Backward progress: 425972
Backward progress: 425972
Forward closed progress: 390714
Forward closed progress: 362516
Forward closed progress: 313281
Forward closed progress: 327651
Forward closed progress: 290667
Forward closed progress: 289137
Forward closed progress: 289131
Forward closed progress: 280464
Forward closed progress: 348380
Forward closed progress: 308542
Forward closed progress: 308320
Forward closed progress: 304132
Forward closed progress: 300304
Forward closed progress: 291849
Forward closed progress: 289843
Forward closed progress: 289631
Forward closed progress: 299638
Forward closed progress: 320770
Forward closed progress: 322623
Forward closed progress: 321614
Forward closed progress: 326020
Forward closed progress: 326022
Forward closed progress: 320608
Forward closed progress: 320257
Forward closed progress: 326751
Forward closed progress: 326743
Forward closed progress: 298692
Forward closed progress: 298477
Forward closed progress: 291077
Forward closed progress: 290153
Forward closed progress: 290038
Forward closed progress: 268980
Forward closed progress: 269040
Forward closed progress: 268918
Forward closed progress: 274270
Forward closed progress: 373993
Forward closed progress: 363855
Forward closed progress: 362977
Forward closed progress: 381090
Forward closed progress: 373162
Forward closed progress: 372548
Forward closed progress: 362980
Forward closed progress: 362982
Forward closed progress: 354897
Forward closed progress: 352526
Forward closed progress: 351951
Forward closed progress: 353667
Forward closed progress: 353044
Forward closed progress: 351757
Forward closed progress: 351688
Forward closed progress: 351668
Forward closed progress: 344990
Forward closed progress: 346062
Forward closed progress: 346157
Forward closed progress: 345950
Forward closed progress: 345780
Forward closed progress: 345829
Forward closed progress: 345396
Forward closed progress: 532338
Forward closed progress: 538639
Forward closed progress: 533489
Forward closed progress: 508547
Forward closed progress: 508543
Forward closed progress: 506300
Forward closed progress: 512894
Forward closed progress: 505642
Forward closed progress: 505383
Forward closed progress: 505444
Forward closed progress: 504005
Forward closed progress: 504067
Forward closed progress: 504003
Forward closed progress: 503998
Forward closed progress: 502407
Forward closed progress: 502149
Forward closed progress: 498352
Forward closed progress: 496877
Forward closed progress: 496442
Forward closed progress: 496504
Forward closed progress: 496440
Forward closed progress: 495921
Forward closed progress: 773443
Forward closed progress: 765557
Forward closed progress: 764602
Forward closed progress: 772628
Forward closed progress: 759889
Forward closed progress: 759887
Forward closed progress: 751790
Forward closed progress: 751286
Forward closed progress: 743785
Forward closed progress: 743867
Forward closed progress: 739918
Forward closed progress: 739894
Forward closed progress: 737799
Forward closed progress: 734323
Forward closed progress: 732537
Forward closed progress: 732537
Forward closed progress: 732132
Forward closed progress: 732699
Forward closed progress: 732891
Forward closed progress: 732571
Forward closed progress: 730569
Forward closed progress: 730277
Forward closed progress: 730156
Forward closed progress: 729538
Forward closed progress: 728291
Forward closed progress: 728258
Forward closed progress: 728198
Forward closed progress: 731671
Forward closed progress: 731662
Forward closed progress: 730188
Forward closed progress: 731101
Forward closed progress: 730421
Forward closed progress: 729860
Forward closed progress: 729923
Forward closed progress: 730059
Forward closed progress: 729641
Forward closed progress: 729479
Forward closed progress: 734083
Forward closed progress: 734080
Forward closed progress: 731663
Forward closed progress: 731671
Forward closed progress: 731851
Forward closed progress: 731860
Forward closed progress: 731662
Forward closed progress: 731688
Forward closed progress: 732147
Forward closed progress: 732127
Forward closed progress: 731879
Forward closed progress: 731672
Forward closed progress: 731671
Forward closed progress: 682273
Forward closed progress: 640719
Forward closed progress: 639899
Forward closed progress: 755874
Forward closed progress: 738353
Forward closed progress: 738337
Forward closed progress: 737713
Forward closed progress: 1207606
Forward closed progress: 1263572
Forward closed progress: 1266738
Forward closed progress: 1259033
Forward closed progress: 1225823
Forward closed progress: 1225409
Forward closed progress: 1223577
Forward closed progress: 1224541
Forward closed progress: 1228647
Forward closed progress: 1229320
Forward closed progress: 1224366
Forward closed progress: 1224285
Forward closed progress: 1224002
Forward closed progress: 1223962
Forward closed progress: 1216874
Forward closed progress: 1216447
Forward closed progress: 1216387
Forward closed progress: 1216210
Forward closed progress: 1212658
Forward closed progress: 1203098
Forward closed progress: 1199594
Forward closed progress: 1198728
Forward closed progress: 1194951
Forward closed progress: 1195655
Forward closed progress: 1194720
Forward closed progress: 1195277
Forward closed progress: 1194976
Forward closed progress: 1006448
Forward closed progress: 1006445
Forward closed progress: 1005127
Forward closed progress: 1005151
Forward closed progress: 1003923
Forward closed progress: 1003749
Forward closed progress: 1005968
Forward closed progress: 993196
Forward closed progress: 988839
Forward closed progress: 988615
Forward closed progress: 923218
Forward closed progress: 921905
Forward closed progress: 920444
Forward closed progress: 887277
Forward closed progress: 940886
Forward closed progress: 943676
Forward closed progress: 931099
Forward closed progress: 926498
Forward closed progress: 1037650
Forward closed progress: 996433
Forward closed progress: 996431
Forward closed progress: 996428
Forward closed progress: 994446
Forward closed progress: 994270
Forward closed progress: 987528
Forward closed progress: 986011
Forward closed progress: 985906
Forward closed progress: 984934
Forward closed progress: 970971
Forward closed progress: 965877
Forward closed progress: 965557
Forward closed progress: 971486
Forward closed progress: 964978
Forward closed progress: 964965
Forward closed progress: 939490
Forward closed progress: 933911
Forward closed progress: 934729
Forward closed progress: 896142
Forward closed progress: 895832
Forward closed progress: 886719
Forward closed progress: 915773
Forward closed progress: 929307
Forward closed progress: 937386
Forward closed progress: 940380
Forward closed progress: 940878
Forward closed progress: 939440
Forward closed progress: 939997
Forward closed progress: 939617
Forward closed progress: 940199
Forward closed progress: 940076
Forward closed progress: 939389
Forward closed progress: 939040
Forward closed progress: 908135
Forward closed progress: 900414
Forward closed progress: 900354
Forward closed progress: 900372
Forward closed progress: 900508
Forward closed progress: 898073
Forward closed progress: 883549
Forward closed progress: 874574
Forward closed progress: 870428
Forward closed progress: 870585
Forward closed progress: 870455
Forward closed progress: 870448
Forward closed progress: 869503
Forward closed progress: 868073
Forward closed progress: 859510
Forward closed progress: 855165
Forward closed progress: 855206
Forward closed progress: 852294
Forward closed progress: 851856
Forward closed progress: 1020142
Forward closed progress: 1043646
Forward closed progress: 1045751
Forward closed progress: 1046178
Forward closed progress: 1046165
Forward closed progress: 1048893
Forward closed progress: 1049569
Forward closed progress: 1048346
Forward closed progress: 1047912
Forward closed progress: 1054169
Forward closed progress: 1054165
Forward closed progress: 1054104
Forward closed progress: 1055991
Forward closed progress: 1056581
Forward closed progress: 1054663
Forward closed progress: 1054417
Forward closed progress: 1054263
Forward closed progress: 1052207
Forward closed progress: 1113559
Forward closed progress: 1113040
Forward closed progress: 1114145
Forward closed progress: 1114021
Forward closed progress: 1114533
Forward closed progress: 1114530
Forward closed progress: 1113961
Forward closed progress: 1113083
Forward closed progress: 1114349
Forward closed progress: 1108843
Forward closed progress: 1228060
Forward closed progress: 1229484
Forward closed progress: 1228373
Forward closed progress: 1226459
Forward closed progress: 1219086
Forward closed progress: 1217701
Forward closed progress: 1217672
Forward closed progress: 1217233
Forward closed progress: 1213529
Forward closed progress: 1205880
Forward closed progress: 1205289
Forward closed progress: 1148537
Forward closed progress: 1135248
Forward closed progress: 1134558
Forward closed progress: 1135519
Forward closed progress: 1133372
Forward closed progress: 1132200
Forward closed progress: 1132108
Forward closed progress: 1132595
Forward closed progress: 1132593
Forward closed progress: 1132103
Forward closed progress: 1131617
Forward closed progress: 1131192
Forward closed progress: 1131040
Forward closed progress: 1131028
Forward closed progress: 1131041
Forward closed progress: 1130268
Forward closed progress: 1131131
Forward closed progress: 1131128
Forward closed progress: 1130434
Forward closed progress: 1130083
Forward closed progress: 1130167
Forward closed progress: 1116051
Forward closed progress: 1113612
Forward closed progress: 1085835
Forward closed progress: 1154441
Forward closed progress: 1162216
Forward closed progress: 1163331
Forward closed progress: 1161520
Forward closed progress: 1160608
Forward closed progress: 1161058
Forward closed progress: 1161203
Forward closed progress: 1161209
Forward closed progress: 1160985
Forward closed progress: 1160922
Forward closed progress: 1161125
Forward closed progress: 1161177
Forward closed progress: 1159472
Forward closed progress: 1160050
Forward closed progress: 1159571
Forward closed progress: 1159754
Forward closed progress: 1159713
Forward closed progress: 1118713
Forward closed progress: 1118388
Forward closed progress: 1118360
Forward closed progress: 1118285
Forward closed progress: 1116247
Forward closed progress: 1115640
Forward closed progress: 1115584
Forward closed progress: 1103194
Forward closed progress: 1074425
Forward closed progress: 1081884
Forward closed progress: 1080754
Forward closed progress: 1078033
Forward closed progress: 1076396
Forward closed progress: 1110954
Forward closed progress: 1098582
Forward closed progress: 1098553
Forward closed progress: 1097923
Forward closed progress: 1097771
Forward closed progress: 1097085
Forward closed progress: 1096895
Forward closed progress: 1093761
Forward closed progress: 1090943
Forward closed progress: 1090820
Forward closed progress: 1090022
Forward closed progress: 1084806
Forward closed progress: 1088970
Forward closed progress: 1086261
Forward closed progress: 1080662
Forward closed progress: 1077173
Forward closed progress: 1078016
Forward closed progress: 1077527
Forward closed progress: 1077266
Forward closed progress: 1076790
Forward closed progress: 1076730
Forward closed progress: 1076034
Forward closed progress: 1075838
Forward closed progress: 1075706
Forward closed progress: 1071748
Forward closed progress: 1065654
Forward closed progress: 1067518
Forward closed progress: 1067262
Forward closed progress: 1065152
Forward closed progress: 1065526
Forward closed progress: 1061477
Forward closed progress: 1059396
Forward closed progress: 1000803
Forward closed progress: 1001145
Forward closed progress: 1001077
Forward closed progress: 1001045
Forward closed progress: 1000916
Forward closed progress: 1000961
Forward closed progress: 1000974
Forward closed progress: 1000961
Forward closed progress: 1001003
Forward closed progress: 1000626
Forward closed progress: 1000448
Forward closed progress: 1000269
Forward closed progress: 1451995
Forward closed progress: 1341892
Forward closed progress: 1332947
Forward closed progress: 1332941
Forward closed progress: 1384108
Forward closed progress: 1382958
Forward closed progress: 1401682
Forward closed progress: 1399115
Forward closed progress: 1400589
Forward closed progress: 1424523
Forward closed progress: 1425125
Forward closed progress: 1424537
Forward closed progress: 1482362
Forward closed progress: 1528894
Forward closed progress: 1528975
Forward closed progress: 1528974
Forward closed progress: 1528942
Forward closed progress: 1528850
Forward closed progress: 1450640
Forward closed progress: 1450639
Forward closed progress: 1450441
Forward closed progress: 1450530
Forward closed progress: 1450183
Forward closed progress: 1450162
Forward closed progress: 1450068
Forward closed progress: 1407447
Forward closed progress: 1407630
Forward closed progress: 1407076
Forward closed progress: 1407074
Forward closed progress: 1407073
Forward closed progress: 1407071
Forward closed progress: 1402255
Forward closed progress: 1400036
Forward closed progress: 1400036
Forward closed progress: 1399260
Forward closed progress: 1397868
Forward closed progress: 1397742
Forward closed progress: 1331383
Forward closed progress: 1316080
Forward closed progress: 1477362
Forward closed progress: 1443505
Forward closed progress: 1444400
Forward closed progress: 1443497
Forward closed progress: 1440306
Forward closed progress: 1443923
Forward closed progress: 1397696
Forward closed progress: 1380587
Forward closed progress: 1358952
Forward closed progress: 1362214
Forward closed progress: 1398863
Forward closed progress: 1376327
Forward closed progress: 1375632
Forward closed progress: 1375563
Forward closed progress: 1375035
Forward closed progress: 1375021
Forward closed progress: 1367359
Forward closed progress: 1365901
Forward closed progress: 1358755
Forward closed progress: 1342127
Forward closed progress: 1341509
Forward closed progress: 1349795
Forward closed progress: 1339230
Forward closed progress: 1335259
Forward closed progress: 1335100
Forward closed progress: 1334827
Forward closed progress: 1330276
Forward closed progress: 1304001
Forward closed progress: 1303996
Forward closed progress: 1304035
Forward closed progress: 1304024
Forward closed progress: 1304328
Forward closed progress: 1304297
Forward closed progress: 1304534
Forward closed progress: 1304122
Forward closed progress: 1292869
Forward closed progress: 1292445
Forward closed progress: 1406501
Forward closed progress: 1414668
Forward closed progress: 1397990
Forward closed progress: 1394453
Forward closed progress: 1394373
Forward closed progress: 1393354
Forward closed progress: 1444627
Forward closed progress: 1444771
Forward closed progress: 1450644
Forward closed progress: 1448976
Forward closed progress: 1468008
Forward closed progress: 1465409
Forward closed progress: 1458722
Forward closed progress: 1459294
Forward closed progress: 1458922
Forward closed progress: 1468722
Forward closed progress: 1470378
Forward closed progress: 1470438
Forward closed progress: 1469582
Forward closed progress: 1469482
Forward closed progress: 1439093
Forward closed progress: 1452993
Forward closed progress: 1450222
Forward closed progress: 1516109
Forward closed progress: 1527771
Forward closed progress: 1526887
Forward closed progress: 1527380
Forward closed progress: 1527297
Forward closed progress: 1527484
Forward closed progress: 1525974
Forward closed progress: 1528964
Forward closed progress: 1533961
Forward closed progress: 1518686
Forward closed progress: 1517616
Forward closed progress: 1512561
Forward closed progress: 1512019
Forward closed progress: 1510558
Forward closed progress: 1509289
Forward closed progress: 1513755
Forward closed progress: 1475963
Forward closed progress: 1530862
Forward closed progress: 1518181
Forward closed progress: 1517705
Forward closed progress: 1518338
Forward closed progress: 1517638
Forward closed progress: 1517126
Forward closed progress: 1516708
Forward closed progress: 1515601
Forward closed progress: 1521661
Forward closed progress: 1521229
Forward closed progress: 1524784
Forward closed progress: 1524017
Forward closed progress: 1522065
Forward closed progress: 1518028
Forward closed progress: 1517467
Forward closed progress: 1517402
Forward closed progress: 1518225
Forward closed progress: 1517442
Forward closed progress: 1516879
Forward closed progress: 1516722
Forward closed progress: 1515873
Forward closed progress: 1515237
Forward closed progress: 1515562
Forward closed progress: 1510084
Forward closed progress: 1511378
Forward closed progress: 1511012
Forward closed progress: 1509462
Forward closed progress: 1509514
Forward closed progress: 1510035
Forward closed progress: 1509637
Forward closed progress: 1509518
Forward closed progress: 1509426
Forward closed progress: 1502137
Forward closed progress: 1501488
Forward closed progress: 1500188
Forward closed progress: 1504218
Forward closed progress: 1504214
Forward closed progress: 1515001
Forward closed progress: 1532979
Forward closed progress: 1532673
Forward closed progress: 1531477
Forward closed progress: 1524415
Forward closed progress: 1523595
Forward closed progress: 1536901
Forward closed progress: 1539461
Forward closed progress: 1544769
Forward closed progress: 1545677
Forward closed progress: 1545656
Forward closed progress: 1545557
Forward closed progress: 1545592
Forward closed progress: 1545660
Forward closed progress: 1541285
Forward closed progress: 1540713
Forward closed progress: 1541903
Forward closed progress: 1536464
Forward closed progress: 1536399
Forward closed progress: 1535620
Forward closed progress: 1545587
Forward closed progress: 1546299
Forward closed progress: 1546278
Forward closed progress: 1546294
Forward closed progress: 1545934
Forward closed progress: 1547088
Forward closed progress: 1546845
Forward closed progress: 1545627
Forward closed progress: 1544717
Forward closed progress: 1550812
Forward closed progress: 1549688
Forward closed progress: 1553106
Forward closed progress: 1553813
Forward closed progress: 1552993
Forward closed progress: 1550892
Forward closed progress: 1548928
Forward closed progress: 1550834
Forward closed progress: 1550189
Forward closed progress: 1548725
Forward closed progress: 1548802
Forward closed progress: 1548752
Forward closed progress: 1548801
Forward closed progress: 1547735
Forward closed progress: 1546797
Forward closed progress: 1789461
Forward closed progress: 1691882
Forward closed progress: 1676038
Forward closed progress: 1670825
Forward closed progress: 1690550
Forward closed progress: 1687809
Forward closed progress: 1686731
Forward closed progress: 1684654
Forward closed progress: 1684300
Forward closed progress: 1684664
Forward closed progress: 1680249
Forward closed progress: 1675214
Forward closed progress: 1674342
Forward closed progress: 1674338
Forward closed progress: 1673259
Forward closed progress: 1672314
Forward closed progress: 1671388
Forward closed progress: 1671276
Forward closed progress: 1597574
Forward closed progress: 1597534
Forward closed progress: 1595090
Forward closed progress: 1594971
Forward closed progress: 1594875
Forward closed progress: 1593981
Forward closed progress: 1598039
Forward closed progress: 1601872
Forward closed progress: 1599611
Forward closed progress: 1596395
Forward closed progress: 1606099
Forward closed progress: 1609227
Forward closed progress: 1609600
Forward closed progress: 1609747
Forward closed progress: 1609880
Forward closed progress: 1615482
Forward closed progress: 1615437
Forward closed progress: 1616356
Forward closed progress: 1616371
Forward closed progress: 1614993
Forward closed progress: 1609832
Forward closed progress: 1605742
Forward closed progress: 1604310
Forward closed progress: 1608692
Forward closed progress: 1609721
Forward closed progress: 1609764
Forward closed progress: 1609018
Forward closed progress: 1608724
Forward closed progress: 1602347
Forward closed progress: 1598324
Forward closed progress: 1598088
Forward closed progress: 1597508
Forward closed progress: 1597705
Forward closed progress: 1597529
Forward closed progress: 1597456
Forward closed progress: 1636089
Forward closed progress: 1634361
Forward closed progress: 1549285
Forward closed progress: 1556613
Forward closed progress: 1571747
Forward closed progress: 1570233
Forward closed progress: 1555858
Forward closed progress: 1561509
Forward closed progress: 1560553
Forward closed progress: 1671938
Forward closed progress: 1667767
Forward closed progress: 1658794
Forward closed progress: 1652907
Forward closed progress: 1652896
Forward closed progress: 1652728
Forward closed progress: 1654669
Forward closed progress: 1653174
Forward closed progress: 1653494
Forward closed progress: 1652034
Forward closed progress: 1648922
Forward closed progress: 1648431
Forward closed progress: 1648152
Forward closed progress: 1645561
Forward closed progress: 1642990
Forward closed progress: 1639149
Forward closed progress: 1659134
Forward closed progress: 1658288
Forward closed progress: 1640145
Forward closed progress: 1640637
Forward closed progress: 1640645
Forward closed progress: 1642476
Forward closed progress: 1649632
Forward closed progress: 1650069
Forward closed progress: 1650072
Forward closed progress: 1650658
Forward closed progress: 1649692
Forward closed progress: 1646532
Forward closed progress: 1669766
Forward closed progress: 1667485
Forward closed progress: 1668036
Forward closed progress: 1667902
Forward closed progress: 1667878
Forward closed progress: 1667794
Forward closed progress: 1671160
Forward closed progress: 1671112
Forward closed progress: 1671012
Forward closed progress: 1680511
Forward closed progress: 1680291
Forward closed progress: 1677673
Forward closed progress: 1676498
Forward closed progress: 1675532
Forward closed progress: 1675327
Forward closed progress: 1675449
Forward closed progress: 1675001
Forward closed progress: 1675156
Forward closed progress: 1674767
Forward closed progress: 1674249
Forward closed progress: 1672032
Forward closed progress: 1678448
Forward closed progress: 1678146
Forward closed progress: 1670265
Forward closed progress: 1670258
Forward closed progress: 1671610
Forward closed progress: 1669624
Forward closed progress: 1666797
Forward closed progress: 1665891
Forward closed progress: 1664911
Forward closed progress: 1663407
Forward closed progress: 1663095
Forward closed progress: 1662795
Forward closed progress: 1663035
Forward closed progress: 1668249
Forward closed progress: 1667331
Forward closed progress: 1635803
Forward closed progress: 1635820
Forward closed progress: 1635341
Forward closed progress: 1635742
Forward closed progress: 1635378
Forward closed progress: 1633062
Forward closed progress: 1629564
Forward closed progress: 1628247
Forward closed progress: 1624385
Forward closed progress: 1624479
Forward closed progress: 1624481
Forward closed progress: 1624613
Forward closed progress: 1624579
Forward closed progress: 1629224
Forward closed progress: 1627550
Forward closed progress: 1625336
Forward closed progress: 1623281
Forward closed progress: 1602342
Forward closed progress: 1599000
Forward closed progress: 1594172
Forward closed progress: 1593477
Forward closed progress: 1593477
Control exists for 25320540 color(s), jumping through 4146069504 vertices.
Elapsed: 6104096 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 6104.096
user ??
sys ??
