-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathprop-direct-P1314
1120 lines (1120 loc) · 15.3 KB
/
prop-direct-P1314
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
10186718 1020
10186734 6529
10186744 1018
10188074 1018
10188329 1019
10188692 11833
10189423 1018
3481418 1020
10192108 266
10192181 266
10192462 6529
10192724 1016
10403228 1022
10403494 1018
10403977 1022
10405071 27596
10406056 1015
10407086 7132
10407324 122
10409245 14684
10409249 6529
10409253 10688
10409257 2517
10409689 6529
10409724 4320
10409730 7132
10409732 6529
10409740 6529
10409742 266
10409756 40273
10409917 6529
10409931 1018
10409933 1018
10409935 1019
10409938 1018
10409940 1019
10409944 1018
10409946 266
10409948 1018
10409952 6529
10409958 6529
10409962 1019
10409973 1019
10409989 6529
10409991 6529
10409996 1021
10410008 266
10410118 1016
10410118 40273
10410705 6529
10411821 1018
10411825 6529
10412545 123
11119040 1021
4929327 6529
11988586 2517
12079071 2517
12193614 6529
12338518 2517
2934110 6529
13344591 1018
13352056 40273
13402977 1021
13492830 1019
13495277 1018
13512267 1020
14883211 1018
14887723 6529
1671559 266
14897241 1019
14907756 14566
14915762 266
14917486 1021
14928691 7132
2169183 1021
14931252 1018
11023073 88657
14933097 1021
14934385 1018
14937092 6529
14940399 1019
14942256 6529
14949249 4148
14950193 31085
14953973 6529
1580383 29263
14957315 18254
14957823 1018
14961431 1020
14965091 1019
14966517 1018
14971042 1020
7721030 6529
14977427 4874
14980351 1020
14983590 1020
14984731 266
14995045 1015
14995421 6529
14996884 2517
14997938 6529
14999948 1022
15001849 1019
15002608 1020
15004195 1018
15004413 2517
15004969 6529
15005434 1018
15005712 1018
15006538 1018
15006619 1022
15006685 1019
15009532 1018
15011077 6529
15013068 266
15013431 1018
15017120 1019
3398883 1018
15019352 266
15019846 1018
15020707 7132
15020777 6529
15021282 2517
15022490 6529
15024562 312
15024562 26479
15025031 1018
15026773 1021
794307 123
15031647 1016
15031695 1018
15033567 1015
15036955 10688
15037001 23433
15037399 29263
15037410 34971
15037494 1016
8699832 128853
15039428 4499
15039511 4874
15039693 1021
15040273 1015
15040300 1018
15040489 1018
15040984 1018
15042336 72083
15042532 1018
15042577 4499
15043006 10688
15043058 10688
15043115 1022
15043610 1019
15044379 4874
15044940 1018
15045958 25890
15046785 7132
15047010 1018
15050650 6529
15051597 24610
15056889 6529
15056944 1019
15057198 1022
15057390 1016
15059326 1018
15059574 10688
15061782 116957
15064267 1018
15064505 1019
15064527 1018
15064779 266
15070144 1018
15071082 1020
15071750 7132
15072689 6529
15077996 6529
15078835 1019
15079571 1021
15079937 6529
2442415 1019
15083758 1021
15084851 6529
15084930 1022
15085857 1018
15085889 6529
15086520 25890
15087289 1018
1671529 1021
15089664 1019
15090548 1019
15091204 1021
15092009 6529
15092013 6529
15096326 11833
15097057 1020
15097163 1019
15097687 2517
15099535 7132
15100515 7132
15101393 4874
15102151 1021
15106901 1015
15106931 1018
15109386 72083
7614825 2517
15112029 1021
15113104 1021
15115448 1018
13375137 1018
15118771 1018
15121266 1022
15121823 7130
794242 1019
15123668 1018
15125504 1021
15132368 7132
15133684 8216
14466085 2517
15138747 1018
15140028 1018
15142272 6529
15142681 1021
15142975 6529
15143205 21043
15144103 1016
15144551 1019
15145468 266
15146540 6529
15146827 1018
15152517 1022
15158137 266
289674 10688
15163740 11833
15166571 11833
15170543 6529
15171232 29263
14949190 266
15171502 1021
15172230 266
15173188 36430
15173482 4148
15173854 1021
15173857 1019
15174074 1018
15174426 1019
15175890 1021
15177760 266
15179948 10804
15180513 6529
11317139 1018
30492272 10688
30493072 1021
30771362 10688
31204781 266
31204783 1015
31204786 2517
31205550 1021
31205847 1018
31206553 4874
31206685 1021
31207674 6529
31208099 1016
31208623 1019
31208912 1019
31209234 7132
31209362 6529
31209725 266
31209806 1317
31209881 1019
31210821 1018
31218783 266
31219297 6529
31220738 6529
31227600 8216
31228208 1018
31229513 6529
1481865 1018
31274211 1020
31280269 1019
8478794 1019
31281354 1019
31281621 2517
2915279 1019
31303231 1018
31304141 1018
31311861 1019
31325252 1018
30902036 1019
31348096 1019
31348304 25890
31348361 1018
31366448 6529
31369364 1021
31376888 1022
31385551 1018
2231574 4499
31426525 1018
31435898 1019
31442537 1018
31469984 14684
31475832 6529
31580028 2517
31616246 40273
31627260 1018
31659479 1018
31693060 1015
31700494 25890
31700721 6529
31705024 10688
31715966 1018
31744435 1019
31744442 1019
31745568 1018
31747007 1018
31916758 1022
32704966 6529
32705142 6529
32705153 76851
32705666 266
32706165 1022
32707916 171042
32707917 40273
32709089 1016
32709089 1018
32709092 1018
32709098 23433
32709103 6529
32709105 1019
32709976 1018
32710446 1018
32710589 11833
32711074 1018
32711114 2517
32711116 1018
32712643 11833
32714665 1018
32714670 266
32714770 27596
11023076 10688
32717359 266
32718014 2517
32719468 40273
32721443 6529
32722960 1022
32723191 7604
32723215 1018
32723221 1021
32723525 1018
32723526 1018
32723527 6529
32725045 7604
32725059 1016
32725066 6529
32727056 6529
32729770 7132
32733665 14566
32733905 8216
32735052 6529
32736639 1018
32736649 2517
32736664 266
32736667 1020
32736671 2517
32736680 1018
32736692 1018
32736714 2517
32737093 80385
32739005 6529
32739015 1018
32742029 266
32742033 1018
32742035 266
32742036 1018
32742038 6529
32742040 6529
32742041 1018
32742072 6529
32742146 24610
32743077 1015
32743301 7604
32743724 266
32743751 6529
32745174 1018
32745187 1015
32746765 2517
32746836 1020
32747381 266
32749321 7964
29360284 14566
32749338 76851
32749340 1022
32749342 2517
32749347 1021
32749349 1018
32749354 266
32749365 1018
32778578 266
32787742 6529
32791148 266
32792926 1018
32799264 6529
32799729 1018
32800762 11948
32808849 1018
32811629 1018
32813906 1019
32816915 6529
32816942 6529
32816948 6529
32816953 6529
32816957 23433
32816960 266
32816963 6529
32816969 1020
32823731 38470
32828666 4874
32829892 6529
32833982 1019
32833987 1021
32834172 76851
32834257 10688
32837619 1018
32839033 1019
32839059 10688
32839179 1020
32839195 266
32839206 1021
32839213 1019
32840495 1018
32841606 10804
32843729 1019
32848755 6529
32853730 266
32858216 2517
32858696 266
32858714 1022
32858720 7132
32870456 1019
32870458 4874
32870468 8216
13387703 1020
32872724 40273
30900401 1015
794243 6529
32993718 110723
32993719 1015
32993721 1015
32993723 1015
32993725 1015
32993727 1015
13370650 10688
32993730 10688
32993731 10688
32993732 10688
32993735 10688
32993736 10688
32993737 10688
32993741 10688
1208635 10688
1208635 1018
32993744 10688
32993746 10688
32993747 10688
32993748 10688
32993751 10688
32993757 10688
32993758 10688
32993760 10688
32993761 10688
32993762 1016
32993790 1016
32993791 1016
32993792 1016
32993793 1016
32993796 1016
32993801 1016
32993802 1016
32993803 1016
32993804 1016
32993805 1016
32993807 20302
32993814 25890
32993815 25890
32993817 25890
32993818 25890
32993820 25890
32993823 25890
32993832 25890
11937352 25890
32993833 25890
32993835 25890
32993838 25890
32993840 25890
32993842 71778
32993843 7604
32993845 7604
32993847 7604
32993849 4874
32993850 4874
32993857 4874
32993858 4874
32993859 4874
3879808 4874
32993860 4874
32993861 40273
32993861 7605
32993862 40273
32993864 40273
32993865 40273
32993867 77179
32993870 8216
32993873 8216
32993875 8216
32993877 8216
32993880 8216
32993881 8216
32993884 34014
32993885 11833
32993886 11833
32993887 11833
32993889 4499
32993890 4499
32993891 4499
32993893 4499
32993894 4499
32993898 6529
32993905 6529
32993910 6529
32993911 6529
32993918 6529
32993921 6529
11804209 6529
32993922 6529
32993923 6529
32993931 6529
32993933 6529
32993935 6529
32993937 6529
32993940 6529
32993949 6529
32993950 6529
32993954 6529
32993961 6529
32993962 6529
32993964 6529
32993965 6529
32993970 6529
32993972 6529
32993973 6529
32993974 6529
32993975 6529
32993977 6529
32993978 6529
32993979 6529
32993980 6529
32993981 6529
32993982 6529
32993984 6529
32993987 6529
32993989 6529
32993995 6529
32993996 6529
32993997 6529
32993998 6529
32993999 6529
32994000 6529
32994001 6529
32994002 6529
32994003 6529
32994004 6529
32994006 6529
32994009 6529
32994010 6529
32994011 6529
32994012 6529
32994013 6529
32994015 6529
32994018 6529
32994021 6529
32994022 6529
32994023 6529
32994024 6529
32994025 6529
32994027 6529
32994028 6529
32994029 6529
32994031 6529
3623675 6529
32994032 6529
32994033 6529
32994037 6529
32994041 6529
32994043 6529
32994046 6529
32994049 6529
32994050 6529
32994051 6529
32994052 6529
32994055 6529
32994057 6529
32994060 6529
32994061 6529
32994062 6529
32994065 6529
32994067 6529
32994068 6529
32994069 6529
32994070 6529
32994073 6529
32994075 6529
32994081 6529
32994083 6529
32994085 6529
32994086 6529
32994088 6529
32994091 6529
32994094 6529
32994095 6529
32994104 6529
32994106 6529
32994108 6529
32994112 6529
32994113 6529
32994115 6529
32994118 6529
32994122 6529
32994123 6529
32994127 6529
32994129 6529
32994131 6529
32994136 6529
32994140 6529
32994141 6529
32994145 6529
32994146 6529
32994150 6529
32994154 6529
32994158 6529
32994159 6529
32994163 6529
32994164 6529
32994168 6529
32994170 6529
32994176 6529
32994180 6529
32994183 6529
1481882 6529
32994187 6529
32994196 6529
32994197 6529
32994198 6529
32994200 6529
32994201 6529
32994203 6529
32994206 6529
32994208 6529
32994212 6529
32994216 6529
32994217 6529
32994221 6529
32994226 6529
30905195 6529
32994230 6529
32994231 6529
32994237 6529
32994238 6529
32994239 6529
32994240 6529
32994242 6529
32994245 6529
32994249 6529
32994250 6529
32994253 6529
32994255 6529
32994259 6529
32994260 6529
32994261 6529
32994264 6529
32994276 6529
32994277 6529
32994278 6529
32994280 6529
32994283 6529
32994286 6529
32994289 6529
32994290 6529
32994292 6529
32994293 6529
32994296 6529
32994298 6529
6125140 6529
32994299 6529
32994300 6529
32994301 6529
32994302 6529
32994303 122
32994304 122
32994305 122
32994307 122
32994308 29263
32994311 29263
32994313 29263
32994316 1317
30736754 1317
32994318 7605
32994320 7605
32994322 7605
32994324 247479
32994325 27596
32994326 27596
32994331 27596
32994333 23433
32994334 23433
32994337 23433
32994338 23433
32994341 23433
32994342 89423
32994346 14684
32994350 14566
32994353 14566
32994355 266
32994358 266
32994362 266
32994363 266
32994364 266
32994366 266
32994367 266
32994375 266
32994376 266
32994379 266
32994380 266
32994382 266
32994383 266
32994384 266
32994385 266
30900324 266
32994387 266
32994391 266
32994393 266
276744 266
32994394 266
32994395 266
32994396 266
32994397 266
32994398 266
32994400 266
32994401 266
32994404 266
32994408 266
32994409 266
32994411 266
30499819 266
32994412 266
32994413 266
32994416 266
32994418 266
32994421 266
32994424 266
32994425 266
32994427 266
32994428 266
32994429 266
32994432 266
32994434 266
32994435 266
32994436 266
32994437 266
32994440 266
32994443 266
32994446 266
32994449 266
32994450 266
32994451 266
32994454 266
32994457 266
32994459 266
32994461 266
32994462 266
32994463 266
3398574 76851
32994466 18254
32994467 18254
32994473 84577
32994475 171042
32994477 34971
32994478 34971
32994479 11216
32994480 1018
32994481 1018
2579541 1018
32994482 1018
32994483 1018
32994485 1018
32994486 1018
32994487 1018
32994515 1018
32994516 1018
32994517 1018
32994519 1018
32994523 1018
32994524 1018
32994525 1018
32994527 1018
32994529 1018
32994530 1018
32994531 1018
32994532 1018
32994533 1018
32994534 1018
32994535 1018
32994536 1018
32994537 1018
32994538 1018
1440930 1018
30903361 1018
32994539 1018
32994541 1018
32994547 1018
32994548 1018
32994549 1018
32994551 1018
32994552 1018
32994553 1018
32994554 1018
32994555 1018
32994557 1018
32994559 1018
32994560 1018
32994568 1018
32994569 1018
32994570 1018
32994571 1018
32994573 1018
32994574 1018
32994576 1018
32994577 1018
32994580 1018
32994584 1018
32994585 1018
32994586 1018
32994587 1018
32994589 1018
32994592 1018
32994593 1018
32994594 1018
32994598 1018
32994599 1018
32994601 1018
32994602 1018
32994604 1018
32994605 1018
32994607 1018
3670452 1018
32994609 1018
32994610 1018
32994615 1018
32994616 1018
32994617 1018
32994619 1018
32994623 1018
32994628 1018
32994632 1018
32994633 1018
32994635 1018
32994637 1018
32994640 1018
32994642 1018
32994645 1018
32994646 1018
32994648 1018
32994649 1018
32994651 1018
2574507 1018
32994652 1018
32994653 1018
32994655 1018
32994656 1018
32994657 1018
2908518 1018
32994658 1018
32994659 1018
32994660 1018
32994661 1018
32994663 1018
32994667 1018
32994670 1018
32994673 1018
32994675 1018
32994677 1018
32994678 1018
31745573 1018
32994680 1018
32994684 1018
32994686 1018
32994687 1018
32994688 1018
32994689 1018
32994690 1018
32994693 1018
32994698 1018
32994700 1018
32994701 1018
32994703 1018
32994704 1018
32994707 1018
32994710 1018
32994711 72083
32994715 72083
32994719 9636
32994721 89608
32994722 26479
32994724 24308
32994725 2517
32994726 2517
32994728 2517
32994729 2517
32994730 2517
32994731 2517
32994732 2517
32994734 2517
32994735 2517
32994736 2517
32994737 2517
32994739 2517
32994740 2517
32994741 2517
32994742 2517
32994743 2517
32994744 2517
32994745 2517
32994746 2517
32994747 2517
32994748 2517
3217384 2517
32994749 2517
32994751 2517
32994753 2517
32994754 2517
32994755 2517
32994756 2517
32994761 2517
32994762 2517
32994763 2517
32994764 2517
32994765 2517
32994766 2517
32994769 2517
32994771 2517
32994773 2517
32994774 2517
32994775 2517
32994777 2517
32994778 2517
32994781 2517
32994782 2517
32994783 48396
5002320 128853
32994784 1019
32994785 1019
32994787 1019
32994788 1019
32994789 1019
32994790 1019
28409256 1019
32994792 1019
32994795 1019
32994797 1019
32994798 1019
32994799 1019
32994802 1019
32994803 1019
32994804 1019
32994805 1019
32994808 1019
32994809 1019
32994812 1019
32994813 1019
32994814 1019
32994815 1019
32994819 1019
32994822 1019
32994825 1019
32994827 1019
32994830 1019
32994832 1019
32994833 1019
32994835 1019
4440638 1019
2579542 1019
32994836 1019
32994838 1019
2578048 1019
4902217 1019
32994840 1019
32994842 1019
32994843 1019
32994844 1019
32994846 1019
32994849 1019
32994850 1019
32994851 1019