-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathprop-direct-P1200
2397 lines (2397 loc) · 35.3 KB
/
prop-direct-P1200
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
5413 47287
17220 88172
23743 126107
68990 257911
263152 761521
8853 66151
36964 147841
8321 64178
117533 377578
62470 244090
206348 616154
8322 64304
66116 253743
66464 255111
66282 254200
92486 314398
154429 487582
25331 127987
1368 17297
59033 239278
470113 1138580
423974 1066040
1078482 1940404
17225 88235
13297 76073
15988 82491
260544 756418
60739 241001
17226 88260
10216387 10216389
10216399 10216401
12191 74450
10217088 10217096
69519 258848
4423860 4468375
59544 240033
58526 238415
250664 741826
246943 736352
477679 1150809
840806 1652094
61480 241704
10218815 10218821
522147 1227085
249244 740100
4148174 4283051
1147087 2017725
47584 204900
271646 775342
753397 1534398
433378 1079931
10219099 10219103
144765 456797
270936 774080
313103 849348
270937 774092
126095 410644
64246 247401
421447 1061177
780508 1566730
1066034 1929285
66285 254237
69526 258914
164385 515886
37086 148908
65299 250685
366550 964516
478326 1152610
258981 753791
233916 716450
34849 138119
85035 291270
69530 258941
149740 472049
14773 78803
17234 88303
14774 78914
17235 88344
16596 85057
6652 58618
89032 305036
17847 89941
151581 478335
8587 65324
17237 88413
6931 59054
12315 74720
264645 763382
200983 601467
17238 88488
56872 233931
2038121 2801071
248938 739330
778553 1564986
4374 43646
144766 456811
10258542 10258544
60996 241170
88758 304523
88759 304608
64628 248921
36561 144787
64629 248954
179158 549607
37907 154492
8326 64679
46258 199194
739724 1510931
253755 747744
66120 253784
66121 253828
237150 722858
65303 250720
2748823 3339999
148278 467165
65308 250747
4257155 4352674
43164 179173
179063 549352
179160 549643
139833 434835
449977 1106308
249059 739730
304512 834117
139835 434869
17240 88521
80395 279722
279709 786927
62475 244137
66466 255139
227764 702739
244292 732681
37537 152200
145662 459508
249062 739760
248940 739354
65309 250777
235077 718708
64251 247417
199178 597502
64253 247480
247497 736927
64254 247502
64255 247532
8327 64800
64256 247548
64257 247562
64258 247577
64259 247583
36820 146955
64261 247592
8328 64840
23747 126162
31690 133092
133085 420812
64263 247622
48119 206363
64034 246915
206353 616183
66127 253883
66129 253906
253818 747954
231088 709297
253777 747904
66132 253959
62480 244207
244200 732520
17241 88550
62482 244267
144768 456832
143094 449987
64265 247645
64631 249030
62483 244315
147146 464536
64632 249077
69533 258962
69534 258991
17243 88640
8330 64912
1227755 2106268
1461341 2331362
47514 204397
163608 514152
277268 784197
17245 88659
85421 292651
64633 249155
186651 575708
2365474 3060227
153762 485217
268909 771129
1066035 1929297
421945 1062128
43638 181728
232802 713141
64634 249170
64635 249209
250765 741925
55897 230211
17248 88710
129752 416121
456823 1118260
597567 1333146
58597 238624
250766 741963
1051972 1914650
4383 43807
75034 269251
78908 277361
199182 597541
17251 88777
64267 247658
13261124 13261130
248941 739381
64636 249219
199183 597574
17252 88794
468053 1135717
13559 76853
85271 292180
2856065 3410110
58598 238694
233923 716481
11680 72938
62486 244446
13560 76891
1293170 2170874
13561 76948
64637 249235
199185 597615
17253 88842
64639 249253
64892 250170
17254 88852
64640 249314
248944 739425
1330386 2201952
8334 64973
58600 238763
258246 753315
150865 475303
11911 73503
76881 273485
37497 151951
64269 247669
64642 249373
64643 249456
37771 153779
311661 846591
66138 253984
177256 545896
134457 423421
38005 155573
13564 76985
17255 88872
37035 148507
155514 491233
69300 258258
62488 244466
245089 733708
126096 410653
66139 254000
74437 268437
64271 247960
89022 305000
64037 246959
199186 597634
17257 88917
17951 90639
43866 185340
235153 718893
133086 420837
13275733 13275735
231993 711367
711356 1469743
64273 248025
12197 74564
74555 268659
64164 247251
17258 88940
42856 177365
3410106 3799285
61484 241715
25338 128080
1064225 1926457
138633 432508
64645 249474
150028 472933
139964 435313
840807 1652109
185238 571912
13280101 13280106
4107482 4256107
56290 232115
118997 380616
422904 1064257
90963 309463
64038 247041
90965 309490
17261 88999
73499 266115
250768 741993
240997 729102
472921 1143778
40822 169026
74490 268600
64893 250178
595293 1330365
711357 1469756
518880 1219850
82526 284961
217361 663369
169018 522240
46200 198860
74698 268876
3946886 4148114
64040 247078
522071 1227008
1128385 2000126
58602 238790
153764 485273
1958997 2729650
617322 1356128
80025 278755
1062138 1923824
264361 762710
74699 268884
747740 1527862
43382 180959
126098 410662
840808 1652118
1066037 1929308
6194943 6194957
314389 850473
4901367 4901378
2170835 2911888
477680 1150824
93223 317638
716473 1475453
64277 248066
2699880 3297011
1064227 1926528
1926693 2702967
1066038 1929313
71438 263155
59040 239338
964502 1804428
74700 268916
198339 595305
64278 248077
244297 732761
4423862 4468386
64646 249486
76271 271377
410639 1047691
3410107 3799312
48339 207225
772713 1555575
155561 491380
64647 249500
126099 410884
421947 1062142
3627825 3627847
58603 238802
91086 310299
76883 273519
258985 753805
1928198 2705366
139838 434914
85039 291292
3301300 3727666
1974192 2746493
151437 477701
4148127 4282985
64279 248114
575700 1291442
165385 518734
155562 491416
491483 1172379
155563 491492
13358986 13358988
575701 1291461
2202040 2940440
111605 366859
56730 233283
149451 471443
148492 468084
148493 468101
268682 770759
72366 264648
85040 291347
74438 268470
76979 273689
595295 1330391
314391 850492
10219676 10219679
165386 518762
61000 241180
66472 255177
13372675 13372677
731942 1503253
80323 279402
712195 712196
4148113 4282953
64648 249509
273549 778509
61487 241759
4033393 4202423
595296 1330436
2729641 3320202
1064228 1926559
148494 468115
248061 737787
475301 1147275
3338332 3754662
153765 485328
74702 268942
13381867 13381870
64650 249539
2500512 3169639
840811 1652145
845681 1656700
244299 732796
258986 753828
153766 485349
61488 241775
74439 268488
66231 254125
3946889 4148147
258248 753328
4965467 4965505
64165 247262
64971 250240
1064229 1926615
154484 487739
271651 775393
4116600 4261181
65313 250850
59041 239379
2106301 2856085
1330388 2201993
148495 468166
1227757 2106303
731943 1503269
410641 1047704
74703 268978
248062 737801
311417 845833
59042 239398
174393 538252
174394 538279
258249 753353
74440 268506
273550 778517
153767 485395
729466 1501101
40015 164390
489513 1168799
1330389 2202043
311662 846602
472923 1143820
729467 729469
4423863 4468393
477682 1150887
1093287 1959004
595298 1330483
64653 249566
2201990 2940264
1461343 2331373
3977666 4167788
149953 472629
443847 1093290
37916 154756
477683 1150927
74704 269038
783064 1569480
153768 485432
69538 259045
61489 241808
595299 1330526
268683 770772
10218012 10218028
13268229 13268238
57129 234542
69302 258304
4148175 4283060
163521 513968
1064231 1926700
2007540 2774742
64654 249578
153770 485462
2096431 2848780
2096432 2848791
2848790 3406571
1219772 2096435
2941451 3474363
5019212 5019224
5019213 5019238
13528073 13528078
165388 518800
165389 518810
6054846 6054853
1959000 2729754
165391 518828
1652107 2494731
432504 1078433
308078 840774
840821 1652195
840822 1652199
69418 258520
19721 111939
88301 303375
88255 303300
17269 89063
472925 1143845
238800 726259
13494224 13494229
88256 303318
13231622 13231654
708240 1466917
240999 729111
451312 1109079
739472 1510778
718704 1478157
1118258 1989915
15058543 15058545
533216 1245954
258987 753864
64293 248287
64663 249612
248949 739455
169022 522270
64294 248298
1064233 1926791
207148 618008
575703 1291469
4270156 4360983
55909 230336
304376 833972
1064234 1926844
64667 249631
1288844 2166369
227988 703360
244303 732834
256605 751817
4397 44055
15311943 15311945
139846 435004
15328374 15328376
249369 740413
247545 736994
179169 549732
204389 612432
139848 435023
144779 456923
249165 739949
169023 522289
17277 89141
273581 778555
17282 89174
3156564 3627829
62506 244588
17285 89192
833927 1644384
69420 258541
69553 259096
756412 1538948
756413 1538954
991429 1837269
3771063 4031228
69421 258554
15842717 15842719
4404125 4454703
174310 537920
15843216 15843219
69422 258562
69423 258571
10218639 10218676
15843366 15843368
15843385 15843388
69554 259111
69555 259152
15843504 15843507
69424 258580
3771064 4031235
69556 259159
10219068 10219075
69425 258591
4455289 4493250
15844239 15844241
69426 258598
15844379 15844381
69557 259169
69427 258606
15844388 15844403
69558 259181
69428 258620
991430 1837277
90596 308416
69559 259189
4455290 4493257
69306 258313
69560 259205
69429 258628
10623180 10623194
3771066 4031243
15845158 15845160
258251 753365
10623181 10623201
69307 258321
69430 258638
69431 258647
15845379 15845381
10623182 10623208
15845552 15845555
69432 258668
69433 258675
69272 258229
69561 259212
235552 720230
85348 292520
15846585 15846588
15846595 15846609
10219069 10219082
69562 259232
1349999 2224564
307930 840405
69434 258683
69435 258694
756416 1538962
69563 259247
10218640 10218684
15847724 15847726
69564 259258
2955713 3483593
15847892 15847894
69437 258702
69438 258708
991432 1837286
69439 258714
10216906 10216917
69565 259267
2434464 3117057
15848364 15848366
69566 259282
601274 1337960
15848533 15848535
69308 258329
3771067 4031255
10216907 10216925
4404127 4454715
69309 258337
788055 1575108
69440 258726
143673 452218
69567 259293
69441 258738
75038 269286
2955715 3483600
3771069 4031286
2955716 3483606
753362 1534367
69442 258747
718676 1478122
3771070 4031293
756417 1538968
716479 1475475
78802 277263
15006647 15006649
69311 258346
69444 258753
15845562 15845570
31176438 31176439
2955717 3483612
1652067 2494695
1162931 2034556
1929296 2706056
204396 612458
775392 1560288
2052330 2811939
1227759 2106309
17293 89199
207150 618018
10240788 10240790
7939270 7939272
17294 89210
1469755 2338728
233928 716560
10216148 10216159
291190 809433
1926842 2703337
1172368 2044465
1151041 2022335
31176460 31176461
2044479 2805567
1172369 2044480
1172370 2044511
31176476 31176477
31176542 31176543
1172371 2044537
2729643 3320245
247037 736478
2201948 2940069
247038 736484
1172372 2044558
76983 273710
246949 736358
1064237 1926873
595301 1330536
31176548 31176549
472624 1142969
13231658 13231874
468163 1135922
2044650 2805827
2044651 2805840
31176553 31176554
13533528 13533533
13533529 13533538
1330478 2202235
1926894 2703484
1500813 2365130
15058553 15058563
1172373 2044567
31176586 31176587
258303 753494
1927098 2703849
2940307 3473663
258256 753386
204123 611827
753446 1534460
3548585 3893937
762785 1546186
2940154 3473454
148499 468204
1923865 2699881
238692 725888
153775 485492
469138 1136934
469139 1136949
469140 1136962
469141 1136966
469142 1136975
3893942 4113489
1172374 2044576
477686 1150937
1147089 2017744
3338359 3754725
31176650 31176651
3946893 4148170
4148176 4283065
3627827 3947011
522158 1227120
30740483 30740485
31176659 31176660
1172375 2044587
2044695 2805916
2044696 2805924
246950 736369
246951 736373
246952 736379
246953 736386
246954 736390
246955 736395
246956 736399
2044697 2805932
31176668 31176669
31176670 31176675
2805946 3376612
31176592 31176610
2911887 3453824
31176708 31176709
487580 1166048
485345 1162994
1163039 2034641
76984 273717
247039 736488
247040 736495
246957 736403
485346 1163000
736420 1507704
246958 736421
165396 518832
165397 518835
13231623 13231659
31176494 31176510
1926895 2703519
1064238 1926896
1172376 2044596
165398 518839
155569 491646
155570 491656
477687 1150943
477688 1150949
31176727 31176728
31176736 31176749
2045584 2806777
1173615 2046329
165399 518845
165400 518852
1472195 2340800
1172377 2044602
148500 468209
165401 518857
491742 1173272
163530 513995
491743 1173282
3320357 3741544
1926922 2703591
134128 423095
82490 284908
1064239 1926923
518761 1219684
2729644 3320260
1959001 2729776
13280104 13280149
13280161 13280314
13280105 13280162
613514 1351732
491744 1173294
485562 1163190
1163191 2034812
491745 1173305
725792 1494872
725793 1494876
725794 1494877
518829 1219803
491746 1173311
491979 1173912
31176768 31176769
491980 1173918
491981 1173925
491982 1173931
1173932 2046581
1172075 2044155
491375 1172035
1172076 2044161
31176781 31176782
155571 491664
1656696 2498313
2096229 2848669
1174211 2046783
2046794 2807248
845682 1656772
2498360 3167957
492141 1174198
1174192 2046765
491816 1173506
753324 1534305
492142 1174204
1926554 2702558
2702559 3298973
491983 1173934
4965468 4965520
3338366 3754729
2746490 3338360
134723 423976
2780582 3361510
1656697 2498317
491984 1173942
2958554 3485179
1926944 2703618
1926945 2703624
1926946 2703629
2703667 3300210
2703668 3300215
1926947 2703634
1064240 1926948
17295 89219
126105 410987
153776 485498
153777 485509
153778 485514
31176802 31176803
1143843 2014933
2746491 3338363
85054 291450
268436 770609
261115 757547
4033395 4202435
4423865 4468409
69577 259320
1560262 2420131
1510930 2373338
67684 256288
64674 249658
1152658 2024065
478334 1152634
4468373 4502797
1469728 2338726
111936 367305
241607 729532
491232 1171809
248951 739462
4468374 4502803
232114 711591
31176808 31176809
271667 775438
303374 832792
3552792 3896639
10217090 10217107
15114824 15114826
10217142 10217152
4423866 4468416
10217091 10217114
10217092 10217121
711360 1469772
4423867 4468426
4502843 4529602
10217093 10217122
10217143 10217169
85055 291477
711361 1469774
10217094 10217139
3724254 4005022
233929 716569
10240777 10240784
711362 1469782
17296 89223
2856084 3410145
366858 964860
69578 259326
31176816 31176817
71752 263359
65323 250869
10218027 10218050
62514 244607
854853 1669393
545895 1268815
711363 1469788
4149387 4283810
144784 456956
1064241 1926996
1926997 2703701
1926998 2703709
139855 435053
1657117 2498818
845821 1657014
3168294 3635639
2498829 3168288
845822 1657020
1330567 2202402
595302 1330568
845823 1657029
845824 1657039
845825 1657046
477689 1150954
845826 1657064
1151042 2022350
1151043 2022361
1151044 2022371
13261585 13261593
1172658 2045328
31176822 31176823
31176838 31176839
2007525 2774701
472928 1143854
2201949 2940074
762786 1546195
291191 809441
24363204 24363208
31176842 31176843
1143903 2014969
31176846 31176847
31176853 31176854
13268250 13268265
31176858 31176864
31176859 31176867
3949231 4149388
163531 513999
31176903 31176904
31176910 31176911
244314 732867
249169 739966
3338335 3754684
258257 753399
64675 249664
69445 258761
1927224 2704086
64676 249678
207151 618021
3755878 4023285
13231624 13231677
2729645 3320291
2014759 2780479
13499574 13499587
771128 1553710
737000 1508071
64677 249684
1277808 2154503
1785334 2601989
31176917 31176918
1333145 2204804
13268237 13268251
487581 1166058
731461 1502736
243534 731462
144785 456960
207152 618025
268915 771147