>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 90972
Perturbation colors: 9007199254740992
All colors: 819402930602297500000
Unknown update functions: 3
Lowest cardinality: 0
Highest cardinality: 5
Attractor colors: 107248721526200990000
Attractor colors computed in 31052 ms.
Backward progress: 101107
Backward progress: 101073
Backward progress: 101083
Backward progress: 101025
Backward progress: 104135
Backward progress: 103355
Backward progress: 103317
Backward progress: 106020
Backward progress: 110068
Backward progress: 109858
Backward progress: 110998
Backward progress: 112000
Backward progress: 111358
Backward progress: 111906
Backward progress: 122902
Backward progress: 123372
Backward progress: 111744
Backward progress: 111932
Backward progress: 118748
Backward progress: 118899
Backward progress: 117735
Backward progress: 117620
Backward progress: 116620
Backward progress: 111092
Backward progress: 110210
Backward progress: 106782
Backward progress: 109082
Backward progress: 109176
Backward progress: 115930
Backward progress: 115672
Backward progress: 118044
Backward progress: 124102
Backward progress: 120392
Backward progress: 120778
Backward progress: 122710
Backward progress: 122690
Backward progress: 129195
Backward progress: 145065
Backward progress: 151676
Backward progress: 161071
Backward progress: 160669
Backward progress: 161822
Backward progress: 160953
Backward progress: 161746
Backward progress: 161524
Backward progress: 161540
Backward progress: 170976
Backward progress: 172976
Backward progress: 173344
Backward progress: 186981
Backward progress: 187481
Backward progress: 187469
Backward progress: 186198
Backward progress: 174206
Backward progress: 212103
Backward progress: 226351
Backward progress: 219642
Backward progress: 216864
Backward progress: 216295
Backward progress: 216299
Backward progress: 212601
Backward progress: 218459
Backward progress: 224242
Backward progress: 224086
Backward progress: 224290
Backward progress: 227130
Backward progress: 225351
Backward progress: 217792
Backward progress: 218852
Backward progress: 221428
Backward progress: 223811
Backward progress: 223839
Backward progress: 221004
Backward progress: 236968
Backward progress: 237061
Backward progress: 232179
Backward progress: 231747
Backward progress: 233108
Backward progress: 233644
Backward progress: 277386
Backward progress: 311937
Backward progress: 316225
Backward progress: 318692
Backward progress: 316945
Backward progress: 316180
Backward progress: 338720
Backward progress: 358155
Backward progress: 384348
Backward progress: 392364
Backward progress: 389197
Backward progress: 386356
Backward progress: 430121
Backward progress: 430002
Backward progress: 429863
Backward progress: 429392
Backward progress: 443436
Backward progress: 443590
Backward progress: 428188
Backward progress: 433822
Backward progress: 434066
Backward progress: 428460
Backward progress: 427088
Backward progress: 424270
Backward progress: 423664
Backward progress: 492176
Backward progress: 491472
Backward progress: 466566
Backward progress: 465420
Backward progress: 544432
Backward progress: 543799
Backward progress: 528163
Backward progress: 525764
Backward progress: 519834
Backward progress: 517712
Backward progress: 514260
Backward progress: 512136
Backward progress: 467630
Backward progress: 463510
Backward progress: 442858
Backward progress: 456534
Backward progress: 457030
Backward progress: 443644
Backward progress: 437006
Backward progress: 435406
Backward progress: 437468
Backward progress: 435244
Backward progress: 440672
Backward progress: 439154
Backward progress: 439216
Backward progress: 435090
Backward progress: 734542
Backward progress: 792658
Backward progress: 673621
Backward progress: 677739
Backward progress: 651095
Backward progress: 651986
Backward progress: 642977
Backward progress: 641730
Backward progress: 589084
Backward progress: 590292
Backward progress: 589370
Backward progress: 604078
Backward progress: 600278
Backward progress: 616018
Backward progress: 613772
Backward progress: 599084
Backward progress: 588622
Backward progress: 588622
Backward progress: 591920
Backward progress: 528495
Backward progress: 516027
Backward progress: 519255
Backward progress: 513327
Backward progress: 508821
Backward progress: 487837
Backward progress: 503093
Backward progress: 503435
Backward progress: 499547
Backward progress: 499356
Backward progress: 497753
Backward progress: 487729
Backward progress: 483461
Backward progress: 480473
Backward progress: 481281
Backward progress: 480759
Backward progress: 481245
Backward progress: 483417
Backward progress: 483285
Backward progress: 468395
Backward progress: 473195
Backward progress: 467537
Backward progress: 464093
Backward progress: 464165
Backward progress: 463317
Backward progress: 463637
Backward progress: 463117
Backward progress: 462369
Backward progress: 463412
Backward progress: 454866
Backward progress: 455652
Backward progress: 453342
Backward progress: 440488
Backward progress: 439080
Backward progress: 449065
Backward progress: 449338
Backward progress: 445952
Backward progress: 445439
Backward progress: 438752
Backward progress: 434518
Backward progress: 592622
Backward progress: 560922
Backward progress: 568496
Backward progress: 547284
Backward progress: 538726
Backward progress: 595936
Backward progress: 598046
Backward progress: 569464
Backward progress: 565506
Backward progress: 554270
Backward progress: 543570
Backward progress: 535878
Backward progress: 533434
Backward progress: 522276
Backward progress: 517890
Backward progress: 517392
Backward progress: 515400
Backward progress: 516068
Backward progress: 515976
Backward progress: 517400
Backward progress: 517959
Backward progress: 518963
Backward progress: 518166
Backward progress: 517508
Backward progress: 517528
Backward progress: 517145
Backward progress: 519455
Backward progress: 515022
Backward progress: 516406
Backward progress: 517846
Backward progress: 517966
Backward progress: 517214
Backward progress: 522098
Backward progress: 522758
Backward progress: 527606
Backward progress: 527686
Backward progress: 527326
Backward progress: 529416
Backward progress: 530136
Backward progress: 529752
Backward progress: 529768
Backward progress: 529152
Backward progress: 529894
Backward progress: 531874
Backward progress: 530622
Backward progress: 526234
Backward progress: 520964
Backward progress: 517834
Backward progress: 508880
Backward progress: 507868
Backward progress: 506708
Backward progress: 500200
Backward progress: 494334
Backward progress: 491967
Backward progress: 765669
Backward progress: 804037
Backward progress: 683931
Backward progress: 683371
Backward progress: 679431
Backward progress: 679467
Backward progress: 667197
Backward progress: 684989
Backward progress: 680759
Backward progress: 680599
Backward progress: 679027
Backward progress: 673145
Backward progress: 672209
Backward progress: 667457
Backward progress: 662965
Backward progress: 663001
Backward progress: 658711
Backward progress: 677493
Backward progress: 677269
Backward progress: 676301
Backward progress: 675993
Backward progress: 673025
Backward progress: 677529
Backward progress: 678111
Backward progress: 674881
Backward progress: 670725
Backward progress: 668029
Backward progress: 662101
Backward progress: 661143
Backward progress: 660149
Backward progress: 655055
Backward progress: 650981
Backward progress: 649951
Backward progress: 648039
Backward progress: 649939
Backward progress: 590768
Backward progress: 592643
Backward progress: 596899
Backward progress: 596418
Backward progress: 593896
Backward progress: 593932
Backward progress: 585336
Backward progress: 573416
Backward progress: 577484
Backward progress: 563283
Backward progress: 559053
Backward progress: 558893
Backward progress: 557321
Backward progress: 552395
Backward progress: 552175
Backward progress: 548255
Backward progress: 543954
Backward progress: 543990
Backward progress: 540180
Backward progress: 544936
Backward progress: 548348
Backward progress: 548416
Backward progress: 548440
Backward progress: 546648
Backward progress: 549510
Backward progress: 554220
Backward progress: 552408
Backward progress: 550100
Backward progress: 547392
Backward progress: 542946
Backward progress: 541982
Backward progress: 540982
Backward progress: 536864
Backward progress: 559414
Backward progress: 555028
Backward progress: 571048
Backward progress: 562034
Backward progress: 566646
Backward progress: 568420
Backward progress: 568432
Backward progress: 570246
Backward progress: 572710
Backward progress: 573176
Backward progress: 573708
Backward progress: 573354
Backward progress: 575058
Backward progress: 574904
Backward progress: 575112
Backward progress: 575836
Backward progress: 575844
Backward progress: 575656
Backward progress: 575728
Backward progress: 575736
Backward progress: 575708
Backward progress: 575462
Backward progress: 580800
Backward progress: 537036
Backward progress: 539270
Backward progress: 539298
Backward progress: 539412
Backward progress: 539362
Backward progress: 539324
Backward progress: 539530
Backward progress: 539534
Backward progress: 539432
Backward progress: 539312
Backward progress: 539564
Backward progress: 538566
Backward progress: 538614
Backward progress: 536298
Backward progress: 536196
Backward progress: 533919
Backward progress: 541397
Backward progress: 539953
Backward progress: 507397
Backward progress: 561594
Backward progress: 569030
Backward progress: 560880
Backward progress: 558627
Backward progress: 557867
Backward progress: 553431
Backward progress: 331735
Backward progress: 297059
Backward progress: 124318
Backward progress: 184755
Backward progress: 116804
Backward progress: 124610
Backward progress: 126988
Backward progress: 127156
Backward progress: 126926
Backward progress: 126768
Backward progress: 125500
Backward progress: 127942
Backward progress: 131500
Backward progress: 137184
Backward progress: 138810
Backward progress: 154572
Backward progress: 160402
Backward progress: 160014
Backward progress: 159506
Backward progress: 159506
Backward progress: 161740
Backward progress: 161098
Backward progress: 130046
Backward progress: 132434
Backward progress: 131214
Backward progress: 137920
Backward progress: 125036
Backward progress: 132186
Backward progress: 132340
Backward progress: 130784
Backward progress: 130681
Backward progress: 129242
Backward progress: 123998
Backward progress: 123166
Backward progress: 123166
Backward progress: 123166
Backward progress: 117168
Backward progress: 125470
Backward progress: 129752
Backward progress: 121752
Backward progress: 126488
Backward progress: 126642
Backward progress: 123972
Backward progress: 123839
Backward progress: 121816
Backward progress: 118558
Backward progress: 116566
Backward progress: 117824
Backward progress: 117812
Backward progress: 115774
Backward progress: 109848
Backward progress: 109388
Backward progress: 101894
Backward progress: 100420
Backward progress: 100448
Backward progress: 100566
Backward progress: 100516
Backward progress: 100482
Backward progress: 100860
Backward progress: 100864
Backward progress: 100686
Backward progress: 100446
Backward progress: 100716
Backward progress: 103108
Backward progress: 103156
Backward progress: 101980
Backward progress: 101782
Backward progress: 101434
Backward progress: 101434
Backward progress: 105410
Backward progress: 106022
Backward progress: 108007
Backward progress: 108011
Backward progress: 108009
Backward progress: 108609
Backward progress: 106049
Backward progress: 107532
Backward progress: 109292
Backward progress: 117465
Backward progress: 118642
Backward progress: 118628
Backward progress: 120322
Backward progress: 119786
Backward progress: 120762
Backward progress: 121064
Backward progress: 122514
Backward progress: 124203
Backward progress: 124674
Backward progress: 124685
Backward progress: 127533
Backward progress: 129509
Backward progress: 129690
Backward progress: 130590
Backward progress: 130516
Backward progress: 131344
Backward progress: 147234
Backward progress: 157572
Backward progress: 163530
Backward progress: 162457
Backward progress: 160169
Backward progress: 157576
Backward progress: 157600
Backward progress: 157304
Backward progress: 166166
Backward progress: 169022
Backward progress: 169225
Backward progress: 168843
Backward progress: 178316
Backward progress: 196002
Backward progress: 189072
Backward progress: 200874
Backward progress: 201217
Backward progress: 193192
Backward progress: 204582
Backward progress: 204175
Backward progress: 193834
Backward progress: 196930
Backward progress: 198386
Backward progress: 196137
Backward progress: 190691
Backward progress: 205071
Backward progress: 206721
Backward progress: 206014
Backward progress: 215926
Backward progress: 216832
Backward progress: 217224
Backward progress: 216733
Backward progress: 220045
Backward progress: 220145
Backward progress: 216831
Backward progress: 216811
Backward progress: 217995
Backward progress: 216731
Backward progress: 215853
Backward progress: 215677
Backward progress: 220769
Backward progress: 221945
Backward progress: 218025
Backward progress: 218409
Backward progress: 218409
Backward progress: 210209
Backward progress: 207917
Backward progress: 208217
Backward progress: 205233
Backward progress: 205425
Backward progress: 205233
Backward progress: 204189
Backward progress: 281619
Backward progress: 279421
Backward progress: 279241
Backward progress: 279042
Backward progress: 281357
Backward progress: 283474
Backward progress: 283531
Backward progress: 283680
Backward progress: 283620
Backward progress: 288343
Backward progress: 287307
Backward progress: 290261
Backward progress: 291227
Backward progress: 288679
Backward progress: 284829
Backward progress: 285795
Backward progress: 283051
Backward progress: 284358
Backward progress: 286498
Backward progress: 286788
Backward progress: 286826
Backward progress: 288063
Backward progress: 287380
Backward progress: 288606
Backward progress: 289383
Backward progress: 291084
Backward progress: 291788
Backward progress: 291486
Backward progress: 292770
Backward progress: 292671
Backward progress: 294945
Backward progress: 292186
Backward progress: 292490
Backward progress: 292180
Backward progress: 295494
Backward progress: 295577
Backward progress: 293041
Backward progress: 293008
Backward progress: 293930
Backward progress: 292762
Backward progress: 290843
Backward progress: 290931
Backward progress: 285371
Backward progress: 285499
Backward progress: 283422
Backward progress: 283294
Backward progress: 281014
Backward progress: 266040
Backward progress: 269740
Backward progress: 276364
Backward progress: 276430
Backward progress: 274606
Backward progress: 273280
Backward progress: 281278
Backward progress: 281672
Backward progress: 284716
Backward progress: 280814
Backward progress: 283970
Backward progress: 285662
Backward progress: 287434
Backward progress: 296826
Backward progress: 296826
Backward progress: 299002
Backward progress: 297966
Backward progress: 296808
Backward progress: 244017
Backward progress: 252154
Backward progress: 250610
Backward progress: 270751
Backward progress: 273464
Backward progress: 272933
Backward progress: 272994
Backward progress: 269452
Backward progress: 270381
Backward progress: 270421
Backward progress: 269732
Backward progress: 270190
Backward progress: 269954
Backward progress: 269122
Backward progress: 268946
Backward progress: 268043
Backward progress: 276567
Backward progress: 265604
Backward progress: 254479
Backward progress: 253837
Backward progress: 261119
Backward progress: 270450
Backward progress: 270319
Backward progress: 274711
Backward progress: 267512
Backward progress: 267516
Backward progress: 266136
Backward progress: 266936
Backward progress: 268991
Backward progress: 269279
Backward progress: 269279
Backward progress: 270351
Backward progress: 276665
Backward progress: 282061
Backward progress: 284313
Backward progress: 283789
Backward progress: 282375
Backward progress: 281705
Backward progress: 281729
Backward progress: 280473
Backward progress: 285489
Backward progress: 289435
Backward progress: 290329
Backward progress: 292759
Backward progress: 293776
Backward progress: 290321
Backward progress: 293071
Backward progress: 294040
Backward progress: 290297
Backward progress: 290382
Backward progress: 290814
Backward progress: 290305
Backward progress: 288456
Backward progress: 290042
Backward progress: 289250
Backward progress: 288386
Backward progress: 302402
Backward progress: 302290
Backward progress: 303183
Backward progress: 306690
Backward progress: 306752
Backward progress: 304724
Backward progress: 308772
Backward progress: 308947
Backward progress: 310173
Backward progress: 308058
Backward progress: 310004
Backward progress: 310752
Backward progress: 311636
Backward progress: 315962
Backward progress: 315962
Backward progress: 316858
Backward progress: 316352
Backward progress: 315800
Backward progress: 316944
Backward progress: 317128
Backward progress: 322080
Backward progress: 321468
Backward progress: 321192
Backward progress: 426576
Backward progress: 481566
Backward progress: 534598
Backward progress: 575874
Backward progress: 607037
Backward progress: 606953
Backward progress: 608856
Backward progress: 608730
Backward progress: 602571
Backward progress: 608045
Backward progress: 652503
Backward progress: 652719
Backward progress: 654305
Backward progress: 699206
Backward progress: 697613
Backward progress: 697408
Backward progress: 694911
Backward progress: 701694
Backward progress: 785678
Backward progress: 793439
Backward progress: 815111
Backward progress: 813176
Backward progress: 805868
Backward progress: 805945
Backward progress: 781792
Backward progress: 751680
Backward progress: 730777
Backward progress: 730559
Backward progress: 730406
Backward progress: 727041
Backward progress: 731233
Backward progress: 774280
Backward progress: 772048
Backward progress: 772179
Backward progress: 771430
Backward progress: 781083
Backward progress: 784792
Backward progress: 785716
Backward progress: 805762
Backward progress: 805380
Backward progress: 805702
Backward progress: 806767
Backward progress: 807046
Backward progress: 838093
Backward progress: 841212
Backward progress: 839452
Backward progress: 838298
Backward progress: 838347
Backward progress: 838336
Backward progress: 838683
Backward progress: 838687
Backward progress: 879932
Backward progress: 752401
Backward progress: 753152
Backward progress: 750683
Backward progress: 727773
Backward progress: 726614
Backward progress: 727952
Backward progress: 727962
Backward progress: 725953
Backward progress: 726257
Backward progress: 726130
Backward progress: 726186
Backward progress: 726153
Backward progress: 687012
Backward progress: 682641
Backward progress: 683282
Backward progress: 681979
Backward progress: 684138
Backward progress: 684090
Backward progress: 659109
Backward progress: 659153
Backward progress: 678145
Backward progress: 680914
Backward progress: 680721
Backward progress: 678321
Backward progress: 678615
Backward progress: 678785
Backward progress: 676276
Backward progress: 676679
Backward progress: 676679
Backward progress: 656797
Backward progress: 655921
Backward progress: 655555
Backward progress: 655511
Backward progress: 655107
Backward progress: 658435
Backward progress: 681375
Backward progress: 672885
Backward progress: 674007
Backward progress: 673851
Backward progress: 674751
Backward progress: 675839
Backward progress: 675850
Backward progress: 679222
Backward progress: 679650
Backward progress: 679220
Backward progress: 679294
Backward progress: 678770
Backward progress: 678866
Backward progress: 675326
Backward progress: 676299
Backward progress: 676326
Backward progress: 675769
Backward progress: 675610
Backward progress: 674926
Backward progress: 674292
Backward progress: 693546
Backward progress: 696050
Backward progress: 683466
Backward progress: 692171
Backward progress: 692824
Backward progress: 692565
Backward progress: 688657
Backward progress: 685825
Backward progress: 679033
Backward progress: 678719
Backward progress: 684610
Backward progress: 685906
Backward progress: 689046
Backward progress: 694017
Backward progress: 694102
Backward progress: 693963
Backward progress: 694446
Backward progress: 694880
Backward progress: 694907
Backward progress: 694974
Backward progress: 694942
Backward progress: 695410
Backward progress: 695328
Backward progress: 695285
Backward progress: 695226
Backward progress: 695183
Backward progress: 645728
Backward progress: 618741
Backward progress: 625344
Backward progress: 618741
Backward progress: 619553
Backward progress: 616264
Backward progress: 618341
Backward progress: 618662
Backward progress: 619077
Backward progress: 619083
Backward progress: 620463
Backward progress: 620450
Backward progress: 622112
Backward progress: 622658
Backward progress: 622602
Backward progress: 621925
Backward progress: 621595
Backward progress: 621070
Backward progress: 623442
Backward progress: 623462
Backward progress: 623579
Backward progress: 623486
Backward progress: 623471
Backward progress: 623895
Backward progress: 624046
Backward progress: 624024
Backward progress: 623816
Backward progress: 623678
Backward progress: 623374
Backward progress: 623415
Backward progress: 625267
Backward progress: 625297
Backward progress: 624272
Backward progress: 624075
Backward progress: 623779
Backward progress: 618511
Backward progress: 616427
Backward progress: 683244
Backward progress: 648296
Backward progress: 485005
Backward progress: 483735
Backward progress: 477397
Backward progress: 478991
Backward progress: 481000
Backward progress: 473855
Backward progress: 470128
Backward progress: 472524
Backward progress: 472766
Backward progress: 473843
Backward progress: 473231
Backward progress: 474286
Backward progress: 469309
Backward progress: 468434
Backward progress: 465855
Backward progress: 464611
Backward progress: 453414
Backward progress: 444364
Backward progress: 445243
Backward progress: 466460
Backward progress: 474671
Backward progress: 493460
Backward progress: 492068
Backward progress: 492086
Backward progress: 489980
Backward progress: 487880
Backward progress: 499066
Backward progress: 502483
Backward progress: 503849
Backward progress: 510322
Backward progress: 510170
Backward progress: 516465
Backward progress: 516481
Backward progress: 515289
Backward progress: 514563
Backward progress: 515917
Backward progress: 513608
Backward progress: 513620
Backward progress: 513261
Backward progress: 510867
Backward progress: 478430
Backward progress: 485601
Backward progress: 485122
Backward progress: 486385
Backward progress: 485821
Backward progress: 485716
Backward progress: 485508
Backward progress: 485504
Backward progress: 483610
Backward progress: 485212
Backward progress: 485228
Backward progress: 484254
Backward progress: 482978
Backward progress: 482757
Backward progress: 489441
Backward progress: 486541
Backward progress: 486601
Backward progress: 484225
Backward progress: 483239
Backward progress: 482223
Backward progress: 474779
Backward progress: 469594
Backward progress: 482018
Backward progress: 487836
Backward progress: 502459
Backward progress: 498979
Backward progress: 498995
Backward progress: 491754
Backward progress: 490358
Backward progress: 496984
Backward progress: 499288
Backward progress: 499885
Backward progress: 502606
Backward progress: 501670
Backward progress: 505902
Backward progress: 505918
Backward progress: 501850
Backward progress: 499122
Backward progress: 499641
Backward progress: 497475
Backward progress: 497481
Backward progress: 496814
Backward progress: 493432
Backward progress: 496318
Backward progress: 495888
Backward progress: 497791
Backward progress: 497227
Backward progress: 497129
Backward progress: 496906
Backward progress: 496890
Backward progress: 493920
Backward progress: 495956
Backward progress: 495972
Backward progress: 494550
Backward progress: 492840
Backward progress: 489001
Backward progress: 494113
Backward progress: 490413
Backward progress: 489907
Backward progress: 487139
Backward progress: 486017
Backward progress: 483923
Backward progress: 475018
Backward progress: 465737
Backward progress: 465737
Forward closed progress: 445521
Forward closed progress: 440830
Forward closed progress: 489845
Forward closed progress: 395956
Forward closed progress: 361241
Forward closed progress: 355854
Forward closed progress: 360956
Forward closed progress: 334625
Forward closed progress: 299257
Forward closed progress: 299257
Forward closed progress: 299257
Forward closed progress: 226797
Forward closed progress: 212191
Forward closed progress: 201481
Forward closed progress: 203513
Forward closed progress: 203747
Forward closed progress: 195285
Forward closed progress: 195220
Forward closed progress: 196617
Forward closed progress: 184966
Forward closed progress: 183411
Forward closed progress: 235236
Forward closed progress: 234773
Forward closed progress: 173836
Forward closed progress: 180039
Forward closed progress: 200611
Forward closed progress: 221446
Forward closed progress: 221446
Forward closed progress: 221446
Forward closed progress: 174248
Forward closed progress: 183730
Forward closed progress: 179079
Forward closed progress: 138280
Forward closed progress: 129265
Forward closed progress: 122958
Forward closed progress: 106027
Forward closed progress: 127903
Forward closed progress: 106021
Forward closed progress: 105901
Forward closed progress: 105995
Forward closed progress: 105995
Forward closed progress: 105471
Forward closed progress: 104159
Forward closed progress: 101640
Forward closed progress: 101640
Forward closed progress: 101520
Forward closed progress: 101614
Forward closed progress: 101614
Forward closed progress: 101003
Forward closed progress: 100358
Forward closed progress: 111081
Forward closed progress: 162462
Forward closed progress: 188972
Forward closed progress: 189694
Forward closed progress: 190104
Forward closed progress: 158440
Forward closed progress: 109073
Forward closed progress: 109093
Forward closed progress: 110647
Forward closed progress: 108911
Forward closed progress: 113342
Forward closed progress: 147781
Forward closed progress: 144586
Forward closed progress: 145713
Forward closed progress: 146323
Forward closed progress: 148161
Forward closed progress: 144306
Forward closed progress: 133800
Forward closed progress: 121121
Forward closed progress: 122925
Forward closed progress: 145914
Forward closed progress: 139386
Forward closed progress: 139386
Forward closed progress: 139386
Forward closed progress: 127518
Forward closed progress: 122548
Forward closed progress: 108403
Forward closed progress: 152019
Forward closed progress: 176497
Forward closed progress: 177231
Forward closed progress: 177649
Forward closed progress: 153277
Forward closed progress: 105945
Forward closed progress: 113659
Forward closed progress: 114393
Forward closed progress: 114811
Forward closed progress: 101505
Forward closed progress: 102005
Forward closed progress: 104319
Forward closed progress: 208561
Forward closed progress: 208713
Forward closed progress: 210478
Forward closed progress: 211364
Forward closed progress: 191143
Forward closed progress: 201225
Forward closed progress: 201680
Forward closed progress: 194167
Forward closed progress: 230026
Forward closed progress: 226140
Forward closed progress: 218298
Forward closed progress: 217228
Forward closed progress: 216434
Forward closed progress: 215764
Forward closed progress: 202693
Forward closed progress: 174282
Forward closed progress: 171581
Forward closed progress: 174162
Forward closed progress: 205019
Forward closed progress: 205184
Forward closed progress: 178799
Forward closed progress: 186890
Forward closed progress: 187598
Forward closed progress: 170478
Forward closed progress: 201270
Forward closed progress: 204957
Forward closed progress: 204993
Forward closed progress: 204797
Forward closed progress: 269106
Forward closed progress: 272212
Forward closed progress: 228689
Forward closed progress: 227753
Forward closed progress: 228025
Forward closed progress: 204549
Forward closed progress: 201026
Forward closed progress: 200678
Forward closed progress: 194616
Forward closed progress: 118688
Forward closed progress: 132941
Forward closed progress: 132482
Forward closed progress: 133232
Forward closed progress: 117434
Forward closed progress: 117428
Forward closed progress: 117206
Forward closed progress: 125497
Forward closed progress: 120210
Forward closed progress: 119265
Forward closed progress: 120585
Forward closed progress: 106430
Control exists for 11907 color(s), jumping through 6 vertices.
Elapsed: 4014847 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 4014.847
user ??
sys ??
