>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 3713840928
Perturbation colors: 9007199254740992
All colors: 33451305238908194000000000
Unknown update functions: 8
Lowest cardinality: 1
Highest cardinality: 5
Backward progress: 103348
Backward progress: 114020
Backward progress: 113584
Backward progress: 111711
Backward progress: 118668
Backward progress: 101395
Backward progress: 100503
Backward progress: 106220
Backward progress: 110814
Backward progress: 109627
Backward progress: 109283
Backward progress: 114064
Backward progress: 131972
Backward progress: 135419
Backward progress: 135279
Backward progress: 134486
Backward progress: 131797
Backward progress: 129713
Backward progress: 122365
Backward progress: 125443
Backward progress: 124577
Backward progress: 125350
Backward progress: 121327
Backward progress: 120144
Backward progress: 126275
Backward progress: 148335
Backward progress: 148558
Backward progress: 148577
Backward progress: 148879
Backward progress: 148881
Backward progress: 148879
Backward progress: 149110
Backward progress: 158099
Backward progress: 154317
Backward progress: 151768
Backward progress: 153424
Backward progress: 153599
Backward progress: 138624
Backward progress: 136531
Backward progress: 136505
Backward progress: 136377
Backward progress: 131715
Backward progress: 131690
Backward progress: 131524
Backward progress: 131712
Backward progress: 132024
Backward progress: 131995
Backward progress: 131906
Backward progress: 131058
Backward progress: 130953
Backward progress: 120830
Backward progress: 120872
Backward progress: 120689
Backward progress: 120424
Backward progress: 119844
Backward progress: 115093
Backward progress: 120186
Backward progress: 119673
Backward progress: 119378
Backward progress: 117626
Backward progress: 119515
Backward progress: 119606
Backward progress: 117650
Backward progress: 114642
Backward progress: 132352
Backward progress: 124979
Backward progress: 124273
Backward progress: 120891
Backward progress: 118621
Backward progress: 115725
Backward progress: 107933
Backward progress: 123304
Backward progress: 119504
Backward progress: 132066
Backward progress: 129268
Backward progress: 131539
Backward progress: 131694
Backward progress: 132059
Backward progress: 121319
Backward progress: 121323
Backward progress: 121356
Backward progress: 121360
Backward progress: 116737
Backward progress: 116738
Backward progress: 116730
Backward progress: 116734
Backward progress: 116762
Backward progress: 116701
Backward progress: 108619
Backward progress: 108402
Backward progress: 108406
Backward progress: 108439
Backward progress: 107674
Backward progress: 107108
Backward progress: 107875
Backward progress: 108824
Backward progress: 106915
Backward progress: 131660
Backward progress: 145836
Backward progress: 200708
Backward progress: 195238
Backward progress: 217622
Backward progress: 207330
Backward progress: 207715
Backward progress: 207124
Backward progress: 206730
Backward progress: 206710
Backward progress: 180341
Backward progress: 182856
Backward progress: 202499
Backward progress: 202017
Backward progress: 201461
Backward progress: 203894
Backward progress: 202023
Backward progress: 198370
Backward progress: 197499
Backward progress: 209444
Backward progress: 209730
Backward progress: 201711
Backward progress: 222520
Backward progress: 215478
Backward progress: 221232
Backward progress: 217750
Backward progress: 217721
Backward progress: 217113
Backward progress: 211884
Backward progress: 212287
Backward progress: 210488
Backward progress: 210083
Backward progress: 205905
Backward progress: 207930
Backward progress: 206248
Backward progress: 205329
Backward progress: 206884
Backward progress: 205797
Backward progress: 207785
Backward progress: 207793
Backward progress: 207696
Backward progress: 207817
Backward progress: 207953
Backward progress: 207913
Backward progress: 208352
Backward progress: 218595
Backward progress: 217329
Backward progress: 215819
Backward progress: 215821
Backward progress: 215844
Backward progress: 215117
Backward progress: 214799
Backward progress: 214526
Backward progress: 214452
Backward progress: 214788
Backward progress: 215913
Backward progress: 198563
Backward progress: 205735
Backward progress: 197716
Backward progress: 194769
Backward progress: 195090
Backward progress: 195805
Backward progress: 200225
Backward progress: 200110
Backward progress: 200984
Backward progress: 200987
Backward progress: 200361
Backward progress: 201705
Backward progress: 201663
Backward progress: 201639
Backward progress: 201727
Backward progress: 201565
Backward progress: 201638
Backward progress: 186660
Backward progress: 186666
Backward progress: 186610
Backward progress: 187143
Backward progress: 184690
Backward progress: 183720
Backward progress: 183408
Backward progress: 180106
Backward progress: 180404
Backward progress: 180427
Backward progress: 180683
Backward progress: 179523
Backward progress: 179376
Backward progress: 182740
Backward progress: 182740
Backward progress: 179820
Backward progress: 179602
Backward progress: 180362
Backward progress: 180365
Backward progress: 180037
Backward progress: 179863
Backward progress: 179936
Backward progress: 179682
Backward progress: 179688
Backward progress: 179404
Backward progress: 182917
Backward progress: 182454
Backward progress: 182291
Backward progress: 182396
Backward progress: 190028
Backward progress: 186067
Backward progress: 189184
Backward progress: 189987
Backward progress: 190117
Backward progress: 191564
Backward progress: 191674
Backward progress: 192288
Backward progress: 192235
Backward progress: 192208
Backward progress: 192470
Backward progress: 194023
Backward progress: 197454
Backward progress: 197603
Backward progress: 197566
Backward progress: 197514
Backward progress: 197988
Backward progress: 198130
Backward progress: 198224
Backward progress: 198056
Backward progress: 198743
Backward progress: 199445
Backward progress: 198989
Backward progress: 199382
Backward progress: 199343
Backward progress: 199083
Backward progress: 198953
Backward progress: 199368
Backward progress: 200251
Backward progress: 200487
Backward progress: 200710
Backward progress: 200639
Backward progress: 200581
Backward progress: 200597
Backward progress: 200557
Backward progress: 205586
Backward progress: 205205
Backward progress: 204398
Backward progress: 203725
Backward progress: 203304
Backward progress: 203341
Backward progress: 203320
Backward progress: 203018
Backward progress: 203635
Backward progress: 203362
Backward progress: 203353
Backward progress: 203364
Backward progress: 203989
Backward progress: 204224
Backward progress: 204523
Backward progress: 204198
Backward progress: 203994
Backward progress: 205588
Backward progress: 205258
Backward progress: 204643
Backward progress: 204291
Backward progress: 203909
Backward progress: 203850
Backward progress: 203486
Backward progress: 203452
Backward progress: 203446
Backward progress: 203390
Backward progress: 203118
Backward progress: 202809
Backward progress: 202842
Backward progress: 202488
Backward progress: 206634
Backward progress: 206634
Backward progress: 205508
Backward progress: 204987
Backward progress: 205906
Backward progress: 205960
Backward progress: 205713
Backward progress: 205397
Backward progress: 205193
Backward progress: 204772
Backward progress: 202637
Backward progress: 204974
Backward progress: 205057
Backward progress: 204025
Backward progress: 203246
Backward progress: 202649
Backward progress: 200670
Backward progress: 200968
Backward progress: 200916
Backward progress: 202203
Backward progress: 201644
Backward progress: 201776
Backward progress: 201881
Backward progress: 201926
Backward progress: 202032
Backward progress: 201951
Backward progress: 201981
Backward progress: 202037
Backward progress: 201990
Backward progress: 201993
Backward progress: 201872
Backward progress: 262223
Backward progress: 229817
Backward progress: 230578
Backward progress: 230526
Backward progress: 213727
Backward progress: 205461
Backward progress: 203665
Backward progress: 207000
Backward progress: 207065
Backward progress: 206346
Backward progress: 205889
Backward progress: 202769
Backward progress: 202311
Backward progress: 201962
Backward progress: 201929
Backward progress: 201812
Backward progress: 200879
Backward progress: 200456
Backward progress: 200030
Backward progress: 201228
Backward progress: 201367
Backward progress: 201369
Backward progress: 201354
Backward progress: 201393
Backward progress: 201349
Backward progress: 201352
Backward progress: 201352
Backward progress: 201366
Backward progress: 201357
Backward progress: 201375
Backward progress: 201361
Backward progress: 201331
Backward progress: 201340
Backward progress: 201323
Backward progress: 201839
Backward progress: 201869
Backward progress: 201851
Backward progress: 201823
Backward progress: 201826
Backward progress: 201826
Backward progress: 201978
Backward progress: 202022
Backward progress: 202066
Backward progress: 201959
Backward progress: 201857
Backward progress: 201833
Backward progress: 201688
Backward progress: 201634
Backward progress: 201524
Backward progress: 201500
Backward progress: 200695
Backward progress: 200611
Backward progress: 192911
Backward progress: 202075
Backward progress: 198056
Backward progress: 196354
Backward progress: 193341
Backward progress: 191523
Backward progress: 193954
Backward progress: 193990
Backward progress: 193832
Backward progress: 193817
Backward progress: 193394
Backward progress: 193259
Backward progress: 193081
Backward progress: 193044
Backward progress: 193873
Backward progress: 193347
Backward progress: 193364
Backward progress: 193411
Backward progress: 193469
Backward progress: 193426
Backward progress: 193711
Backward progress: 193646
Backward progress: 193654
Backward progress: 193668
Backward progress: 193686
Backward progress: 193677
Backward progress: 194289
Backward progress: 194230
Backward progress: 194203
Backward progress: 194109
Backward progress: 194110
Backward progress: 194080
Backward progress: 194080
Backward progress: 193456
Backward progress: 193027
Backward progress: 192798
Backward progress: 192671
Backward progress: 192531
Backward progress: 192535
Backward progress: 192675
Backward progress: 192672
Backward progress: 192678
Backward progress: 192644
Backward progress: 192608
Backward progress: 192588
Backward progress: 192229
Backward progress: 192218
Backward progress: 192541
Backward progress: 192384
Backward progress: 192386
Backward progress: 192306
Backward progress: 192308
Backward progress: 192146
Backward progress: 194705
Backward progress: 193771
Backward progress: 193398
Backward progress: 192692
Backward progress: 192341
Backward progress: 192275
Backward progress: 192113
Backward progress: 190498
Backward progress: 162923
Backward progress: 163635
Backward progress: 161207
Backward progress: 161777
Backward progress: 161472
Backward progress: 161347
Backward progress: 161314
Backward progress: 161122
Backward progress: 161077
Backward progress: 161089
Backward progress: 161210
Backward progress: 161079
Backward progress: 161103
Backward progress: 161164
Backward progress: 161102
Backward progress: 161120
Backward progress: 162268
Backward progress: 161499
Backward progress: 161286
Backward progress: 161034
Backward progress: 158279
Backward progress: 158216
Backward progress: 158031
Backward progress: 157973
Backward progress: 157932
Backward progress: 157789
Backward progress: 157790
Backward progress: 157676
Backward progress: 157681
Backward progress: 157663
Backward progress: 157421
Backward progress: 157027
Backward progress: 156703
Backward progress: 156682
Backward progress: 156559
Backward progress: 178696
Backward progress: 173479
Backward progress: 173459
Backward progress: 173577
Backward progress: 173273
Backward progress: 172681
Backward progress: 172653
Backward progress: 172231
Backward progress: 172410
Backward progress: 172195
Backward progress: 172458
Backward progress: 173080
Backward progress: 173893
Backward progress: 173987
Backward progress: 173989
Backward progress: 173943
Backward progress: 174093
Backward progress: 174203
Backward progress: 174381
Backward progress: 174340
Backward progress: 174416
Backward progress: 174380
Backward progress: 174368
Backward progress: 175029
Backward progress: 174569
Backward progress: 174459
Backward progress: 174453
Backward progress: 174052
Backward progress: 174500
Backward progress: 172989
Backward progress: 172373
Backward progress: 171705
Backward progress: 171704
Backward progress: 171536
Backward progress: 171582
Backward progress: 171508
Backward progress: 171205
Backward progress: 171160
Backward progress: 170756
Backward progress: 171434
Backward progress: 171434
Backward progress: 171037
Backward progress: 170937
Backward progress: 171100
Backward progress: 171102
Backward progress: 171023
Backward progress: 171042
Backward progress: 170836
Backward progress: 171003
Backward progress: 171005
Backward progress: 170837
Backward progress: 170726
Backward progress: 175201
Backward progress: 172970
Backward progress: 172622
Backward progress: 171361
Backward progress: 170501
Backward progress: 170854
Backward progress: 170856
Backward progress: 170686
Backward progress: 170321
Backward progress: 170182
Backward progress: 169182
Backward progress: 170011
Backward progress: 169561
Backward progress: 169569
Backward progress: 169220
Backward progress: 168844
Backward progress: 169271
Backward progress: 169194
Backward progress: 132370
Backward progress: 131114
Backward progress: 130979
Backward progress: 130979
Attractor colors: 1364549614264658700000000
Attractor colors computed in 789730 ms.
Backward progress: 100439
Backward progress: 101630
Backward progress: 102225
Backward progress: 103451
Backward progress: 104223
Backward progress: 104921
Backward progress: 108977
Backward progress: 113656
Backward progress: 127802
Backward progress: 139918
Backward progress: 139717
Backward progress: 147737
Backward progress: 145533
Backward progress: 147709
Backward progress: 147065
Backward progress: 128261
Backward progress: 130127
Backward progress: 129383
Backward progress: 133484
Backward progress: 121846
Backward progress: 126683
Backward progress: 126775
Backward progress: 125355
Backward progress: 125289
Backward progress: 124598
Backward progress: 121209
Backward progress: 120033
Backward progress: 125070
Backward progress: 120033
Backward progress: 101921
Backward progress: 101201
Backward progress: 101113
Backward progress: 109501
Backward progress: 108253
Backward progress: 108247
Backward progress: 106817
Backward progress: 106462
Backward progress: 107910
Backward progress: 114645
Backward progress: 114536
Backward progress: 123007
Backward progress: 122774
Backward progress: 122789
Backward progress: 122804
Backward progress: 133227
Backward progress: 132631
Backward progress: 140325
Backward progress: 166411
Backward progress: 164823
Backward progress: 157543
Backward progress: 157549
Backward progress: 155943
Backward progress: 158731
Backward progress: 158346
Backward progress: 152874
Backward progress: 157741
Backward progress: 138276
Backward progress: 143106
Backward progress: 143655
Backward progress: 142914
Backward progress: 142963
Backward progress: 144061
Backward progress: 144119
Backward progress: 143246
Backward progress: 142042
Backward progress: 140853
Backward progress: 150608
Backward progress: 150385
Backward progress: 147467
Backward progress: 149318
Backward progress: 150119
Backward progress: 148047
Backward progress: 149559
Backward progress: 148755
Backward progress: 180275
Backward progress: 180019
Backward progress: 181521
Backward progress: 183293
Backward progress: 182623
Backward progress: 183354
Backward progress: 197156
Backward progress: 197841
Backward progress: 198141
Backward progress: 184629
Backward progress: 184719
Backward progress: 184699
Backward progress: 192143
Backward progress: 192986
Backward progress: 191774
Backward progress: 189748
Backward progress: 189767
Backward progress: 189019
Backward progress: 188980
Backward progress: 189057
Backward progress: 189062
Backward progress: 189061
Backward progress: 189102
Backward progress: 189058
Backward progress: 182724
Backward progress: 179229
Backward progress: 176794
Backward progress: 178309
Backward progress: 178329
Backward progress: 178154
Backward progress: 178194
Backward progress: 178174
Backward progress: 178134
Backward progress: 191880
Backward progress: 191530
Backward progress: 194042
Backward progress: 208852
Backward progress: 197884
Backward progress: 198318
Backward progress: 202139
Backward progress: 202112
Backward progress: 207377
Backward progress: 216537
Backward progress: 221567
Backward progress: 236171
Backward progress: 237362
Backward progress: 240072
Backward progress: 241628
Backward progress: 243953
Backward progress: 243656
Backward progress: 243670
Backward progress: 243664
Backward progress: 243728
Backward progress: 261758
Backward progress: 263874
Backward progress: 264194
Backward progress: 276379
Backward progress: 283244
Backward progress: 283242
Backward progress: 283147
Backward progress: 273784
Backward progress: 315336
Backward progress: 316844
Backward progress: 315878
Backward progress: 316449
Backward progress: 315946
Backward progress: 316186
Backward progress: 315970
Backward progress: 315351
Backward progress: 314699
Backward progress: 314699
Backward progress: 314591
Backward progress: 318963
Backward progress: 323960
Backward progress: 323854
Backward progress: 323956
Backward progress: 326366
Backward progress: 326271
Backward progress: 324008
Backward progress: 324066
Backward progress: 324064
Backward progress: 323990
Backward progress: 326177
Backward progress: 326166
Backward progress: 326162
Backward progress: 325988
Backward progress: 328808
Backward progress: 329285
Backward progress: 329305
Backward progress: 328630
Backward progress: 328779
Backward progress: 328668
Backward progress: 350965
Backward progress: 348147
Backward progress: 343101
Backward progress: 341301
Backward progress: 345442
Backward progress: 345358
Backward progress: 345332
Backward progress: 345302
Backward progress: 346590
Backward progress: 346176
Backward progress: 346170
Backward progress: 346194
Backward progress: 407099
Backward progress: 444242
Backward progress: 450330
Backward progress: 451827
Backward progress: 449903
Backward progress: 449115
Backward progress: 501425
Backward progress: 551463
Backward progress: 593677
Backward progress: 604903
Backward progress: 597620
Backward progress: 596075
Backward progress: 595574
Backward progress: 702255
Backward progress: 701947
Backward progress: 711119
Backward progress: 709384
Backward progress: 737449
Backward progress: 737694
Backward progress: 737684
Backward progress: 737231
Backward progress: 743526
Backward progress: 721965
Backward progress: 734017
Backward progress: 735116
Backward progress: 726308
Backward progress: 722996
Backward progress: 724542
Backward progress: 723609
Backward progress: 723529
Backward progress: 725227
Backward progress: 723569
Backward progress: 724828
Backward progress: 723104
Backward progress: 720802
Backward progress: 720898
Backward progress: 718458
Backward progress: 715146
Backward progress: 714366
Backward progress: 833222
Backward progress: 838446
Backward progress: 839786
Backward progress: 805329
Backward progress: 802842
Backward progress: 802662
Backward progress: 935151
Backward progress: 927591
Backward progress: 904957
Backward progress: 897409
Backward progress: 893268
Backward progress: 890639
Backward progress: 885075
Backward progress: 877679
Backward progress: 876139
Backward progress: 874832
Backward progress: 869887
Backward progress: 869831
Backward progress: 869097
Backward progress: 868735
Backward progress: 868101
Backward progress: 867630
Backward progress: 867817
Backward progress: 866784
Backward progress: 809779
Backward progress: 810250
Backward progress: 768953
Backward progress: 792737
Backward progress: 794164
Backward progress: 777243
Backward progress: 773427
Backward progress: 772006
Backward progress: 761563
Backward progress: 742320
Backward progress: 754624
Backward progress: 755164
Backward progress: 751982
Backward progress: 752302
Backward progress: 776573
Backward progress: 769862
Backward progress: 767896
Backward progress: 766243
Backward progress: 765162
Backward progress: 760786
Backward progress: 758784
Backward progress: 751045
Backward progress: 751859
Backward progress: 750483
Backward progress: 757661
Backward progress: 758194
Backward progress: 756228
Backward progress: 754768
Backward progress: 753681
Backward progress: 751119
Backward progress: 749801
Backward progress: 1296334
Backward progress: 1306657
Backward progress: 1315137
Backward progress: 1356994
Backward progress: 1342389
Backward progress: 1345519
Backward progress: 1309342
Backward progress: 1045396
Backward progress: 953978
Backward progress: 954383
Backward progress: 952558
Backward progress: 967372
Backward progress: 965699
Backward progress: 979907
Backward progress: 977638
Backward progress: 969465
Backward progress: 962979
Backward progress: 962979
Backward progress: 965887
Backward progress: 918052
Backward progress: 902422
Backward progress: 905404
Backward progress: 898744
Backward progress: 895402
Backward progress: 868949
Backward progress: 883360
Backward progress: 883720
Backward progress: 878515
Backward progress: 878259
Backward progress: 876763
Backward progress: 867708
Backward progress: 862392
Backward progress: 855579
Backward progress: 855179
Backward progress: 854345
Backward progress: 854710
Backward progress: 859794
Backward progress: 859698
Backward progress: 820333
Backward progress: 831284
Backward progress: 819121
Backward progress: 810809
Backward progress: 810803
Backward progress: 809069
Backward progress: 809847
Backward progress: 808511
Backward progress: 806464
Backward progress: 805905
Backward progress: 785736
Backward progress: 786858
Backward progress: 782760
Backward progress: 760844
Backward progress: 756800
Backward progress: 769568
Backward progress: 770878
Backward progress: 766386
Backward progress: 763938
Backward progress: 756342
Backward progress: 747116
Backward progress: 1486838
Backward progress: 1230361
Backward progress: 1245231
Backward progress: 1244931
Backward progress: 1104605
Backward progress: 1033782
Backward progress: 1006244
Backward progress: 1183702
Backward progress: 1187932
Backward progress: 1125987
Backward progress: 1103052
Backward progress: 1094719
Backward progress: 1088450
Backward progress: 1056312
Backward progress: 1041771
Backward progress: 1039472
Backward progress: 1036754
Backward progress: 1027627
Backward progress: 1027187
Backward progress: 1022692
Backward progress: 1024702
Backward progress: 1022692
Backward progress: 1020492
Backward progress: 1019227
Backward progress: 1018333
Backward progress: 1018149
Backward progress: 1016465
Backward progress: 959292
Backward progress: 956314
Backward progress: 952118
Backward progress: 949332
Backward progress: 948547
Backward progress: 948033
Backward progress: 950483
Backward progress: 951016
Backward progress: 949223
Backward progress: 948068
Backward progress: 947129
Backward progress: 945435
Backward progress: 946333
Backward progress: 946217
Backward progress: 952579
Backward progress: 953666
Backward progress: 954749
Backward progress: 954225
Backward progress: 950538
Backward progress: 950558
Backward progress: 950135
Backward progress: 948983
Backward progress: 947736
Backward progress: 948357
Backward progress: 948055
Backward progress: 946238
Backward progress: 946122
Backward progress: 947352
Backward progress: 947516
Backward progress: 952002
Backward progress: 952242
Backward progress: 949678
Backward progress: 952561
Backward progress: 953037
Backward progress: 951206
Backward progress: 951238
Backward progress: 950547
Backward progress: 950986
Backward progress: 953026
Backward progress: 950641
Backward progress: 947652
Backward progress: 946352
Backward progress: 945726
Backward progress: 853622
Backward progress: 1120063
Backward progress: 979130
Backward progress: 971720
Backward progress: 928594
Backward progress: 912021
Backward progress: 917158
Backward progress: 917691
Backward progress: 914158
Backward progress: 911015
Backward progress: 908921
Backward progress: 901768
Backward progress: 853802
Backward progress: 930699
Backward progress: 899339
Backward progress: 907281
Backward progress: 907814
Backward progress: 904355
Backward progress: 901367
Backward progress: 899339
Backward progress: 896025
Backward progress: 1195143
Backward progress: 1344117
Backward progress: 1478370
Backward progress: 1480417
Backward progress: 1480234
Backward progress: 1473535
Backward progress: 1463598
Backward progress: 1458960
Backward progress: 1478760
Backward progress: 1481052
Backward progress: 1493165
Backward progress: 1492949
Backward progress: 1490659
Backward progress: 1505497
Backward progress: 1505017
Backward progress: 1520883
Backward progress: 1519099
Backward progress: 1514362
Backward progress: 1513611
Backward progress: 1513735
Backward progress: 1510487
Backward progress: 1501968
Backward progress: 1500936
Backward progress: 1499943
Backward progress: 1497550
Backward progress: 1487986
Backward progress: 1497638
Backward progress: 1487670
Backward progress: 1485957
Backward progress: 1477457
Backward progress: 1473655
Backward progress: 1473877
Backward progress: 1479476
Backward progress: 1473204
Backward progress: 1481445
Backward progress: 1479875
Backward progress: 1477878
Backward progress: 1476631
Backward progress: 1475555
Backward progress: 1475555
Backward progress: 1471548
Backward progress: 1471116
Backward progress: 1463586
Backward progress: 1467792
Backward progress: 1467944
Backward progress: 1464974
Backward progress: 1461554
Backward progress: 1455226
Backward progress: 1546490
Backward progress: 1521561
Backward progress: 1493520
Backward progress: 1493485
Backward progress: 1493752
Backward progress: 1493848
Backward progress: 1490988
Backward progress: 1488577
Backward progress: 1481751
Backward progress: 1476666
Backward progress: 1429386
Backward progress: 1436010
Backward progress: 1307602
Backward progress: 1314913
Backward progress: 1321993
Backward progress: 1321646
Backward progress: 1323332
Backward progress: 1323530
Backward progress: 1315996
Backward progress: 1282572
Backward progress: 1280734
Backward progress: 1272961
Backward progress: 1291433
Backward progress: 1296751
Backward progress: 1301865
Backward progress: 1301945
Backward progress: 1300142
Backward progress: 1315201
Backward progress: 1315399
Backward progress: 1312915
Backward progress: 1325223
Backward progress: 1325327
Backward progress: 1320159
Backward progress: 1317236
Backward progress: 1344631
Backward progress: 1357506
Backward progress: 1359581
Backward progress: 1359965
Backward progress: 1351184
Backward progress: 1350954
Backward progress: 1363775
Backward progress: 1383787
Backward progress: 1376969
Backward progress: 1375284
Backward progress: 1368148
Backward progress: 1357637
Backward progress: 1384851
Backward progress: 1384303
Backward progress: 1390175
Backward progress: 1387960
Backward progress: 1387740
Backward progress: 1382856
Backward progress: 1382309
Backward progress: 1374577
Backward progress: 1382053
Backward progress: 1382337
Backward progress: 1379094
Backward progress: 1378498
Backward progress: 1372971
Backward progress: 1367817
Backward progress: 1437064
Backward progress: 1423517
Backward progress: 1416023
Backward progress: 1486730
Backward progress: 1468187
Backward progress: 1492010
Backward progress: 1498618
Backward progress: 1500295
Backward progress: 1500633
Backward progress: 1501025
Backward progress: 1500459
Backward progress: 1509679
Backward progress: 1511816
Backward progress: 1513255
Backward progress: 1514003
Backward progress: 1514047
Backward progress: 1517516
Backward progress: 1520230
Backward progress: 1523711
Backward progress: 1520187
Backward progress: 1526093
Backward progress: 1525433
Backward progress: 1525891
Backward progress: 1530177
Backward progress: 1530257
Backward progress: 1529806
Backward progress: 1529904
Backward progress: 1529878
Backward progress: 1534390
Backward progress: 1534390
Backward progress: 1534667
Backward progress: 1534168
Backward progress: 1535499
Backward progress: 1531801
Backward progress: 1557503
Backward progress: 1425225
Backward progress: 1426849
Backward progress: 1426144
Backward progress: 1426468
Backward progress: 1426129
Backward progress: 1426120
Backward progress: 1427312
Backward progress: 1427336
Backward progress: 1427123
Backward progress: 1427098
Backward progress: 1426066
Backward progress: 1422363
Backward progress: 1418022
Backward progress: 1402913
Backward progress: 1535181
Backward progress: 1504894
Backward progress: 1506865
Backward progress: 1506893
Backward progress: 1497474
Backward progress: 1476738
Backward progress: 1488262
Backward progress: 1484223
Backward progress: 1486629
Backward progress: 1484310
Backward progress: 1482716
Backward progress: 1482534
Backward progress: 1482644
Backward progress: 1482668
Backward progress: 1481533
Backward progress: 1481452
Backward progress: 1481527
Backward progress: 1476194
Backward progress: 1447066
Backward progress: 1576634
Backward progress: 1484883
Backward progress: 1486491
Backward progress: 1484583
Backward progress: 1928852
Backward progress: 2040006
Backward progress: 2060939
Backward progress: 2045679
Backward progress: 2041285
Backward progress: 1996097
Backward progress: 1996189
Backward progress: 1996096
Backward progress: 1996041
Backward progress: 945838
Backward progress: 601801
Backward progress: 199819
Backward progress: 228654
Backward progress: 239549
Backward progress: 274692
Backward progress: 307834
Backward progress: 308323
Backward progress: 306877
Backward progress: 256763
Backward progress: 275357
Backward progress: 261046
Backward progress: 264227
Backward progress: 266292
Backward progress: 267482
Backward progress: 269705
Backward progress: 271171
Backward progress: 273720
Backward progress: 284917
Backward progress: 289048
Backward progress: 325648
Backward progress: 335876
Backward progress: 335097
Backward progress: 349762
Backward progress: 343199
Backward progress: 346521
Backward progress: 345595
Backward progress: 300809
Backward progress: 304657
Backward progress: 302941
Backward progress: 310628
Backward progress: 283563
Backward progress: 293254
Backward progress: 293346
Backward progress: 290457
Backward progress: 290391
Backward progress: 289031
Backward progress: 282320
Backward progress: 280198
Backward progress: 294334
Backward progress: 280198
Backward progress: 280198
Backward progress: 184364
Backward progress: 226425
Backward progress: 241690
Backward progress: 190072
Backward progress: 197328
Backward progress: 197420
Backward progress: 192474
Backward progress: 192389
Backward progress: 189985
Backward progress: 182049
Backward progress: 179209
Backward progress: 179758
Backward progress: 179053
Backward progress: 177404
Backward progress: 170450
Backward progress: 163944
Backward progress: 162502
Backward progress: 167199
Backward progress: 162502
Backward progress: 164808
Backward progress: 148618
Backward progress: 150998
Backward progress: 151294
Backward progress: 151848
Backward progress: 151847
Backward progress: 153832
Backward progress: 153951
Backward progress: 155798
Backward progress: 155806
Backward progress: 155398
Backward progress: 154858
Backward progress: 158323
Backward progress: 158345
Backward progress: 158522
Backward progress: 158464
Backward progress: 158585
Backward progress: 158985
Backward progress: 158989
Backward progress: 158869
Backward progress: 158583
Backward progress: 158554
Backward progress: 168454
Backward progress: 168554
Backward progress: 168506
Backward progress: 167938
Backward progress: 167352
Backward progress: 173421
Backward progress: 173421
Backward progress: 105896
Backward progress: 146755
Backward progress: 162537
Backward progress: 152199
Backward progress: 158639
Backward progress: 175238
Backward progress: 167941
Backward progress: 167957
Backward progress: 168519
Backward progress: 178078
Backward progress: 196615
Backward progress: 196898
Backward progress: 196825
Backward progress: 196875
Backward progress: 191531
Backward progress: 196470
Backward progress: 205266
Backward progress: 201055
Backward progress: 204659
Backward progress: 204498
Backward progress: 203584
Backward progress: 205345
Backward progress: 205233
Backward progress: 204008
Backward progress: 206142
Backward progress: 203845
Backward progress: 203845
Backward progress: 203207
Backward progress: 201466
Backward progress: 201086
Backward progress: 200538
Backward progress: 198935
Backward progress: 231258
Backward progress: 228729
Backward progress: 247790
Backward progress: 233641
Backward progress: 232416
Backward progress: 232902
Backward progress: 226682
Backward progress: 210305
Backward progress: 213637
Backward progress: 212605
Backward progress: 213283
Backward progress: 207640
Backward progress: 209486
Backward progress: 209810
Backward progress: 210170
Backward progress: 212321
Backward progress: 212099
Backward progress: 212941
Backward progress: 212733
Backward progress: 212473
Backward progress: 192276
Backward progress: 192798
Backward progress: 195339
Backward progress: 194293
Backward progress: 189615
Backward progress: 197541
Backward progress: 199569
Backward progress: 206799
Backward progress: 211335
Backward progress: 205733
Backward progress: 206326
Backward progress: 207919
Backward progress: 207991
Backward progress: 207975
Backward progress: 208367
Backward progress: 212710
Backward progress: 216638
Backward progress: 216653
Backward progress: 216580
Backward progress: 216539
Backward progress: 215602
Backward progress: 218987
Backward progress: 221699
Backward progress: 222167
Backward progress: 222971
Backward progress: 222902
Backward progress: 222380
Backward progress: 223050
Backward progress: 223000
Backward progress: 222440
Backward progress: 222790
Backward progress: 222211
Backward progress: 222163
Backward progress: 221804
Backward progress: 222500
Backward progress: 222236
Backward progress: 221948
Backward progress: 224853
Backward progress: 224091
Backward progress: 227439
Backward progress: 224814
Backward progress: 224445
Backward progress: 224606
Backward progress: 222950
Backward progress: 224531
Backward progress: 224356
Backward progress: 224711
Backward progress: 223074
Backward progress: 223880
Backward progress: 223909
Backward progress: 224077
Backward progress: 225432
Backward progress: 224853
Backward progress: 224919
Backward progress: 224776
Backward progress: 224607
Backward progress: 224163
Backward progress: 224274
Backward progress: 225855
Backward progress: 225121
Backward progress: 222417
Backward progress: 312734
Backward progress: 366563
Backward progress: 458770
Backward progress: 466294
Backward progress: 491290
Backward progress: 485838
Backward progress: 486672
Backward progress: 486265
Backward progress: 465347
Backward progress: 481740
Backward progress: 527581
Backward progress: 529808
Backward progress: 538104
Backward progress: 567851
Backward progress: 561282
Backward progress: 560246
Backward progress: 570995
Backward progress: 642046
Backward progress: 657723
Backward progress: 622152
Backward progress: 704482
Backward progress: 675351
Backward progress: 682986
Backward progress: 674357
Backward progress: 675084
Backward progress: 652999
Backward progress: 635448
Backward progress: 619853
Backward progress: 610833
Backward progress: 609987
Backward progress: 623961
Backward progress: 636903
Backward progress: 629925
Backward progress: 629905
Backward progress: 629525
Backward progress: 630727
Backward progress: 638882
Backward progress: 643023
Backward progress: 677988
Backward progress: 677946
Backward progress: 677861
Backward progress: 678297
Backward progress: 678489
Backward progress: 727588
Backward progress: 728618
Backward progress: 724961
Backward progress: 721058
Backward progress: 721041
Backward progress: 721174
Backward progress: 721166
Backward progress: 721250
Backward progress: 721251
Backward progress: 752024
Backward progress: 643761
Backward progress: 642433
Backward progress: 625668
Backward progress: 621563
Backward progress: 616018
Backward progress: 613044
Backward progress: 613438
Backward progress: 615082
Backward progress: 611223
Backward progress: 597294
Backward progress: 581700
Backward progress: 581283
Backward progress: 569267
Backward progress: 565279
Backward progress: 568836
Backward progress: 566952
Backward progress: 575671
Backward progress: 575644
Backward progress: 542711
Backward progress: 542731
Backward progress: 551656
Backward progress: 551684
Backward progress: 548040
Backward progress: 548034
Backward progress: 548030
Backward progress: 546760
Backward progress: 546760
Backward progress: 538701
Backward progress: 535869
Backward progress: 535812
Backward progress: 535792
Backward progress: 535656
Backward progress: 545374
Backward progress: 543601
Backward progress: 549589
Backward progress: 588731
Backward progress: 534579
Backward progress: 535267
Backward progress: 535389
Backward progress: 535382
Backward progress: 535399
Backward progress: 535401
Backward progress: 535317
Backward progress: 535323
Backward progress: 535221
Backward progress: 535333
Backward progress: 535405
Backward progress: 535411
Backward progress: 535325
Backward progress: 537015
Backward progress: 545728
Backward progress: 546832
Backward progress: 703987
Backward progress: 704238
Backward progress: 612460
Backward progress: 609316
Backward progress: 619431
Backward progress: 619439
Backward progress: 611505
Backward progress: 611468
Backward progress: 609140
Backward progress: 595355
Backward progress: 603200
Backward progress: 603206
Backward progress: 610854
Backward progress: 602288
Backward progress: 604589
Backward progress: 594211
Backward progress: 579902
Backward progress: 578289
Backward progress: 484154
Backward progress: 469142
Backward progress: 474621
Backward progress: 469280
Backward progress: 472397
Backward progress: 457801
Backward progress: 459171
Backward progress: 459380
Backward progress: 459726
Backward progress: 459731
Backward progress: 461087
Backward progress: 461103
Backward progress: 462529
Backward progress: 462533
Backward progress: 462115
Backward progress: 461571
Backward progress: 463554
Backward progress: 463500
Backward progress: 463609
Backward progress: 463543
Backward progress: 463688
Backward progress: 464038
Backward progress: 464042
Backward progress: 463932
Backward progress: 463657
Backward progress: 463558
Backward progress: 473337
Backward progress: 473318
Backward progress: 473262
Backward progress: 473267
Backward progress: 472772
Backward progress: 471444
Backward progress: 463808
Backward progress: 463186
Backward progress: 463057
Backward progress: 462926
Backward progress: 461794
Backward progress: 488340
Backward progress: 477526
Backward progress: 316881
Backward progress: 316194
Backward progress: 313019
Backward progress: 317383
Backward progress: 320452
Backward progress: 313912
Backward progress: 311040
Backward progress: 311587
Backward progress: 309794
Backward progress: 309767
Backward progress: 309740
Backward progress: 310397
Backward progress: 306321
Backward progress: 306288
Backward progress: 306252
Backward progress: 298170
Backward progress: 293864
Backward progress: 295803
Backward progress: 304410
Backward progress: 308020
Backward progress: 317022
Backward progress: 316984
Backward progress: 317842
Backward progress: 318657
Backward progress: 318656
Backward progress: 318824
Backward progress: 320112
Backward progress: 319815
Backward progress: 309145
Backward progress: 309085
Backward progress: 308998
Backward progress: 309976
Backward progress: 306750
Backward progress: 314612
Backward progress: 311426
Backward progress: 313651
Backward progress: 313341
Backward progress: 313737
Backward progress: 314268
Backward progress: 314151
Backward progress: 314187
Backward progress: 315030
Backward progress: 314691
Backward progress: 314643
Backward progress: 314574
Backward progress: 315075
Backward progress: 311520
Backward progress: 311520
Forward closed progress: 268269
Forward closed progress: 270591
Forward closed progress: 356807
Forward closed progress: 242271
Forward closed progress: 225412
Forward closed progress: 223104
Forward closed progress: 224902
Forward closed progress: 214310
Forward closed progress: 178463
Forward closed progress: 180046
Forward closed progress: 180244
Forward closed progress: 141907
Forward closed progress: 134386
Forward closed progress: 131357
Forward closed progress: 133171
Forward closed progress: 133349
Forward closed progress: 129679
Forward closed progress: 129691
Forward closed progress: 130904
Forward closed progress: 128045
Forward closed progress: 127774
Forward closed progress: 119137
Forward closed progress: 119347
Forward closed progress: 110926
Forward closed progress: 114295
Forward closed progress: 137723
Forward closed progress: 137646
Forward closed progress: 137669
Forward closed progress: 137669
Forward closed progress: 111083
Forward closed progress: 112112
Forward closed progress: 109080
Control exists for 151495440 color(s), jumping through 8 vertices.
Elapsed: 7337176 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 7337.176
user ??
sys ??
