-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathprop-direct-P1003
1601 lines (1601 loc) · 23.9 KB
/
prop-direct-P1003
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
4109310 4257218
4109310 4257219
4109310 4257220
328021 888923
1229188 2107835
5056596 5056610
5056596 5056611
4074194 4229305
2914111 3455295
2914111 3455296
5073383 5073391
5095427 5095435
1213180 2089187
219431 676073
5123167 5123171
3985117 4171890
173182 534272
5103308 5103335
5157980 5157990
5160818 5160826
5165535 5165552
723106 1484243
4783185 4783632
5178663 5178676
5178663 5178677
222038 684964
222038 684965
502672 1191876
5193976 5193988
961125 1798179
384133 995628
226237 700481
226237 700482
358050 955705
5239087 5239095
3692404 3985781
3096 38884
1094691 1960729
5278696 5278711
5280348 5280361
2382097 3073022
5303000 5303011
1781293 2597777
5310105 5310111
1716213 2551512
603030 1339936
253003 745850
2576870 3216280
2576870 3216281
332185 905521
2681672 3284146
2681672 3284147
34271 135692
34271 135693
2764881 3351424
2764881 3351425
140976 442757
4175306 4301815
222439 686565
2390495 3083248
4117425 4261739
4440027 4481846
1787090 2603360
1787090 2603361
225402 697796
225402 697797
105981 338635
5339109 5339115
692932 1448027
358739 957136
358739 957137
676888 1419796
676888 1419797
687729 1442713
687729 1442714
135650 425032
5346535 5346548
5346535 5346549
1458238 2329027
1458238 2329028
45144 190841
5350173 5350181
298530 822636
5352163 5352174
110439 355104
1634882 2480385
1634882 2480386
5353013 5353033
5353013 5353034
1766179 2582427
50453 212959
50453 212960
1970522 2742344
1970522 2742345
222145 685607
462885 1127703
462885 1127704
5369286 5369295
5369286 5369296
5369711 5369725
2171602 2912415
323224 874783
4848781 4848823
4848781 4848824
110272 354559
151434 477576
151434 477577
4380682 4438693
4380682 4438694
1102449 1973202
5376700 5376708
693569 1448294
693569 1448295
46657 201476
1438090 2307224
744252 1521740
744252 1521741
54917 226277
54917 226278
400277 1011179
4965848 4965886
5381425 5381443
5381425 5381444
696636 1452230
5381756 5381769
45145 190923
3661942 3965648
5239111 5239120
5239111 5239121
225403 697903
140817 441519
537736 1257266
537736 1257267
723797 1485558
723797 1485559
893089 1705902
893089 1705903
893089 1705904
676138 1418163
2390162 3082876
225404 698002
225404 698003
54689 224503
54689 224504
383676 994864
383676 994865
5390511 5390525
5390511 5390526
219309 673140
219309 673141
270491 773378
676139 1418251
676139 1418252
691691 1446593
691691 1446594
5396607 5396613
605706 1342617
605706 1342618
213119 649063
213119 649064
649926 1391396
649926 1391397
3715555 4000292
3715555 4000293
383677 994970
383677 994971
213120 649174
213120 649175
723976 1486114
995037 1841497
995037 1841498
5403283 5403306
5403283 5403307
5403546 5403563
4872617 4872633
684945 1437803
684945 1437804
222663 687542
222663 687543
222663 687544
3098203 3583050
2420449 3106295
5406525 5406541
5406525 5406542
218747 671774
685122 1438113
685122 1438114
135651 425122
135651 425123
2096597 2848889
222042 685168
222042 685169
1517645 2376824
425013 1067729
425013 1067730
5411097 5411105
227083 701757
227083 701758
332151 903928
332151 903929
335711 918409
335711 918410
5412328 5412336
5412328 5412337
441471 1089299
441471 1089300
141344 445141
332152 904005
5194480 5194552
524377 1230180
447845 1102580
5306327 5306338
516442 1215434
516442 1215435
358111 955932
358111 955933
312572 848373
312572 848374
929241 1748409
5422952 5422962
4051886 4213153
54690 224623
225405 698079
54920 226486
332153 904110
332153 904111
5426289 5426304
5426289 5426305
223492 691222
995038 1841593
995038 1841594
2151361 2894472
2151361 2894473
222440 686701
222440 686702
676140 1418337
676140 1418338
1774527 2590211
445247 1096068
445247 1096069
1313097 2185063
327794 888446
327794 888447
214144 650890
1443800 2311830
215053 653902
223495 691383
54921 226580
54921 226581
246552 735597
246552 735598
609634 1347331
609634 1347332
1560627 2420408
1560627 2420409
50455 213153
50455 213154
1340005 2211823
135653 425271
135653 425272
2377278 3069198
5442646 5442664
5445661 5445677
5445661 5445678
5446014 5446027
955820 1786732
54691 224726
223986 694429
356534 952596
163358 513702
163358 513703
374531 977557
893050 1705676
893050 1705677
893050 1705678
500930 1189408
500930 1189409
5208420 5208461
685127 1438385
685127 1438386
140818 441658
140818 441659
609623 1347200
5222849 5222877
1449546 2318862
500880 1189235
500880 1189236
340511 930609
1391938 2265465
5456920 5456930
5456920 5456931
215054 653988
215054 653989
534827 1250690
1525409 2383442
2870659 3420662
3100502 3584738
692798 1447872
692798 1447873
930176 1750364
685129 1438566
3106429 3588714
3106429 3588715
54692 224828
676422 1419527
555439 1278608
555439 1278609
345666 934100
345666 934101
383833 995337
383833 995338
676142 1418473
676142 1418474
6418 58032
1051443 1914054
1051443 1914055
105992 339247
105992 339248
105992 339249
105992 339250
5467652 5467666
5467652 5467667
605708 1342742
605708 1342743
1100832 1971378
1100832 1971379
332157 904404
332157 904405
773346 1557296
219432 676177
219432 676178
2728330 3319239
333731 910269
333731 910270
5471593 5471609
5471593 5471610
4259 41900
4259 41901
173355 534860
173355 534861
54363 222171
54693 224933
54693 224934
213123 649386
213123 649387
313678 849862
313678 849863
537709 1256891
5474704 5474720
1342588 2216930
1342588 2216931
50456 213268
54364 222315
54364 222316
54364 222317
1391733 2265150
676144 1418575
676144 1418576
957828 1790429
957828 1790430
603031 1340024
5479268 5479282
4883913 4883970
1340007 2211898
3967907 4161538
3967907 4161539
1015360 1866822
54922 226723
54694 225040
54694 225041
120065 383853
3233713 3682619
111287 358620
225407 698242
225407 698243
225407 698244
360469 959500
237238 723143
237238 723144
5881 50382
141006 442968
141006 442969
5494837 5494864
998812 1847671
4927123 4927144
4927123 4927145
688796 1443684
691906 1447067
5500232 5500248
2111434 2860709
3692413 3985848
353973 946933
353973 946934
2065565 2823962
2065565 2823963
318352 856464
1833451 2639508
1833451 2639509
5882 50503
5882 50504
3386437 3784615
728454 1498165
728454 1498166
222666 687835
222666 687836
1592458 2449256
5510226 5510242
5510226 5510243
5510805 5510810
417909 1057873
417909 1057874
2108701 2858310
2108701 2858311
3903799 4119311
5969 54179
5969 54180
5969 54181
699167 1455867
383678 995064
383678 995065
957346 1789354
1446685 2315324
1446685 2315325
2420450 3106378
5517700 5517713
696606 1451432
5338261 5338298
4807950 4808124
222667 687967
3107152 3589655
222441 686808
222441 686809
222043 685265
222043 685266
3435271 3813538
3435271 3813539
900528 1710905
900528 1710906
2413286 3101044
1703237 2534124
1703237 2534125
5529872 5529890
1438092 2307301
1438092 2307302
764157 1548038
3686405 3981636
3686405 3981637
3187304 3647130
106001 339817
106001 339818
54365 222468
3530842 3882662
3530842 3882663
4384180 4441261
676147 1418788
400153 1011010
400153 1011011
54695 225146
54695 225147
1297747 2176843
1297747 2176844
111292 358942
111292 358943
111292 358944
2122847 2870439
201719 604195
201719 604196
918867 1725847
583718 1303597
4408489 4457861
5382730 5382759
5553310 5553319
272493 776551
2751799 3342402
2947189 3477696
262333 760143
262333 760144
4986944 4986991
4986944 4986992
5558110 5558119
3794792 4045143
441779 1090309
441779 1090310
1099909 1969937
533506 1246379
446313 1099087
5562214 5562231
141326 445007
141326 445008
358531 956732
2383063 3074869
2490957 3163393
2490957 3163394
3106360 3588657
995950 1843775
995950 1843776
995950 1843777
5566518 5566526
1244415 2123429
2307983 3018343
836031 1646402
836031 1646403
1340663 2212637
50915 215080
5573612 5573629
5573612 5573630
71059 261547
71059 261548
106008 340176
106008 340177
136608 426811
84075 288524
520338 1222482
219876 677070
219876 677071
84076 288711
84076 288712
2096598 2848940
2389556 3081898
2389556 3081899
3225995 3676031
192492 587215
676148 1418872
676148 1418873
995252 1842194
5581279 5581288
222668 688067
225408 698338
225408 698339
133284 421095
74 646
927833 1734860
927833 1734861
813292 1615768
995253 1842271
995253 1842272
1787262 2603549
1787262 2603550
43006 178188
751023 1532007
534829 1250801
1663457 2503654
1663457 2503655
201781 605454
213038 648917
213038 648918
5581281 5581310
743057 1517161
743057 1517162
4856510 4856540
3022741 3531891
5594716 5594729
694397 1449285
694397 1449286
676149 1418982
676149 1418983
5595718 5595731
791721 1582100
5597226 5597244
1748928 2573309
222670 688186
222670 688187
222670 688188
4828920 4828974
113499 370206
113499 370207
113499 370208
5600095 5600130
3630095 3948545
3630095 3948546
54696 225224
54696 225225
223504 691856
223504 691857
5603848 5603867
5604093 5604109
3197793 3654433
223349 689449
1299170 2178858
136794 427536
54697 225321
54697 225322
5609648 5609661
5609648 5609662
135371 424743
602701 1339786
2087496 2841054
54368 222716
54368 222717
54368 222718
4496373 4524935
16377 83918
1256871 2134442
4846835 4846872
4846835 4846873
5614354 5614363
226144 699850
1734843 2568818
2292744 3011547
583728 1304119
648893 1390373
2217737 2950643
5622142 5622179
5622142 5622180
5624384 5624393
790286 1578290
34273 135866
34273 135867
5626113 5626127
223505 691926
223505 691927
5312265 5312314
5312265 5312315
140802 441267
140802 441268
1560628 2420467
1560628 2420468
750559 1530920
5629683 5629692
2891736 3435038
2891736 3435039
293934 813737
3739921 4013378
3739921 4013379
863761 1677352
448259 448359
2653749 3272087
1482653 2350243
1482653 2350244
609460 1346703
609460 1346704
215058 654262
215058 654263
1340666 2212762
1340666 2212763
5641351 5641369
45067 190179
54369 222889
54369 222890
225411 698496
225411 698497
931699 1754938
931699 1754939
54370 222994
54370 222995
5647757 5647769
120070 384157
5649101 5649114
5651222 5651233
223407 689654
223407 689655
5652262 5652269
583734 1304449
2352932 3050247
2352932 3050248
4849215 4849266
4849215 4849267
5657137 5657151
2320620 3025569
802926 1595351
690767 1445893
54701 225647
2323027 3026937
288462 803736
288462 803737
3455358 3831293
289655 807603
728464 1498708
691837 1446798
691837 1446799
5669595 5669609
110774 356553
110774 356554
2309657 3019959
5671000 5671014
5671000 5671015
603034 1340256
685134 1438945
2490548 3162970
4236779 4342490
4236779 4342491
5887 50841
1663734 2503879
1663734 2503880
3759174 4025730
3259786 3701252
3259786 3701253
3026663 3534382
3026663 3534383
1068422 1931458
261522 757878
137061 428789
224598 696392
224598 696393
513202 1210929
4920830 4920933
4201872 4317410
5888 50946
5685692 5685703
225412 698575
22069 120901
91883 312766
958335 1792839
958335 1792840
1980142 2753543
1446687 2315385
172804 533022
140579 440431
140579 440432
140579 440433
5694133 5694140
5037880 5037927
5037880 5037928
5052474 5052513
1706780 2537324
1706780 2537325
825262 1633909
825262 1633910
685137 1439157
34847 137986
437970 1085154
4826030 4826099
5703036 5703050
773534 1557852
222444 687052
222444 687053
1447850 2316034
1447850 2316035
5712986 5713000
3442721 3818037
3442721 3818038
921731 1729879
921731 1729880
803619 1603072
803619 1603073
957835 1790712
958038 1792107
958038 1792108
373234 975662
373234 975663
4843770 4843808
111419 364497
111371 362384
111371 362385
50460 213496
699392 1456866
5730683 5730694
5730683 5730695
1256872 2134511
3565502 3903901
1531879 2390301
1531879 2390302
5736973 5736990
5736973 5736991
3680656 3977276
3680656 3977277
16259 83417
426412 1069525
18635 97963
216164 655977
523790 1229089
523790 1229090
803095 1599104
426413 1069621
426413 1069622
1650550 2493134
5889 51063
5751137 5751151
5751137 5751152
724644 1487698
958372 1792945
5756726 5756736
939799 1771005
1104208 1976064
655954 1398313
106034 341730
3153616 3625281
692095 1447384
1715792 2550977
513203 1211034
513203 1211035
3686267 3981454
3686267 3981455
1127592 1999632
172352 532028
172352 532029
5776529 5776536
384135 995693
384135 995694
384135 995695
5782772 5782784
5785588 5785598
189179 581893
189179 581894
1542173 2402016
867542 1681827
867542 1681828
5796300 5796308
5796300 5796309
5797625 5797641
5797625 5797642
214146 651043
214146 651044
214146 651045
214146 651046
214146 651047
3019745 3529419
141177 444120
141177 444121
697759 1454005
5801837 5801847
18697 101270
18697 101271
5416761 5416826
2306973 3017618
5807963 5807977
5808586 5808603
1500232 2364548
5809279 5809294
5809279 5809295
293677 813048
5812913 5812928
333778 910578
813713 1616348
5972 54403
3054288 3552028
3566722 3904652
5827382 5827393
2995263 3510780
5828111 5828125
4810585 4810730
4810585 4810731
3031293 3537243
5836669 5836685
2539462 3194650
5839086 5839099
2607653 3239577
2607653 3239578
5841217 5841230
5843269 5843278
2064776 2823417
3072 38598
1987887 2759613
2078242 2833930
5854681 5854696
724648 1487893
5862818 5862827
3553054 3896801
791209 1580527
5894 51421
189576 582870
229541 706546
4464504 4499781
2422444 3108216
3198316 3656953
5875816 5875826
5875816 5875827
4538537 4558235
1501906 2366058
1501906 2366059
5884163 5884179
1467019 2336229
5885015 5885025
5344451 5344507
152813 482319
2452472 3131796
5895 51512
5895 51513
5891783 5891799
5891783 5891800
120588 395762
5896975 5896988
1229070 2107701
350596 936831
1978690 2751917
5502352 5502366
141081 443677
5915164 5915174
288464 803927
1605 19404
5926842 5926866
5926842 5926867
1774819 2590758
657732 1400243
5933994 5934008
5933994 5934009
724200 1486702
5936507 5936523
5936507 5936524
111374 362565
111374 362566
5940070 5940087
974192 1816640
974192 1816641
2436638 3118521
5947914 5947924
1322419 2193363
5949962 5949976
722202 1482666
722202 1482667
1486628 2354123
5515558 5515601
5515558 5515602
359398 958392
3337877 3754159
2601474 3235050
5961107 5961116
1035908 1900115
5968329 5968341
110277 354785
110277 354786
789658 1576202
2352960 3050314
5980810 5980821
5980860 5980876
687511 1442362
687511 1442363
87564 297859
2659211 3276192
141061 443461
6004111 6004121
4559415 4575179
4559415 4575180
592105 1325607
1827507 2636291
6014463 6014480
6014463 6014481
6014940 6014949
4352754 4417996
6016204 6016218
6016785 6016799
2187948 2926777
2187948 2926778
3682383 3978545
3682383 3978546
6033791 6033808
3974020 4164979
413695 1052331
413695 1052332
413695 1052333
413695 1052334
3454977 3831096
6042417 6042437
388183 999090
1783821 2600511
5525613 5525636
138623 432403
138623 432404
138623 432405
3975323 4165822
6051771 6051784
6051771 6051785
2461166 3140558
261069 757469
724656 1488244
3740285 4013736
5699693 5699712
6071687 6071699
6077289 6077300
405908 1035352
405908 1035353
405908 1035354
405908 1035355
2363527 3058854
2363527 3058855
1957816 2728564
1957816 2728565
456 4196
6095033 6095045
6095033 6095046
6095033 6095047
4570247 4584526
1708790 2539337
55997 230455
6104783 6104798
6107420 6107430
2479241 3153445
3074294 3564482
1647678 2490598
1647678 2490599
650872 1393324
650872 1393325
227631 702509
4940808 4940846
2870130 3420244
2870130 3420245
1211492 2087357
1211492 2087358
807471 1608900
2811950 3380346
2811950 3380347
2811950 3380348
164855 516959
164855 516960
141062 443586
141062 443587
357738 954963
5855639 5855672
6142614 6142624
6142614 6142625