Thesis/QA/fbqa/relphormer/ids.txt

0
8192
2
8193
8199
8
9
8202
8204
8205
12
8207
16
8209
8210
19
8212
8213
8208
17
24
8214
8215
27
28
8217
29
32
8225
34
8227
33
37
35
40
41
43
44
8239
48
49
50
52
53
8253
61
8255
8256
66
8259
68
8260
70
73
75
76
8268
8270
78
80
81
8274
8275
15
8277
86
8279
83
87
90
92
8285
93
95
8288
8289
98
99
8292
101
8293
8296
104
8298
108
109
111
8304
8306
8307
117
118
119
8312
120
122
8315
124
125
126
8314
8320
8321
8322
131
8324
129
128
135
137
138
8331
8332
141
8336
145
8339
147
149
154
8346
8349
158
159
160
8353
8350
163
164
166
169
170
171
172
8364
8363
8368
8369
178
8370
8372
181
8375
184
8378
186
190
191
8384
8385
193
8386
8383
197
198
8392
201
202
204
8397
206
8399
208
209
8402
211
212
8405
8406
215
8401
210
8404
219
220
8412
221
8414
8416
8413
8418
226
228
8421
229
8423
230
8419
8427
235
8430
240
8433
243
8437
246
249
8441
250
253
8448
256
258
259
8452
8454
262
8456
265
8458
8459
268
8461
8463
8464
274
275
8469
8470
278
8472
281
8474
282
8477
287
8480
289
290
8484
293
8487
8488
295
8490
299
8492
301
8493
302
8497
8500
308
8501
309
8510
319
320
8512
324
8518
326
329
330
331
8522
8524
8521
336
8528
8529
8531
343
344
349
350
8542
352
353
354
355
356
8549
357
8548
360
361
8552
363
8547
8557
8558
367
368
369
370
364
372
8565
371
375
8568
8567
378
379
380
376
382
383
8576
384
8575
387
77
8581
390
389
386
8585
394
393
8587
8589
399
8595
407
8601
8602
8603
8604
412
8607
417
419
420
8611
8617
425
8619
8620
8621
428
432
8625
437
439
440
441
8635
8639
448
449
450
447
8640
453
8646
452
457
8650
460
8654
464
8657
467
8660
469
470
8661
8665
474
8667
476
8669
477
473
480
479
8675
8677
8678
8682
491
8684
493
8686
492
496
500
501
502
8693
8696
505
8700
8702
8703
510
514
8706
8708
518
8710
8712
521
519
520
8718
527
526
529
8719
8723
532
8725
530
8727
8724
535
538
539
540
8734
8735
8739
8740
8742
551
8743
8745
554
553
552
557
558
8750
8752
8754
563
8756
8755
566
8759
570
571
572
573
576
8769
578
8770
580
577
582
8775
584
585
583
8779
588
8776
591
592
594
8787
596
597
8791
600
603
8796
8795
607
8800
609
611
8803
613
8806
615
616
8808
8811
620
622
8814
624
625
626
627
8817
629
623
632
8824
635
637
638
8830
640
641
642
8832
8833
8838
647
646
649
8841
8843
652
653
650
656
657
658
8851
8854
8856
669
8862
671
8864
672
676
678
679
8872
8873
8874
8876
684
8878
687
8880
8881
8882
8883
691
686
8886
696
8891
8892
700
699
703
701
705
8899
708
8904
8906
716
8910
724
8917
726
727
729
730
8922
8925
733
8928
8929
738
741
742
745
746
748
8940
8943
752
754
755
8947
757
758
759
8949
8952
8954
8955
763
765
8960
8962
773
775
777
8970
780
8976
8977
787
790
792
794
795
8987
799
800
8993
801
8992
804
805
806
9000
9002
9006
814
816
817
818
815
820
9013
819
9016
828
9022
9023
9024
833
834
9027
836
9029
9028
837
9030
841
9033
9032
844
846
9039
9040
849
848
9043
850
853
854
9046
9047
9049
855
859
860
9052
862
9055
865
866
9057
868
9060
8313
867
9066
875
9068
874
877
9073
9074
9075
884
883
881
882
889
9082
890
893
9086
9089
9090
898
9092
901
9095
905
906
908
909
910
9102
911
9101
9104
917
918
919
9112
9113
9111
926
928
930
9122
9125
933
9127
9132
941
942
940
944
9136
945
9137
948
949
950
951
953
954
956
957
958
959
9149
961
9153
9155
965
966
967
9161
970
972
9164
976
977
978
9171
979
9173
9174
9175
983
9177
986
9178
985
992
9185
9186
993
9188
994
1002
9195
9196
9197
1006
9199
1009
1010
9203
9204
1013
9206
1015
9208
1017
1018
9210
1020
9213
9214
1022
9216
1025
9215
1027
1028
1029
1030
9218
1024
1033
1034
205
9229
1039
1040
9233
1042
1043
1044
9237
9238
1046
1048
1041
1049
1052
1053
9245
9244
1056
1057
1058
1059
9250
9251
1061
1060
9249
1065
1066
9259
1067
1069
1072
1073
9266
9267
1075
9269
1078
1077
1080
213
9277
1085
1087
1088
9281
1089
1091
9279
1093
9290
1099
9292
9291
1103
9297
1105
1108
1110
1113
9306
9307
9305
1117
9311
1121
1122
9314
1124
9317
9315
1127
1126
9322
1131
9323
9324
9326
1135
9328
1137
9329
9332
1141
1144
1147
9342
1150
9343
1151
9351
1161
1162
1163
1164
9356
1166
9359
1168
9360
1170
1165
1172
1174
1176
9369
1179
9372
1180
1182
1183
9373
9378
1187
9382
1193
1195
1196
1197
9391
1201
1203
9397
9398
1207
1210
9402
1211
1215
9409
9411
1219
1223
9417
9418
1230
1231
1232
9425
1234
1237
1238
9431
1240
9432
1242
9434
1239
1246
9443
9444
9446
9447
9448
1255
9450
1259
1260
1261
1263
9456
9457
9458
1267
9459
1272
9467
1276
1277
1275
1280
9477
9478
9480
9481
9483
1293
9485
9490
1298
1301
1302
8400
1304
9500
9501
9505
9506
9509
9511
9512
1321
1322
9515
1325
9518
1327
9519
9522
1332
9525
9526
1338
1340
1341
9534
1348
1349
1350
1351
1352
9544
1356
1357
9550
1360
1361
9555
9556
9558
9561
1370
1371
9564
1373
1374
9567
1375
9569
1378
1379
9572
9573
1382
9574
9576
9575
1383
1380
1388
9580
1390
1384
1392
9584
1394
9586
1396
1393
1399
1402
9596
1405
1406
1407
1408
9601
1410
1409
1412
9602
1414
1415
9604
1419
1420
9613
9615
1424
9621
1431
1432
1434
1436
1438
1439
9633
1443
1444
1445
9637
9635
1448
1449
9642
1451
1452
9645
9647
1455
1457
1459
9651
9658
1467
1468
9664
1473
1474
1475
9669
1478
1480
1482
1483
9675
1484
9679
1488
9681
1490
9683
9687
1495
1498
1499
1501
9694
1503
1504
1505
9700
9703
1516
9708
1518
9713
9719
1529
1530
9723
9726
1535
1536
1537
1538
9731
1539
1541
1540
9733
1542
1545
1546
1547
9741
1549
9743
1552
1551
1554
9744
1557
9753
1562
1563
9761
1572
9765
9766
1575
1576
1577
9767
9771
1573
9768
1585
1586
9780
9781
1589
9784
1592
1595
1596
9789
1598
1599
9793
9794
1603
1606
9799
1608
1607
9803
9806
9807
9808
1617
1615
9812
9813
9817
1626
1633
1634
9827
1635
1638
9832
1641
1642
1643
9836
9837
1645
1647
1648
9835
9842
1651
1652
9845
1654
1655
1659
1662
1669
9862
9863
1672
9865
9866
9868
1678
9871
1680
9872
1682
1683
9877
1685
9879
1687
1688
1689
9883
1692
1693
1694
1695
1697
1700
1701
1703
1704
1705
9899
1707
9901
1710
9908
1716
1718
9911
9910
1717
9914
9916
1727
1728
9921
1729
1731
1733
1734
9926
9928
1742
1744
9937
9936
1753
1754
1755
9945
1759
9952
1761
1763
9956
9957
1766
9959
9960
9961
1770
9965
1774
1775
9969
1778
1779
9975
9977
1786
9978
9981
1790
1791
1792
1793
1795
9987
9990
9991
1800
9992
1803
1806
1807
10004
1813
1814
1815
10010
1819
1821
1823
1826
1829
1830
10023
1832
1833
1834
1835
10028
1837
1836
10031
1843
1845
10038
1848
10045
1853
1856
10049
10051
1860
1859
10055
1864
10061
10062
1872
1873
10066
10068
1878
1879
1880
10073
1883
1884
10078
10079
1887
1892
1893
1896
1897
1898
10089
1900
10095
1904
1905
10099
1908
10102
1910
10104
1912
1914
1915
10106
1917
1918
10111
1920
1921
10113
10115
10108
1925
1928
10120
10121
10122
1933
1934
10127
10128
1937
10130
1938
10132
10133
1942
1944
1946
1949
1950
1951
10144
1953
1955
1959
10152
1961
10154
1964
10156
1967
1969
10162
1971
1970
10163
10167
10168
1976
1979
1980
10171
10174
1983
10176
1985
10178
1987
1984
10181
1989
1990
1996
10190
2002
2004
2005
2006
2007
2008
10201
2011
2012
10205
10206
2014
2016
2015
10213
10215
10216
2023
2027
2028
2029
10225
2033
2035
10228
2037
10226
2038
10232
10233
10234
2042
10236
10235
2046
2048
10241
2052
2053
2055
10248
2058
10251
10250
2061
2062
10253
10256
10254
2067
2068
2069
10261
10264
10269
10271
10274
2083
2084
2085
10278
10279
2086
2087
2090
2091
10276
2094
2095
2101
2106
10299
2107
2109
10302
2112
2113
2117
2118
2119
2120
2121
2122
10315
10316
2123
2127
10320
2129
10322
2131
10327
10330
2139
2140
2142
2143
2144
10335
2146
2147
10339
2149
2150
2151
10343
2154
10349
2161
2164
2165
2166
2168
2169
2171
2172
10365
10368
10369
2178
10371
2183
2185
10378
2187
2188
2189
2186
2193
2194
2195
10388
2197
2196
2199
2198
10387
2203
10396
10397
2206
10399
10401
10402
2211
10405
2214
2215
10410
2218
2222
2224
2226
10420
2229
2231
2232
10425
10423
10427
2236
10429
2238
10428
2235
10433
10434
10435
2244
2245
10441
10442
10446
2255
10448
2257
2258
10451
2260
2262
2263
10456
10457
2266
10459
2268
2269
10462
10461
2272
10465
2275
10468
10470
2279
2280
2281
2282
2283
10475
10474
2286
2288
2290
2293
2299
10492
2301
2302
2304
10497
2306
10499
2308
2309
10502
10503
10504
10506
10507
2318
10510
10511
2321
2322
2323
10515
2325
2319
10512
2328
10518
2330
10523
10524
10519
10527
10528
10529
10530
2341
10535
2347
2348
10539
2349
2351
2352
10548
2358
10554
2362
10556
2366
10561
2370
2371
10564
2374
10566
2376
2377
2375
2379
10573
2385
10579
2388
2389
10581
2390
2391
10585
2394
10587
10588
2397
10590
2396
2400
2405
2406
10600
10602
2410
10604
10605
2412
10603
2416
2419
10612
2421
10614
10618
2427
2428
2429
10619
2430
2433
10630
2439
10631
10633
2440
2443
2444
2446
10640
10641
2452
10646
2455
10648
2458
10652
10653
2462
10656
2466
10661
2474
2476
2478
10671
2479
2482
2484
10679
2490
10683
2494
2495
10688
10689
2498
10690
10692
2499
2501
2504
10697
10698
2507
10699
2508
2505
10703
2513
10706
2515
2514
2516
10705
10711
2521
2522
10713
2525
10718
2527
10717
2529
2536
10729
2538
10728
10732
2541
10735
2544
10737
2545
10740
2549
10741
2551
2552
2554
2556
2557
10750
2558
2561
2562
2563
2564
2565
10758
10755
10760
2571
10764
2573
10766
2574
2572
10769
10770
10771
10772
10773
10774
2576
10775
2589
10782
10784
2593
2592
10788
2597
10790
10789
2600
10792
10794
10798
2607
2606
2609
10799
2611
10805
2613
2614
10806
10809
2616
2615
10813
10814
10815
2624
2621
2625
2623
10821
2632
10826
2634
2636
2637
2635
10833
2642
2644
10837
10838
10839
2646
2649
10840
2647
2652
10844
2653
2655
2650
528
2654
10851
10855
10856
2664
2665
2667
2670
10862
2672
2678
10872
2681
2682
10876
2684
2686
2690
2693
10886
2694
2696
2697
2698
10891
2700
10893
2702
2699
2701
10897
10898
2705
10900
2709
10903
10905
2714
2715
2719
10911
2721
2722
10914
2724
2723
10920
2730
2732
2733
10926
2734
2736
2737
10930
10931
2740
2739
2742
10935
2744
10936
2745
2747
10940
2749
10943
10944
2752
2754
2751
2757
2758
10950
10949
2761
10954
10953
10956
10957
2766
2768
2770
2771
10963
2774
10967
10968
2778
2779
2780
10973
2782
10976
2784
2786
2788
10981
10982
2791
2792
2790
2794
2795
10988
2797
10990
10991
2802
2806
2807
2810
11003
2813
11007
2816
2819
11013
2823
2824
2825
11016
11018
2832
2833
11026
11028
2840
2842
11034
11036
11037
11039
2847
11040
11043
2853
11046
2855
11048
2856
2858
11052
2860
11054
2862
2865
11058
11057
2868
2870
2871
2872
11065
2874
2873
2876
2878
2879
2880
11072
11074
11073
11078
11079
11081
2890
2891
2892
11086
2895
2898
2903
2906
2907
11100
2909
11099
11102
2911
11107
2917
11110
2919
2920
11112
11114
11116
11118
11121
2931
11123
2934
11127
11128
11129
11130
2938
2937
11133
2942
11134
11136
2945
2940
2947
2949
2951
11144
11146
11149
2957
2961
11157
2967
11160
11159
2970
2971
2969
2973
2978
11171
11172
11170
2981
2985
11177
11180
11182
2992
2993
11189
3000
11192
3002
11194
3007
3010
11204
3015
3016
11209
3017
3020
11214
11216
3026
3027
3028
3030
3032
3033
11224
11226
11229
11230
3038
3040
3041
3043
11235
3045
11238
11239
3047
3050
3051
11244
11245
3054
3057
3058
3059
11256
11257
3065
11259
3068
3070
11263
3074
11268
3076
11271
3082
3084
3085
11279
3090
3091
3092
11284
3095
11288
3100
11293
3101
3104
3105
3108
11301
11302
11303
11304
3113
3110
11307
3116
11309
3117
3119
11312
11313
3121
11315
3120
3125
11318
3134
3135
3136
11328
3138
11329
11332
3140
11334
3143
3142
11336
3146
3148
11342
11343
11345
11347
8768
11350
3160
11353
3162
11355
3163
3165
3166
3167
11360
3170
3171
11363
3174
3176
11369
3177
11373
3183
11378
11379
11380
3188
3189
3192
3194
3198
11391
3200
3201
11400
11402
3211
3214
3215
11408
3217
3219
3220
11415
11417
3229
11421
11426
11427
3237
3238
3239
11432
3240
3243
3245
3246
3249
11443
3252
11444
11448
3257
11449
3258
3263
11457
3267
11460
3271
3272
11464
11466
3275
11465
3276
3277
11471
11473
11474
3283
3284
11476
11483
3292
3295
11491
3304
11498
3307
11500
3308
3310
3314
3316
11511
3320
11514
3323
3325
11519
11523
3332
3334
3335
3336
11529
11528
11533
11534
3343
3344
11538
11543
3351
3354
3355
11547
11546
3359
11552
3361
11554
3362
11555
3365
3366
11559
11558
11561
11562
3371
3372
3373
3374
11568
3379
11572
3381
3382
11575
3389
11583
3392
11585
3394
11586
3396
11589
3400
11592
11595
11596
3405
3408
3411
3412
11605
11606
11607
11604
11609
3418
3419
3420
3423
3426
11621
3430
11623
3435
11628
3437
3438
11631
3440
3442
3443
3444
3446
3448
11641
10455
3451
11645
11646
3456
11649
11650
3459
11655
3464
3465
3466
11659
11662
11664
3473
3474
3476
11669
3479
11672
11673
3482
11675
3484
3485
11677
3487
3481
11681
2320
3492
11685
11687
3495
11688
3498
3503
11700
3509
3510
11705
3514
3515
11708
3516
11711
11713
3521
3523
3527
3529
11721
3531
3532
3536
3537
11729
3539
11735
3546
3553
3554
3560
3562
11754
11757
3569
11762
3572
3573
11769
11770
3580
3581
3584
3588
3589
11782
3591
3592
3590
3595
3596
11790
3599
3600
3602
3603
3605
11798
11802
3612
11806
3617
3619
11811
3625
3626
11819
3628
3629
11825
3635
11827
11830
3640
3643
11835
11837
3647
11842
3652
3653
11846
3655
11847
11852
3663
3664
3665
3666
11858
3668
3669
11863
3673
3674
11869
3680
11873
3686
3688
11884
3692
3694
3695
11889
11890
11891
3701
11894
3702
3704
11897
3706
3712
3714
11907
3715
11910
11911
11913
3722
11915
11916
11918
3728
3732
3733
11928
3736
11930
3739
3740
3742
3743
11936
3745
11939
11940
10514
3748
11945
3756
11949
11952
3763
3764
3765
11956
3772
3774
3780
3781
3782
11975
3787
3788
3790
3791
3792
3793
11982
3794
3796
3797
11990
3798
3801
11993
3803
11995
3805
3806
3807
3808
11998
12006
3815
3817
12015
12017
3825
3827
3828
3829
12021
3831
3830
3835
12032
3840
12034
3841
12037
3845
12039
12041
12043
3852
3854
3855
12048
3858
12051
12050
3861
3862
12056
12059
3870
12062
12067
12068
3876
3878
12072
12074
12077
12078
12079
3893
12089
3898
3899
12096
12098
12101
3909
12103
3912
3916
3918
3920
12113
12114
3922
3925
12118
3926
12119
12121
3930
3931
3932
12122
3934
3927
3928
12137
12139
3950
3951
12144
3955
12147
3956
12152
3962
12156
3965
12158
3964
12160
3969
3968
3971
3974
3975
12166
12169
3976
12171
3979
12170
3981
3983
12176
12178
12179
3987
3989
12181
3990
3995
3997
3998
3999
12193
4004
4006
4007
12200
4008
4010
12203
4012
12205
4013
4015
12207
4017
4018
12211
12212
4024
4025
4027
12220
4028
4030
4033
12225
4035
12228
4034
12230
4042
12234
4044
4046
12239
4047
12242
4051
4055
4057
12250
4061
4062
4063
12259
4068
4069
4070
4079
4080
12273
4082
4086
4087
4089
12282
12284
4093
4095
12288
4100
12292
12294
4103
4108
12301
12302
4111
12305
4114
12310
12314
12317
4127
12319
4128
4130
4131
4132
4133
12323
4134
4136
4137
4129
4139
4140
12338
12339
12340
4152
4153
4154
4155
12344
12345
12349
12348
12352
4157
12355
4164
4168
4169
12361
4175
12369
12374
4183
4185
12378
12379
4187
4192
12385
12386
12389
4198
12394
4202
4206
12399
4208
12402
4211
4212
12404
12406
4216
4221
4224
12417
12421
4231
4233
12426
4234
4236
4237
12430
4242
4243
4244
12437
4249
4251
12444
4253
4254
4252
12450
4262
4266
4267
4268
4269
12461
4271
12467
4277
4278
12471
4280
12473
4282
12474
4284
12476
4281
12480
4290
12482
12483
12484
4294
4295
4296
4297
4298
12491
4300
12489
12496
12498
4307
4308
4311
12508
4316
4318
4319
4321
4323
4324
12519
12522
12523
12524
4333
4331
12527
4338
4339
4340
4341
4342
4346
12539
12540
4351
4352
4353
4354
4357
4358
4359
4362
12555
12559
4371
4372
4373
12566
12567
4377
4378
4379
12571
4381
12574
4383
4382
12577
12578
4387
4388
12581
4390
4394
4395
4396
4398
4400
4401
12596
12597
4404
12599
4406
4407
4410
4411
12605
4413
4415
12606
4420
12613
12612
4424
12616
12618
4429
4430
12622
4432
12625
12626
4433
4434
4437
4438
4440
12633
4443
4444
4445
12637
12639
4448
4449
12640
12645
12646
12651
4464
4465
12658
4467
4468
4469
4471
4472
4473
4474
4477
4483
4487
4489
4490
4492
4495
12689
4498
12690
4500
12693
4502
4499
4507
4508
12701
12703
12704
4513
12706
4514
12709
12711
4521
4527
12719
4529
12722
4533
4538
12730
4539
12735
4544
4545
4546
4547
4550
4551
12745
4557
4559
12752
12753
12754
12755
4564
4563
4566
12756
12760
4570
4571
4572
4573
12766
4576
4578
12771
4580
12770
4582
4581
4589
12781
4594
12787
4597
4603
12796
4604
12798
4607
12801
4610
4613
12807
4618
12814
4623
12815
12817
4633
4636
4637
12832
4642
4643
4646
4650
12842
4654
4655
12848
4658
4660
12853
4662
12857
4667
12860
12861
12862
12863
12859
4673
12871
4680
4682
12875
4684
4685
12879
4688
12882
12883
12884
4690
4691
12886
4696
4697
12891
12893
12894
4706
12902
4712
4714
4715
4716
12909
4719
4720
12913
4722
12915
4723
12917
12918
4727
4726
4732
4735
12928
4737
12931
4739
4744
12938
4752
12946
4756
4757
4759
4762
12955
4764
12957
4768
4771
12965
12966
12969
4785
12979
4788
4791
4793
4795
12988
4798
12991
4800
4801
4802
4805
4807
12999
13001
4811
4819
4820
4821
4822
13015
4823
4825
4826
13019
13022
4830
13026
13027
4838
13030
4842
13034
4847
4849
13041
13044
4853
4854
4855
13048
4857
4856
4859
4862
4863
13056
4868
4870
4872
4875
4876
4879
13075
4884
13080
13083
4892
4896
13088
13090
4899
13091
4898
13095
4905
13100
4910
13103
4914
13107
13108
4921
13114
13115
13117
4926
4932
13125
4935
4940
4941
13135
4946
4950
4951
4953
13146
13145
4960
13152
4964
4965
13157
13159
4972
4973
13164
13165
4976
4974
4978
13172
4981
4980
13173
13177
4989
13183
13185
4994
13188
13189
4998
13191
5001
13195
13196
5005
13198
13199
5008
13201
13202
5010
5012
5004
13204
5015
5018
13211
5020
5021
5026
5028
5029
13222
5031
13224
5032
5035
5037
13229
5039
13232
5043
5044
5045
5047
13240
13242
5050
13244
13245
5053
13249
5058
5059
5061
13254
5063
13256
5065
5064
13259
13260
13263
5072
13265
13266
5075
5073
13271
13272
5079
13275
13277
5086
5087
13280
5090
5091
5092
5093
13284
5095
13288
5097
5100
5102
5103
13294
13297
13298
5108
13300
5111
5112
5113
5115
13309
5118
13311
5122
13315
5126
5127
5129
5130
5131
13324
13334
5143
13339
5149
5150
5155
5156
13348
13352
5161
5162
13354
5166
13358
5169
13361
5171
5172
13371
5179
5180
5182
5184
5185
13379
5188
5189
13382
5192
13386
5195
5200
13395
5204
5208
5209
5212
13405
13404
13408
5220
5221
5222
13415
5225
13420
5230
5236
5239
13432
13434
13436
5246
13438
5250
13442
13444
13452
5261
5260
5263
5265
13458
5266
13460
5274
5276
5277
5282
13474
5286
5287
13480
5289
13482
5291
5292
13487
5297
13490
5299
5300
5302
13494
5304
5305
13496
13498
5309
5310
13503
5311
5315
5316
5317
5318
13510
5322
5325
5327
5328
13522
5331
13523
13525
5334
5336
13529
5339
13533
13534
13535
5345
5346
5349
5350
5352
13545
13546
5353
13551
5361
13553
5364
13559
13561
13562
5371
5374
13566
13569
13571
13572
13575
13577
5387
13582
5391
5392
13586
5395
13587
5397
13589
5399
13592
13593
13594
13595
5406
13602
13603
5412
5413
13605
5414
5417
13613
5422
5423
5425
5426
13617
13622
13627
5436
5437
5438
13635
5444
5445
5443
13639
13642
5454
13649
5457
13654
5468
5471
13663
13665
13675
5485
5492
13684
13687
13692
5501
13695
13700
5509
13705
13707
5515
5517
5518
13710
5520
13713
13712
5523
13716
5525
5526
5527
5528
13721
5529
5532
13724
13727
5535
5536
13730
13728
5542
5543
5545
5547
13740
5549
13743
13744
5552
13745
13748
5557
5558
13753
13755
5563
13757
13760
5571
13764
5572
5574
5575
13768
5579
5580
13773
2738
13777
5587
13780
13781
5588
5591
13785
5594
13787
5596
5597
5593
5599
13792
5600
13794
5602
13797
5607
13800
5608
13801
13799
5613
5614
5617
13809
5620
13813
13814
5623
5625
5627
13820
5630
5634
13827
5636
5637
5638
13831
5640
5651
13846
5654
5656
5658
5659
13851
5664
5666
5672
13867
5675
13869
5680
5684
13879
5689
5691
5693
5694
13885
13889
13890
5700
13893
5702
13896
5706
5707
13903
5712
5714
5717
5718
13911
13912
5720
13916
5724
5728
13920
13922
5731
5732
13929
5737
5739
13931
5741
13934
5742
13940
5749
5752
5753
13946
13945
5756
5754
5761
13955
5763
5766
5767
5769
5772
13966
5776
5778
13971
5780
13972
13970
5783
5784
5785
5789
13981
5791
5792
5793
13985
13982
13983
5797
5798
5796
13992
5801
5802
5800
14000
14001
10924
14003
5812
5813
5808
14002
14008
5818
14014
5824
5825
5826
5827
14021
14023
14024
14025
14026
5835
5838
14033
2789
14035
5845
5846
14039
14037
5851
14044
5853
14046
5855
5856
5857
14050
5861
5862
5864
14061
5873
5874
5875
14068
5880
5881
5883
14076
5886
5887
14079
5891
5893
14087
14089
5898
5900
14092
14094
14095
5905
14097
5907
14100
14101
5910
14103
5911
5913
5914
14106
14108
14105
5918
5922
14116
14118
5927
5930
5934
5936
14129
5938
5939
14131
14132
14134
5943
14135
5947
14140
5949
14141
5950
14144
14139
5954
14147
5951
5959
14152
5962
5963
5964
14157
5966
14158
5969
5971
14164
14167
14169
5979
14173
5983
14179
5987
14181
5990
5992
5995
14189
5998
14192
14193
6002
6001
6004
6008
6014
14207
14208
14209
14211
6021
14214
6027
14219
6029
14222
6031
6032
6028
6036
6041
14234
14235
6042
6046
6047
14241
6051
6052
6053
14245
6054
14246
6058
14251
14252
6060
6062
6063
14256
6061
6067
14260
6074
6075
6079
6080
14276
14279
6088
6090
6092
6093
14284
14287
6099
14293
6102
14296
6105
14298
6104
14300
14301
14302
6113
6115
14309
14311
14312
6121
6122
6123
6127
6130
6137
14330
6140
6142
6143
6144
6145
6146
6147
14340
6149
6150
14334
14344
6153
14342
14347
6155
6157
6158
14349
6160
6161
6162
14355
6159
14358
6168
6170
6173
14365
6175
6178
6179
6180
14373
6183
6186
6187
14382
6191
6192
14385
6194
14387
6196
6197
14389
6199
6204
14397
6206
14403
14404
6216
6219
14414
6225
14418
6226
14420
14421
14422
6233
6234
14425
14429
6237
6243
14436
14437
6247
6250
6255
14449
6257
6264
14457
6266
6270
14463
14464
14465
6277
14470
6280
6281
14476
6286
14480
14482
6293
14487
6296
14488
6298
6299
6302
14494
14496
14498
6309
14501
6310
14504
6317
6318
14512
14514
6323
6325
6326
14520
6328
14521
14526
6335
6337
6338
6342
14535
14536
6345
6347
14540
6351
6356
6363
6371
6374
6378
6379
6381
6382
6387
6389
6390
6391
6393
6394
6398
6402
6403
6411
6414
6418
6419
6423
6426
6427
6435
6436
6442
6453
6454
6455
6460
6464
6469
6471
6473
6475
6488
6489
6491
6494
6499
6502
6513
6515
6516
6521
6530
6538
6540
6541
6547
6549
6550
6551
6555
6561
6562
6568
6572
6575
6577
6583
6584
6590
6592
6594
6596
6597
6599
6600
6601
6602
6603
6604
6605
6606
6607
14339
6609
6613
6615
6619
6621
6622
6623
6631
6634
6636
6637
6643
6645
6647
6648
6650
6651
6652
6654
6655
6660
6662
6667
6671
6676
6677
6679
6680
6681
6688
6694
6695
6698
6699
6700
6706
6707
6709
6710
6714
6715
6717
6721
6729
6732
6733
6735
6736
6737
6738
6744
6745
6752
6755
6757
6759
6768
6769
6771
6773
6774
6776
6777
6778
6780
6782
6784
6788
6798
6800
6801
6804
6806
6808
6809
6811
6816
6821
6828
6831
6835
6839
6840
6842
6847
6851
6855
6856
6859
6861
6869
6882
6883
6889
6890
6891
6892
6893
6903
6904
6907
6908
6910
6913
6915
6918
6919
6921
6926
6927
6931
6933
6934
6938
6942
6945
6947
6951
6955
6957
6958
6963
6970
6971
6974
6977
6982
6984
6989
6990
6992
6993
7004
7006
7007
7010
7012
7018
7019
7020
7025
7030
7032
7037
7040
7042
7044
7045
7048
7049
7051
7052
7054
7056
7065
7066
7072
7073
7074
7077
7080
7090
7095
7097
7099
7102
7103
7105
7106
7111
7115
7117
7118
7119
7120
7124
7125
7127
7129
7130
7132
7133
7134
7142
7144
7150
7152
7160
7161
7175
7177
7178
7179
7181
7185
7188
7189
7194
7196
7199
7208
7209
7213
7215
7216
7229
7231
7232
7233
7238
7242
7244
7247
7249
7250
7260
7263
7269
7271
7273
7274
7276
7278
7279
7281
7290
7291
7301
7307
7310
7316
7318
7325
7334
7337
7340
7348
7351
7353
7355
7358
7365
7370
7371
7372
7373
7378
7385
7390
7392
7394
7396
7399
7401
7402
7407
7408
7412
7413
7417
7422
7425
7429
7431
7433
7439
7442
7446
7447
7453
7458
7461
7466
7467
7468
7470
7472
7474
7475
7479
7485
7490
7491
7495
7500
7501
7503
7511
7514
7518
7519
7521
7523
7527
7529
7530
7533
7539
7545
7550
7551
7553
7557
7564
7566
7569
7572
7574
7580
7583
7584
7585
7587
7589
7590
7593
7600
7602
7604
7607
7612
7615
7622
7625
7628
7630
7637
7638
7640
7641
7643
7649
7653
7665
7674
7676
7677
7687
7693
7701
7703
7704
7705
7709
7714
7715
7716
7717
7719
7721
7723
7724
7729
7741
7744
7747
7748
7752
7758
7759
7760
7761
7762
7763
7771
7773
7776
7779
7797
7799
7803
7804
7807
7812
7817
7819
7820
7822
7825
7826
7828
7830
7831
7838
7844
7848
7853
7861
7866
7868
7870
7873
7875
7876
7885
7888
7893
7896
7898
7900
7904
7907
7908
7909
7913
7914
7916
7918
7919
7924
7928
7929
7931
7932
7934
7936
7938
7941
7945
7946
7956
7959
7964
7971
7972
7973
7976
7977
7979
7982
7986
7987
7994
7998
7999
8003
8011
8016
8018
8019
8020
8021
8024
8025
8026
8029
8030
8031
8037
8045
8051
8054
8057
8060
8067
8068
8071
8078
8081
8084
8086
8087
8089
8094
8097
8100
8101
8102
8103
8109
8110
8115
8118
8127
8135
8138
8139
8142
8145
8147
8148
8152
8154
8157
8160
8162
8164
8165
8168
8169
8170
8173
8179
8180
8187
8190
8191