>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 1306368000
Perturbation colors: 9007199254740992
All colors: 11766716876017480000000000
Unknown update functions: 9
Lowest cardinality: 1
Highest cardinality: 4
Backward progress: 102437
Backward progress: 118659
Backward progress: 125822
Backward progress: 122460
Backward progress: 122446
Backward progress: 122453
Backward progress: 122439
Backward progress: 122339
Backward progress: 117880
Backward progress: 120296
Backward progress: 122090
Backward progress: 119809
Backward progress: 113942
Backward progress: 113958
Backward progress: 113998
Backward progress: 113028
Backward progress: 127103
Backward progress: 124485
Backward progress: 126999
Backward progress: 125917
Backward progress: 125162
Backward progress: 125442
Backward progress: 121489
Backward progress: 141043
Backward progress: 140051
Backward progress: 138449
Backward progress: 138025
Backward progress: 153801
Backward progress: 163651
Backward progress: 163683
Backward progress: 163689
Backward progress: 160006
Backward progress: 159858
Backward progress: 160179
Backward progress: 158001
Backward progress: 156354
Backward progress: 155695
Backward progress: 157447
Backward progress: 148363
Backward progress: 150504
Backward progress: 149028
Backward progress: 150442
Backward progress: 145742
Backward progress: 219109
Backward progress: 217013
Backward progress: 204366
Backward progress: 194147
Backward progress: 202299
Backward progress: 201411
Backward progress: 204023
Backward progress: 178211
Backward progress: 145480
Backward progress: 258829
Backward progress: 284772
Backward progress: 235787
Backward progress: 206553
Backward progress: 206560
Backward progress: 197604
Backward progress: 185354
Backward progress: 192928
Backward progress: 188577
Backward progress: 188852
Backward progress: 188728
Backward progress: 191099
Backward progress: 190047
Backward progress: 191313
Backward progress: 191252
Backward progress: 187208
Backward progress: 187355
Backward progress: 187354
Backward progress: 182205
Backward progress: 167885
Backward progress: 167402
Backward progress: 166024
Backward progress: 166776
Backward progress: 166644
Backward progress: 171249
Backward progress: 170802
Backward progress: 168302
Backward progress: 168542
Backward progress: 168423
Backward progress: 159822
Backward progress: 154956
Backward progress: 154856
Backward progress: 151710
Backward progress: 149350
Backward progress: 142889
Backward progress: 145361
Backward progress: 136674
Backward progress: 135543
Backward progress: 137426
Backward progress: 130602
Backward progress: 134486
Backward progress: 125187
Backward progress: 126030
Backward progress: 123062
Backward progress: 125188
Backward progress: 121586
Backward progress: 113249
Backward progress: 113247
Backward progress: 114128
Backward progress: 113933
Backward progress: 113708
Backward progress: 113261
Backward progress: 113368
Backward progress: 112811
Backward progress: 100290
Backward progress: 138927
Backward progress: 125737
Backward progress: 144765
Backward progress: 156397
Backward progress: 149424
Backward progress: 149433
Backward progress: 147120
Backward progress: 147126
Backward progress: 133312
Backward progress: 120287
Backward progress: 116057
Backward progress: 110056
Backward progress: 110350
Backward progress: 104184
Backward progress: 103302
Backward progress: 103510
Backward progress: 103394
Backward progress: 105516
Backward progress: 104562
Backward progress: 105908
Backward progress: 105855
Backward progress: 107887
Backward progress: 108001
Backward progress: 108000
Backward progress: 105643
Backward progress: 101058
Backward progress: 100230
Backward progress: 105801
Backward progress: 104770
Backward progress: 103396
Backward progress: 105446
Backward progress: 104414
Backward progress: 104690
Backward progress: 123055
Backward progress: 119162
Backward progress: 116529
Backward progress: 117117
Backward progress: 116719
Backward progress: 111115
Backward progress: 104581
Backward progress: 104921
Backward progress: 102358
Backward progress: 102125
Backward progress: 100047
Backward progress: 100037
Backward progress: 102815
Backward progress: 102513
Backward progress: 100712
Backward progress: 100878
Backward progress: 100759
Backward progress: 118941
Backward progress: 116014
Backward progress: 114918
Backward progress: 114941
Backward progress: 114930
Backward progress: 114063
Backward progress: 114092
Backward progress: 111483
Backward progress: 103620
Backward progress: 100758
Backward progress: 100951
Backward progress: 100594
Backward progress: 100115
Backward progress: 101091
Backward progress: 101104
Backward progress: 100824
Backward progress: 102229
Attractor colors: 369888924019253200000000
Attractor colors computed in 269298 ms.
Backward progress: 100913
Backward progress: 115173
Backward progress: 111814
Backward progress: 129722
Backward progress: 129690
Backward progress: 137993
Backward progress: 137993
Backward progress: 138581
Backward progress: 138422
Backward progress: 104096
Backward progress: 110278
Backward progress: 105242
Backward progress: 158523
Backward progress: 126149
Backward progress: 137898
Backward progress: 137910
Backward progress: 137377
Backward progress: 137368
Backward progress: 137113
Backward progress: 132412
Backward progress: 130155
Backward progress: 130491
Backward progress: 102549
Backward progress: 109973
Backward progress: 117425
Backward progress: 111729
Backward progress: 117059
Backward progress: 117071
Backward progress: 115576
Backward progress: 115550
Backward progress: 114812
Backward progress: 110707
Backward progress: 109497
Backward progress: 112852
Backward progress: 115993
Backward progress: 116043
Backward progress: 111742
Backward progress: 111669
Backward progress: 110350
Backward progress: 111446
Backward progress: 108986
Backward progress: 108990
Backward progress: 145545
Backward progress: 155585
Backward progress: 163259
Backward progress: 157882
Backward progress: 148710
Backward progress: 147992
Backward progress: 146593
Backward progress: 146593
Backward progress: 102537
Backward progress: 102629
Backward progress: 101868
Backward progress: 101872
Backward progress: 101118
Backward progress: 107597
Backward progress: 106265
Backward progress: 104981
Backward progress: 100475
Backward progress: 100099
Backward progress: 100003
Backward progress: 164589
Backward progress: 167260
Backward progress: 185964
Backward progress: 172422
Backward progress: 172484
Backward progress: 172468
Backward progress: 172469
Backward progress: 192334
Backward progress: 172101
Backward progress: 188658
Backward progress: 186037
Backward progress: 193411
Backward progress: 193871
Backward progress: 205255
Backward progress: 218409
Backward progress: 212763
Backward progress: 232918
Backward progress: 232876
Backward progress: 300714
Backward progress: 366000
Backward progress: 368244
Backward progress: 367787
Backward progress: 367609
Backward progress: 310071
Backward progress: 329544
Backward progress: 334836
Backward progress: 342782
Backward progress: 334442
Backward progress: 649475
Backward progress: 663771
Backward progress: 664236
Backward progress: 669299
Backward progress: 669124
Backward progress: 671842
Backward progress: 671715
Backward progress: 847301
Backward progress: 851517
Backward progress: 782863
Backward progress: 772659
Backward progress: 797851
Backward progress: 797871
Backward progress: 796858
Backward progress: 796846
Backward progress: 796345
Backward progress: 786437
Backward progress: 786220
Backward progress: 785413
Backward progress: 749637
Backward progress: 765549
Backward progress: 765909
Backward progress: 752833
Backward progress: 1091171
Backward progress: 1079118
Backward progress: 1072563
Backward progress: 1290352
Backward progress: 1243070
Backward progress: 1260245
Backward progress: 1264567
Backward progress: 1264563
Backward progress: 1494289
Backward progress: 1618785
Backward progress: 1719705
Backward progress: 1761853
Backward progress: 1761792
Backward progress: 1761755
Backward progress: 1761720
Backward progress: 1761725
Backward progress: 1755815
Backward progress: 1758845
Backward progress: 1830463
Backward progress: 1810803
Backward progress: 1866828
Backward progress: 1776630
Backward progress: 1678411
Backward progress: 1683534
Backward progress: 1684668
Backward progress: 1684776
Backward progress: 2074915
Backward progress: 2154979
Backward progress: 2023462
Backward progress: 2023640
Backward progress: 2023452
Backward progress: 2023456
Backward progress: 2017784
Backward progress: 2108815
Backward progress: 2109829
Backward progress: 2109773
Backward progress: 2105992
Backward progress: 2066816
Backward progress: 2032068
Backward progress: 1994984
Backward progress: 1900650
Backward progress: 1962142
Backward progress: 1977449
Backward progress: 1976927
Backward progress: 1976947
Backward progress: 1976433
Backward progress: 2314705
Backward progress: 2314430
Backward progress: 2302194
Backward progress: 2309017
Backward progress: 2318750
Backward progress: 2805856
Backward progress: 2998986
Backward progress: 3000994
Backward progress: 3000908
Backward progress: 3000362
Backward progress: 3195528
Backward progress: 3429673
Backward progress: 3390699
Backward progress: 3391192
Backward progress: 3390117
Backward progress: 3631288
Backward progress: 3256652
Backward progress: 3291871
Backward progress: 3291907
Backward progress: 3280483
Backward progress: 3261042
Backward progress: 3202715
Backward progress: 3126922
Backward progress: 4289095
Backward progress: 4353803
Backward progress: 4263594
Backward progress: 4233269
Backward progress: 4029379
Backward progress: 5065806
Backward progress: 5064124
Backward progress: 4998531
Backward progress: 4992818
Backward progress: 4986627
Backward progress: 4982519
Backward progress: 4531477
Backward progress: 4626513
Backward progress: 4299733
Backward progress: 4319197
Backward progress: 4319233
Backward progress: 4306033
Backward progress: 4270817
Backward progress: 3781889
Backward progress: 3994321
Backward progress: 3995833
Backward progress: 4214547
Backward progress: 4195315
Backward progress: 4313232
Backward progress: 4160583
Backward progress: 3908819
Backward progress: 10450578
Backward progress: 10652064
Backward progress: 8269367
Backward progress: 7590013
Backward progress: 7589731
Backward progress: 7214732
Backward progress: 6503624
Backward progress: 6533358
Backward progress: 6602843
Backward progress: 6642574
Backward progress: 6638331
Backward progress: 6681032
Backward progress: 6583807
Backward progress: 6821773
Backward progress: 6774956
Backward progress: 6979283
Backward progress: 6979283
Backward progress: 6981970
Backward progress: 6449163
Backward progress: 6096730
Backward progress: 6089458
Backward progress: 6184709
Backward progress: 6017707
Backward progress: 5847238
Backward progress: 5526198
Backward progress: 5668692
Backward progress: 5668721
Backward progress: 5636189
Backward progress: 5636137
Backward progress: 5628305
Backward progress: 5479000
Backward progress: 5433848
Backward progress: 5433543
Backward progress: 5417991
Backward progress: 5473218
Backward progress: 5451362
Backward progress: 5465342
Backward progress: 5475882
Backward progress: 5475152
Backward progress: 5200770
Backward progress: 5172953
Backward progress: 5173336
Backward progress: 5011808
Backward progress: 5012012
Backward progress: 4997930
Backward progress: 4999402
Backward progress: 4997977
Backward progress: 4978263
Backward progress: 4967287
Backward progress: 5091068
Backward progress: 4991758
Backward progress: 5026628
Backward progress: 4937742
Backward progress: 4449825
Backward progress: 4408481
Backward progress: 4544137
Backward progress: 4544153
Backward progress: 4501194
Backward progress: 4328380
Backward progress: 4294599
Backward progress: 5644156
Backward progress: 5474781
Backward progress: 5498140
Backward progress: 5514475
Backward progress: 5441089
Backward progress: 5406946
Backward progress: 6657166
Backward progress: 6557235
Backward progress: 6392233
Backward progress: 6375878
Backward progress: 6155784
Backward progress: 6141090
Backward progress: 6163920
Backward progress: 5753440
Backward progress: 5935234
Backward progress: 5673244
Backward progress: 5705804
Backward progress: 5705840
Backward progress: 5684922
Backward progress: 5678130
Backward progress: 5966644
Backward progress: 5965120
Backward progress: 5952948
Backward progress: 5990845
Backward progress: 5980790
Backward progress: 5970049
Backward progress: 6053739
Backward progress: 5906434
Backward progress: 5912004
Backward progress: 5912040
Backward progress: 5906166
Backward progress: 5574211
Backward progress: 5541194
Backward progress: 5546204
Backward progress: 5546240
Backward progress: 5539320
Backward progress: 5548417
Backward progress: 5550688
Backward progress: 5548780
Backward progress: 5564484
Backward progress: 5559615
Backward progress: 5569606
Backward progress: 5567814
Backward progress: 5595445
Backward progress: 5567279
Backward progress: 5575745
Backward progress: 5566849
Backward progress: 5576146
Backward progress: 5574496
Backward progress: 5569417
Backward progress: 5557259
Backward progress: 5457893
Backward progress: 5451341
Backward progress: 5390799
Backward progress: 5454312
Backward progress: 5416967
Backward progress: 5439624
Backward progress: 5408231
Backward progress: 5394820
Backward progress: 5372264
Backward progress: 6019424
Backward progress: 6192686
Backward progress: 5648728
Backward progress: 10673724
Backward progress: 14726915
Backward progress: 16562882
Backward progress: 17186380
Backward progress: 17033904
Backward progress: 17034052
Backward progress: 17034012
Backward progress: 17034020
Backward progress: 13666740
Backward progress: 13331911
Backward progress: 12326611
Backward progress: 12039035
Backward progress: 12070521
Backward progress: 12257338
Backward progress: 12351800
Backward progress: 12350998
Backward progress: 12532488
Backward progress: 12428874
Backward progress: 12877075
Backward progress: 12875721
Backward progress: 13124768
Backward progress: 13124768
Backward progress: 13128658
Backward progress: 13127873
Backward progress: 12699602
Backward progress: 12699610
Backward progress: 12924790
Backward progress: 12586545
Backward progress: 13125150
Backward progress: 13069946
Backward progress: 13679022
Backward progress: 13044883
Backward progress: 13413265
Backward progress: 13413297
Backward progress: 13381649
Backward progress: 13381618
Backward progress: 13371348
Backward progress: 13149387
Backward progress: 13087364
Backward progress: 14007898
Backward progress: 13837385
Backward progress: 13731180
Backward progress: 13732239
Backward progress: 13794881
Backward progress: 13748686
Backward progress: 13753252
Backward progress: 15284487
Backward progress: 15158919
Backward progress: 15270395
Backward progress: 15364732
Backward progress: 15361528
Backward progress: 15593439
Backward progress: 14946432
Backward progress: 15179868
Backward progress: 15142939
Backward progress: 15481720
Backward progress: 15052565
Backward progress: 14517772
Backward progress: 14555783
Backward progress: 14561159
Backward progress: 14574057
Backward progress: 14566165
Backward progress: 14469263
Backward progress: 14421694
Backward progress: 14422909
Backward progress: 15077702
Backward progress: 14770254
Backward progress: 14769628
Backward progress: 15077584
Backward progress: 14574827
Backward progress: 14575138
Backward progress: 14575142
Backward progress: 14575130
Backward progress: 14844680
Backward progress: 14485641
Backward progress: 13764729
Backward progress: 13518998
Backward progress: 13518351
Backward progress: 14481350
Backward progress: 14480838
Backward progress: 14337064
Backward progress: 14336993
Backward progress: 14336380
Backward progress: 14322696
Backward progress: 13538704
Backward progress: 13437870
Backward progress: 13437869
Backward progress: 13438540
Backward progress: 13438544
Backward progress: 13438362
Backward progress: 13437733
Backward progress: 13383177
Backward progress: 15139608
Backward progress: 15154035
Backward progress: 15120638
Backward progress: 15087325
Backward progress: 15113447
Backward progress: 15083592
Backward progress: 15086968
Backward progress: 15121620
Backward progress: 15117258
Backward progress: 14508618
Backward progress: 14465947
Backward progress: 14429304
Backward progress: 14174243
Backward progress: 14174836
Backward progress: 14095793
Backward progress: 14092364
Backward progress: 14085020
Backward progress: 14029514
Backward progress: 14009925
Backward progress: 14220207
Backward progress: 13906793
Backward progress: 13990116
Backward progress: 13821379
Backward progress: 12790492
Backward progress: 12708204
Backward progress: 12814490
Backward progress: 12814526
Backward progress: 12753589
Backward progress: 12753526
Backward progress: 12738312
Backward progress: 12483798
Backward progress: 12418764
Backward progress: 9656423
Backward progress: 9655962
Backward progress: 8986880
Backward progress: 9503112
Backward progress: 9497944
Backward progress: 9147336
Backward progress: 9147230
Backward progress: 9145189
Backward progress: 9096630
Backward progress: 9096769
Backward progress: 8394188
Backward progress: 8161111
Backward progress: 8156596
Backward progress: 8156803
Backward progress: 8156807
Backward progress: 8156583
Backward progress: 8156416
Backward progress: 8162763
Backward progress: 8162916
Backward progress: 8162920
Backward progress: 8162727
Backward progress: 8226045
Backward progress: 8159868
Backward progress: 8010460
Backward progress: 7930556
Backward progress: 7930164
Backward progress: 7931698
Backward progress: 7931355
Backward progress: 7931341
Backward progress: 6442507
Backward progress: 6447528
Backward progress: 6042207
Backward progress: 6104257
Backward progress: 6106867
Backward progress: 6104255
Backward progress: 2219736
Backward progress: 843605
Backward progress: 1167422
Backward progress: 964825
Backward progress: 998638
Backward progress: 998746
Backward progress: 998314
Backward progress: 886587
Backward progress: 924483
Backward progress: 955146
Backward progress: 961571
Backward progress: 963803
Backward progress: 1007128
Backward progress: 988989
Backward progress: 981046
Backward progress: 1063493
Backward progress: 1063299
Backward progress: 1172095
Backward progress: 1169840
Backward progress: 1171479
Backward progress: 1169942
Backward progress: 952038
Backward progress: 979907
Backward progress: 942756
Backward progress: 1074603
Backward progress: 963165
Backward progress: 1004708
Backward progress: 1004720
Backward progress: 1002519
Backward progress: 1002510
Backward progress: 1001382
Backward progress: 978946
Backward progress: 972604
Backward progress: 973756
Backward progress: 971913
Backward progress: 946064
Backward progress: 951323
Backward progress: 963266
Backward progress: 944231
Backward progress: 971366
Backward progress: 971378
Backward progress: 964961
Backward progress: 964935
Backward progress: 961671
Backward progress: 938289
Backward progress: 930936
Backward progress: 943385
Backward progress: 959550
Backward progress: 954858
Backward progress: 927612
Backward progress: 917065
Backward progress: 911329
Backward progress: 913648
Backward progress: 928216
Backward progress: 925295
Backward progress: 916265
Backward progress: 924774
Backward progress: 923060
Backward progress: 917957
Backward progress: 911674
Backward progress: 1042109
Backward progress: 1058061
Backward progress: 1109784
Backward progress: 1078591
Backward progress: 1108097
Backward progress: 1076773
Backward progress: 1091092
Backward progress: 1092450
Backward progress: 1092563
Backward progress: 1092567
Backward progress: 1097159
Backward progress: 1097574
Backward progress: 1109974
Backward progress: 1109978
Backward progress: 1109467
Backward progress: 1102896
Backward progress: 1103452
Backward progress: 1103456
Backward progress: 1103444
Backward progress: 1112391
Backward progress: 1112547
Backward progress: 1112153
Backward progress: 1120899
Backward progress: 1120480
Backward progress: 1120162
Backward progress: 1119568
Backward progress: 1123495
Backward progress: 1123511
Backward progress: 1124283
Backward progress: 1124287
Backward progress: 1124098
Backward progress: 1123797
Backward progress: 1107672
Backward progress: 1125868
Backward progress: 1125401
Backward progress: 1123385
Backward progress: 1132583
Backward progress: 1128371
Backward progress: 1124332
Backward progress: 1124610
Backward progress: 1127105
Backward progress: 1122548
Backward progress: 1122946
Backward progress: 1122950
Backward progress: 1122522
Backward progress: 1122188
Backward progress: 1120829
Backward progress: 1121119
Backward progress: 1121123
Backward progress: 1120757
Backward progress: 1120441
Backward progress: 1120105
Backward progress: 1122101
Backward progress: 1121752
Backward progress: 1121738
Backward progress: 1121738
Backward progress: 172024
Backward progress: 186923
Backward progress: 185893
Backward progress: 304112
Backward progress: 409381
Backward progress: 494145
Backward progress: 491314
Backward progress: 491322
Backward progress: 488380
Backward progress: 482720
Backward progress: 580457
Backward progress: 571346
Backward progress: 570775
Backward progress: 567441
Backward progress: 571629
Backward progress: 644205
Backward progress: 694720
Backward progress: 696241
Backward progress: 696297
Backward progress: 695339
Backward progress: 746700
Backward progress: 830283
Backward progress: 798064
Backward progress: 817576
Backward progress: 825320
Backward progress: 1582295
Backward progress: 936714
Backward progress: 963016
Backward progress: 963226
Backward progress: 968206
Backward progress: 966196
Backward progress: 922369
Backward progress: 946465
Backward progress: 809547
Backward progress: 800853
Backward progress: 800865
Backward progress: 787155
Backward progress: 784257
Backward progress: 609459
Backward progress: 553159
Backward progress: 536190
Backward progress: 529839
Backward progress: 528469
Backward progress: 503383
Backward progress: 411826
Backward progress: 432380
Backward progress: 458148
Backward progress: 458112
Backward progress: 485819
Backward progress: 476463
Backward progress: 476467
Backward progress: 471197
Backward progress: 480769
Backward progress: 503557
Backward progress: 500765
Backward progress: 498977
Backward progress: 497817
Backward progress: 498413
Backward progress: 553447
Backward progress: 600565
Backward progress: 585391
Backward progress: 585403
Backward progress: 576969
Backward progress: 613699
Backward progress: 638833
Backward progress: 650429
Backward progress: 650971
Backward progress: 651605
Backward progress: 669057
Backward progress: 669297
Backward progress: 671881
Backward progress: 668873
Backward progress: 647265
Backward progress: 650273
Backward progress: 644941
Backward progress: 641821
Backward progress: 641833
Backward progress: 639593
Backward progress: 651261
Backward progress: 553184
Backward progress: 522319
Backward progress: 515780
Backward progress: 517150
Backward progress: 516054
Backward progress: 505554
Backward progress: 499803
Backward progress: 563600
Backward progress: 614491
Backward progress: 611206
Backward progress: 601261
Backward progress: 601302
Backward progress: 601247
Backward progress: 603894
Backward progress: 610186
Backward progress: 611795
Backward progress: 611959
Backward progress: 611837
Backward progress: 611178
Backward progress: 641234
Backward progress: 641503
Backward progress: 640023
Backward progress: 634857
Backward progress: 641972
Backward progress: 625222
Backward progress: 630271
Backward progress: 620478
Backward progress: 784124
Backward progress: 772318
Backward progress: 771337
Backward progress: 762186
Backward progress: 762210
Backward progress: 762192
Backward progress: 761078
Backward progress: 763718
Backward progress: 762849
Backward progress: 762891
Backward progress: 762855
Backward progress: 764472
Backward progress: 772284
Backward progress: 763632
Backward progress: 1168493
Backward progress: 1423188
Backward progress: 1744311
Backward progress: 2074487
Backward progress: 2058015
Backward progress: 2047642
Backward progress: 2048022
Backward progress: 2047958
Backward progress: 2047589
Backward progress: 2047605
Backward progress: 1960558
Backward progress: 1996512
Backward progress: 2282200
Backward progress: 2139117
Backward progress: 2149609
Backward progress: 2276483
Backward progress: 2188375
Backward progress: 2225061
Backward progress: 2189192
Backward progress: 2632035
Backward progress: 2701609
Backward progress: 2849119
Backward progress: 2656436
Backward progress: 2620124
Backward progress: 2620249
Backward progress: 2620233
Backward progress: 2538845
Backward progress: 2537397
Backward progress: 2443714
Backward progress: 2364333
Backward progress: 2341152
Backward progress: 2416375
Backward progress: 2498748
Backward progress: 2476834
Backward progress: 2515292
Backward progress: 2515840
Backward progress: 2516386
Backward progress: 2556152
Backward progress: 2532128
Backward progress: 2509916
Backward progress: 2508425
Backward progress: 2630555
Backward progress: 2630409
Backward progress: 2629176
Backward progress: 2629236
Backward progress: 2806397
Backward progress: 2252596
Backward progress: 2251392
Backward progress: 1960542
Backward progress: 1822567
Backward progress: 1739976
Backward progress: 1740661
Backward progress: 1704081
Backward progress: 1728268
Backward progress: 1706595
Backward progress: 1835135
Backward progress: 1740249
Backward progress: 1768391
Backward progress: 1768407
Backward progress: 1767497
Backward progress: 1767490
Backward progress: 1767113
Backward progress: 1759389
Backward progress: 1753130
Backward progress: 1740490
Backward progress: 1763264
Backward progress: 1760186
Backward progress: 1846400
Backward progress: 1798640
Backward progress: 1802048
Backward progress: 1801392
Backward progress: 1864439
Backward progress: 1872904
Backward progress: 1873954
Backward progress: 1890834
Backward progress: 1890842
Backward progress: 1887670
Backward progress: 1887644
Backward progress: 1886728
Backward progress: 1875566
Backward progress: 1864074
Backward progress: 1879889
Backward progress: 1895134
Backward progress: 1893018
Backward progress: 1861538
Backward progress: 1852230
Backward progress: 1850187
Backward progress: 1851417
Backward progress: 1879388
Backward progress: 1876751
Backward progress: 1885740
Backward progress: 1891823
Backward progress: 1893409
Backward progress: 1885542
Backward progress: 2012842
Backward progress: 2026577
Backward progress: 2103850
Backward progress: 2056370
Backward progress: 2118753
Backward progress: 2082235
Backward progress: 2120700
Backward progress: 2121880
Backward progress: 2121758
Backward progress: 2121764
Backward progress: 2126190
Backward progress: 2126402
Backward progress: 2136969
Backward progress: 2136973
Backward progress: 2136310
Backward progress: 2133017
Backward progress: 2133463
Backward progress: 2133467
Backward progress: 2133453
Backward progress: 2155374
Backward progress: 2155484
Backward progress: 2155078
Backward progress: 2164443
Backward progress: 2164031
Backward progress: 2163171
Backward progress: 2162744
Backward progress: 2167130
Backward progress: 2167176
Backward progress: 2167677
Backward progress: 2167681
Backward progress: 2167547
Backward progress: 2167216
Backward progress: 2128993
Backward progress: 2139766
Backward progress: 2139459
Backward progress: 2138005
Backward progress: 2142973
Backward progress: 2140447
Backward progress: 2138100
Backward progress: 2138399
Backward progress: 2139754
Backward progress: 2137189
Backward progress: 2137477
Backward progress: 2137481
Backward progress: 2137164
Backward progress: 2136836
Backward progress: 2136071
Backward progress: 2136331
Backward progress: 2136335
Backward progress: 2136079
Backward progress: 2135695
Backward progress: 2135579
Backward progress: 2141582
Backward progress: 2141399
Backward progress: 2141389
Backward progress: 2221885
Backward progress: 1158567
Backward progress: 1087919
Backward progress: 984114
Backward progress: 988304
Backward progress: 1023412
Backward progress: 1022840
Backward progress: 1046452
Backward progress: 978732
Backward progress: 992038
Backward progress: 976191
Backward progress: 976191
Forward closed progress: 837622
Forward closed progress: 799816
Forward closed progress: 1003606
Forward closed progress: 684136
Forward closed progress: 605679
Forward closed progress: 588013
Forward closed progress: 588393
Forward closed progress: 228604
Forward closed progress: 196438
Forward closed progress: 196527
Forward closed progress: 196639
Forward closed progress: 194412
Forward closed progress: 168102
Forward closed progress: 156616
Forward closed progress: 156880
Forward closed progress: 156964
Forward closed progress: 152892
Forward closed progress: 152896
Forward closed progress: 150403
Forward closed progress: 147092
Forward closed progress: 146811
Forward closed progress: 154841
Forward closed progress: 154973
Forward closed progress: 128362
Forward closed progress: 131830
Forward closed progress: 164437
Forward closed progress: 164432
Forward closed progress: 164427
Forward closed progress: 164432
Forward closed progress: 128428
Forward closed progress: 112467
Forward closed progress: 118096
Forward closed progress: 104426
Forward closed progress: 104419
Forward closed progress: 104426
Forward closed progress: 103262
Forward closed progress: 100620
Forward closed progress: 126076
Forward closed progress: 126118
Forward closed progress: 126142
Forward closed progress: 122062
Forward closed progress: 105411
Forward closed progress: 105453
Forward closed progress: 105477
Forward closed progress: 101589
Forward closed progress: 102271
Forward closed progress: 130415
Forward closed progress: 126000
Forward closed progress: 126088
Forward closed progress: 126132
Forward closed progress: 122294
Forward closed progress: 122899
Forward closed progress: 122919
Forward closed progress: 119957
Forward closed progress: 142216
Forward closed progress: 141559
Forward closed progress: 140651
Forward closed progress: 132277
Forward closed progress: 127511
Forward closed progress: 127519
Forward closed progress: 116044
Forward closed progress: 111192
Forward closed progress: 110648
Forward closed progress: 112198
Forward closed progress: 122740
Forward closed progress: 122956
Forward closed progress: 107098
Forward closed progress: 113656
Forward closed progress: 113626
Forward closed progress: 107174
Forward closed progress: 129418
Forward closed progress: 130879
Forward closed progress: 130850
Forward closed progress: 158527
Forward closed progress: 158617
Forward closed progress: 144481
Forward closed progress: 144403
Forward closed progress: 146791
Forward closed progress: 138119
Forward closed progress: 133966
Forward closed progress: 145164
Forward closed progress: 133420
Forward closed progress: 133471
Forward closed progress: 122326
Forward closed progress: 235124
Forward closed progress: 183221
Forward closed progress: 135879
Forward closed progress: 183230
Forward closed progress: 182052
Forward closed progress: 157804
Forward closed progress: 157744
Forward closed progress: 147340
Forward closed progress: 178673
Forward closed progress: 133033
Forward closed progress: 107601
Forward closed progress: 130828
Forward closed progress: 120533
Forward closed progress: 118191
Forward closed progress: 102553
Forward closed progress: 105273
Forward closed progress: 105349
Forward closed progress: 124694
Forward closed progress: 106238
Control exists for 41065920 color(s), jumping through 8 vertices.
Elapsed: 52945635 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 52945.635
user ??
sys ??
