>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 229249440
Perturbation colors: 9007199254740992
All colors: 2064895385117789800000000
Unknown update functions: 5
Lowest cardinality: 1
Highest cardinality: 5
Backward progress: 100070
Backward progress: 121178
Backward progress: 100091
Backward progress: 121012
Backward progress: 137269
Backward progress: 137207
Backward progress: 137820
Backward progress: 137798
Backward progress: 137875
Backward progress: 137856
Backward progress: 137854
Backward progress: 143699
Backward progress: 143668
Backward progress: 139210
Backward progress: 139234
Backward progress: 165539
Backward progress: 164477
Backward progress: 164291
Backward progress: 164335
Backward progress: 164347
Backward progress: 164002
Backward progress: 142988
Backward progress: 159892
Backward progress: 117213
Backward progress: 130400
Backward progress: 150481
Backward progress: 137449
Backward progress: 143819
Backward progress: 145922
Backward progress: 145941
Backward progress: 145925
Backward progress: 143604
Backward progress: 143582
Backward progress: 145847
Backward progress: 144246
Backward progress: 144058
Backward progress: 143862
Backward progress: 143902
Backward progress: 143910
Backward progress: 143840
Backward progress: 112446
Backward progress: 110953
Backward progress: 108914
Backward progress: 110582
Backward progress: 110041
Backward progress: 111433
Backward progress: 121574
Backward progress: 122637
Backward progress: 121339
Backward progress: 119988
Backward progress: 120538
Backward progress: 120533
Backward progress: 120523
Backward progress: 120482
Backward progress: 122682
Backward progress: 112721
Backward progress: 113929
Backward progress: 103628
Backward progress: 100787
Backward progress: 100872
Backward progress: 101702
Backward progress: 100904
Backward progress: 102172
Backward progress: 103956
Backward progress: 103675
Backward progress: 102320
Backward progress: 100908
Backward progress: 100888
Backward progress: 101138
Backward progress: 111620
Backward progress: 105473
Backward progress: 101266
Backward progress: 112989
Backward progress: 108448
Backward progress: 100754
FWD-attractor: 112751
FWD-attractor: 119709
FWD-attractor: 132506
FWD-attractor: 143921
FWD-attractor: 146259
FWD-attractor: 153182
FWD-attractor: 157852
FWD-attractor: 130601
FWD-attractor: 160170
FWD-attractor: 159046
FWD-attractor: 156657
FWD-attractor: 160185
FWD-attractor: 166264
FWD-attractor: 151463
FWD-attractor: 152656
FWD-attractor: 155880
FWD-attractor: 145997
FWD-attractor: 144632
FWD-attractor: 143543
FWD-attractor: 139165
FWD-attractor: 134745
FWD-attractor: 131599
FWD-attractor: 132168
FWD-attractor: 136877
FWD-attractor: 136121
FWD-attractor: 136373
FWD-attractor: 126569
FWD-attractor: 173979
FWD-attractor: 169987
FWD-attractor: 144533
FWD-attractor: 139853
FWD-attractor: 139604
FWD-attractor: 140082
FWD-attractor: 145377
FWD-attractor: 139900
FWD-attractor: 141520
FWD-attractor: 139920
FWD-attractor: 142861
FWD-attractor: 143196
FWD-attractor: 142582
FWD-attractor: 142736
FWD-attractor: 138900
FWD-attractor: 135271
FWD-attractor: 131345
FWD-attractor: 130498
FWD-attractor: 136531
FWD-attractor: 139697
FWD-attractor: 140233
FWD-attractor: 140137
FWD-attractor: 139642
FWD-attractor: 140460
FWD-attractor: 143524
FWD-attractor: 143351
FWD-attractor: 144403
FWD-attractor: 144693
FWD-attractor: 143477
FWD-attractor: 143263
FWD-attractor: 143849
FWD-attractor: 143865
FWD-attractor: 142164
FWD-attractor: 143275
FWD-attractor: 144326
FWD-attractor: 143112
FWD-attractor: 143768
FWD-attractor: 143891
FWD-attractor: 146791
FWD-attractor: 145695
FWD-attractor: 148467
FWD-attractor: 149401
FWD-attractor: 150254
FWD-attractor: 149590
FWD-attractor: 150171
FWD-attractor: 149755
FWD-attractor: 150346
FWD-attractor: 150840
FWD-attractor: 150601
FWD-attractor: 150642
FWD-attractor: 150064
FWD-attractor: 149566
FWD-attractor: 148732
FWD-attractor: 148651
FWD-attractor: 148619
FWD-attractor: 236785
FWD-attractor: 198391
FWD-attractor: 188270
FWD-attractor: 172035
Attractor colors: 414310647318183300000000
Attractor colors computed in 419813 ms.
Backward progress: 115705
Backward progress: 118834
Backward progress: 107710
Backward progress: 112945
Backward progress: 113690
Backward progress: 102737
Backward progress: 116733
Backward progress: 106760
Backward progress: 105578
Backward progress: 103464
Backward progress: 103568
Backward progress: 103568
Backward progress: 170133
Backward progress: 156139
Backward progress: 156115
Backward progress: 154091
Backward progress: 155091
Backward progress: 190918
Backward progress: 203338
Backward progress: 204146
Backward progress: 204230
Backward progress: 204188
Backward progress: 199785
Backward progress: 221343
Backward progress: 229122
Backward progress: 227141
Backward progress: 227225
Backward progress: 202682
Backward progress: 193681
Backward progress: 213582
Backward progress: 214918
Backward progress: 215336
Backward progress: 215344
Backward progress: 215100
Backward progress: 216853
Backward progress: 221226
Backward progress: 225055
Backward progress: 233285
Backward progress: 233460
Backward progress: 233186
Backward progress: 233799
Backward progress: 234498
Backward progress: 234787
Backward progress: 234766
Backward progress: 234656
Backward progress: 234309
Backward progress: 254195
Backward progress: 255174
Backward progress: 252900
Backward progress: 252560
Backward progress: 252405
Backward progress: 252514
Backward progress: 254366
Backward progress: 248709
Backward progress: 249391
Backward progress: 249807
Backward progress: 249210
Backward progress: 249025
Backward progress: 240319
Backward progress: 225361
Backward progress: 224464
Backward progress: 224197
Backward progress: 224984
Backward progress: 223873
Backward progress: 224290
Backward progress: 223911
Backward progress: 223507
Backward progress: 222065
Backward progress: 218379
Backward progress: 217640
Backward progress: 218508
Backward progress: 218556
Backward progress: 218064
Backward progress: 217640
Backward progress: 222678
Backward progress: 222720
Backward progress: 219145
Backward progress: 219110
Backward progress: 224236
Backward progress: 224180
Backward progress: 222588
Backward progress: 222564
Backward progress: 222208
Backward progress: 219865
Backward progress: 220013
Backward progress: 218695
Backward progress: 219757
Backward progress: 219805
Backward progress: 219193
Backward progress: 218437
Backward progress: 216181
Backward progress: 216142
Backward progress: 215983
Backward progress: 216501
Backward progress: 216027
Backward progress: 216012
Backward progress: 215806
Backward progress: 222241
Backward progress: 219472
Backward progress: 220363
Backward progress: 189367
Backward progress: 186217
Backward progress: 250809
Backward progress: 235164
Backward progress: 235536
Backward progress: 229881
Backward progress: 223307
Backward progress: 228914
Backward progress: 229006
Backward progress: 225068
Backward progress: 220940
Backward progress: 217178
Backward progress: 216334
Backward progress: 216116
Backward progress: 215912
Backward progress: 215423
Backward progress: 198336
Backward progress: 176590
Backward progress: 188363
Backward progress: 184465
Backward progress: 184255
Backward progress: 183014
Backward progress: 183020
Backward progress: 183020
Backward progress: 178980
Backward progress: 170566
Backward progress: 170567
Backward progress: 244659
Backward progress: 328840
Backward progress: 380286
Backward progress: 405186
Backward progress: 397283
Backward progress: 399575
Backward progress: 394257
Backward progress: 242200
Backward progress: 224996
Backward progress: 231699
Backward progress: 231693
Backward progress: 234940
Backward progress: 234128
Backward progress: 236338
Backward progress: 237213
Backward progress: 233774
Backward progress: 233496
Backward progress: 234390
Backward progress: 235997
Backward progress: 235658
Backward progress: 190127
Backward progress: 191221
Backward progress: 189275
Backward progress: 191299
Backward progress: 186539
Backward progress: 190009
Backward progress: 190572
Backward progress: 189386
Backward progress: 188160
Backward progress: 185630
Backward progress: 185375
Backward progress: 188516
Backward progress: 198226
Backward progress: 174204
Backward progress: 177449
Backward progress: 178012
Backward progress: 176118
Backward progress: 174176
Backward progress: 170568
Backward progress: 170574
Backward progress: 221186
Backward progress: 220528
Backward progress: 220600
Backward progress: 218319
Backward progress: 219050
Backward progress: 218096
Backward progress: 216368
Backward progress: 217481
Backward progress: 217058
Backward progress: 214878
Backward progress: 215111
Backward progress: 213469
Backward progress: 213278
Backward progress: 211556
Backward progress: 209958
Backward progress: 209490
Backward progress: 209493
Backward progress: 206971
Backward progress: 206971
Backward progress: 206333
Backward progress: 213064
Backward progress: 210720
Backward progress: 209343
Backward progress: 209478
Backward progress: 207289
Backward progress: 191386
Backward progress: 217652
Backward progress: 245923
Backward progress: 249245
Backward progress: 248496
Backward progress: 248914
Backward progress: 245994
Backward progress: 245442
Backward progress: 244965
Backward progress: 243399
Backward progress: 243759
Backward progress: 243366
Backward progress: 237716
Backward progress: 238026
Backward progress: 237149
Backward progress: 235948
Backward progress: 234604
Backward progress: 233659
Backward progress: 233262
Backward progress: 232656
Backward progress: 230579
Backward progress: 236153
Backward progress: 232484
Backward progress: 224863
Backward progress: 233153
Backward progress: 231645
Backward progress: 230325
Backward progress: 230421
Backward progress: 229158
Backward progress: 216571
Backward progress: 238423
Backward progress: 238423
Backward progress: 238424
Backward progress: 372685
Backward progress: 373597
Backward progress: 457038
Backward progress: 446619
Backward progress: 448450
Backward progress: 442688
Backward progress: 473583
Backward progress: 495849
Backward progress: 253856
Backward progress: 301467
Backward progress: 303144
Backward progress: 304020
Backward progress: 278740
Backward progress: 262461
Backward progress: 248431
Backward progress: 424883
Backward progress: 384328
Backward progress: 355520
Backward progress: 305059
Backward progress: 295902
Backward progress: 295749
Backward progress: 295146
Backward progress: 277102
Backward progress: 287534
Backward progress: 278106
Backward progress: 278977
Backward progress: 281735
Backward progress: 281730
Backward progress: 285945
Backward progress: 286467
Backward progress: 286186
Backward progress: 285884
Backward progress: 284994
Backward progress: 285338
Backward progress: 285114
Backward progress: 286119
Backward progress: 285734
Backward progress: 243658
Backward progress: 295882
Backward progress: 298867
Backward progress: 296434
Backward progress: 244328
Backward progress: 243944
Backward progress: 238426
Backward progress: 238425
Backward progress: 238436
Backward progress: 319329
Backward progress: 463970
Backward progress: 498391
Backward progress: 498394
Backward progress: 498405
Backward progress: 977672
Backward progress: 1113472
Backward progress: 843285
Backward progress: 822926
Backward progress: 823357
Backward progress: 819379
Backward progress: 721432
Backward progress: 746335
Backward progress: 740374
Backward progress: 749650
Backward progress: 753309
Backward progress: 768995
Backward progress: 782610
Backward progress: 810349
Backward progress: 868651
Backward progress: 866963
Backward progress: 865525
Backward progress: 865525
Backward progress: 873286
Backward progress: 870807
Backward progress: 768198
Backward progress: 776502
Backward progress: 771605
Backward progress: 783121
Backward progress: 752375
Backward progress: 777204
Backward progress: 777763
Backward progress: 770580
Backward progress: 770040
Backward progress: 767092
Backward progress: 750942
Backward progress: 750530
Backward progress: 752121
Backward progress: 750574
Backward progress: 672467
Backward progress: 732725
Backward progress: 770166
Backward progress: 689389
Backward progress: 706087
Backward progress: 706574
Backward progress: 694812
Backward progress: 694239
Backward progress: 689184
Backward progress: 675110
Backward progress: 664234
Backward progress: 656038
Backward progress: 655886
Backward progress: 657447
Backward progress: 661311
Backward progress: 657487
Backward progress: 634147
Backward progress: 634147
Backward progress: 498406
Backward progress: 622973
Backward progress: 693455
Backward progress: 697461
Backward progress: 698507
Backward progress: 718676
Backward progress: 758300
Backward progress: 790517
Backward progress: 776868
Backward progress: 776868
Backward progress: 775035
Backward progress: 777485
Backward progress: 778013
Backward progress: 778125
Backward progress: 772320
Backward progress: 799578
Backward progress: 825550
Backward progress: 822581
Backward progress: 808181
Backward progress: 819942
Backward progress: 819414
Backward progress: 819746
Backward progress: 818404
Backward progress: 818580
Backward progress: 807607
Backward progress: 809553
Backward progress: 813483
Backward progress: 1335925
Backward progress: 1126272
Backward progress: 1199192
Backward progress: 1130858
Backward progress: 1117148
Backward progress: 1116608
Backward progress: 1113514
Backward progress: 1164013
Backward progress: 1033621
Backward progress: 1028062
Backward progress: 1145382
Backward progress: 1057562
Backward progress: 1057544
Backward progress: 1055490
Backward progress: 1060023
Backward progress: 1075566
Backward progress: 1093573
Backward progress: 1092710
Backward progress: 1116997
Backward progress: 1115925
Backward progress: 1115931
Backward progress: 1115943
Backward progress: 1201910
Backward progress: 1201232
Backward progress: 1200340
Backward progress: 1200175
Backward progress: 1200157
Backward progress: 1200163
Backward progress: 1200075
Backward progress: 1248247
Backward progress: 1357385
Backward progress: 1362248
Backward progress: 1362166
Backward progress: 1362262
Backward progress: 1362052
Backward progress: 1371134
Backward progress: 1367414
Backward progress: 1367258
Backward progress: 1368907
Backward progress: 1379107
Backward progress: 1406681
Backward progress: 1168375
Backward progress: 1184211
Backward progress: 1181280
Backward progress: 1169211
Backward progress: 1174135
Backward progress: 1176344
Backward progress: 1183946
Backward progress: 1184593
Backward progress: 1180701
Backward progress: 1175153
Backward progress: 1174954
Backward progress: 1192875
Backward progress: 1193025
Backward progress: 1185230
Backward progress: 1187825
Backward progress: 1188884
Backward progress: 1187068
Backward progress: 1192678
Backward progress: 1187781
Backward progress: 1530804
Backward progress: 1527503
Backward progress: 1539087
Backward progress: 1543476
Backward progress: 1539348
Backward progress: 1543457
Backward progress: 1562852
Backward progress: 1562881
Backward progress: 1502034
Backward progress: 1502354
Backward progress: 1540220
Backward progress: 1540737
Backward progress: 1530850
Backward progress: 1530291
Backward progress: 1526243
Backward progress: 1501037
Backward progress: 1500438
Backward progress: 1493248
Backward progress: 1495403
Backward progress: 1494635
Backward progress: 1643933
Backward progress: 1632122
Backward progress: 1666437
Backward progress: 1662617
Backward progress: 1825304
Backward progress: 1808137
Backward progress: 1818305
Backward progress: 1851920
Backward progress: 1851747
Backward progress: 1914927
Backward progress: 2018767
Backward progress: 2073180
Backward progress: 2239443
Backward progress: 2238327
Backward progress: 2238729
Backward progress: 2236796
Backward progress: 2239700
Backward progress: 2234863
Backward progress: 2234907
Backward progress: 2316708
Backward progress: 2331728
Backward progress: 2334002
Backward progress: 2373488
Backward progress: 2368512
Backward progress: 2368492
Backward progress: 2361873
Backward progress: 2279339
Backward progress: 2612973
Backward progress: 2694809
Backward progress: 2646779
Backward progress: 2640163
Backward progress: 2630145
Backward progress: 2630277
Backward progress: 2577640
Backward progress: 2643313
Backward progress: 2701623
Backward progress: 2701113
Backward progress: 2701614
Backward progress: 2733254
Backward progress: 2736897
Backward progress: 2671133
Backward progress: 2685287
Backward progress: 2712304
Backward progress: 2717102
Backward progress: 2717185
Backward progress: 2711498
Backward progress: 2895777
Backward progress: 2894808
Backward progress: 2840422
Backward progress: 2838411
Backward progress: 2874595
Backward progress: 2876065
Backward progress: 3117954
Backward progress: 3338569
Backward progress: 3351766
Backward progress: 3357346
Backward progress: 3346667
Backward progress: 3344427
Backward progress: 3491385
Backward progress: 3605771
Backward progress: 3748800
Backward progress: 3734093
Backward progress: 3721418
Backward progress: 3715509
Backward progress: 3933221
Backward progress: 3933032
Backward progress: 3932799
Backward progress: 3932114
Backward progress: 3975019
Backward progress: 3971591
Backward progress: 3854241
Backward progress: 3899166
Backward progress: 3899794
Backward progress: 3856887
Backward progress: 3843460
Backward progress: 3818386
Backward progress: 3794522
Backward progress: 4003476
Backward progress: 3984088
Backward progress: 3829210
Backward progress: 3826245
Backward progress: 4325460
Backward progress: 4323267
Backward progress: 4213707
Backward progress: 4205631
Backward progress: 4160120
Backward progress: 4154715
Backward progress: 4136557
Backward progress: 4121032
Backward progress: 3853805
Backward progress: 3858093
Backward progress: 3726962
Backward progress: 3807773
Backward progress: 3809161
Backward progress: 3730241
Backward progress: 3700481
Backward progress: 3676134
Backward progress: 3674596
Backward progress: 3653813
Backward progress: 3681252
Backward progress: 3677347
Backward progress: 3677531
Backward progress: 3656376
Backward progress: 5828964
Backward progress: 6282405
Backward progress: 5160782
Backward progress: 5184625
Backward progress: 4935506
Backward progress: 4937787
Backward progress: 4875972
Backward progress: 4908662
Backward progress: 4597058
Backward progress: 4649042
Backward progress: 4575652
Backward progress: 4579364
Backward progress: 4584896
Backward progress: 4700219
Backward progress: 4671571
Backward progress: 4736702
Backward progress: 4724338
Backward progress: 4626111
Backward progress: 4605734
Backward progress: 4605734
Backward progress: 4615194
Backward progress: 4266481
Backward progress: 4164823
Backward progress: 4193785
Backward progress: 4156184
Backward progress: 4105530
Backward progress: 3982907
Backward progress: 4074019
Backward progress: 4074802
Backward progress: 4047782
Backward progress: 4047241
Backward progress: 4037348
Backward progress: 3982079
Backward progress: 3950642
Backward progress: 3912859
Backward progress: 3927251
Backward progress: 3917523
Backward progress: 3921610
Backward progress: 3936226
Backward progress: 3934431
Backward progress: 3842836
Backward progress: 3859995
Backward progress: 3836221
Backward progress: 3809264
Backward progress: 3809450
Backward progress: 3803428
Backward progress: 3807341
Backward progress: 3802801
Backward progress: 3797528
Backward progress: 3803724
Backward progress: 3756525
Backward progress: 3763432
Backward progress: 3752042
Backward progress: 3674669
Backward progress: 3666508
Backward progress: 3720218
Backward progress: 3720780
Backward progress: 3701337
Backward progress: 3697979
Backward progress: 3665410
Backward progress: 3641632
Backward progress: 5606331
Backward progress: 4986674
Backward progress: 5073041
Backward progress: 4556843
Backward progress: 4346530
Backward progress: 4935704
Backward progress: 4940154
Backward progress: 4624666
Backward progress: 4597671
Backward progress: 4488378
Backward progress: 4411241
Backward progress: 4357138
Backward progress: 4323876
Backward progress: 4062606
Backward progress: 4010866
Backward progress: 4000055
Backward progress: 4000002
Backward progress: 4011213
Backward progress: 4011362
Backward progress: 4015231
Backward progress: 4013293
Backward progress: 4017439
Backward progress: 4016487
Backward progress: 4015479
Backward progress: 4015499
Backward progress: 4015228
Backward progress: 4023539
Backward progress: 4008348
Backward progress: 4011762
Backward progress: 4012017
Backward progress: 4011872
Backward progress: 4011358
Backward progress: 4031973
Backward progress: 4033866
Backward progress: 4051317
Backward progress: 4051437
Backward progress: 4050897
Backward progress: 4054608
Backward progress: 4056980
Backward progress: 4056320
Backward progress: 4056332
Backward progress: 4055870
Backward progress: 4058264
Backward progress: 4063988
Backward progress: 4059444
Backward progress: 4042593
Backward progress: 4024548
Backward progress: 4018088
Backward progress: 3761357
Backward progress: 4223540
Backward progress: 3905908
Backward progress: 3880379
Backward progress: 3858314
Backward progress: 3846757
Backward progress: 3688426
Backward progress: 4720391
Backward progress: 4787052
Backward progress: 4221293
Backward progress: 4220636
Backward progress: 4211541
Backward progress: 4211577
Backward progress: 4175590
Backward progress: 4253536
Backward progress: 4242330
Backward progress: 4238140
Backward progress: 4232392
Backward progress: 4218801
Backward progress: 4220661
Backward progress: 4204060
Backward progress: 4191489
Backward progress: 4191525
Backward progress: 4177329
Backward progress: 4249523
Backward progress: 4249304
Backward progress: 4246621
Backward progress: 4246121
Backward progress: 4235537
Backward progress: 4243146
Backward progress: 4244675
Backward progress: 4237764
Backward progress: 4224388
Backward progress: 4216125
Backward progress: 4202145
Backward progress: 4200454
Backward progress: 4196598
Backward progress: 4185327
Backward progress: 4191574
Backward progress: 4186100
Backward progress: 4147127
Backward progress: 3971157
Backward progress: 3765735
Backward progress: 3769604
Backward progress: 3791252
Backward progress: 3790721
Backward progress: 3784945
Backward progress: 3784981
Backward progress: 3757964
Backward progress: 3722218
Backward progress: 3738093
Backward progress: 3679974
Backward progress: 3668768
Backward progress: 3665088
Backward progress: 3659478
Backward progress: 3647661
Backward progress: 3651429
Backward progress: 3637402
Backward progress: 3624695
Backward progress: 3624731
Backward progress: 3612053
Backward progress: 3627679
Backward progress: 3642326
Backward progress: 3642134
Backward progress: 3642158
Backward progress: 3635820
Backward progress: 3647602
Backward progress: 3660037
Backward progress: 3651379
Backward progress: 3643194
Backward progress: 3635015
Backward progress: 3625155
Backward progress: 3623478
Backward progress: 3619664
Backward progress: 3610523
Backward progress: 3693646
Backward progress: 3677717
Backward progress: 3744594
Backward progress: 3695517
Backward progress: 3707819
Backward progress: 3713647
Backward progress: 3713659
Backward progress: 3719615
Backward progress: 3729914
Backward progress: 3732340
Backward progress: 3735385
Backward progress: 3733340
Backward progress: 3740284
Backward progress: 3739162
Backward progress: 3740197
Backward progress: 3743178
Backward progress: 3743204
Backward progress: 3742221
Backward progress: 3742293
Backward progress: 3742301
Backward progress: 3742277
Backward progress: 3741170
Backward progress: 3757476
Backward progress: 3593401
Backward progress: 3597584
Backward progress: 3597534
Backward progress: 3598172
Backward progress: 3598012
Backward progress: 3598753
Backward progress: 3599466
Backward progress: 3599478
Backward progress: 3599248
Backward progress: 3598918
Backward progress: 3598932
Backward progress: 3628031
Backward progress: 3628283
Backward progress: 3628244
Backward progress: 3619452
Backward progress: 3618466
Backward progress: 3578586
Backward progress: 3596283
Backward progress: 3582510
Backward progress: 3501962
Backward progress: 3584389
Backward progress: 3612149
Backward progress: 3564928
Backward progress: 3551665
Backward progress: 3549207
Backward progress: 3530416
Backward progress: 2318512
Backward progress: 2151935
Backward progress: 2122471
Backward progress: 2605186
Backward progress: 1740791
Backward progress: 1768336
Backward progress: 1677259
Backward progress: 1678012
Backward progress: 1659882
Backward progress: 1661059
Backward progress: 1424179
Backward progress: 1480297
Backward progress: 1480279
Backward progress: 1454761
Backward progress: 1473954
Backward progress: 1500570
Backward progress: 1550794
Backward progress: 1563583
Backward progress: 1636430
Backward progress: 1635338
Backward progress: 1693217
Backward progress: 1689607
Backward progress: 1687644
Backward progress: 1687644
Backward progress: 1697773
Backward progress: 1694546
Backward progress: 1457922
Backward progress: 1475925
Backward progress: 1464567
Backward progress: 1480159
Backward progress: 1409980
Backward progress: 1459468
Backward progress: 1460027
Backward progress: 1445740
Backward progress: 1445196
Backward progress: 1439173
Backward progress: 1407605
Backward progress: 1406887
Backward progress: 1410263
Backward progress: 1404999
Backward progress: 1401915
Backward progress: 1317669
Backward progress: 1473209
Backward progress: 1533779
Backward progress: 1342613
Backward progress: 1387185
Backward progress: 1387672
Backward progress: 1356588
Backward progress: 1356015
Backward progress: 1342256
Backward progress: 1303388
Backward progress: 1284633
Backward progress: 1298482
Backward progress: 1298744
Backward progress: 1280541
Backward progress: 1257607
Backward progress: 1257072
Backward progress: 1208637
Backward progress: 1224142
Backward progress: 1208339
Backward progress: 1208737
Backward progress: 1175708
Backward progress: 1181430
Backward progress: 1183122
Backward progress: 1185253
Backward progress: 1185251
Backward progress: 1190499
Backward progress: 1191326
Backward progress: 1197003
Backward progress: 1197029
Backward progress: 1195194
Backward progress: 1192992
Backward progress: 1197260
Backward progress: 1197208
Backward progress: 1197858
Backward progress: 1197698
Backward progress: 1198455
Backward progress: 1199793
Backward progress: 1199805
Backward progress: 1199405
Backward progress: 1198757
Backward progress: 1198785
Backward progress: 1221526
Backward progress: 1221856
Backward progress: 1221778
Backward progress: 1219560
Backward progress: 1217630
Backward progress: 1215646
Backward progress: 1215646
Backward progress: 769116
Backward progress: 828973
Backward progress: 844604
Backward progress: 1087267
Backward progress: 1139668
Backward progress: 1225011
Backward progress: 1225941
Backward progress: 1232535
Backward progress: 1232561
Backward progress: 1232546
Backward progress: 1236049
Backward progress: 1210208
Backward progress: 1218162
Backward progress: 1228799
Backward progress: 1247903
Backward progress: 1231588
Backward progress: 1286666
Backward progress: 1291161
Backward progress: 1291055
Backward progress: 1302909
Backward progress: 1302907
Backward progress: 1302877
Backward progress: 1306327
Backward progress: 1306909
Backward progress: 1317497
Backward progress: 1318322
Backward progress: 1325243
Backward progress: 1326164
Backward progress: 1326189
Backward progress: 1346297
Backward progress: 1346577
Backward progress: 1346431
Backward progress: 1346297
Backward progress: 1332435
Backward progress: 1329831
Backward progress: 1328922
Backward progress: 1327366
Backward progress: 1338371
Backward progress: 1341813
Backward progress: 1342161
Backward progress: 1346739
Backward progress: 1346779
Backward progress: 1351602
Backward progress: 1364655
Backward progress: 1364879
Backward progress: 1364596
Backward progress: 1462058
Backward progress: 1515408
Backward progress: 1530907
Backward progress: 1527062
Backward progress: 1520421
Backward progress: 1520421
Backward progress: 1520069
Backward progress: 1512149
Backward progress: 1512505
Backward progress: 1508854
Backward progress: 1568420
Backward progress: 1576324
Backward progress: 1576545
Backward progress: 1574854
Backward progress: 1631011
Backward progress: 1698122
Backward progress: 1664933
Backward progress: 1715352
Backward progress: 1716042
Backward progress: 1692606
Backward progress: 1692606
Backward progress: 1692375
Backward progress: 1721203
Backward progress: 1716078
Backward progress: 1675717
Backward progress: 1675717
Backward progress: 1674835
Backward progress: 1694117
Backward progress: 1689723
Backward progress: 1689520
Backward progress: 1687182
Backward progress: 1674256
Backward progress: 1674269
Backward progress: 1676177
Backward progress: 1676371
Backward progress: 1676051
Backward progress: 1760718
Backward progress: 1771405
Backward progress: 1769737
Backward progress: 1827651
Backward progress: 1818936
Backward progress: 1820033
Backward progress: 1818788
Backward progress: 1833986
Backward progress: 1834607
Backward progress: 1819419
Backward progress: 1819322
Backward progress: 1824246
Backward progress: 1819051
Backward progress: 1812413
Backward progress: 1840359
Backward progress: 1829608
Backward progress: 1853192
Backward progress: 1858744
Backward progress: 1836335
Backward progress: 1836767
Backward progress: 1836767
Backward progress: 1814197
Backward progress: 1802767
Backward progress: 1803163
Backward progress: 1790717
Backward progress: 1790933
Backward progress: 1790717
Backward progress: 1785345
Backward progress: 1783680
Backward progress: 1745362
Backward progress: 1789952
Backward progress: 1789843
Backward progress: 1825634
Backward progress: 1827020
Backward progress: 1765459
Backward progress: 2101213
Backward progress: 2096198
Backward progress: 2096095
Backward progress: 2095957
Backward progress: 2114782
Backward progress: 2115419
Backward progress: 2115321
Backward progress: 2120111
Backward progress: 2123633
Backward progress: 2123687
Backward progress: 2123464
Backward progress: 2199024
Backward progress: 2199522
Backward progress: 2199703
Backward progress: 2198634
Backward progress: 2198444
Backward progress: 2198642
Backward progress: 2213204
Backward progress: 2206608
Backward progress: 2211407
Backward progress: 2212312
Backward progress: 2208173
Backward progress: 2142086
Backward progress: 2138350
Backward progress: 2138073
Backward progress: 2123768
Backward progress: 2121190
Backward progress: 2128309
Backward progress: 2132373
Backward progress: 2132702
Backward progress: 2132204
Backward progress: 2131467
Backward progress: 2133815
Backward progress: 2134107
Backward progress: 2137703
Backward progress: 2139415
Backward progress: 2139854
Backward progress: 2142820
Backward progress: 2139731
Backward progress: 2141205
Backward progress: 2131408
Backward progress: 2131544
Backward progress: 2130849
Backward progress: 2141245
Backward progress: 2141599
Backward progress: 2130798
Backward progress: 2130648
Backward progress: 2132998
Backward progress: 2130358
Backward progress: 2126442
Backward progress: 2126514
Backward progress: 2120961
Backward progress: 2121033
Backward progress: 2120961
Backward progress: 2118301
Backward progress: 1957543
Backward progress: 1979696
Backward progress: 1993767
Backward progress: 1994097
Backward progress: 1994718
Backward progress: 1992104
Backward progress: 1969535
Backward progress: 1985852
Backward progress: 1987236
Backward progress: 1995332
Backward progress: 1986320
Backward progress: 1993261
Backward progress: 1998813
Backward progress: 2004473
Backward progress: 2024755
Backward progress: 2024613
Backward progress: 2028170
Backward progress: 2024552
Backward progress: 2020856
Backward progress: 2020843
Backward progress: 2054688
Backward progress: 2054829
Backward progress: 2053992
Backward progress: 2051777
Backward progress: 2057684
Backward progress: 2055245
Backward progress: 2056141
Backward progress: 2054347
Backward progress: 2054271
Backward progress: 2032113
Backward progress: 2035558
Backward progress: 2034372
Backward progress: 2032397
Backward progress: 2031443
Backward progress: 2025357
Backward progress: 2024631
Backward progress: 2025860
Backward progress: 2017000
Backward progress: 2017000
Backward progress: 2012316
Backward progress: 2012582
Backward progress: 1987622
Backward progress: 1982482
Backward progress: 1728445
Backward progress: 1768173
Backward progress: 1760993
Backward progress: 1831318
Backward progress: 1840662
Backward progress: 1839414
Backward progress: 1838447
Backward progress: 1828576
Backward progress: 1832738
Backward progress: 1829248
Backward progress: 1828411
Backward progress: 1830625
Backward progress: 1828456
Backward progress: 1824258
Backward progress: 1822650
Backward progress: 1821080
Backward progress: 1856410
Backward progress: 1795991
Backward progress: 1753436
Backward progress: 1749452
Backward progress: 1801727
Backward progress: 1840301
Backward progress: 1842523
Backward progress: 1884295
Backward progress: 1859656
Backward progress: 1859672
Backward progress: 1855540
Backward progress: 1847985
Backward progress: 1880213
Backward progress: 1884161
Backward progress: 1883527
Backward progress: 1882945
Backward progress: 1887709
Backward progress: 1888065
Backward progress: 1901284
Backward progress: 1902020
Backward progress: 1900611
Backward progress: 1935449
Backward progress: 1965432
Backward progress: 1973280
Backward progress: 1970848
Backward progress: 1965739
Backward progress: 1965739
Backward progress: 1965352
Backward progress: 1950346
Backward progress: 1950534
Backward progress: 1944550
Backward progress: 1970943
Backward progress: 1985546
Backward progress: 1981925
Backward progress: 1996892
Backward progress: 1999520
Backward progress: 1989432
Backward progress: 1989432
Backward progress: 1988958
Backward progress: 1995920
Backward progress: 1997549
Backward progress: 1981740
Backward progress: 1981740
Backward progress: 1980830
Backward progress: 1986161
Backward progress: 1985195
Backward progress: 1984268
Backward progress: 1982916
Backward progress: 1976026
Backward progress: 1975859
Backward progress: 1977157
Backward progress: 1977265
Backward progress: 1975847
Backward progress: 1974353
Backward progress: 1976716
Backward progress: 1971340
Backward progress: 1968529
Backward progress: 1995774
Backward progress: 1993233
Backward progress: 2010866
Backward progress: 2011706
Backward progress: 2025824
Backward progress: 2118634
Backward progress: 2079818
Backward progress: 2081944
Backward progress: 2087989
Backward progress: 2088207
Backward progress: 2083590
Backward progress: 2092163
Backward progress: 2092764
Backward progress: 2095716
Backward progress: 2091937
Backward progress: 2096015
Backward progress: 2097839
Backward progress: 2100015
Backward progress: 2110916
Backward progress: 2110841
Backward progress: 2112376
Backward progress: 2110904
Backward progress: 2109402
Backward progress: 2029604
Backward progress: 2029902
Backward progress: 2042906
Backward progress: 2041392
Backward progress: 2040910
Backward progress: 2078000
Backward progress: 2112997
Backward progress: 2095781
Backward progress: 2098064
Backward progress: 2097964
Backward progress: 2097939
Backward progress: 2097287
Backward progress: 2099810
Backward progress: 2099810
Backward progress: 2100087
Backward progress: 2100087
Backward progress: 2096383
Backward progress: 2116351
Backward progress: 2116415
Backward progress: 2114705
Backward progress: 2114507
Backward progress: 2133421
Backward progress: 3164041
Backward progress: 3937938
Backward progress: 4774145
Backward progress: 5200546
Backward progress: 5588141
Backward progress: 5587550
Backward progress: 5603315
Backward progress: 5603202
Backward progress: 5595683
Backward progress: 5595633
Backward progress: 5595637
Backward progress: 5680253
Backward progress: 5783853
Backward progress: 7337433
Backward progress: 7415248
Backward progress: 7528950
Backward progress: 8233404
Backward progress: 8224590
Backward progress: 8223084
Backward progress: 8206381
Backward progress: 8206397
Backward progress: 8205635
Backward progress: 9006387
Backward progress: 8971364
Backward progress: 10227856
Backward progress: 7906675
Backward progress: 8914861
Backward progress: 10677308
Backward progress: 9379530
Backward progress: 9662881
Backward progress: 9607221
Backward progress: 9606095
Backward progress: 9606031
Backward progress: 9308598
Backward progress: 9307521
Backward progress: 9120614
Backward progress: 8902259
Backward progress: 8900386
Backward progress: 8897015
Backward progress: 8875563
Backward progress: 8875563
Backward progress: 8868724
Backward progress: 8693050
Backward progress: 9405927
Backward progress: 9386336
Backward progress: 9385452
Backward progress: 9373802
Backward progress: 9373812
Backward progress: 9360567
Backward progress: 9480167
Backward progress: 9567791
Backward progress: 9578578
Backward progress: 9833450
Backward progress: 9829244
Backward progress: 9827311
Backward progress: 9746913
Backward progress: 9755988
Backward progress: 9758855
Backward progress: 9759314
Backward progress: 9757757
Backward progress: 9757669
Backward progress: 9757626
Backward progress: 10802392
Backward progress: 10846553
Backward progress: 10743834
Backward progress: 10694539
Backward progress: 10697310
Backward progress: 10696809
Backward progress: 10695717
Backward progress: 10695900
Backward progress: 10700046
Backward progress: 10700328
Backward progress: 10698674
Backward progress: 11423321
Backward progress: 10794935
Backward progress: 10863048
Backward progress: 10343292
Backward progress: 10051493
Backward progress: 10051314
Backward progress: 10051286
Backward progress: 9940164
Backward progress: 9933529
Backward progress: 9945209
Backward progress: 9945142
Backward progress: 9938916
Backward progress: 9939080
Backward progress: 9938968
Backward progress: 9941667
Backward progress: 9936591
Backward progress: 9937196
Backward progress: 9936829
Backward progress: 9706663
Backward progress: 9706436
Backward progress: 9706079
Backward progress: 9466257
Backward progress: 9462862
Backward progress: 9348616
Backward progress: 9326446
Backward progress: 9242762
Backward progress: 9215722
Backward progress: 9218533
Backward progress: 9227473
Backward progress: 9226443
Backward progress: 8978452
Backward progress: 8978576
Backward progress: 9133064
Backward progress: 9161278
Backward progress: 9147567
Backward progress: 9102909
Backward progress: 9103601
Backward progress: 9104109
Backward progress: 9076753
Backward progress: 9078120
Backward progress: 9078470
Backward progress: 8945444
Backward progress: 8944348
Backward progress: 8941437
Backward progress: 8941313
Backward progress: 8937999
Backward progress: 9848031
Backward progress: 9230796
Backward progress: 9037151
Backward progress: 9239191
Backward progress: 8403939
Backward progress: 8288363
Backward progress: 8229190
Backward progress: 8229188
Backward progress: 8223334
Backward progress: 8198821
Backward progress: 8191648
Backward progress: 8150371
Backward progress: 8175735
Backward progress: 8184401
Backward progress: 8183298
Backward progress: 8182838
Backward progress: 8182838
Backward progress: 8176690
Backward progress: 8196521
Backward progress: 8224672
Backward progress: 8224760
Backward progress: 8272551
Backward progress: 8269073
Backward progress: 8267590
Backward progress: 8331389
Backward progress: 8332449
Backward progress: 8316634
Backward progress: 8309483
Backward progress: 8306957
Backward progress: 8299500
Backward progress: 8294258
Backward progress: 8269195
Backward progress: 8265697
Backward progress: 8235787
Backward progress: 8230607
Backward progress: 8226381
Backward progress: 8204365
Backward progress: 8213224
Backward progress: 8210758
Backward progress: 8207155
Backward progress: 8206555
Backward progress: 8202166
Backward progress: 8201425
Backward progress: 8203526
Backward progress: 8203640
Backward progress: 8203400
Backward progress: 8203125
Backward progress: 8201658
Backward progress: 8178457
Backward progress: 8180148
Backward progress: 8178951
Backward progress: 8301933
Backward progress: 8324530
Backward progress: 8335193
Backward progress: 8341259
Backward progress: 8345751
Backward progress: 8345779
Backward progress: 8350530
Backward progress: 8354105
Backward progress: 8353832
Backward progress: 8354208
Backward progress: 8351584
Backward progress: 8350522
Backward progress: 8344975
Backward progress: 8348401
Backward progress: 8348717
Backward progress: 8347471
Backward progress: 8346768
Backward progress: 8344862
Backward progress: 8343740
Backward progress: 10798034
Backward progress: 10547559
Backward progress: 10538175
Backward progress: 9784399
Backward progress: 9765612
Backward progress: 9846844
Backward progress: 9854166
Backward progress: 9841837
Backward progress: 9773456
Backward progress: 9768907
Backward progress: 9729180
Backward progress: 9611019
Backward progress: 9750355
Backward progress: 9740703
Backward progress: 9731491
Backward progress: 9681357
Backward progress: 9712364
Backward progress: 9713106
Backward progress: 9712388
Backward progress: 9711681
Backward progress: 9711410
Backward progress: 9710684
Backward progress: 9710254
Backward progress: 9709392
Backward progress: 8912093
Backward progress: 8933297
Backward progress: 8909620
Backward progress: 8913320
Backward progress: 8913460
Backward progress: 8911462
Backward progress: 8909634
Backward progress: 8905776
Backward progress: 8909877
Backward progress: 8909581
Backward progress: 8943974
Backward progress: 8944818
Backward progress: 8942960
Backward progress: 8944005
Backward progress: 8948867
Backward progress: 8947709
Backward progress: 8948484
Backward progress: 8948076
Backward progress: 8953937
Backward progress: 8951395
Backward progress: 8950944
Backward progress: 8950246
Backward progress: 8949755
Backward progress: 8462344
Backward progress: 8222754
Backward progress: 8276976
Backward progress: 8225991
Backward progress: 8208385
Backward progress: 8163538
Backward progress: 8180609
Backward progress: 8186022
Backward progress: 8194555
Backward progress: 8194611
Backward progress: 8208588
Backward progress: 8208672
Backward progress: 8229307
Backward progress: 8233358
Backward progress: 8232824
Backward progress: 8225498
Backward progress: 8222116
Backward progress: 8214933
Backward progress: 8221673
Backward progress: 8220785
Backward progress: 8222247
Backward progress: 8221529
Backward progress: 8223157
Backward progress: 8226932
Backward progress: 8227682
Backward progress: 8227491
Backward progress: 8226592
Backward progress: 8225949
Backward progress: 8223321
Backward progress: 8217197
Backward progress: 8303023
Backward progress: 8303775
Backward progress: 8303227
Backward progress: 8301305
Backward progress: 8294873
Backward progress: 8254753
Backward progress: 8223979
Backward progress: 8201330
Backward progress: 8696836
Backward progress: 8413825
Backward progress: 8414407
Backward progress: 8408306
Backward progress: 8406424
Backward progress: 8405843
Backward progress: 8404329
Backward progress: 8404308
Backward progress: 8404255
Backward progress: 8403744
Backward progress: 8403602
Backward progress: 8403730
Backward progress: 8403768
Backward progress: 8403738
Backward progress: 8403203
Backward progress: 8403183
Backward progress: 8402249
Backward progress: 8402234
Backward progress: 8401927
Backward progress: 8401929
Backward progress: 8401927
Backward progress: 8401879
Backward progress: 8401215
Backward progress: 8401150
Backward progress: 8401076
Backward progress: 8400778
Backward progress: 8400724
Backward progress: 8400724
Backward progress: 8400675
Backward progress: 8400690
Backward progress: 8400628
Backward progress: 3575208
Backward progress: 3573489
Backward progress: 3560662
Backward progress: 3515956
Backward progress: 3514280
Backward progress: 3527470
Backward progress: 3479378
Backward progress: 3457101
Backward progress: 3470389
Backward progress: 3462743
Backward progress: 3472459
Backward progress: 3466899
Backward progress: 3475668
Backward progress: 3448843
Backward progress: 3442129
Backward progress: 3432363
Backward progress: 3424759
Backward progress: 3365655
Backward progress: 3356909
Backward progress: 3305450
Backward progress: 3355059
Backward progress: 3600605
Backward progress: 3630993
Backward progress: 3778474
Backward progress: 3766126
Backward progress: 3764928
Backward progress: 3753917
Backward progress: 3753888
Backward progress: 3742669
Backward progress: 3803226
Backward progress: 3821433
Backward progress: 3835923
Backward progress: 3873957
Backward progress: 3875066
Backward progress: 3918935
Backward progress: 3919019
Backward progress: 3908411
Backward progress: 3905921
Backward progress: 3916186
Backward progress: 3898230
Backward progress: 3898266
Backward progress: 3897059
Backward progress: 3876257
Backward progress: 3685671
Backward progress: 3686478
Backward progress: 3702408
Backward progress: 3699292
Backward progress: 3703658
Backward progress: 3702440
Backward progress: 3702186
Backward progress: 3701594
Backward progress: 3705187
Backward progress: 3693333
Backward progress: 3701434
Backward progress: 3701518
Backward progress: 3695641
Backward progress: 3690079
Backward progress: 3683573
Backward progress: 3664819
Backward progress: 3894103
Backward progress: 3785968
Backward progress: 3786200
Backward progress: 3785212
Backward progress: 3781625
Backward progress: 3768243
Backward progress: 3659238
Backward progress: 3636103
Backward progress: 3632049
Backward progress: 3558697
Backward progress: 3481539
Backward progress: 3595697
Backward progress: 3594008
Backward progress: 3649943
Backward progress: 3629414
Backward progress: 3627416
Backward progress: 3584041
Backward progress: 3583587
Backward progress: 3576009
Backward progress: 3614351
Backward progress: 3626513
Backward progress: 3629691
Backward progress: 3647918
Backward progress: 3646244
Backward progress: 3665168
Backward progress: 3665252
Backward progress: 3643519
Backward progress: 3630027
Backward progress: 3633733
Backward progress: 3622147
Backward progress: 3622165
Backward progress: 3620125
Backward progress: 3603807
Backward progress: 3611451
Backward progress: 3609019
Backward progress: 3613391
Backward progress: 3612031
Backward progress: 3611762
Backward progress: 3611128
Backward progress: 3615110
Backward progress: 3602446
Backward progress: 3610859
Backward progress: 3610943
Backward progress: 3603898
Backward progress: 3598024
Backward progress: 3584114
Backward progress: 3788346
Backward progress: 3680684
Backward progress: 3678266
Backward progress: 3675926
Backward progress: 3671882
Backward progress: 3659683
Backward progress: 3553375
Backward progress: 3481143
Backward progress: 3478013
Backward progress: 3397813
Backward progress: 3326424
Backward progress: 3326424
Forward closed progress: 3257900
Forward closed progress: 3187353
Forward closed progress: 3816538
Forward closed progress: 2850227
Forward closed progress: 2851163
Forward closed progress: 2653548
Forward closed progress: 2627611
Forward closed progress: 2650955
Forward closed progress: 2403030
Forward closed progress: 2171223
Forward closed progress: 2171288
Forward closed progress: 2171314
Forward closed progress: 1753721
Forward closed progress: 1485550
Forward closed progress: 1406643
Forward closed progress: 1416954
Forward closed progress: 1418066
Forward closed progress: 1384000
Forward closed progress: 1381444
Forward closed progress: 1379981
Forward closed progress: 1332402
Forward closed progress: 1303623
Forward closed progress: 1334622
Forward closed progress: 1324260
Forward closed progress: 1250976
Forward closed progress: 1309570
Forward closed progress: 1317268
Forward closed progress: 1288483
Forward closed progress: 1384363
Forward closed progress: 1587256
Forward closed progress: 1684140
Forward closed progress: 1684140
Forward closed progress: 1684140
Forward closed progress: 1290139
Forward closed progress: 1349360
Forward closed progress: 1194799
Forward closed progress: 1016027
Forward closed progress: 1016027
Forward closed progress: 1016027
Forward closed progress: 1011682
Forward closed progress: 921177
Forward closed progress: 592201
Forward closed progress: 563797
Forward closed progress: 660209
Forward closed progress: 568159
Forward closed progress: 567499
Forward closed progress: 568105
Forward closed progress: 567219
Forward closed progress: 560184
Forward closed progress: 562230
Forward closed progress: 570352
Forward closed progress: 570273
Forward closed progress: 569613
Forward closed progress: 570219
Forward closed progress: 569223
Forward closed progress: 561521
Forward closed progress: 514851
Forward closed progress: 505250
Forward closed progress: 685870
Forward closed progress: 859358
Forward closed progress: 1066099
Forward closed progress: 1066930
Forward closed progress: 1067376
Forward closed progress: 894020
Forward closed progress: 548309
Forward closed progress: 603441
Forward closed progress: 578875
Forward closed progress: 586245
Forward closed progress: 578130
Forward closed progress: 593784
Forward closed progress: 628852
Forward closed progress: 614710
Forward closed progress: 615791
Forward closed progress: 616365
Forward closed progress: 616758
Forward closed progress: 610517
Forward closed progress: 597454
Forward closed progress: 496075
Forward closed progress: 645971
Forward closed progress: 669878
Forward closed progress: 702130
Forward closed progress: 693051
Forward closed progress: 693051
Forward closed progress: 693051
Forward closed progress: 683727
Forward closed progress: 651685
Forward closed progress: 585877
Forward closed progress: 725657
Forward closed progress: 927262
Forward closed progress: 927923
Forward closed progress: 928293
Forward closed progress: 772593
Forward closed progress: 470068
Forward closed progress: 526081
Forward closed progress: 537308
Forward closed progress: 555322
Forward closed progress: 556044
Forward closed progress: 556430
Forward closed progress: 432497
Forward closed progress: 572187
Forward closed progress: 576443
Forward closed progress: 556221
Forward closed progress: 537264
Forward closed progress: 397592
Forward closed progress: 469156
Forward closed progress: 470087
Forward closed progress: 447607
Forward closed progress: 448096
Forward closed progress: 448266
Forward closed progress: 431527
Forward closed progress: 431499
Forward closed progress: 431428
Forward closed progress: 432508
Forward closed progress: 423542
Forward closed progress: 399356
Forward closed progress: 552605
Forward closed progress: 553733
Forward closed progress: 371866
Forward closed progress: 481871
Forward closed progress: 763704
Forward closed progress: 1164389
Forward closed progress: 1270390
Forward closed progress: 1272613
Forward closed progress: 1273691
Forward closed progress: 1162967
Forward closed progress: 1182400
Forward closed progress: 1183189
Forward closed progress: 1129429
Forward closed progress: 1352339
Forward closed progress: 1335758
Forward closed progress: 1284379
Forward closed progress: 1226725
Forward closed progress: 1246208
Forward closed progress: 1245370
Forward closed progress: 1182868
Forward closed progress: 975717
Forward closed progress: 955793
Forward closed progress: 975643
Forward closed progress: 1186215
Forward closed progress: 1174774
Forward closed progress: 1044809
Forward closed progress: 1062966
Forward closed progress: 1063692
Forward closed progress: 961787
Forward closed progress: 1085892
Forward closed progress: 1124126
Forward closed progress: 1124303
Forward closed progress: 1123944
Forward closed progress: 1264148
Forward closed progress: 1269157
Forward closed progress: 1113926
Forward closed progress: 1113110
Forward closed progress: 1113306
Forward closed progress: 1073866
Forward closed progress: 1065918
Forward closed progress: 1047330
Forward closed progress: 964516
Forward closed progress: 958179
Forward closed progress: 771693
Forward closed progress: 957346
Forward closed progress: 950816
Forward closed progress: 947875
Forward closed progress: 902582
Forward closed progress: 902562
Forward closed progress: 901654
Forward closed progress: 977826
Forward closed progress: 972315
Forward closed progress: 970343
Forward closed progress: 963395
Forward closed progress: 956840
Forward closed progress: 968848
Forward closed progress: 790996
Forward closed progress: 483951
Forward closed progress: 481134
Forward closed progress: 464111
Forward closed progress: 470378
Forward closed progress: 470738
Forward closed progress: 469885
Forward closed progress: 461828
Forward closed progress: 453106
Forward closed progress: 631181
Forward closed progress: 643322
Forward closed progress: 643079
Forward closed progress: 623690
Forward closed progress: 561983
Forward closed progress: 577804
Forward closed progress: 600120
Forward closed progress: 612719
Forward closed progress: 607157
Forward closed progress: 607984
Forward closed progress: 607896
Forward closed progress: 606340
Forward closed progress: 606247
Forward closed progress: 605713
Forward closed progress: 605413
Forward closed progress: 589952
Forward closed progress: 571615
Forward closed progress: 572036
Forward closed progress: 569379
Forward closed progress: 585372
Forward closed progress: 625699
Forward closed progress: 626273
Forward closed progress: 586825
Forward closed progress: 585853
Forward closed progress: 592082
Forward closed progress: 591199
Forward closed progress: 592435
Forward closed progress: 582120
Forward closed progress: 580548
Forward closed progress: 579849
Forward closed progress: 579743
Forward closed progress: 571429
Forward closed progress: 529259
Forward closed progress: 528721
Forward closed progress: 527929
Forward closed progress: 526783
Forward closed progress: 547553
Forward closed progress: 546408
Forward closed progress: 545778
Forward closed progress: 567422
Forward closed progress: 470327
Forward closed progress: 468086
Forward closed progress: 469182
Forward closed progress: 468281
Forward closed progress: 468294
Forward closed progress: 468310
Forward closed progress: 469323
Forward closed progress: 468694
Forward closed progress: 467145
Forward closed progress: 466123
Forward closed progress: 336185
Forward closed progress: 1237780
Forward closed progress: 1205216
Forward closed progress: 1184208
Forward closed progress: 932839
Forward closed progress: 905725
Forward closed progress: 891731
Forward closed progress: 891823
Forward closed progress: 889923
Forward closed progress: 880526
Forward closed progress: 869004
Forward closed progress: 790567
Forward closed progress: 784612
Forward closed progress: 776178
Forward closed progress: 770000
Forward closed progress: 525320
Forward closed progress: 489707
Forward closed progress: 488909
Forward closed progress: 503605
Forward closed progress: 509158
Forward closed progress: 508659
Forward closed progress: 508958
Forward closed progress: 508991
Forward closed progress: 503310
Forward closed progress: 503276
Forward closed progress: 502928
Forward closed progress: 502736
Forward closed progress: 501715
Forward closed progress: 500336
Forward closed progress: 515263
Forward closed progress: 515328
Forward closed progress: 520457
Forward closed progress: 518908
Forward closed progress: 519548
Forward closed progress: 512293
Forward closed progress: 503546
Forward closed progress: 502694
Forward closed progress: 501013
Forward closed progress: 494949
Forward closed progress: 203175
Forward closed progress: 247855
Forward closed progress: 253119
Forward closed progress: 203801
Forward closed progress: 211558
Forward closed progress: 211614
Forward closed progress: 211584
Forward closed progress: 203273
Forward closed progress: 193339
Forward closed progress: 187303
Forward closed progress: 187751
Forward closed progress: 187623
Forward closed progress: 184859
Forward closed progress: 127784
Forward closed progress: 130525
Forward closed progress: 130322
Forward closed progress: 130284
Forward closed progress: 129840
Forward closed progress: 129483
Forward closed progress: 128965
Forward closed progress: 128963
Forward closed progress: 129021
Forward closed progress: 129120
Forward closed progress: 129475
Forward closed progress: 130003
Forward closed progress: 131021
Forward closed progress: 131023
Forward closed progress: 130195
Forward closed progress: 130246
Forward closed progress: 130252
Forward closed progress: 130232
Forward closed progress: 129895
Forward closed progress: 130174
Forward closed progress: 130180
Forward closed progress: 130849
Forward closed progress: 130387
Forward closed progress: 129867
Forward closed progress: 130062
Forward closed progress: 129719
Forward closed progress: 129782
Forward closed progress: 129784
Forward closed progress: 129937
Forward closed progress: 129977
Forward closed progress: 129375
Forward closed progress: 129371
Forward closed progress: 133283
Forward closed progress: 132355
Forward closed progress: 132234
Forward closed progress: 131957
Forward closed progress: 131972
Forward closed progress: 131952
Forward closed progress: 129909
Forward closed progress: 128027
Forward closed progress: 120530
Forward closed progress: 104104
Forward closed progress: 102929
Forward closed progress: 108990
Forward closed progress: 108990
Forward closed progress: 108990
Forward closed progress: 104526
Forward closed progress: 103172
Forward closed progress: 103168
Forward closed progress: 103284
Forward closed progress: 103478
Forward closed progress: 104190
Forward closed progress: 105212
Forward closed progress: 105216
Forward closed progress: 104574
Forward closed progress: 104649
Forward closed progress: 104786
Forward closed progress: 104799
Forward closed progress: 104801
Forward closed progress: 103693
Forward closed progress: 103538
Forward closed progress: 103065
Forward closed progress: 102629
Forward closed progress: 103011
Forward closed progress: 102587
Forward closed progress: 102713
Forward closed progress: 102717
Forward closed progress: 103021
Forward closed progress: 102725
Forward closed progress: 102325
Forward closed progress: 102945
Forward closed progress: 103235
Forward closed progress: 107737
Forward closed progress: 105889
Forward closed progress: 105653
Forward closed progress: 105103
Forward closed progress: 105129
Forward closed progress: 105089
Forward closed progress: 101023
Forward closed progress: 101701
Forward closed progress: 107163
Forward closed progress: 104467
Forward closed progress: 105008
Forward closed progress: 104728
Forward closed progress: 103282
Forward closed progress: 101073
Forward closed progress: 100773
Forward closed progress: 114319
Forward closed progress: 114425
Forward closed progress: 115903
Forward closed progress: 116859
Forward closed progress: 116694
Forward closed progress: 117388
Forward closed progress: 122945
Forward closed progress: 118328
Forward closed progress: 121451
Forward closed progress: 121477
Forward closed progress: 119313
Forward closed progress: 118754
Forward closed progress: 118076
Forward closed progress: 117500
Forward closed progress: 119999
Forward closed progress: 119884
Forward closed progress: 121705
Forward closed progress: 121965
Forward closed progress: 122241
Forward closed progress: 128032
Forward closed progress: 123898
Forward closed progress: 127405
Forward closed progress: 156318
Forward closed progress: 157466
Forward closed progress: 169383
Forward closed progress: 169344
Forward closed progress: 169499
Forward closed progress: 169428
Forward closed progress: 169432
Forward closed progress: 151930
Forward closed progress: 151934
Forward closed progress: 153277
Forward closed progress: 152752
Forward closed progress: 152748
Forward closed progress: 152471
Forward closed progress: 152453
Forward closed progress: 152448
Forward closed progress: 152356
Forward closed progress: 152044
Forward closed progress: 150649
Forward closed progress: 151900
Forward closed progress: 160854
Forward closed progress: 159991
Forward closed progress: 158882
Forward closed progress: 158882
Forward closed progress: 158882
Forward closed progress: 152488
Forward closed progress: 158252
Forward closed progress: 173242
Forward closed progress: 172578
Forward closed progress: 185574
Forward closed progress: 182639
Forward closed progress: 187581
Forward closed progress: 191929
Forward closed progress: 189621
Forward closed progress: 189679
Forward closed progress: 222819
Forward closed progress: 223073
Forward closed progress: 210063
Forward closed progress: 216903
Forward closed progress: 217983
Forward closed progress: 220034
Forward closed progress: 231654
Forward closed progress: 231123
Forward closed progress: 232013
Forward closed progress: 219168
Forward closed progress: 218995
Forward closed progress: 219036
Forward closed progress: 218322
Forward closed progress: 217985
Forward closed progress: 208456
Forward closed progress: 208426
Forward closed progress: 205606
Forward closed progress: 203919
Forward closed progress: 204076
Forward closed progress: 204065
Forward closed progress: 203695
Forward closed progress: 203441
Forward closed progress: 203368
Forward closed progress: 205370
Forward closed progress: 198334
Forward closed progress: 201910
Forward closed progress: 202038
Forward closed progress: 198650
Forward closed progress: 198312
Forward closed progress: 196448
Forward closed progress: 194641
Forward closed progress: 229610
Forward closed progress: 229638
Forward closed progress: 217064
Forward closed progress: 210654
Forward closed progress: 227474
Forward closed progress: 227160
Forward closed progress: 214465
Forward closed progress: 214460
Forward closed progress: 212804
Forward closed progress: 212618
Forward closed progress: 216974
Forward closed progress: 208970
Forward closed progress: 213736
Forward closed progress: 213864
Forward closed progress: 209602
Forward closed progress: 207974
Forward closed progress: 204450
Forward closed progress: 212696
Forward closed progress: 207326
Forward closed progress: 211536
Forward closed progress: 211178
Forward closed progress: 211218
Forward closed progress: 207886
Forward closed progress: 207550
Forward closed progress: 207730
Forward closed progress: 207270
Forward closed progress: 229604
Forward closed progress: 238096
Forward closed progress: 219939
Forward closed progress: 221453
Forward closed progress: 215265
Forward closed progress: 215347
Forward closed progress: 215336
Forward closed progress: 213041
Forward closed progress: 213018
Forward closed progress: 213596
Forward closed progress: 213811
Forward closed progress: 213182
Forward closed progress: 216139
Forward closed progress: 215339
Forward closed progress: 215640
Forward closed progress: 213871
Forward closed progress: 212739
Forward closed progress: 212289
Forward closed progress: 212255
Forward closed progress: 212381
Forward closed progress: 208638
Forward closed progress: 208608
Forward closed progress: 208591
Forward closed progress: 208557
Forward closed progress: 208971
Forward closed progress: 208349
Forward closed progress: 209255
Forward closed progress: 207364
Forward closed progress: 208213
Forward closed progress: 208233
Forward closed progress: 207541
Forward closed progress: 207532
Forward closed progress: 207332
Forward closed progress: 206986
Forward closed progress: 205518
Forward closed progress: 206118
Forward closed progress: 202307
Forward closed progress: 202313
Forward closed progress: 202182
Forward closed progress: 202504
Forward closed progress: 202316
Forward closed progress: 202302
Forward closed progress: 202134
Forward closed progress: 201767
Forward closed progress: 201825
Forward closed progress: 201667
Forward closed progress: 201747
Forward closed progress: 201241
Forward closed progress: 201421
Forward closed progress: 201423
Forward closed progress: 201222
Forward closed progress: 200848
Forward closed progress: 401914
Forward closed progress: 333471
Forward closed progress: 337873
Forward closed progress: 246982
Forward closed progress: 204306
Forward closed progress: 241537
Forward closed progress: 241803
Forward closed progress: 211215
Forward closed progress: 210802
Forward closed progress: 203176
Forward closed progress: 202476
Forward closed progress: 176003
Forward closed progress: 169071
Forward closed progress: 165149
Forward closed progress: 136201
Forward closed progress: 200995
Forward closed progress: 153003
Forward closed progress: 149413
Forward closed progress: 147117
Forward closed progress: 145885
Forward closed progress: 110607
Forward closed progress: 137415
Forward closed progress: 152915
Forward closed progress: 152915
Forward closed progress: 152915
Forward closed progress: 115760
Forward closed progress: 116424
Forward closed progress: 137413
Forward closed progress: 159011
Forward closed progress: 182208
Forward closed progress: 195191
Forward closed progress: 188962
Forward closed progress: 181773
Forward closed progress: 181121
Forward closed progress: 185948
Forward closed progress: 226927
Forward closed progress: 225234
Forward closed progress: 212454
Forward closed progress: 248452
Forward closed progress: 295900
Forward closed progress: 295900
Forward closed progress: 295900
Forward closed progress: 233401
Forward closed progress: 216025
Forward closed progress: 249350
Forward closed progress: 297136
Forward closed progress: 297136
Forward closed progress: 297136
Forward closed progress: 231024
Forward closed progress: 214378
Forward closed progress: 209754
Forward closed progress: 220219
Forward closed progress: 233015
Forward closed progress: 248071
Forward closed progress: 295344
Forward closed progress: 288898
Forward closed progress: 418567
Forward closed progress: 420199
Forward closed progress: 330588
Forward closed progress: 304578
Forward closed progress: 264855
Forward closed progress: 245217
Forward closed progress: 238854
Forward closed progress: 237510
Forward closed progress: 297094
Forward closed progress: 291602
Forward closed progress: 275006
Forward closed progress: 262316
Forward closed progress: 281315
Forward closed progress: 279347
Forward closed progress: 290717
Forward closed progress: 278185
Forward closed progress: 203764
Forward closed progress: 212974
Forward closed progress: 213002
Forward closed progress: 258025
Forward closed progress: 231209
Forward closed progress: 235443
Forward closed progress: 277089
Forward closed progress: 285238
Forward closed progress: 277062
Forward closed progress: 278363
Forward closed progress: 278669
Forward closed progress: 300622
Forward closed progress: 294458
Forward closed progress: 294346
Forward closed progress: 293626
Forward closed progress: 287990
Forward closed progress: 286046
Forward closed progress: 280535
Forward closed progress: 286589
Forward closed progress: 286784
Forward closed progress: 296428
Forward closed progress: 288110
Forward closed progress: 309642
Forward closed progress: 310302
Forward closed progress: 288478
Forward closed progress: 279028
Forward closed progress: 279563
Forward closed progress: 279870
Forward closed progress: 281163
Forward closed progress: 262955
Forward closed progress: 273943
Forward closed progress: 266318
Forward closed progress: 271583
Forward closed progress: 269293
Forward closed progress: 276703
Forward closed progress: 243984
Forward closed progress: 242302
Forward closed progress: 237042
Forward closed progress: 620604
Forward closed progress: 540921
Forward closed progress: 544377
Forward closed progress: 527480
Forward closed progress: 502746
Forward closed progress: 483276
Forward closed progress: 396388
Forward closed progress: 389516
Forward closed progress: 366440
Forward closed progress: 366040
Forward closed progress: 326684
Forward closed progress: 281524
Forward closed progress: 285624
Forward closed progress: 284005
Forward closed progress: 290843
Forward closed progress: 284518
Forward closed progress: 118562
Control exists for 45997722 color(s), jumping through 8 vertices.
Elapsed: 75041785 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 75041.785
user ??
sys ??
