tests: add expected-failing test for minor subopimality

In some unusual cases, diff -u prints suboptimal output.
* tests/large-subopt: New test script.
* tests/Makefile.am (TESTS): Add it.
(XFAIL_TESTS): Add it here, too, to record that this test is
currently expected to fail.
* tests/large-subopt.in1, tests/large-subopt.in2: Inputs derived from
those in http://bugs.gnu.org/28796

4 files changed, 12514 insertions, 1 deletions

diff --git a/tests/Makefile.am b/tests/Makefile.am
index 6668863..a1607cc 100644
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -14,6 +14,7 @@ TESTS = \
   function-line-vs-leading-space \
   ignore-matching-lines \
   label-vs-func	\
+  large-subopt \
   new-file \
   no-dereference \
   no-newline-at-eof \
@@ -22,8 +23,12 @@ TESTS = \
   filename-quoting \
   colors
 
+XFAIL_TESTS = large-subopt
+
 EXTRA_DIST = \
-  $(TESTS) init.sh t-local.sh envvar-check
+  $(TESTS) init.sh t-local.sh envvar-check \
+  large-subopt.in1 \
+  large-subopt.in2
 
 # Note that the first lines are statements.  They ensure that environment
 # variables that can perturb tests are unset or set to expected values.
diff --git a/tests/large-subopt b/tests/large-subopt
new file mode 100644
index 0000000..1802df2
--- /dev/null
+++ b/tests/large-subopt
@@ -0,0 +1,25 @@
+#!/bin/sh
+# This test is expected to fail at least with diffutils-3.6.
+# Demonstrate how diff can produce suboptimal output.
+# With these two files, diff -u prints output including this:
+# -2
+# +L: 361
+# +L: 361
+# +2
+# The trouble is that "2" line that is both added and removed.
+# This smaller patch could induce the same change:
+# +L: 361
+# +L: 361
+
+. "${srcdir=.}/init.sh"; path_prepend_ ../src
+
+fail=0
+
+diff -u \
+  "$abs_top_srcdir/tests/large-subopt.in1" \
+  "$abs_top_srcdir/tests/large-subopt.in2" \
+  | perl -n0 -e \
+     '/\n-2\n(\+L: 361\n){2}\+2\n/ and do {$e=1; last}; END{exit !$e}' \
+     && fail=1
+
+Exit $fail
diff --git a/tests/large-subopt.in1 b/tests/large-subopt.in1
new file mode 100644
index 0000000..11d3466
--- /dev/null
+++ b/tests/large-subopt.in1
@@ -0,0 +1,6706 @@
+L: 491
+L: 2147
+L: 1853
+3
+L: 851
+L: 1264
+L: 1689
+L: 484
+L: 3102
+L: 566
+L: 64
+L: 612
+L: 1192
+L: 3418
+L: 3428
+L: 1247
+2
+L: 1551
+
+L: 2998
+2
+
+1
+L: 945
+
+2
+L: 1677
+L: 1712
+
+
+
+L: 140
+L: 1245
+L: 1245
+L: 3178
+
+
+
+
+L: 955
+L: 1014
+2
+1
+L: 736
+L: 795
+5
+
+0
+0
+5
+L: 2759
+
+
+L: 648
+0
+1
+2
+
+L: 294
+L: 294
+L: 100
+L: 100
+2
+L: 1636
+L: 1006
+L: 463
+
+L: 1283
+L: 1283
+
+L: 1830
+L: 1570
+
+
+
+L: 18
+L: 141
+
+
+L: 212
+L: 212
+
+1
+2
+3
+4
+L: 3213
+L: 3213
+L: 186
+L: 186
+0
+L: 142
+L: 142
+2
+L: 125
+L: 125
+2
+L: 984
+L: 984
+
+L: 198
+
+
+
+L: 1820
+L: 1820
+
+L: 727
+
+
+
+L: 258
+
+
+1
+L: 1303
+L: 1303
+7
+0
+2
+
+
+
+L: 2474
+L: 618
+L: 1329
+L: 1395
+7
+L: 1703
+L: 1769
+L: 2660
+
+L: 841
+L: 113
+L: 113
+
+L: 1187
+L: 69
+L: 69
+
+3
+L: 186
+L: 186
+L: 109
+L: 109
+2
+L: 179
+
+L: 180
+2
+1
+2
+L: 1027
+
+
+L: 101
+L: 68
+2
+
+L: 13
+7
+2
+
+L: 1881
+L: 1881
+L: 4801
+2
+
+L: 367
+L: 976
+L: 40
+L: 40
+2
+L: 186
+L: 515
+
+1
+
+L: 172
+
+L: 827
+L: 202
+
+1
+2
+2
+L: 472
+2
+L: 1916
+L: 1382
+
+L: 913
+L: 471
+L: 942
+
+L: 205
+L: 205
+2
+L: 869
+L: 61
+L: 775
+L: 775
+L: 249
+L: 289
+2
+0
+0
+L: 33
+
+L: 427
+L: 374
+L: 374
+L: 3378
+L: 3378
+
+1
+2
+L: 191
+
+L: 489
+L: 1088
+
+1
+
+L: 1477
+L: 1477
+L: 1062
+L: 1062
+L: 185
+L: 185
+L: 140
+
+L: 5296
+L: 2126
+
+1
+L: 254
+
+L: 465
+
+1
+
+L: 561
+
+
+L: 663
+
+L: 328
+L: 328
+2
+L: 245
+
+L: 2325
+
+1
+2
+0
+L: 179
+L: 803
+
+
+
+
+
+L: 171
+7
+L: 308
+L: 77
+L: 77
+L: 228
+L: 228
+L: 297
+0
+L: 73
+L: 73
+L: 288
+2
+L: 1486
+3
+L: 3902
+2
+L: 884
+L: 1496
+L: 1496
+
+L: 713
+L: 107
+L: 107
+L: 2755
+L: 2755
+2
+1
+L: 411
+L: 411
+L: 121
+
+L: 2208
+
+
+L: 1116
+
+2
+L: 480
+L: 480
+2
+3
+
+L: 63
+L: 832
+L: 1768
+L: 1768
+L: 115
+L: 115
+2
+
+2
+L: 23
+L: 23
+2
+L: 113
+L: 113
+
+2
+L: 469
+L: 509
+2
+
+
+L: 176
+L: 176
+2
+L: 153
+
+
+
+
+L: 1892
+
+L: 114
+
+L: 574
+L: 3080
+
+
+
+L: 992
+L: 1731
+L: 11878
+2
+L: 2877
+2
+7
+
+L: 2011
+L: 2011
+2
+
+L: 30
+L: 337
+L: 337
+2
+
+L: 485
+
+L: 345
+2
+7
+L: 186
+2
+1
+L: 89
+L: 89
+L: 775
+L: 775
+
+
+L: 48
+4
+
+L: 136
+
+L: 62
+
+L: 194
+L: 194
+L: 849
+
+1
+2
+L: 57
+L: 57
+6
+L: 30
+L: 58
+
+L: 1541
+L: 268
+2
+L: 1554
+L: 1554
+2
+L: 287
+L: 1575
+2
+L: 2275
+
+7
+L: 235
+L: 235
+5
+
+L: 219
+L: 219
+L: 261
+L: 261
+L: 833
+6
+L: 2111
+2
+L: 218
+L: 218
+2
+
+
+
+L: 2016
+3
+L: 2984
+5
+L: 1929
+
+
+L: 113
+
+L: 1231
+
+L: 32
+L: 304
+
+L: 621
+L: 2228
+L: 290
+L: 676
+L: 282
+
+6
+L: 232
+
+2
+1
+L: 554
+L: 236
+L: 1488
+L: 1488
+5
+6
+L: 2477
+
+
+3
+L: 1182
+L: 1182
+L: 302
+L: 302
+2
+L: 508
+3
+6
+7
+L: 447
+
+L: 132
+L: 132
+L: 590
+L: 78
+L: 545
+L: 545
+7
+
+L: 167
+L: 167
+2
+
+L: 938
+2
+L: 92
+L: 92
+
+L: 236
+L: 236
+
+2
+L: 343
+L: 343
+4
+L: 41
+L: 41
+L: 323
+
+L: 1245
+L: 2034
+5
+6
+
+
+L: 77
+
+L: 1591
+L: 197
+L: 197
+
+
+2
+
+
+
+L: 48
+
+L: 241
+
+
+
+
+L: 28
+2
+1
+L: 897
+2
+L: 333
+L: 333
+L: 711
+L: 711
+7
+L: 420
+L: 156
+
+
+
+L: 224
+
+L: 301
+L: 92
+L: 92
+4
+5
+L: 149
+L: 149
+L: 1108
+
+
+
+
+
+L: 210
+2
+
+L: 2841
+2
+L: 505
+
+2
+
+L: 2460
+L: 393
+L: 393
+L: 142
+L: 142
+L: 1120
+L: 1120
+L: 188
+L: 188
+L: 35
+L: 210
+L: 210
+L: 358
+5
+L: 346
+
+
+
+L: 655
+L: 1198
+2
+
+L: 71
+L: 71
+
+L: 259
+L: 318
+5
+
+L: 184
+
+
+L: 10459
+2
+L: 1468
+2
+L: 268
+3
+4
+L: 5171
+L: 5171
+L: 78
+
+L: 1945
+L: 1945
+L: 1003
+L: 1003
+L: 166
+L: 166
+L: 490
+L: 490
+L: 219
+L: 219
+
+
+L: 158
+L: 21
+L: 21
+2
+L: 35
+L: 35
+L: 139
+L: 139
+L: 662
+L: 66
+L: 66
+L: 741
+L: 741
+L: 26
+L: 26
+2
+2
+0
+L: 110
+
+
+
+
+1
+L: 743
+L: 393
+L: 773
+L: 773
+L: 359
+
+0
+L: 35367
+4
+L: 4139
+L: 2593
+L: 2593
+L: 306
+L: 306
+1
+L: 67
+L: 139
+L: 139
+3
+4
+5
+
+L: 146
+L: 905
+L: 1677
+L: 1677
+6
+L: 2726
+L: 2726
+L: 48
+L: 48
+L: 424
+L: 424
+2
+1
+L: 39
+2
+3
+L: 385
+2
+L: 843
+2
+
+L: 38
+2
+L: 460
+L: 460
+L: 40
+L: 361
+L: 3419
+L: 3419
+2
+L: 321
+1
+L: 381
+L: 2285
+2
+
+
+
+L: 19224
+2
+L: 35
+L: 35
+
+L: 233
+L: 63
+L: 63
+2
+
+
+
+
+2
+1
+L: 41
+L: 41
+L: 134
+L: 226
+
+6
+L: 452
+L: 452
+L: 963
+L: 973
+L: 876
+L: 876
+0
+
+
+L: 94
+2
+
+L: 10459
+L: 244
+L: 244
+L: 2139
+L: 2139
+2
+L: 434
+2
+5
+2
+L: 2734
+L: 2887
+
+
+L: 35
+L: 330
+L: 330
+
+L: 111
+L: 125
+L: 125
+
+
+1
+L: 421
+
+3
+6
+
+1
+L: 2779
+2
+
+2
+5
+L: 77
+L: 77
+
+L: 954
+L: 906
+
+L: 922
+L: 528
+L: 117
+L: 117
+2
+1
+L: 562
+2
+1
+2
+L: 340
+L: 1168
+
+
+L: 127
+L: 135
+L: 297
+L: 297
+1
+L: 175
+2
+
+L: 48
+L: 560
+L: 50
+1
+L: 70
+L: 402
+L: 402
+
+1
+L: 842
+L: 842
+1
+1
+L: 2422
+L: 2422
+L: 4834
+L: 4834
+L: 36
+
+2
+L: 183
+L: 183
+L: 785
+L: 785
+2
+1
+L: 404
+L: 600
+L: 640
+
+2
+
+
+
+L: 1135
+L: 1238
+
+
+
+
+L: 142
+L: 922
+L: 1073
+
+
+
+L: 578
+L: 578
+L: 2051
+
+3
+
+
+2
+
+
+6
+
+L: 196
+L: 227
+L: 227
+L: 55
+L: 55
+2
+L: 123
+2
+1
+L: 6290
+L: 6338
+
+
+L: 784
+L: 708
+0
+L: 35
+1
+L: 2265
+
+L: 217
+L: 619
+L: 2055
+L: 207
+
+
+L: 453
+
+L: 483
+2
+1
+L: 827
+L: 827
+
+L: 1218
+
+L: 633
+5
+6
+3
+L: 340
+L: 340
+
+
+2
+L: 4711
+
+
+7
+L: 606
+
+2
+1
+L: 1130
+L: 1130
+2
+L: 844
+
+L: 53
+L: 1603
+L: 1603
+L: 96
+L: 96
+L: 1296
+L: 1296
+L: 36
+
+
+L: 1712
+L: 1712
+2
+6
+L: 48
+
+1
+2
+L: 247
+L: 247
+L: 2789
+
+
+L: 1608
+L: 341
+1
+
+L: 629
+
+0
+
+
+2
+7
+1
+L: 134
+L: 134
+2
+1
+L: 392
+L: 48
+L: 48
+L: 61
+L: 61
+L: 655
+L: 655
+2
+L: 1624
+L: 846
+1
+L: 213
+
+
+
+L: 3780
+L: 3780
+2
+1
+L: 382
+L: 333
+
+0
+
+
+
+1
+2
+L: 56
+L: 96
+
+L: 693
+L: 237
+
+L: 278
+L: 278
+
+1
+2
+L: 977
+4
+L: 2383
+0
+L: 889
+L: 929
+L: 123
+L: 123
+2
+L: 35
+L: 684
+L: 684
+L: 131
+L: 131
+2
+0
+6
+L: 479
+
+
+L: 386
+
+L: 12612
+
+
+L: 478
+
+
+
+
+
+
+L: 170
+
+L: 189
+
+
+L: 2168
+L: 646
+
+2
+7
+L: 615
+
+
+L: 45
+L: 45
+
+2
+
+
+L: 149
+
+2
+L: 1199
+
+4
+
+L: 129
+L: 129
+L: 892
+6
+L: 112
+
+
+4
+
+L: 85
+L: 346
+0
+L: 1926
+
+L: 657
+L: 657
+L: 556
+L: 556
+L: 366
+
+L: 3731
+L: 95
+L: 95
+
+L: 176
+
+L: 196
+
+L: 150
+L: 150
+L: 852
+2
+0
+
+L: 61
+
+L: 77
+0
+
+2
+
+L: 71
+
+
+L: 342
+
+L: 157
+1
+
+
+L: 166
+L: 166
+L: 166
+L: 166
+
+L: 44
+2
+L: 305
+4
+L: 5254
+
+7
+L: 35
+L: 35
+L: 137
+L: 250
+2
+5
+L: 832
+L: 3030
+L: 3073
+2
+
+
+
+L: 336
+L: 176
+L: 176
+5
+
+L: 397
+
+2
+L: 285
+
+L: 102
+L: 786
+L: 169
+
+L: 136
+
+
+L: 87
+6
+L: 1142
+L: 1142
+L: 660
+L: 580
+6
+L: 948
+L: 948
+L: 66
+L: 66
+L: 58
+
+L: 35
+L: 35
+L: 184
+L: 184
+L: 148
+L: 148
+L: 1491
+L: 1491
+L: 45
+L: 85
+L: 159
+L: 159
+2
+4
+L: 252
+L: 1479
+L: 1479
+2
+3
+L: 363
+L: 363
+L: 57
+
+2
+L: 52
+
+L: 231
+L: 1371
+L: 303
+L: 303
+4
+
+L: 184
+L: 2137
+L: 2177
+
+
+L: 230
+L: 827
+L: 355
+
+L: 204
+L: 239
+L: 625
+L: 88
+L: 88
+2
+7
+
+L: 952
+L: 952
+
+7
+L: 971
+0
+
+L: 679
+
+L: 178
+L: 178
+L: 271
+L: 1182
+L: 1182
+2
+7
+L: 53
+L: 53
+7
+
+L: 176
+
+L: 345
+5
+6
+L: 1820
+
+L: 2801
+
+
+L: 240
+
+
+L: 944
+L: 78
+L: 78
+4
+L: 104
+L: 104
+4
+L: 334
+2
+L: 191
+L: 698
+L: 698
+
+L: 1574
+2
+1
+2
+1
+2
+L: 29
+
+L: 546
+L: 91
+L: 91
+1
+L: 699
+L: 1077
+L: 1077
+L: 380
+L: 380
+L: 36
+L: 36
+5
+7
+L: 68
+L: 9527
+L: 9527
+
+L: 1021
+2
+L: 74
+L: 72
+L: 72
+L: 2008
+L: 176
+L: 176
+0
+L: 1240
+L: 1240
+2
+L: 284
+6
+
+2
+L: 206
+L: 206
+L: 106
+L: 106
+L: 398
+L: 35
+L: 103
+L: 103
+L: 174
+L: 174
+L: 1206
+L: 1769
+L: 1769
+L: 721
+
+L: 130
+2
+L: 51
+L: 51
+L: 41
+L: 41
+L: 173
+L: 173
+1
+L: 669
+L: 669
+L: 537
+5
+L: 847
+L: 847
+2
+2
+1
+
+L: 75
+L: 75
+
+L: 148
+
+L: 311
+L: 1503
+L: 9762
+
+L: 1163
+
+L: 61
+2
+
+
+L: 401
+
+
+L: 181
+
+L: 285
+L: 285
+
+1
+L: 75
+L: 75
+
+
+
+
+L: 3510
+L: 3510
+L: 99
+
+L: 1865
+
+L: 670
+L: 1219
+L: 1219
+
+L: 265
+L: 293
+
+L: 433
+L: 433
+2
+L: 260
+
+L: 703
+
+
+L: 727
+L: 727
+
+
+
+L: 61
+2
+
+L: 47
+L: 67
+L: 67
+
+L: 78
+L: 78
+
+L: 101
+L: 101
+
+L: 14026
+L: 1588
+L: 103
+L: 103
+L: 54
+L: 54
+L: 765
+
+2
+L: 1443
+1
+L: 118
+L: 118
+2
+L: 277
+2
+2
+2
+
+L: 59
+2
+1
+2
+L: 155
+L: 155
+
+
+
+
+L: 81
+
+L: 412
+2
+L: 35
+L: 35
+
+L: 2394
+L: 48
+L: 572
+L: 363
+L: 363
+7
+L: 514
+L: 514
+2
+L: 684
+L: 553
+L: 33
+L: 33
+2
+5
+
+L: 844
+2
+
+L: 1031
+L: 1031
+L: 386
+L: 319
+2
+L: 930
+L: 930
+
+2
+L: 2869
+L: 2869
+L: 230
+2
+L: 111
+L: 111
+2
+L: 35
+
+
+L: 275
+2
+L: 127
+
+
+L: 61
+L: 85
+L: 85
+L: 88
+L: 88
+2
+
+1
+L: 68
+L: 68
+L: 266
+L: 266
+4
+L: 3056
+
+
+L: 11878
+L: 221
+L: 221
+2
+L: 106
+L: 106
+
+1
+
+L: 1278
+
+L: 179
+L: 179
+L: 88
+
+2
+1
+L: 176
+
+L: 1416
+L: 103
+L: 106
+L: 54
+L: 54
+
+L: 1604
+
+L: 598
+L: 673
+
+6
+1
+L: 1485
+
+
+
+L: 265
+L: 124
+L: 124
+L: 158
+L: 158
+L: 912
+L: 43
+
+L: 3063
+L: 3063
+2
+1
+2
+L: 140
+L: 73
+L: 73
+3
+2
+L: 19
+
+5
+6
+L: 1128
+1
+6
+L: 35
+L: 35
+
+1
+L: 294
+L: 294
+0
+3
+6
+3
+L: 1067
+
+0
+1
+L: 450
+L: 71
+L: 498
+L: 498
+2
+1
+4
+L: 823
+L: 136
+L: 136
+L: 88
+
+4
+
+6
+2
+1
+1
+L: 315
+L: 315
+2
+
+
+
+6
+L: 218
+
+
+L: 1255
+L: 1255
+1
+6
+L: 94
+
+
+L: 295
+2
+
+
+
+L: 407
+
+2
+L: 122
+L: 122
+1
+L: 745
+L: 745
+1
+5
+
+7
+L: 1010
+L: 203
+
+L: 258
+
+L: 1981
+L: 1981
+2
+L: 1508
+L: 1508
+2
+1
+
+L: 111
+L: 360
+L: 360
+L: 63
+L: 2921
+L: 2961
+2
+L: 3533
+2
+7
+
+L: 423
+
+L: 1146
+2
+3
+L: 263
+0
+L: 476
+L: 476
+L: 60
+
+L: 920
+L: 17
+
+2
+4
+L: 27
+L: 27
+
+
+L: 27
+1
+L: 1156
+
+L: 112
+L: 75
+2
+
+L: 532
+L: 931
+L: 751
+3
+
+L: 980
+
+L: 101
+L: 101
+2
+L: 837
+L: 223
+L: 223
+2
+1
+L: 458
+3
+0
+
+L: 488
+
+3
+L: 723
+
+L: 15
+2
+1
+2
+L: 509
+
+
+1
+L: 3303
+L: 3303
+L: 249
+2
+2
+3
+L: 152
+L: 152
+L: 184
+L: 184
+L: 850
+L: 850
+2
+2
+6
+7
+L: 534
+L: 57
+L: 291
+L: 291
+
+
+
+L: 776
+L: 222
+
+L: 226
+L: 408
+L: 408
+1
+L: 1183
+L: 1183
+L: 495
+
+L: 158
+L: 158
+L: 165
+L: 165
+L: 169
+
+5
+L: 3111
+2
+L: 120
+L: 120
+L: 332
+L: 491
+2
+L: 97
+L: 35
+
+L: 695
+L: 695
+L: 206
+
+L: 66
+L: 47
+L: 47
+
+1
+2
+
+L: 1160
+L: 95
+L: 95
+5
+7
+L: 1919
+L: 450
+L: 450
+L: 534
+
+L: 268
+L: 441
+2
+L: 100
+L: 100
+2
+L: 1148
+
+1
+L: 635
+L: 1935
+3
+
+
+1
+L: 533
+
+L: 935
+3
+L: 451
+L: 184
+
+L: 815
+L: 581
+L: 581
+2
+L: 569
+2
+
+L: 40
+L: 1266
+
+L: 134
+L: 134
+L: 1574
+3
+4
+L: 35
+L: 35
+L: 338
+L: 25
+L: 25
+L: 404
+L: 404
+4
+L: 873
+L: 700
+L: 190
+L: 190
+
+L: 160
+L: 160
+0
+1
+2
+
+L: 220
+L: 220
+L: 1846
+L: 90
+L: 90
+
+L: 52
+2
+5
+
+
+2
+L: 3655
+6
+7
+0
+L: 432
+
+L: 80
+L: 80
+L: 116
+L: 116
+2
+
+
+
+7
+L: 1462
+
+5
+
+L: 2841
+
+5
+
+L: 2953
+L: 262
+
+L: 770
+L: 665
+7
+L: 166
+L: 211
+L: 857
+L: 857
+L: 331
+L: 116
+L: 116
+L: 731
+L: 364
+L: 1042
+L: 1042
+2
+1
+
+L: 1822
+L: 479
+L: 489
+
+
+L: 73
+L: 956
+
+L: 965
+L: 965
+
+
+L: 429
+L: 71
+L: 71
+
+L: 179
+
+0
+6
+L: 101
+L: 101
+3
+4
+L: 48
+L: 48
+L: 949
+
+L: 970
+L: 2953
+
+2
+
+L: 1050
+
+
+L: 3904
+
+
+L: 118
+L: 118
+L: 438
+L: 438
+2
+
+2
+L: 5415
+
+L: 82
+
+L: 148
+L: 148
+0
+L: 54235
+
+3
+L: 2033
+L: 2033
+3
+1
+
+
+L: 404
+
+
+
+2
+4
+5
+6
+
+2
+L: 2111
+L: 2111
+L: 89
+
+L: 349
+L: 349
+L: 6646
+L: 6646
+L: 254
+
+
+
+
+L: 1063
+
+
+L: 242
+L: 36
+
+1
+
+
+
+L: 225
+
+
+
+L: 204
+L: 204
+
+L: 707
+L: 422
+L: 422
+L: 2271
+
+2
+L: 860
+L: 860
+1
+L: 157
+2
+L: 1939
+
+
+
+L: 75
+L: 2859
+L: 1919
+L: 1919
+L: 2829
+L: 2829
+L: 330
+
+L: 1241
+L: 201
+L: 241
+2
+L: 555
+L: 555
+
+
+L: 326
+L: 96
+
+
+L: 2862
+
+L: 290
+L: 158
+
+L: 41
+L: 41
+L: 300
+
+L: 643
+
+
+
+
+L: 389
+
+
+L: 240
+
+L: 177
+L: 420
+L: 420
+L: 35
+L: 35
+L: 683
+
+
+L: 107
+L: 107
+L: 1155
+L: 254
+
+
+
+L: 125
+L: 125
+3
+7
+
+L: 885
+L: 405
+L: 185
+4
+L: 289
+
+L: 578
+L: 578
+1
+
+
+L: 377
+
+L: 1835
+L: 1835
+L: 3731
+L: 3731
+L: 780
+L: 2929
+
+L: 160
+L: 160
+L: 98
+6
+7
+
+
+L: 2075
+
+L: 305
+L: 305
+4
+
+
+
+
+L: 362
+L: 362
+
+L: 208
+
+L: 3592
+
+L: 40
+L: 1117
+L: 1117
+L: 48
+L: 639
+
+L: 449
+
+L: 3858
+L: 1488
+1
+3
+
+
+6
+L: 762
+L: 762
+L: 848
+
+
+6
+7
+L: 309
+
+L: 240
+L: 240
+
+L: 1976
+
+
+L: 197
+1
+7
+
+L: 3655
+3
+L: 77
+L: 77
+L: 1313
+L: 1313
+L: 292
+
+L: 37
+L: 37
+2
+L: 287
+L: 287
+4
+L: 178
+L: 178
+
+L: 8454
+L: 216
+L: 216
+1
+2
+0
+1
+L: 216
+L: 216
+3
+L: 66
+L: 66
+6
+L: 564
+
+L: 190
+4
+2
+L: 310
+L: 310
+6
+
+0
+L: 396
+
+L: 855
+L: 365
+L: 365
+2
+L: 620
+L: 18332
+
+L: 418
+L: 1945
+L: 2047
+
+L: 185
+7
+L: 42
+L: 112
+L: 112
+4
+L: 214
+L: 214
+L: 440
+L: 483
+
+0
+
+L: 1490
+
+L: 187
+
+
+1
+L: 477
+L: 477
+L: 371
+
+2
+3
+L: 739
+L: 739
+L: 611
+2
+
+
+
+
+2
+5
+7
+
+L: 3520
+L: 977
+L: 977
+L: 128
+L: 128
+
+L: 1288
+L: 1039
+L: 1077
+L: 1077
+L: 142
+L: 142
+2
+L: 1070
+L: 1070
+L: 53
+L: 53
+L: 58
+2
+L: 233
+L: 233
+L: 66
+
+2
+L: 62
+L: 62
+L: 59
+L: 59
+2
+1
+
+2
+L: 127
+2
+1
+
+L: 256
+5
+
+L: 556
+2
+4
+
+L: 522
+2
+
+L: 409
+2
+L: 610
+
+L: 352
+
+L: 164
+5
+L: 55
+L: 55
+
+
+
+L: 71
+L: 3824
+L: 41
+L: 41
+
+1
+L: 475
+L: 903
+
+L: 174
+
+
+
+1
+L: 106
+L: 134
+
+
+L: 128
+L: 34
+L: 84
+L: 84
+L: 92
+5
+L: 427
+7
+L: 143
+L: 143
+3
+L: 109
+L: 109
+L: 107
+
+0
+
+
+
+L: 183
+
+L: 246
+L: 116
+0
+
+
+
+
+L: 387
+L: 98
+
+
+1
+L: 1522
+
+L: 4818
+2
+L: 8454
+1
+L: 2031
+
+
+L: 1508
+7
+L: 2343
+L: 2386
+L: 5211
+L: 5254
+
+6
+1
+L: 1594
+0
+L: 1225
+L: 8021
+
+2
+
+L: 1526
+L: 1569
+
+
+3
+
+L: 810
+L: 2755
+6
+L: 2448
+2
+
+
+1
+L: 1124
+L: 1167
+6
+
+L: 3206
+L: 320
+1
+L: 3063
+L: 3106
+L: 925
+L: 968
+2
+
+L: 1956
+
+L: 1779
+
+
+L: 1490
+L: 1207
+2
+L: 2397
+L: 3676
+2
+2
+L: 12612
+L: 2740
+L: 4834
+
+
+2
+
+1
+
+L: 1491
+
+L: 1924
+L: 3600
+L: 3643
+2
+
+L: 1025
+L: 330
+L: 370
+L: 1592
+2
+L: 4280
+
+
+
+L: 2862
+
+
+
+L: 1219
+L: 2678
+L: 2721
+L: 1096
+L: 1139
+L: 664
+
+L: 31
+L: 265
+L: 7350
+L: 7350
+3
+
+L: 412
+L: 1248
+L: 1248
+L: 224
+L: 224
+L: 280
+L: 280
+2
+L: 632
+L: 632
+L: 154
+L: 154
+L: 1731
+L: 93
+L: 93
+L: 108
+L: 108
+L: 147
+
+
+L: 210
+L: 210
+L: 11816
+L: 11816
+L: 1798
+
+L: 79
+L: 79
+L: 876
+L: 951
+2
+
+L: 236
+L: 236
+
+L: 182
+L: 63
+L: 63
+L: 5268
+L: 5268
+L: 114
+L: 114
+L: 439
+5
+
+L: 1098
+L: 128
+L: 128
+L: 54245
+
+
+L: 716
+2
+
+0
+
+2
+3
+L: 837
+1
+2
+3
+
+2
+1
+5
+L: 86
+
+L: 145
+L: 1811
+2
+6
+L: 86
+L: 86
+L: 72
+2
+L: 206
+L: 206
+L: 266
+L: 287
+L: 287
+L: 689
+1
+L: 463
+0
+
+L: 72
+L: 72
+L: 183
+
+L: 493
+
+
+
+1
+
+L: 122
+
+0
+1
+2
+L: 777
+L: 699
+L: 699
+0
+
+L: 211
+2
+L: 153
+L: 171
+L: 171
+L: 75
+2
+L: 84
+2
+L: 2011
+L: 630
+1
+2
+3
+L: 174
+
+2
+L: 428
+2
+L: 767
+L: 767
+L: 611
+L: 611
+2
+1
+2
+6
+7
+0
+6
+
+6
+2
+3
+4
+2
+2
+
+L: 415
+L: 415
+2
+
+0
+
+
+
+0
+5
+
+3
+
+6
+
+
+
+
+3
+1
+
+
+1
+
+
+
+
+2
+7
+2
+
+
+
+
+0
+7
+
+
+5
+3
+3
+6
+2
+
+
+3
+1
+7
+
+
+
+L: 837
+
+
+1
+7
+0
+
+L: 351
+2
+1
+2
+
+5
+
+5
+7
+
+L: 273
+
+1
+
+0
+4
+L: 169
+2
+
+6
+0
+
+7
+0
+1
+2
+L: 265
+2
+1
+2
+
+7
+L: 249
+
+7
+
+
+
+
+
+
+7
+
+0
+2
+1
+2
+
+
+6
+5
+L: 193
+L: 268
+2
+
+
+3
+3
+3
+L: 20
+
+L: 192
+
+1
+
+0
+1
+2
+3
+2
+1
+5
+
+1
+
+
+
+
+7
+0
+2
+
+
+
+
+
+
+
+5
+1
+
+5
+
+0
+
+
+2
+3
+
+L: 233
+L: 233
+2
+
+6
+6
+7
+
+
+2
+0
+3
+1
+6
+7
+L: 37
+L: 37
+2
+
+
+0
+
+
+
+
+
+3
+
+
+
+5
+
+
+7
+
+7
+
+
+
+0
+
+
+
+
+
+2
+3
+
+
+
+
+
+
+
+7
+
+5
+2
+3
+2
+
+
+
+
+
+
+
+
+
+1
+3
+
+3
+
+
+
+5
+L: 357
+1
+0
+3
+3
+
+1
+L: 286
+4
+3
+1
+
+
+
+
+
+
+
+1
+
+
+3
+
+
+
+
+L: 536
+
+0
+0
+2
+
+6
+6
+
+5
+6
+
+
+
+
+
+L: 24
+2
+
+
+0
+3
+1
+4
+5
+
+0
+
+
+
+0
+3
+
+5
+
+
+
+2
+
+
+1
+
+L: 138
+
+
+
+
+0
+
+7
+
+2
+1
+
+
+
+
+
+
+
+
+
+2
+
+1
+
+1
+
+6
+
+2
+
+3
+
+L: 747
+
+
+
+
+
+6
+7
+
+
+
+
+
+0
+0
+
+1
+L: 283
+
+0
+
+
+
+
+0
+
+
+
+
+
+
+
+
+
+
+
+
+
+1
+7
+1
+2
+0
+6
+0
+
+3
+6
+
+2
+
+
+
+4
+5
+L: 101
+
+1
+
+6
+
+
+
+5
+6
+
+
+7
+0
+7
+
+0
+0
+2
+3
+0
+1
+
+2
+L: 74257
+L: 74310
+2
+6
+7
+3
+
+2
+
+2
+
+
+L: 367
+2
+5
+6
+7
+0
+6
+7
+
+5
+
+
+6
+7
+0
+
+3
+
+
+3
+0
+1
+5
+6
+7
+0
+L: 53775
+L: 53775
+1
+0
+0
+1
+2
+6
+L: 22961
+
+4
+
+1
+
+
+
+0
+L: 24672
+2
+6
+
+3
+0
+
+
+0
+6
+
+
+6
+2
+3
+
+7
+2
+L: 653
+L: 728
+
+7
+2
+4
+
+
+3
+
+
+2
+
+
+1
+1
+
+
+L: 218
+
+
+1
+
+
+
+
+7
+2
+1
+
+
+
+
+
+
+
+
+
+
+L: 205
+0
+3
+
+3
+2
+2
+
+L: 369
+3
+4
+L: 130
+
+
+
+
+L: 470
+
+2
+
+
+0
+
+
+7
+0
+
+7
+0
+
+2
+
+
+
+2
+
+3
+
+3
+
+L: 199
+
+
+1
+
+2
+
+
+
+
+
+
+
+2
+
+
+
+
+
+
+
+
+
+6
+
+
+2
+2
+3
+5
+3
+L: 200
+2
+5
+
+
+
+
+
+
+2
+
+
+
+
+1
+
+
+
+2
+2
+
+2
+
+6
+
+
+2
+1
+7
+
+L: 453
+
+
+
+0
+6
+
+2
+
+3
+
+5
+
+
+7
+
+L: 267
+2
+1
+2
+
+
+
+
+6
+7
+0
+
+
+
+L: 637
+
+1
+
+5
+1
+2
+
+
+1
+6
+7
+0
+1
+2
+
+2
+4
+0
+
+1
+2
+3
+
+5
+L: 409
+
+2
+1
+
+
+7
+1
+
+6
+
+
+
+
+
+
+
+
+L: 1388
+5
+6
+
+3
+
+
+
+L: 477
+
+
+
+
+
+
+
+2
+2
+
+
+
+5
+
+
+
+4
+L: 1806
+
+6
+
+7
+
+
+L: 253
+
+
+7
+
+0
+
+
+
+
+7
+
+
+
+
+
+
+
+L: 782
+
+
+7
+
+
+
+
+
+L: 2805
+
+
+7
+
+
+0
+
+
+
+
+7
+L: 9246
+
+
+5
+
+
+
+6
+7
+
+
+0
+3
+
+
+
+5
+
+L: 65
+
+
+
+L: 354
+
+
+
+
+1
+
+2
+
+
+0
+
+
+
+
+4
+6
+7
+3
+
+
+
+
+3
+3
+
+
+
+
+
+3
+
+
+
+
+L: 22
+
+
+
+
+
+
+
+
+
+1
+L: 2837
+
+2
+2
+
+2
+L: 172
+2
+
+
+
+
+6
+
+
+3
+
+
+2
+
+
+
+
+0
+1
+
+
+L: 953
+L: 1025
+
+
+
+L: 1744
+
+6
+
+
+
+
+
+
+
+
+
+
+
+L: 1614
+
+
+
+
+4
+
+3
+
+
+
+
+3
+L: 2769
+L: 2769
+
+
+
+
+
+
+6
+
+0
+
+
+
+3
+
+6
+
+
+
+L: 223
+
+
+0
+
+
+
+
+3
+4
+
+
+
+
+
+
+
+
+L: 753
+
+
+
+
+
+
+
+
+1
+
+
+
+
+
+3
+4
+
+
+3
+
+6
+7
+0
+
+
+
+
+5
+5
+5
+
+
+1
+
+
+1
+
+L: 5022
+1
+3
+
+
+
+
+
+
+
+1
+L: 1059
+
+L: 879
+
+2
+
+
+
+
+
+
+
+L: 1174
+
+
+
+0
+
+
+
+
+L: 1037
+L: 1080
+
+
+7
+
+0
+
+7
+
+
+
+
+2
+L: 257
+2
+
+
+
+6
+
+
+3
+
+
+1
+3
+L: 636
+
+L: 565
+
+
+
+4
+L: 281
+
+
+
+
+
+
+
+
+
+
+
+1
+
+
+L: 462
+L: 2513
+3
+
+
+1
+
+
+L: 234
+
+1
+
+
+
+
+
+5
+
+
+
+1
+
+0
+0
+1
+
+
+1
+
+
+
+
+
+
+
+
+
+
+L: 160
+
+
+
+7
+2
+0
+
+
+
+
+1
+L: 1387
+
+
+
+
+
+7
+
+3
+
+0
+1
+
+0
+
+
+
+
+
+7
+
+
+
+
+
+
+1
+
+7
+
+7
+
+
+
+L: 2996
+7
+
+
+
+
+
+
+
+
+0
+
+
+
+
+
+
+
+
+
+
+2
+
+
+0
+
+5
+L: 868
+2
+7
+3
+6
+
+
+7
+
+
+
+
+
+
+3
+
+3
+
+
+
+1
+0
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+L: 1966
+
+7
+
+
+
+
+
+
+1
+L: 1684
+L: 1729
+
+0
+
+
+
+
+
+
+L: 1000
+L: 1045
+
+
+
+
+
+
+
+
+
+2
+
+3
+7
+
+
+
+4
+
+
+
+
+
+
+3
+
+3
+0
+6
+
+
+
+
+
+
+L: 35357
+
+1
+1
+
+
+
+7
+0
+
+7
+0
+
+
+
+0
+
+
+
+0
+
+
+
+
+L: 801
+
+
+L: 162
+
+
+
+
+
+
+
+6
+
+0
+7
+
+0
+
+
+
+
+
+
+
+1
+
+2
+
+2
+
+
+L: 2005
+3
+1
+0
+2
+2
+
+
+
+1
+
+2
+
+
+
+
+
+1
+
+
+
+L: 2269
+L: 2328
+
+
+4
+
+
+2
+
+2
+
+7
+
+
+
+7
+
+
+
+
+
+2
+
+
+0
+
+
+4
+L: 2725
+2
+
+
+L: 165
+
+5
+6
+0
+
+7
+
+
+
+
+
+3
+1
+
+
+
+
+
+
+
+
+0
+
+
+
+L: 3620
+
+
+
+1
+
+2
+
+0
+
+
+4
+L: 7591
+L: 7638
+
+1
+4
+
+3
+
+
+L: 766
+L: 766
+
+
+
+
+3
+1
+0
+
+
+L: 588
+
+L: 1664
+6
+
+7
+2
+
+
+L: 168
+
+
+7
+
+
+1
+
+0
+0
+
+L: 2001
+
+
+
+
+
+7
+
+2
+
+
+L: 120
+L: 120
+
+
+2
+
+L: 216
+2
+7
+0
+6
+0
+0
+
+
+
+
+6
+6
+2
+1
+
+6
+0
+
+
+
+
+
+
+
+0
+
+4
+5
+1
+L: 2739
+
+
+
+
+6
+7
+5
+6
+
+
+
+
+1
+6
+
+
+L: 991
+6
+
+
+
+0
+
+
+
+1
+3
+3
+
+
+
+3
+L: 5258
+L: 5300
+
+1
+
+4
+
+
+
+7
+
+1
+1
+
+
+
+
+
+
+7
+0
+
+L: 10430
+7
+
+1
+7
+
+
+
+7
+3
+
+2
+2
+
+
+7
+
+L: 1060
+
+
+0
+
+
+
+
+L: 1023
+
+
+2
+5
+
+
+1
+3
+
+L: 1154
+
+0
+
+
+
+
+
+L: 1209
+L: 1255
+
+L: 1236
+L: 1282
+2
+6
+
+
+0
+1
+3
+
+
+L: 1089
+L: 1135
+2
+2
+6
+
+0
+
+
+
+L: 1215
+L: 1261
+
+0
+1
+3
+2
+6
+3
+
+
+
+6
+7
+
+2
+2
+2
+
+
+
+
+
+
+7
+
+L: 163
+
+6
+
+6
+
+3
+
+
+
+
+
+0
+L: 4619
+
+
+
+
+
+
+
+
+0
+
+0
+1
+
+
+
+
+5
+
+
+
+
+
+6
+
+4
+5
+5
+L: 2719
+
+6
+3
+
+
+
+5
+
+
+
+5
+2
+
+
+
+7
+0
+1
+L: 416
+
+
+
+
+
+
+1
+5
+
+
+3
+
+
+
+
+0
+1
+
+L: 1129
+
+
+
+
+
+
+
+L: 5188
+
+
+
+
+
+0
+0
+
+3
+2
+3
+
+2
+
+2
+
+0
+2
+
+
+1
+0
+1
+2
+
+2
+7
+
+5
+2
+2
+3
+0
+0
+1
+
+7
+2
+6
+5
+2
+1
+
+
+
+1
+L: 10
+2
+2
+2
+2
+
+L: 10
+2
+
+2
+2
+
+
+0
+1
+1
+L: 919
+L: 959
+L: 23
+2
+0
+7
+
+L: 10
+2
+
+
+
+
+0
+
+
+5
+6
+L: 539
+L: 586
+5
+L: 239
+5
+6
+0
+
+
+
+
+
+
+
+6
+L: 137
+2
+5
+
+7
+7
+0
+7
+
+3
+1
+0
+2
+
+
+
+
+
+
+4
+
+L: 726
+
+0
+
+5
+4
+L: 1896
+4
+L: 1470
+1
+2
+0
+1
+
+
+L: 2380
+2
+
+
+
+L: 153
+
+
+
+
+
+7
+0
+2
+3
+3
+
+
+
+
+L: 3842
+L: 3884
+
+
+4
+
+3
+3
+
+
+0
+2
+
+
+
+L: 3212
+
+
+
+2
+
+
+L: 144
+
+
+7
+0
+6
+
+
+2
+5
+
+
+0
+
+
+
+
+L: 3450
+
+2
+
+0
+
+
+
+
+
+
+4
+
+
+
+L: 356
+
+
+6
+6
+7
+3
+
+
+0
+0
+0
+
+
+4
+
+
+
+
+4
+
+
+
+
+5
+
+
+L: 2919
+
+
+7
+
+7
+2
+2
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+3
+
+3
+
+
+L: 25
+L: 25
+
+
+6
+L: 170
+2
+
+6
+
+
+L: 990
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+3
+
+
+L: 2879
+
+
+
+7
+
+
+
+1
+
+L: 160
+
+
+6
+
+1
+4
+1
+
+7
+0
+1
+
+L: 131
+
+
+
+L: 153
+
+
+
+
+L: 850
+
+
+6
+L: 130
+
+5
+
+
+
+
+0
+L: 1112
+L: 1112
+
+4
+0
+
+1
+
+
+1
+5
+5
+
+6
+7
+
+7
+4
+
+5
+0
+
+
+5
+
+L: 1721
+L: 1797
+
+5
+6
+3
+
+5
+
+0
+3
+
+
+
+
+
+
+6
+7
+L: 2305
+
+
+0
+3
+
+1
+
+
+
+5
+
+
+
+
+1
+7
+0
+0
+
+0
+
+
+
+
+
+
+0
+1
+
+1
+L: 124
+
+1
+
+
+1
+
+
+
+
+L: 1466
+
+L: 1873
+2
+1
+
+0
+
+1
+
+
+L: 32
+
+
+6
+0
+
+1
+2
+3
+4
+L: 481
+0
+
+
+4
+
+0
+
+
+4
+L: 4168
+2
+2
+
+4
+0
+0
+
+
+
+
+
+
+
+
+
+2
+
+
+6
+
+0
+
+
+
+4
+3
+1
+0
+1
+7
+4
+
+
+
+
+1
+
+
+L: 552
+
+6
+0
+6
+
+6
+7
+
+
+
+4
+2
+
+5
+6
+
+
+6
+
+
+2
+
+
+
+3
+
+L: 724
+L: 724
+
+1
+
+
+
+
+
+1
+
+3
+
+5
+L: 307
+L: 307
+1
+
+3
+0
+
+1
+L: 343
+1
+0
+3
+2
+
+4
+7
+
+1
+L: 270
+L: 270
+1
+
+
+
+5
+
+
+
+
+3
+
+
+
+
+2
+
+
+3
+L: 161
+6
+7
+0
+7
+0
+
+
+
+
+
+5
+
+
+
+L: 3419
+0
+
+
+6
+
+0
+L: 496
+2
+
+
+0
+1
+
+L: 3516
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+7
+
+
+
+3
+
+
+
+
+
+
+
+2
+4
+3
+
+1
+2
+6
+1
+L: 153
+2
+5
+6
+7
+0
+
+L: 132
+
+3
+
+L: 133
+
+
+7
+0
+
+
+0
+4
+
+0
+0
+
+
+4
+
+2
+L: 2937
+L: 2937
+2
+3
+
+L: 154
+
+
+
+
+
+
+
+
+
+6
+3
+4
+7
+
+
+
+
+
+
+L: 4067
+
+5
+
+
+2
+2
+7
+2
+L: 128
+2
+7
+0
+6
+1
+L: 3888
+L: 3888
+
+
+
+
+3
+1
+
+
+
+0
+
+
+5
+4
+L: 966
+
+6
+
+5
+
+
+
+
+
+
+
+
+
+0
+1
+2
+3
+6
+L: 87308
+
+
+
+
+
+0
+0
+1
+2
+3
+2
+
+7
+3
+6
+1
+4
+5
+5
+
+1
+0
+3
+1
+4
+5
+L: 644
+L: 644
+2
+
+
+1
+1
+2
+
+3
+7
+0
+
+L: 3069
+L: 3069
+1
+3
+5
+6
+L: 20
+2
+3
+L: 272
+
+6
+7
+0
+6
+7
+0
+1
+
+3
+3
+2
+2
+5
+L: 173
+2
+
+6
+0
+6
+7
+
+2
+3
+7
+2
+2
+6
+
+0
+
+
+7
+L: 3592
+7
+0
+3
+
+2
+
+1
+3
+4
+L: 1047
+L: 126
+
+1
+4
+1
+2
+5
+6
+7
+0
+6
+4
+L: 133
+6
+
+0
+4
+5
+5
+
+
+
+
+
+
+1
+L: 62
+L: 62
+
+1
+
+
+
+3
+0
+0
+2
+3
+L: 41
+2
+1
+2
+
+
+L: 182
+6
+7
+0
+7
+L: 697
+
+0
+
+
+
+
+
+
+
+
+
+3
+4
+
+
+
+L: 778
+
+1
+6
+L: 75014
+
+
+
+
+0
+3
+1
+3
+4
+L: 468
+2
+
+
+
+
+6
+
+L: 763
+
+0
+L: 141
+5
+7
+0
+
+7
+0
+
+
+
+
+
+L: 723
+
+
+
+4
+0
+
+
+5
+
+L: 1927
+L: 1927
+
+
+4
+
+3
+
+3
+L: 254
+
+
+0
+3
+5
+
+
+
+
+
+7
+
+
+4
+0
+
+
+
+L: 1022
+L: 1097
+
+
+1
+3
+
+0
+
+7
+
+7
+2
+0
+
+
+
+
+2
+3
+0
+0
+1
+
+5
+L: 853
+L: 928
+
+
+4
+1
+
+
+
+
+
+
+4
+
+0
+
+
+
+
+L: 12769
+
+7
+
+
+
+
+3
+4
+
+
+
+0
+3
+5
+
+0
+
+
+7
+L: 4084
+3
+
+2
+3
+1
+
+
+0
+1
+2
+L: 106
+L: 151
+0
+
+2
+1
+0
+2
+
+
+
+2
+2
+2
+3
+1
+
+
+5
+L: 2952
+L: 2952
+
+1
+
+6
+3
+1
+
+0
+6
+
+
+2
+1
+
+
+4
+4
+2
+6
+7
+7
+
+
+L: 239
+
+6
+7
+0
+6
+
+
+
+
+
+
+
+
+
+1
+2
+4
+4
+L: 139
+
+
+7
+
+7
+0
+5
+0
+
+
+
+
+
+
+
+1
+
+0
+
+L: 1768
+L: 1768
+2
+
+6
+
+
+0
+2
+2
+3
+3
+3
+2
+
+3
+0
+
+
+
+
+3
+0
+1
+
+L: 737
+L: 737
+2
+1
+1
+0
+1
+L: 23
+1
+1
+
+2
+L: 984
+L: 984
+
+
+
+
+
+
+
+L: 109
+L: 109
+
+2
+
+
+
+7
+2
+2
+1
+0
+
+
+
+
+
+
+
+
+
+0
+
+7
+
+
+5
+6
+
+
+0
+
+7
+0
+7
+L: 821
+2
+
+7
+3
+
+
+0
+3
+
+
+4
+5
+
+
+
+7
+
+1
+
+
+6
+
+2
+L: 155
+2
+5
+
+1
+
+0
+3
+0
+
+
+3
+L: 139
+2
+2
+
+
+L: 172
+2
+5
+6
+0
+
+7
+
+4
+
+
+0
+
+5
+4
+0
+1
+
+6
+7
+L: 271
+L: 271
+
+2
+
+6
+
+0
+2
+4
+L: 380
+2
+
+
+
+3
+L: 1013
+1
+
+
+5
+2
+
+
+2
+0
+0
+1
+3
+4
+6
+2
+6
+
+6
+6
+0
+1
+L: 1869
+L: 1879
+0
+0
+0
+1
+
+L: 5199
+
+
+
+6
+
+
+2
+3
+6
+
+3
+1
+3
+4
+L: 154
+6
+7
+L: 8765
+1
+1
+L: 383
+
+0
+
+
+
+
+
+
+6
+2
+
+
+0
+
+
+
+
+
+
+L: 497
+
+
+
+
+
+
+
+
+L: 119
+
+
+
+
+
+
+7
+0
+
+
+
+6
+
+
+
+1
+7
+
+
+2
+6
+7
+
+7
+0
+0
+3
+3
+0
+
+
+L: 4843
+
+6
+
+
+
+7
+
+7
+
+
+
+3
+0
+
+0
+
+L: 16837
+
+
+0
+
+1
+3
+
+
+
+5
+6
+
+L: 347
+2
+
+2
+1
+5
+L: 173
+
+
+2
+2
+3
+7
+4
+1
+5
+
+
+0
+
+7
+0
+6
+7
+
+3
+4
+2
+2
+6
+0
+
+2
+5
+0
+
+4
+
+6
+7
+L: 29
+L: 29
+
+
+L: 235
+L: 235
+5
+6
+L: 517
+L: 517
+
+
+2
+
+
+
+4
+6
+L: 3395
+
+
+
+7
+
+
+0
+
+
+L: 783
+2
+1
+
+
+
+7
+0
+
+7
+0
+
+2
+3
+2
+
+0
+
+
+
+0
+
+
+2
+
+
+
+
+0
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+L: 1917
+
+
+
+
+
+
+
+
+
+
+
+
+
+L: 5017
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+L: 908
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+L: 627
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+L: 692
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+L: 687
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+L: 3692
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+L: 28479
diff --git a/tests/large-subopt.in2 b/tests/large-subopt.in2
new file mode 100644
index 0000000..5c19b9f
--- /dev/null
+++ b/tests/large-subopt.in2
@@ -0,0 +1,5777 @@
+L: 484
+
+L: 1003
+L: 1853
+L: 1835
+
+
+L: 9527
+L: 783
+
+L: 1264
+L: 1689
+
+
+
+L: 711
+
+L: 1192
+
+
+
+L: 3428
+1
+L: 1247
+
+
+L: 1551
+L: 1591
+2
+L: 2998
+1
+L: 980
+
+L: 1677
+L: 1712
+
+2
+
+3
+
+L: 992
+
+L: 3178
+2
+2
+
+2
+L: 1006
+L: 955
+L: 1014
+
+
+L: 736
+
+
+L: 556
+L: 615
+
+
+1
+5
+L: 2759
+
+L: 4711
+L: 648
+
+L: 850
+L: 860
+L: 23
+
+
+L: 282
+
+L: 1614
+L: 1614
+
+L: 1000
+
+
+L: 1160
+
+2
+L: 1830
+L: 1570
+L: 5296
+L: 699
+
+L: 33
+L: 33
+
+L: 2265
+
+
+
+2
+L: 2001
+
+
+
+L: 3206
+
+
+L: 111
+
+
+L: 726
+
+
+L: 857
+
+
+
+L: 332
+
+2
+L: 281
+
+
+L: 1806
+
+L: 3111
+L: 727
+
+L: 129
+L: 241
+
+L: 90
+
+2
+1
+
+
+
+
+L: 2513
+
+L: 139
+
+L: 618
+L: 1329
+7
+L: 1703
+L: 1769
+1
+
+1
+
+L: 331
+
+
+L: 1187
+
+
+
+3
+L: 114
+L: 153
+
+5
+6
+
+
+
+
+0
+L: 976
+L: 976
+
+
+0
+
+L: 266
+
+
+L: 230
+
+
+
+
+L: 362
+L: 362
+L: 36
+L: 36
+
+L: 14026
+L: 127
+L: 127
+L: 515
+L: 167
+
+
+L: 823
+
+L: 165
+1
+L: 693
+
+L: 472
+
+
+5
+L: 913
+2
+
+
+
+
+L: 1163
+
+L: 56
+L: 775
+L: 775
+L: 200
+L: 240
+L: 26
+
+L: 210
+
+L: 356
+4
+L: 295
+L: 1939
+0
+1
+L: 208
+L: 488
+
+L: 452
+2
+L: 1010
+L: 1010
+5
+L: 306
+L: 1470
+L: 1470
+L: 1027
+0
+
+2
+L: 140
+
+L: 231
+L: 231
+L: 451
+L: 451
+
+L: 495
+
+
+0
+L: 438
+
+L: 703
+
+L: 291
+
+
+L: 192
+L: 2285
+L: 2325
+L: 365
+
+
+
+L: 179
+L: 803
+L: 843
+
+2
+L: 1303
+L: 434
+
+L: 118
+
+L: 374
+1
+L: 223
+L: 223
+
+
+
+
+L: 288
+2
+
+L: 1486
+3
+
+L: 884
+L: 1088
+
+
+
+L: 635
+
+L: 38
+L: 38
+
+L: 2678
+
+L: 358
+
+L: 121
+
+
+L: 2168
+L: 2208
+2
+
+L: 1031
+
+L: 402
+
+
+L: 625
+
+L: 821
+
+
+L: 424
+L: 1744
+
+
+
+1
+2
+L: 18
+
+
+L: 60
+
+
+
+L: 469
+L: 509
+
+
+
+
+
+
+
+L: 153
+
+L: 107
+L: 3858
+L: 1846
+L: 1846
+L: 56
+L: 56
+L: 566
+L: 566
+L: 2996
+L: 2996
+
+L: 992
+
+L: 2660
+L: 11878
+2
+L: 2877
+L: 2887
+
+
+L: 745
+L: 1924
+
+
+
+
+
+L: 300
+
+1
+L: 307
+
+
+
+
+
+
+
+
+
+L: 741
+2
+
+
+
+
+
+
+L: 28
+
+L: 140
+
+
+
+
+
+
+
+L: 28
+
+L: 25
+
+5
+
+
+L: 1503
+
+
+
+
+
+L: 2228
+
+
+
+L: 1098
+4
+L: 3620
+
+
+
+L: 225
+
+
+
+L: 2111
+
+L: 212
+L: 212
+
+L: 326
+L: 326
+L: 2937
+2
+5
+L: 1917
+L: 1917
+
+
+L: 109
+L: 433
+4
+
+L: 20
+L: 267
+L: 267
+
+L: 177
+L: 676
+
+L: 282
+
+L: 223
+L: 175
+L: 175
+
+
+4
+5
+
+5
+6
+L: 2474
+
+3
+3
+L: 1142
+
+
+1
+
+L: 31
+L: 713
+
+L: 447
+
+
+
+4
+
+
+2
+1
+L: 480
+L: 480
+7
+L: 162
+L: 162
+L: 130
+L: 884
+L: 884
+1
+L: 86
+L: 86
+2
+
+
+
+
+
+
+L: 31
+
+
+1
+L: 1245
+L: 2034
+
+5
+
+7
+L: 62
+L: 62
+
+
+1
+3
+2
+L: 970
+L: 970
+
+2
+
+
+
+1
+2
+
+2
+
+L: 897
+2
+
+6
+L: 620
+
+L: 490
+L: 420
+
+L: 110
+0
+L: 219
+2
+1
+L: 301
+L: 21
+
+4
+5
+
+L: 1042
+L: 1108
+2
+
+L: 5017
+L: 5017
+L: 119
+4
+L: 284
+L: 284
+L: 2841
+2
+L: 505
+L: 545
+2
+
+L: 2397
+
+L: 389
+L: 133
+L: 133
+L: 1067
+
+
+L: 184
+L: 31
+
+L: 207
+
+
+5
+L: 303
+2
+L: 655
+L: 108
+1
+L: 96
+L: 66
+
+L: 259
+L: 318
+2
+
+L: 166
+
+L: 158
+
+L: 4139
+L: 10459
+L: 1382
+
+L: 262
+
+L: 161
+
+L: 24
+L: 1896
+
+
+L: 966
+
+L: 75
+
+
+
+L: 214
+
+
+
+L: 18
+
+L: 1199
+L: 31
+L: 31
+L: 102
+
+L: 662
+L: 62
+L: 62
+
+L: 737
+
+
+
+L: 8765
+
+2
+
+
+
+
+L: 249
+
+L: 723
+L: 393
+L: 716
+
+L: 1288
+L: 1288
+L: 35357
+2
+
+L: 4067
+L: 75014
+L: 75014
+
+
+
+
+
+
+
+
+1
+6
+L: 852
+L: 852
+L: 1664
+L: 1664
+6
+
+
+L: 44
+
+L: 387
+L: 30
+
+3
+
+L: 308
+0
+1
+
+L: 35
+L: 451
+
+
+L: 31
+L: 3395
+
+2
+
+L: 144
+
+
+6
+L: 2952
+L: 770
+L: 770
+
+2
+L: 31
+L: 190
+L: 190
+L: 43
+L: 43
+
+
+L: 71
+L: 724
+L: 47
+
+1
+
+
+2
+L: 37
+L: 37
+L: 222
+L: 222
+L: 341
+L: 341
+L: 963
+L: 973
+L: 853
+L: 853
+
+L: 429
+
+L: 90
+
+L: 10430
+L: 10430
+7
+L: 176
+1
+2
+
+L: 428
+L: 428
+L: 2719
+
+L: 2869
+L: 2869
+L: 31
+L: 31
+L: 293
+L: 293
+2
+L: 78
+L: 78
+
+L: 108
+L: 184
+L: 184
+L: 421
+
+
+3
+L: 508
+6
+1
+L: 2769
+L: 2769
+2
+4
+5
+
+
+L: 868
+L: 906
+L: 920
+L: 920
+2
+2
+7
+L: 135
+L: 475
+
+L: 155
+L: 663
+L: 663
+L: 562
+L: 340
+
+L: 1089
+
+L: 29
+L: 29
+
+L: 292
+1
+L: 175
+L: 44
+L: 44
+L: 517
+L: 517
+6
+5
+6
+L: 50
+L: 398
+
+
+L: 4084
+
+
+2
+1
+L: 2343
+
+
+
+L: 4818
+L: 22
+L: 22
+
+L: 201
+L: 136
+L: 751
+L: 751
+2
+1
+L: 326
+L: 326
+
+L: 640
+2
+L: 751
+L: 751
+L: 1129
+L: 1129
+L: 1198
+L: 1198
+L: 185
+
+L: 31
+L: 31
+L: 99
+L: 99
+
+L: 903
+2
+0
+L: 267
+2
+L: 564
+0
+L: 19
+L: 19
+
+L: 124
+L: 124
+
+
+L: 115
+L: 115
+
+L: 189
+L: 51
+L: 51
+L: 85
+L: 85
+L: 69
+L: 69
+L: 6338
+2
+L: 196
+L: 196
+
+L: 778
+L: 630
+L: 31
+L: 31
+L: 2147
+L: 2147
+L: 217
+L: 619
+2
+3
+L: 1218
+
+L: 453
+
+
+L: 776
+
+
+L: 1206
+
+L: 633
+L: 673
+5
+
+3
+L: 297
+2
+1
+
+L: 4619
+
+2
+
+L: 954
+7
+
+L: 660
+
+
+L: 1117
+
+L: 844
+L: 3842
+
+
+5
+L: 532
+L: 92
+
+L: 1236
+
+
+L: 1128
+7
+
+
+
+L: 4280
+6
+L: 44
+L: 44
+1
+
+L: 204
+L: 204
+3
+L: 1594
+L: 1594
+L: 341
+
+7
+
+L: 695
+L: 84
+L: 84
+2
+5
+
+7
+
+L: 522
+1
+
+
+
+1
+L: 392
+L: 44
+
+
+L: 13
+L: 629
+L: 629
+
+L: 846
+
+
+
+1
+
+
+
+L: 321
+
+L: 333
+
+
+L: 26
+L: 26
+
+1
+
+L: 51
+L: 91
+L: 653
+L: 653
+L: 237
+
+
+L: 244
+
+
+
+L: 977
+
+L: 2383
+
+L: 889
+L: 929
+L: 62
+
+
+
+L: 630
+L: 630
+L: 88
+
+2
+L: 422
+
+1
+L: 366
+L: 63
+L: 63
+L: 478
+L: 55
+L: 55
+L: 197
+L: 197
+L: 125
+L: 125
+L: 128
+L: 128
+L: 72
+L: 72
+L: 2137
+L: 2137
+L: 935
+2
+
+7
+L: 610
+L: 632
+L: 35
+L: 35
+L: 1264
+L: 1264
+L: 780
+L: 780
+2
+
+
+
+L: 47
+L: 44
+1
+3
+L: 1112
+4
+5
+L: 1050
+L: 86
+L: 892
+6
+
+L: 65
+L: 79
+L: 79
+L: 3213
+L: 3213
+L: 75
+L: 289
+L: 346
+0
+L: 1926
+2
+
+
+L: 644
+
+
+
+
+L: 3731
+L: 44
+L: 44
+L: 169
+L: 169
+2
+L: 189
+
+L: 141
+L: 786
+L: 852
+2
+0
+L: 54
+0
+L: 73
+L: 73
+
+
+L: 67
+2
+L: 323
+L: 323
+5
+L: 79
+
+L: 113
+L: 113
+L: 126
+L: 126
+L: 140
+L: 140
+L: 17
+L: 17
+2
+L: 305
+4
+7
+L: 31
+L: 31
+
+
+
+L: 189
+L: 832
+L: 3030
+L: 3073
+
+6
+
+2
+L: 336
+
+L: 126
+5
+L: 66
+L: 66
+
+L: 392
+L: 285
+L: 31
+L: 31
+L: 855
+L: 716
+L: 123
+
+1
+
+1
+L: 82
+
+L: 5300
+7
+
+
+L: 600
+6
+L: 944
+L: 944
+L: 278
+
+
+
+L: 31
+L: 31
+
+L: 138
+
+
+L: 88
+L: 88
+
+1
+L: 22
+L: 62
+
+
+2
+L: 246
+
+L: 1466
+
+
+
+L: 343
+
+
+
+
+L: 48
+
+L: 347
+2
+L: 1371
+
+
+4
+L: 72
+L: 72
+L: 2177
+L: 1023
+L: 1023
+L: 161
+L: 827
+L: 355
+3
+
+L: 234
+L: 555
+
+
+
+L: 620
+L: 620
+4
+L: 908
+L: 908
+
+
+L: 971
+0
+L: 643
+L: 679
+2
+
+L: 127
+L: 271
+L: 1174
+
+
+
+
+L: 44
+
+7
+L: 171
+
+2
+L: 345
+
+6
+L: 1820
+L: 2779
+L: 2779
+
+L: 432
+
+2
+L: 3780
+
+L: 944
+
+L: 4168
+
+
+
+
+
+L: 224
+
+
+
+L: 636
+0
+
+
+
+L: 180
+L: 180
+
+
+
+
+L: 87
+
+
+L: 590
+
+L: 1073
+L: 342
+
+
+7
+0
+
+L: 55
+
+
+L: 968
+
+L: 70
+
+
+L: 2008
+L: 2051
+
+0
+L: 411
+L: 1154
+L: 1154
+
+6
+L: 280
+
+L: 182
+L: 102
+
+
+L: 31
+2
+L: 21
+
+
+
+L: 885
+2
+L: 1721
+L: 721
+L: 90
+2
+L: 40
+
+2
+L: 37
+
+L: 133
+L: 133
+1
+L: 627
+
+L: 537
+5
+L: 737
+
+2
+L: 6290
+
+
+L: 66
+L: 66
+L: 117
+L: 117
+L: 273
+L: 12769
+L: 12769
+L: 1486
+L: 1486
+2
+L: 801
+L: 801
+2
+L: 9762
+L: 1155
+L: 1155
+
+0
+L: 401
+L: 86
+2
+1
+0
+L: 103
+L: 103
+L: 173
+
+
+L: 581
+L: 581
+L: 396
+2
+
+L: 959
+
+7
+
+L: 3418
+L: 3418
+L: 88
+L: 88
+L: 1853
+L: 670
+L: 1206
+L: 1206
+L: 233
+L: 233
+L: 261
+L: 261
+2
+L: 338
+L: 338
+
+
+L: 692
+
+5
+6
+L: 716
+L: 716
+2
+L: 136
+
+L: 61
+L: 29
+L: 29
+L: 63
+L: 63
+
+L: 74
+L: 74
+L: 266
+L: 266
+L: 66
+L: 66
+2
+
+L: 1588
+
+L: 97
+L: 50
+
+L: 721
+
+L: 1443
+
+
+
+2
+L: 277
+2
+
+
+L: 2739
+2
+2
+
+L: 42
+2
+1
+2
+L: 150
+L: 150
+L: 218
+L: 218
+L: 412
+L: 2380
+L: 2380
+2
+L: 2394
+L: 2460
+
+L: 572
+L: 359
+L: 359
+6
+
+L: 476
+
+L: 684
+L: 553
+L: 25
+
+2
+
+L: 841
+
+
+
+L: 953
+L: 306
+L: 306
+
+L: 18332
+
+L: 2859
+
+
+0
+
+
+2
+5
+
+
+
+
+
+L: 237
+
+
+L: 66
+L: 36
+
+L: 59
+L: 59
+
+
+L: 36
+
+
+L: 228
+
+
+L: 216
+
+
+
+L: 2725
+2
+
+L: 102
+2
+L: 1225
+L: 1225
+0
+2
+
+L: 84
+2
+1
+L: 1416
+L: 39
+2
+1
+2
+L: 88
+
+2
+
+L: 44
+L: 382
+L: 1592
+L: 1592
+L: 471
+
+L: 450
+2
+
+
+4
+
+
+2
+
+3
+L: 912
+
+
+L: 2998
+L: 2998
+1
+2
+
+2
+L: 140
+L: 68
+
+2
+5
+
+L: 1124
+0
+
+L: 18
+1
+6
+L: 9246
+
+
+
+1
+L: 256
+
+2
+0
+L: 191
+
+
+6
+3
+L: 990
+0
+
+L: 397
+
+
+L: 460
+
+2
+
+4
+
+
+L: 82
+L: 21
+L: 21
+
+L: 106
+
+
+
+
+0
+L: 66
+L: 3069
+
+L: 79
+L: 152
+
+1
+L: 1148
+L: 1148
+1
+
+
+
+
+L: 295
+2
+
+L: 256
+L: 1541
+L: 1541
+1
+4
+L: 407
+L: 449
+2
+L: 109
+
+1
+
+L: 662
+
+
+7
+
+
+
+
+L: 258
+2
+
+L: 1916
+L: 239
+
+2
+
+
+
+L: 95
+
+
+L: 50
+
+L: 2879
+L: 2919
+L: 3450
+
+
+L: 336
+L: 336
+
+2
+L: 1146
+
+
+
+
+L: 472
+
+L: 60
+2
+
+6
+
+L: 17
+
+L: 17
+
+L: 17
+
+
+L: 28479
+
+
+
+
+
+
+
+L: 27
+
+L: 498
+L: 3419
+
+L: 1238
+
+
+0
+
+L: 97
+2
+
+L: 753
+
+
+
+
+
+
+
+
+
+L: 480
+L: 480
+L: 670
+L: 15
+
+
+L: 250
+
+
+L: 416
+L: 3212
+L: 3212
+
+
+L: 578
+
+
+L: 95
+
+
+
+
+
+2
+
+
+L: 534
+
+L: 253
+
+L: 185
+L: 698
+L: 698
+L: 202
+L: 202
+
+L: 226
+L: 349
+
+L: 1167
+L: 1167
+L: 458
+L: 458
+
+
+L: 160
+L: 3102
+
+L: 84
+
+L: 491
+
+4
+L: 93
+
+L: 31
+
+
+L: 657
+
+L: 188
+L: 56
+
+
+L: 24
+0
+1
+L: 1156
+
+
+L: 82
+
+L: 1919
+L: 41
+L: 441
+
+L: 497
+L: 254
+L: 441
+
+
+2
+L: 1080
+
+L: 1935
+3
+4
+L: 869
+L: 869
+2
+L: 931
+
+3
+L: 451
+
+L: 810
+
+L: 588
+
+L: 304
+
+L: 16837
+L: 569
+
+2
+2
+L: 35
+L: 35
+L: 1261
+L: 1261
+L: 117
+L: 117
+L: 173
+L: 173
+L: 1574
+3
+
+
+
+
+L: 357
+
+
+L: 795
+
+L: 687
+
+
+
+L: 161
+
+
+
+2
+3
+L: 160
+L: 160
+L: 1846
+L: 29
+L: 29
+2
+
+
+L: 47
+L: 1182
+
+L: 3655
+6
+7
+L: 409
+
+
+2
+L: 71
+L: 71
+L: 110
+L: 110
+2
+3
+L: 47
+L: 47
+
+L: 404
+
+
+L: 1395
+
+L: 2837
+L: 2837
+
+L: 2869
+
+L: 149
+L: 770
+L: 665
+L: 785
+
+L: 318
+
+
+
+2
+
+L: 360
+
+
+
+2
+1
+L: 1798
+L: 1798
+L: 479
+L: 489
+L: 63
+L: 63
+2
+L: 956
+
+
+L: 906
+2
+1
+2
+L: 23
+
+L: 552
+
+1
+0
+
+L: 2139
+
+L: 97
+
+
+L: 43
+L: 912
+L: 912
+L: 970
+L: 2953
+L: 546
+L: 546
+2
+1
+
+
+L: 1047
+L: 1047
+L: 3888
+L: 3888
+4
+L: 39
+L: 39
+
+L: 386
+
+1
+L: 67
+L: 67
+L: 86
+0
+
+3
+
+3
+L: 639
+3
+
+L: 326
+1
+L: 263
+L: 263
+2
+4
+
+L: 118
+L: 2055
+6
+L: 85
+L: 85
+
+L: 239
+L: 203
+1
+L: 683
+L: 560
+L: 560
+L: 1059
+L: 1059
+L: 233
+6
+L: 32
+7
+L: 155
+L: 155
+2
+L: 178
+L: 178
+L: 159
+L: 159
+2
+L: 187
+3
+L: 630
+2
+L: 385
+L: 385
+2
+L: 782
+
+1
+L: 157
+2
+L: 1935
+L: 1935
+2
+L: 942
+L: 71
+L: 71
+L: 2805
+L: 2805
+L: 237
+L: 237
+L: 1241
+
+
+2
+
+L: 546
+1
+L: 302
+
+L: 60
+L: 60
+
+L: 235
+2
+L: 290
+
+L: 30
+
+L: 300
+2
+L: 565
+L: 565
+
+L: 58
+2
+L: 387
+L: 387
+
+1
+L: 180
+L: 120
+L: 120
+L: 363
+L: 31
+L: 31
+L: 646
+L: 646
+2
+1
+L: 536
+L: 99
+
+
+
+
+
+2
+
+
+
+
+L: 169
+
+
+L: 270
+L: 496
+L: 496
+
+0
+1
+L: 377
+2
+5
+
+
+L: 780
+5
+
+L: 117
+L: 117
+
+
+L: 94
+
+L: 470
+L: 1956
+L: 1956
+4
+L: 287
+L: 108
+L: 108
+2
+L: 310
+L: 310
+L: 204
+L: 204
+L: 3510
+L: 3510
+L: 33
+L: 33
+L: 1096
+L: 1096
+L: 44
+L: 44
+L: 621
+L: 621
+L: 440
+
+2
+
+L: 1488
+1
+3
+L: 747
+L: 747
+L: 833
+L: 833
+L: 122
+L: 122
+7
+L: 272
+0
+L: 236
+
+2
+
+L: 1873
+
+2
+
+L: 193
+1
+L: 1329
+
+7
+L: 3643
+
+3
+
+L: 514
+7
+L: 286
+
+L: 15
+L: 15
+
+L: 240
+
+4
+L: 166
+
+L: 143
+L: 143
+
+
+1
+
+L: 8021
+L: 211
+L: 211
+
+4
+
+
+
+L: 938
+
+
+L: 186
+4
+
+7
+L: 180
+2
+L: 200
+L: 200
+6
+L: 851
+L: 851
+
+L: 381
+L: 381
+L: 418
+L: 1945
+L: 2047
+
+2
+L: 101
+
+4
+L: 203
+
+
+L: 483
+
+L: 849
+L: 1485
+L: 1485
+
+L: 1879
+L: 104
+L: 104
+1
+L: 468
+L: 468
+L: 364
+
+1
+
+
+
+L: 662
+L: 611
+
+L: 168
+
+
+
+L: 2726
+L: 2801
+2
+
+7
+L: 3516
+
+
+
+
+
+
+
+L: 991
+L: 991
+
+L: 1060
+
+L: 1067
+L: 1067
+
+L: 1927
+
+L: 18
+2
+L: 54
+L: 54
+
+L: 770
+
+
+
+
+
+
+
+L: 53
+
+1
+2
+
+L: 528
+
+2
+L: 123
+
+L: 148
+
+L: 252
+5
+
+4
+5
+L: 485
+L: 485
+2
+L: 405
+L: 405
+L: 533
+
+2
+7
+L: 965
+L: 1037
+1
+L: 493
+L: 166
+L: 166
+L: 34
+L: 3824
+L: 963
+L: 963
+2
+L: 28
+L: 28
+
+
+L: 475
+2
+L: 135
+
+L: 1624
+
+
+L: 100
+
+L: 128
+3
+4
+
+
+L: 3692
+
+L: 65
+L: 73
+
+L: 612
+L: 612
+L: 427
+0
+L: 35
+
+2
+3
+L: 91
+
+L: 80
+L: 1097
+
+
+
+
+L: 22
+L: 22
+
+
+0
+2
+3
+L: 69
+L: 69
+L: 3056
+L: 3056
+
+1
+
+L: 1522
+
+L: 8454
+1
+L: 2031
+1
+
+L: 1508
+7
+L: 2386
+L: 5211
+L: 5254
+2
+
+
+L: 1594
+
+L: 1225
+
+L: 1604
+2
+1
+L: 1526
+L: 1569
+
+L: 574
+3
+1
+L: 767
+
+L: 2755
+2
+6
+L: 2448
+2
+7
+L: 11816
+0
+
+
+
+6
+
+L: 320
+1
+L: 3063
+L: 3106
+L: 925
+
+
+6
+
+
+L: 1779
+L: 1822
+L: 1477
+L: 1490
+L: 1207
+2
+L: 2397
+L: 3676
+2
+2
+L: 12612
+L: 2740
+L: 4834
+1
+L: 2789
+2
+3
+1
+L: 1491
+L: 1881
+L: 3600
+L: 3643
+2
+6
+L: 1025
+L: 330
+L: 370
+
+L: 1592
+2
+
+L: 1021
+2
+6
+L: 2862
+L: 3080
+
+L: 3904
+L: 1219
+L: 2678
+L: 2721
+L: 1096
+L: 1139
+L: 664
+L: 707
+
+
+
+L: 265
+2
+2
+
+
+
+L: 213
+
+
+L: 554
+L: 554
+L: 146
+L: 146
+L: 1731
+L: 78
+
+L: 58
+L: 58
+2
+
+L: 104
+L: 104
+L: 131
+L: 206
+
+
+
+
+2
+
+L: 43
+
+L: 876
+L: 951
+L: 184
+L: 184
+
+
+
+L: 59
+L: 59
+
+L: 5188
+L: 5188
+L: 110
+
+
+L: 3902
+2
+
+L: 1045
+L: 70
+L: 70
+L: 54235
+
+L: 189
+
+2
+L: 606
+2
+L: 326
+
+L: 848
+L: 848
+2
+3
+L: 837
+1
+2
+
+L: 147
+
+
+L: 81
+L: 423
+L: 1966
+L: 145
+L: 371
+L: 1797
+L: 1797
+2
+L: 77
+L: 77
+
+L: 68
+
+L: 175
+L: 175
+L: 196
+
+L: 689
+
+L: 463
+
+L: 18
+L: 18
+L: 89
+L: 89
+L: 465
+
+L: 481
+
+2
+L: 97
+L: 97
+
+L: 739
+7
+1
+2
+L: 766
+
+L: 697
+
+
+
+L: 154
+2
+L: 132
+
+
+L: 78
+L: 78
+2
+L: 2011
+L: 630
+L: 114
+
+L: 743
+
+L: 428
+
+
+L: 763
+2
+
+
+
+2
+1
+
+1
+2
+L: 415
+L: 415
+2
+1
+4
+5
+
+5
+
+3
+7
+6
+6
+
+
+L: 211
+L: 211
+2
+1
+2
+
+2
+
+2
+
+
+
+
+6
+
+0
+
+
+0
+0
+4
+
+
+
+7
+0
+
+2
+L: 784
+
+
+2
+
+6
+L: 205
+2
+5
+6
+0
+6
+
+0
+4
+
+
+0
+
+5
+2
+
+3
+
+3
+4
+2
+
+4
+5
+0
+2
+3
+
+2
+2
+
+0
+
+3
+4
+5
+
+
+
+1
+6
+4
+5
+
+
+
+6
+1
+L: 199
+
+
+
+L: 268
+7
+
+6
+
+0
+3
+2
+7
+0
+L: 337
+2
+5
+6
+7
+
+
+
+1
+2
+4
+
+3
+
+2
+0
+0
+
+6
+3
+L: 127
+6
+
+
+7
+0
+3
+3
+4
+6
+2
+1
+
+2
+3
+4
+
+L: 176
+2
+5
+0
+0
+3
+
+1
+2
+3
+L: 181
+L: 181
+
+
+1
+2
+7
+0
+2
+1
+0
+0
+6
+7
+3
+6
+4
+6
+0
+1
+L: 184
+2
+1
+2
+2
+
+L: 154
+2
+
+7
+7
+0
+2
+
+1
+L: 27
+
+
+1
+2
+
+
+L: 221
+5
+0
+6
+7
+
+
+2
+3
+4
+5
+L: 162
+L: 162
+2
+1
+2
+0
+3
+
+
+L: 328
+2
+2
+1
+L: 168
+
+
+7
+0
+
+0
+7
+2
+3
+2
+
+2
+1
+4
+0
+
+L: 96
+L: 96
+2
+
+
+4
+
+6
+
+0
+6
+
+3
+4
+
+6
+L: 580
+L: 580
+
+3
+1
+2
+7
+1
+6
+1
+L: 28
+1
+2
+2
+
+2
+
+0
+3
+
+
+2
+3
+L: 24
+
+2
+1
+1
+2
+1
+2
+3
+L: 300
+L: 300
+
+1
+1
+
+3
+2
+
+
+3
+1
+4
+
+7
+L: 54
+L: 54
+L: 170
+5
+6
+
+
+L: 200
+L: 200
+
+1
+2
+2
+6
+L: 220
+2
+5
+7
+6
+4
+
+
+7
+0
+
+3
+2
+0
+
+
+2
+6
+
+L: 152
+
+2
+4
+6
+L: 242
+7
+6
+3
+7
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+0
+2
+2
+
+
+2
+4
+5
+L: 101
+L: 101
+1
+2
+6
+6
+
+6
+
+6
+7
+0
+7
+2
+3
+0
+0
+2
+2
+0
+0
+1
+1
+2
+2
+L: 74257
+L: 74310
+2
+
+7
+3
+3
+2
+1
+2
+
+4
+L: 367
+2
+5
+6
+7
+
+6
+
+0
+5
+
+3
+6
+7
+0
+1
+2
+3
+4
+2
+2
+
+0
+3
+1
+5
+6
+7
+0
+L: 53775
+L: 53775
+1
+2
+3
+0
+0
+
+1
+2
+L: 22961
+
+
+5
+4
+2
+1
+2
+
+0
+4
+0
+L: 24672
+2
+6
+7
+3
+0
+2
+1
+2
+5
+L: 172
+2
+0
+6
+7
+0
+6
+2
+3
+4
+7
+2
+0
+L: 653
+L: 728
+2
+6
+
+7
+0
+6
+7
+6
+2
+5
+L: 112
+L: 187
+2
+7
+6
+2
+5
+
+L: 165
+
+6
+7
+6
+7
+6
+
+0
+7
+0
+6
+
+6
+L: 205
+5
+6
+0
+6
+7
+5
+2
+3
+0
+6
+7
+
+5
+0
+3
+0
+1
+L: 369
+L: 369
+
+
+3
+2
+2
+6
+2
+3
+1
+
+7
+
+7
+L: 462
+2
+2
+2
+6
+
+7
+
+1
+
+4
+1
+
+5
+5
+L: 199
+2
+6
+0
+7
+6
+2
+1
+0
+3
+
+L: 194
+2
+
+
+2
+3
+
+4
+2
+2
+1
+0
+3
+1
+
+6
+L: 247
+L: 247
+5
+6
+L: 43
+L: 43
+2
+1
+2
+0
+2
+
+
+3
+1
+4
+5
+6
+7
+7
+5
+2
+1
+2
+1
+0
+0
+
+4
+7
+2
+6
+
+
+1
+1
+
+3
+
+
+5
+6
+3
+2
+0
+
+1
+0
+1
+2
+3
+L: 2126
+L: 2126
+2
+1
+2
+3
+0
+1
+2
+5
+3
+
+5
+6
+
+
+7
+7
+0
+3
+1
+2
+4
+
+3
+1
+6
+2
+4
+0
+1
+2
+3
+5
+L: 361
+L: 361
+2
+1
+2
+4
+
+3
+1
+6
+
+0
+1
+L: 72
+2
+1
+2
+2
+
+
+
+0
+6
+0
+3
+2
+L: 1313
+L: 1388
+5
+2
+
+
+6
+L: 139
+5
+6
+0
+6
+7
+0
+7
+L: 477
+L: 477
+0
+3
+4
+6
+L: 45
+L: 45
+0
+7
+L: 253
+7
+0
+6
+7
+0
+2
+4
+2
+0
+1
+6
+L: 43
+L: 43
+6
+7
+2
+6
+3
+4
+1
+6
+7
+2
+7
+1
+7
+1
+6
+7
+2
+7
+2
+2
+3
+1
+2
+2
+1
+2
+0
+0
+6
+L: 65
+L: 65
+2
+1
+2
+7
+7
+0
+0
+
+3
+1
+
+2
+2
+6
+3
+
+2
+6
+0
+0
+L: 1296
+L: 1371
+2
+5
+6
+7
+3
+7
+0
+3
+2
+6
+0
+L: 231
+5
+7
+0
+6
+7
+0
+7
+2
+3
+2
+0
+
+2
+2
+2
+3
+2
+1
+3
+2
+4
+4
+2
+2
+5
+5
+7
+0
+L: 20
+1
+2
+1
+1
+5
+7
+1
+2
+2
+2
+L: 212
+2
+5
+6
+7
+0
+
+
+
+
+
+
+
+6
+7
+5
+2
+3
+7
+6
+2
+2
+4
+6
+7
+7
+L: 64
+L: 64
+2
+2
+0
+1
+L: 153
+6
+0
+6
+7
+0
+2
+1
+L: 1608
+2
+
+4
+L: 223
+6
+6
+3
+1
+3
+4
+L: 315
+1
+L: 165
+L: 165
+1
+3
+6
+7
+4
+4
+1
+6
+L: 1976
+2
+5
+
+6
+7
+2
+2
+3
+
+5
+
+7
+6
+7
+2
+5
+6
+7
+2
+L: 5022
+L: 5022
+2
+2
+6
+1
+4
+6
+L: 352
+L: 352
+2
+1
+2
+7
+0
+L: 245
+2
+5
+
+0
+0
+3
+L: 879
+L: 922
+
+6
+7
+2
+3
+
+2
+3
+0
+0
+5
+6
+L: 1168
+7
+2
+3
+2
+1
+2
+L: 1266
+7
+2
+3
+2
+1
+L: 254
+L: 254
+2
+1
+
+0
+1
+L: 257
+2
+1
+5
+6
+L: 700
+5
+2
+1
+2
+0
+4
+L: 139
+2
+
+
+2
+5
+L: 765
+
+5
+6
+7
+7
+2
+3
+0
+4
+1
+5
+
+
+
+L: 439
+2
+3
+
+
+1
+1
+3
+1
+
+1
+
+L: 5171
+2
+
+2
+2
+3
+L: 167
+5
+6
+6
+2
+3
+5
+4
+2
+3
+5
+2
+3
+2
+2
+1
+1
+4
+1
+5
+L: 1387
+L: 1462
+
+2
+1
+2
+2
+2
+L: 198
+2
+5
+0
+3
+2
+
+L: 294
+
+
+0
+0
+0
+1
+1
+4
+L: 1063
+2
+2
+1
+2
+
+0
+3
+3
+2
+L: 169
+2
+2
+3
+2
+L: 198
+5
+2
+3
+2
+5
+2
+2
+3
+3
+1
+3
+4
+2
+1
+
+7
+7
+3
+7
+
+
+1
+6
+4
+L: 156
+
+5
+0
+6
+7
+2
+
+6
+2
+L: 194
+
+7
+1
+5
+L: 905
+4
+L: 139
+2
+
+6
+0
+0
+7
+
+
+
+
+
+
+
+
+2
+2
+
+0
+2
+5
+2
+2
+L: 1684
+L: 1729
+2
+7
+0
+0
+0
+2
+3
+7
+L: 930
+2
+7
+
+0
+2
+2
+2
+4
+L: 948
+2
+6
+7
+0
+0
+2
+0
+0
+0
+2
+2
+
+7
+3
+6
+6
+2
+2
+2
+2
+
+2
+3
+7
+
+L: 1278
+2
+
+
+3
+6
+L: 29
+L: 29
+2
+2
+
+
+
+3
+3
+3
+4
+2
+6
+
+1
+5
+6
+
+2
+
+1
+3
+L: 127
+2
+2
+1
+2
+2
+0
+2
+2
+0
+0
+3
+1
+3
+2
+2
+2
+2
+
+3
+1
+2
+
+L: 1929
+L: 2005
+
+6
+4
+4
+
+6
+2
+1
+6
+L: 2016
+L: 2269
+L: 2328
+2
+
+7
+4
+
+0
+0
+1
+3
+5
+L: 5268
+2
+6
+7
+4
+1
+2
+2
+1
+1
+4
+6
+7
+L: 137
+L: 137
+2
+1
+6
+7
+5
+7
+2
+
+2
+5
+3
+L: 127
+2
+5
+7
+6
+7
+
+2
+3
+3
+4
+5
+
+L: 43
+L: 43
+2
+1
+2
+5
+1
+2
+L: 1077
+L: 1077
+2
+1
+2
+5
+7
+6
+0
+4
+L: 7591
+L: 7638
+2
+6
+7
+1
+2
+0
+0
+0
+1
+3
+4
+4
+2
+7
+1
+2
+2
+L: 588
+L: 588
+2
+
+L: 127
+2
+5
+6
+7
+5
+
+3
+6
+2
+2
+6
+3
+6
+2
+2
+
+3
+3
+2
+0
+
+4
+5
+1
+0
+1
+3
+1
+1
+3
+L: 147
+6
+
+0
+2
+2
+3
+5
+3
+2
+2
+0
+3
+2
+2
+3
+0
+
+3
+4
+L: 1603
+2
+3
+7
+6
+L: 35367
+2
+6
+7
+7
+2
+
+
+
+L: 1070
+2
+6
+7
+2
+
+0
+0
+1
+1
+L: 952
+2
+6
+7
+2
+L: 991
+2
+6
+7
+2
+2
+1
+2
+0
+0
+1
+
+1
+1
+
+L: 193
+2
+6
+7
+2
+2
+L: 5258
+L: 5300
+2
+6
+7
+5
+7
+2
+1
+
+5
+7
+L: 135
+2
+5
+6
+7
+7
+6
+2
+0
+7
+2
+2
+7
+2
+2
+3
+7
+6
+7
+0
+5
+3
+0
+
+1
+2
+1
+2
+6
+7
+2
+2
+1
+2
+3
+3
+L: 127
+0
+
+6
+2
+L: 2422
+2
+6
+1
+
+
+2
+L: 1116
+2
+7
+2
+1
+1
+2
+
+L: 1135
+6
+2
+1
+L: 1209
+2
+6
+
+5
+2
+
+0
+0
+7
+0
+2
+L: 1236
+L: 1282
+2
+6
+7
+2
+6
+2
+2
+L: 1215
+L: 1261
+6
+7
+2
+2
+L: 1062
+L: 1108
+6
+7
+
+5
+2
+1
+2
+3
+5
+L: 311
+5
+7
+0
+4
+7
+4
+5
+6
+7
+2
+5
+0
+
+
+1
+L: 847
+L: 847
+1
+1
+6
+7
+L: 1468
+L: 1468
+1
+1
+L: 141
+6
+7
+
+
+
+
+3
+
+L: 116
+1
+
+7
+L: 352
+2
+5
+5
+7
+L: 71
+0
+3
+1
+1
+L: 33
+L: 33
+1
+3
+7
+L: 319
+6
+7
+6
+
+5
+6
+7
+0
+7
+3
+7
+0
+
+2
+1
+0
+
+1
+
+
+
+
+
+
+6
+7
+L: 2477
+L: 2477
+2
+2
+1
+6
+L: 134
+5
+6
+6
+0
+2
+2
+2
+4
+7
+5
+6
+7
+6
+0
+5
+3
+1
+6
+1
+7
+6
+7
+7
+3
+6
+0
+2
+2
+
+3
+1
+
+2
+1
+2
+7
+0
+1
+7
+1
+2
+L: 189
+L: 138
+
+6
+0
+5
+2
+3
+2
+
+2
+3
+
+1
+2
+
+0
+1
+0
+1
+2
+L: 2929
+6
+7
+5
+
+0
+1
+3
+
+2
+2
+L: 919
+2
+5
+6
+2
+2
+3
+5
+L: 309
+2
+5
+6
+
+
+
+4
+2
+4
+L: 539
+L: 586
+2
+6
+7
+1
+2
+2
+
+
+
+1
+1
+4
+6
+7
+L: 50
+L: 50
+1
+2
+7
+L: 318
+
+2
+2
+1
+
+1
+3
+4
+L: 37
+L: 37
+2
+6
+7
+6
+3
+4
+L: 708
+
+6
+0
+3
+2
+7
+L: 598
+
+7
+6
+
+1
+2
+L: 773
+L: 815
+2
+
+5
+7
+5
+7
+2
+1
+5
+0
+1
+0
+1
+4
+L: 3884
+2
+
+7
+5
+7
+
+6
+7
+6
+3
+6
+4
+2
+2
+2
+0
+1
+5
+7
+L: 6646
+L: 6646
+1
+2
+0
+L: 158
+5
+6
+7
+2
+2
+3
+2
+3
+2
+3
+1
+4
+5
+
+
+L: 57
+2
+1
+0
+4
+L: 194
+
+
+3
+1
+0
+3
+7
+L: 1231
+2
+7
+2
+3
+
+1
+6
+7
+7
+L: 842
+1
+3
+4
+L: 949
+
+
+0
+2
+1
+0
+0
+
+1
+5
+1
+
+
+6
+L: 2961
+2
+
+5
+7
+
+
+
+1
+5
+6
+2
+3
+
+2
+2
+3
+3
+3
+
+
+
+
+
+
+
+
+
+
+6
+5
+2
+1
+2
+2
+L: 7350
+
+6
+
+5
+1
+2
+1
+6
+2
+
+
+
+
+7
+3
+4
+0
+2
+2
+2
+4
+L: 2829
+0
+1
+2
+2
+
+2
+
+5
+
+
+L: 1865
+
+6
+3
+2
+1
+5
+1
+L: 160
+2
+
+7
+0
+7
+6
+3
+3
+2
+7
+0
+1
+0
+1
+2
+3
+L: 107
+5
+
+
+3
+2
+3
+3
+4
+2
+0
+6
+
+2
+2
+1
+0
+1
+7
+0
+1
+2
+L: 227
+1
+2
+1
+2
+4
+3
+1
+5
+7
+0
+L: 164
+2
+1
+2
+L: 77
+2
+1
+2
+1
+3
+0
+2
+6
+2
+2
+
+0
+L: 197
+2
+5
+6
+7
+0
+6
+7
+0
+7
+3
+3
+0
+7
+L: 2305
+L: 2305
+2
+2
+3
+4
+L: 1892
+L: 1892
+2
+1
+4
+0
+3
+5
+6
+L: 398
+L: 398
+2
+1
+
+4
+
+
+
+0
+1
+
+2
+2
+L: 10
+2
+
+2
+
+0
+2
+3
+4
+6
+7
+3
+
+
+5
+6
+
+0
+6
+
+7
+2
+3
+3
+2
+1
+1
+2
+3
+L: 481
+
+2
+1
+6
+
+1
+5
+0
+L: 63
+L: 63
+2
+1
+1
+7
+L: 135
+
+
+0
+0
+1
+0
+4
+L: 3533
+2
+6
+7
+1
+1
+2
+3
+
+1
+
+3
+4
+L: 2075
+7
+2
+2
+2
+
+3
+1
+1
+2
+
+L: 275
+2
+1
+2
+
+
+
+
+7
+L: 1575
+1
+0
+2
+2
+5
+0
+0
+5
+2
+4
+
+2
+2
+2
+0
+
+L: 1120
+2
+1
+L: 408
+L: 408
+2
+1
+2
+2
+2
+2
+5
+4
+5
+6
+L: 1248
+L: 1248
+2
+1
+1
+6
+0
+1
+L: 669
+2
+1
+7
+0
+3
+1
+2
+
+2
+1
+L: 334
+L: 334
+1
+3
+
+
+3
+
+L: 283
+1
+2
+0
+3
+1
+0
+1
+1
+6
+0
+3
+
+6
+1
+L: 260
+L: 260
+2
+
+3
+3
+3
+5
+L: 2033
+2
+7
+1
+7
+0
+1
+L: 3378
+2
+2
+1
+2
+6
+2
+3
+
+3
+2
+2
+4
+
+7
+L: 140
+
+
+4
+3
+2
+2
+1
+0
+
+4
+
+0
+6
+7
+1
+2
+3
+4
+
+
+
+
+
+
+
+L: 91
+L: 91
+6
+2
+L: 150
+0
+
+0
+L: 5415
+L: 5415
+2
+2
+0
+0
+3
+5
+6
+7
+L: 153
+5
+0
+6
+
+0
+2
+1
+1
+2
+4
+L: 1241
+L: 1283
+2
+5
+
+5
+2
+2
+2
+1
+5
+6
+7
+0
+L: 2275
+L: 2275
+2
+1
+2
+1
+2
+L: 172
+L: 155
+2
+2
+4
+4
+L: 133
+2
+6
+6
+2
+3
+1
+5
+
+
+2
+
+1
+
+L: 153
+
+
+
+
+4
+0
+L: 128
+2
+7
+6
+7
+0
+
+3
+2
+3
+4
+5
+L: 89
+L: 89
+2
+2
+6
+
+
+
+2
+5
+
+
+6
+7
+0
+7
+3
+2
+
+
+
+
+
+
+
+
+
+
+L: 87308
+2
+6
+7
+4
+1
+
+4
+5
+L: 54245
+2
+6
+7
+5
+4
+3
+6
+7
+0
+3
+
+1
+L: 1636
+2
+5
+6
+7
+3
+6
+3
+2
+2
+6
+L: 150
+6
+7
+3
+2
+1
+2
+4
+3
+4
+
+
+
+4
+2
+1
+2
+7
+L: 173
+2
+
+7
+0
+0
+0
+2
+4
+2
+2
+2
+0
+3
+4
+6
+7
+
+2
+1
+6
+1
+2
+L: 160
+2
+7
+L: 3520
+L: 3592
+
+5
+6
+7
+3
+6
+1
+1
+L: 153
+2
+7
+7
+5
+7
+
+5
+2
+L: 150
+2
+5
+7
+6
+7
+6
+2
+5
+0
+1
+4
+L: 777
+L: 561
+1
+1
+L: 1240
+L: 241
+
+6
+7
+0
+
+7
+
+
+
+2
+2
+2
+0
+2
+5
+7
+0
+6
+7
+2
+6
+6
+7
+2
+2
+0
+0
+1
+1
+L: 1183
+2
+
+
+0
+3
+
+4
+
+L: 778
+
+5
+6
+7
+0
+0
+0
+2
+3
+2
+2
+7
+6
+0
+
+2
+3
+
+1
+2
+2
+
+
+3
+5
+L: 56
+7
+1
+L: 1811
+2
+2
+
+3
+1
+3
+
+L: 91
+L: 91
+
+
+7
+5
+2
+5
+6
+1
+2
+3
+4
+L: 197
+L: 197
+2
+1
+1
+7
+
+L: 354
+
+2
+1
+1
+
+
+3
+
+L: 1022
+L: 1097
+2
+5
+6
+
+
+
+0
+
+1
+4
+
+
+1
+2
+
+2
+6
+0
+0
+
+6
+7
+3
+
+L: 928
+
+6
+7
+3
+
+0
+3
+2
+5
+3
+5
+7
+6
+5
+7
+
+
+
+
+
+5
+2
+5
+6
+3
+6
+5
+7
+6
+7
+0
+4
+2
+3
+0
+5
+6
+2
+0
+1
+1
+2
+7
+2
+
+3
+6
+0
+6
+7
+0
+4
+
+3
+5
+
+2
+
+3
+L: 98
+L: 143
+2
+6
+7
+0
+3
+1
+2
+
+0
+0
+1
+5
+2
+4
+
+6
+7
+0
+6
+0
+3
+6
+
+4
+0
+2
+2
+0
+
+3
+2
+
+4
+1
+
+5
+5
+5
+7
+0
+6
+0
+
+
+7
+7
+0
+
+
+L: 19224
+2
+
+2
+3
+7
+6
+5
+L: 192
+6
+5
+2
+3
+6
+6
+2
+2
+0
+0
+6
+
+
+L: 1130
+2
+2
+2
+2
+L: 150
+L: 1768
+L: 1768
+1
+2
+3
+L: 206
+
+3
+3
+5
+4
+5
+2
+2
+7
+L: 2984
+5
+6
+6
+7
+5
+7
+1
+2
+6
+3
+L: 151
+4
+5
+6
+L: 23
+1
+7
+L: 984
+
+2
+4
+3
+1
+L: 1255
+L: 1255
+4
+
+
+L: 351
+2
+5
+6
+7
+0
+6
+1
+1
+1
+2
+7
+L: 873
+L: 945
+
+
+
+
+
+L: 2921
+2
+1
+4
+1
+
+L: 31
+1
+2
+2
+4
+L: 169
+3
+6
+7
+5
+7
+2
+1
+2
+0
+0
+0
+1
+1
+2
+5
+L: 562
+L: 637
+2
+5
+7
+7
+3
+2
+2
+L: 136
+2
+5
+6
+6
+3
+5
+4
+2
+2
+L: 762
+L: 139
+L: 139
+2
+0
+7
+3
+1
+5
+L: 94
+L: 94
+2
+1
+0
+0
+L: 144
+2
+5
+
+1
+2
+5
+L: 1496
+L: 1496
+1
+2
+6
+5
+L: 163
+2
+5
+L: 211
+1
+1
+1
+L: 174
+
+3
+3
+L: 380
+L: 380
+1
+
+
+
+L: 1013
+L: 1013
+7
+L: 1981
+L: 1981
+2
+1
+4
+
+1
+0
+1
+1
+0
+1
+3
+6
+1
+L: 1869
+
+0
+
+1
+4
+5
+0
+L: 5199
+2
+2
+2
+0
+7
+L: 10
+2
+2
+
+
+4
+3
+L: 154
+2
+
+1
+0
+L: 8765
+2
+4
+L: 383
+
+
+
+
+0
+3
+1
+1
+2
+L: 68
+L: 68
+2
+1
+2
+3
+0
+0
+
+
+
+
+
+4
+4
+
+1
+7
+L: 731
+L: 731
+4
+3
+1
+1
+3
+L: 2734
+L: 2734
+5
+L: 20
+1
+2
+4
+3
+1
+3
+3
+1
+2
+2
+5
+0
+L: 4801
+L: 4843
+2
+7
+5
+7
+L: 144
+2
+5
+6
+6
+7
+5
+3
+2
+6
+2
+
+5
+1
+1
+1
+2
+1
+2
+1
+1
+7
+2
+1
+2
+3
+0
+1
+4
+1
+L: 3303
+2
+0
+1
+0
+0
+3
+7
+4
+1
+4
+7
+L: 2593
+
+1
+0
+L: 2271
+2
+2
+7
+5
+L: 161
+5
+2
+5
+L: 1479
+L: 1554
+2
+L: 52
+1
+2
+7
+2
+1
+0
+3
+1
+3
+1
+2
+4
+L: 183
+2
+6
+L: 517
+2
+1
+3
+L: 246
+L: 246
+1
+2
+1
+L: 153
+2
+4
+2
+2
+0
+3
+1
+3
+4
+5
+6
+L: 198
+L: 198
+2
+7
+5
+L: 142
+2
+2
+2
+4
+0
+3
+1
+5
+6
+L: 25
+L: 25
+1
+L: 232
+2
+6
+4
+2
+3
+6
+3
+1
+5
+6
+L: 1039