-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathprop-direct-P1072
2817 lines (2817 loc) · 45.7 KB
/
prop-direct-P1072
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
9774726 9774730
9876990 9876994
9876990 9876995
9876990 9876996
9876990 9876997
9876990 9876998
9876990 9876999
9876990 9877000
9876990 9877001
9894521 368215
9894521 117766
9894521 117772
9894521 368442
9894521 4174448
9894521 9894525
9894521 4999399
9894521 1583674
9894521 368260
9894521 117780
9894521 9894526
9894521 9894527
9894521 1806524
9894521 9894528
9894521 9894529
9894521 9894530
9894521 9894531
9894521 9894532
9894521 9894533
9894521 9894534
9894521 4999422
9894521 9894535
9894521 9894536
9894521 9894537
9894521 9894538
9894521 9894539
9894521 4999439
9894521 9894540
9972876 9972880
9972876 9972881
9972876 9972882
9972876 9972883
9972876 9972884
9972876 9972885
9974024 290581
9974024 368441
9974024 9974029
9974024 1583680
9974024 9974030
9974024 9974031
9974024 9972885
9974024 280307
9991136 9991139
9991136 9991141
9991136 9991142
9991136 9991143
10006649 10006654
10006649 10006655
10661301 84596
10661301 368248
10661301 368215
10661301 283073
10661301 9724807
10661301 967503
10661301 117763
10661301 81484
10661301 10661303
10661301 10661304
10661301 117766
10661301 3123581
10661301 281416
10661301 10661306
10661301 10661307
10661301 117772
10661301 1293100
10661301 368441
10661301 10661310
10661301 1583670
10661301 10661311
10661301 4174447
10661301 378171
10661301 10661312
10661301 368254
10661301 368219
10661301 4174448
10661301 10661313
10661301 1584380
10661301 4988488
10661301 368220
10661301 4174449
10661301 967234
10661301 10661314
10661301 368256
10661301 10661315
10661301 10661316
10661301 10661317
10661301 10661318
10661301 10661319
10661301 5530147
10661301 10661320
10661301 10661321
10661301 368259
10661301 117780
10661301 10661323
10661301 10661324
10661301 258
10661301 1584382
10661301 10661325
10661301 10661326
10661301 10661328
10661301 10661329
10661301 10661330
10661301 10661331
10661301 10661332
10661301 10661333
10661301 368224
10661301 117782
10661301 368724
10661301 10661334
10661301 10661338
10661301 10661339
10661301 81490
10661301 10661340
10661301 10661341
10661301 10661342
10661301 10661343
10661301 10661344
10661301 10661345
10661301 10661346
10661301 10661347
10661301 10661348
10661301 10661349
10661301 10661350
10661301 10661351
10661301 10661352
10661301 1584386
10661301 3892773
10661301 9972885
10661301 368230
10661301 10661353
10661301 10661354
10661301 10661355
10661301 10661356
10661301 4999439
10661301 368284
10661301 10661357
10661301 10661358
10661301 10661359
10661301 10661360
10661301 966656
10661301 280307
10661301 81493
10661301 265
21039 117761
21039 117762
21039 117763
21039 117764
21039 117766
21039 117772
21039 252
21039 254
21039 117776
21039 117778
21039 117779
21039 117780
21039 1915
21039 259
21039 117781
21039 117783
10661303 368440
10661303 5530147
10661303 10661374
10661303 10661375
10661303 10661376
10661303 10661377
10661303 10661378
10661303 10661379
10661303 10661380
10661303 10661381
10661303 10661382
10661303 10661383
10661303 10661384
10661303 9972885
10661303 10661385
10661303 81493
5530159 5530194
6392588 1584380
13337596 13337598
13356647 13356654
13374704 13374707
13374704 13374708
116461 375043
116461 375044
116461 375045
116461 375046
13394186 13394188
13398867 13398870
112526 368248
112526 368215
112526 368217
112526 117766
112526 81520
112526 117772
112526 368254
112526 368219
112526 368255
112526 368220
112526 368256
112526 368257
112526 368258
112526 368259
112526 368260
112526 117780
112526 368261
112526 368223
112526 368262
112526 368263
112526 368264
112526 368224
112526 368265
112526 368266
112526 368226
112526 368267
112526 368268
112526 368269
112526 368270
112526 368271
112526 368272
112526 368273
112526 368274
112526 368275
112526 368276
112526 368277
112526 368278
112526 368279
112526 368280
112526 368228
112526 368281
112526 368282
112526 368230
112526 368283
112526 117783
112526 368284
112526 368285
112526 368286
1821079 283073
1821079 81484
13413638 4173933
4990999 368440
4990999 4991017
4990999 81493
3987963 4173933
13425490 4173933
13427144 1584380
13429380 13429382
1821080 283073
1821080 81484
112679 368581
13443741 4173933
13476523 117762
13476523 967503
13476523 117763
13476523 117764
13476523 254
13476523 117776
13476523 13476525
13476523 13476526
13476523 13476527
13476523 13476528
13476523 13476529
13476523 13476530
13476523 13476531
13476523 13476532
13476523 13476533
13476523 13476534
13477345 1293100
13477345 13477347
13480570 1583682
13480570 1583683
13480570 117783
112653 81520
38 252
38 254
38 258
38 259
38 260
38 261
38 262
38 263
38 264
38 265
13496918 13496920
13496918 13496921
13496918 13496922
375364 978341
13523814 368248
13523814 368218
13523814 1583669
13523814 368254
13523814 368255
13523814 13523816
13523814 368262
13523814 368444
13523814 13523817
13523814 13523818
13523814 368447
13523814 1583680
13523814 13523819
13523814 13523820
13523814 368449
14245830 14245833
298332 822311
298332 822314
298332 822315
14292532 117762
14292532 117763
14292532 368666
14292532 4999400
14292532 14292535
14292532 258
14292532 14292536
14292532 368673
14292532 14292538
14292532 265
14392893 14392895
14392893 14392896
14392893 14392897
14392893 14392898
14392893 13523820
14429240 14429242
82089 283986
82089 283987
14956081 4301374
14956081 5530147
14956081 14956083
14956081 81491
14956081 4991017
14975256 14975258
14975256 14975259
14975256 14975260
14975256 14975261
14975256 14975262
14978169 4174448
14978169 4174449
14978169 10661359
14978169 966656
14978169 81493
822313 1629651
822313 368441
822313 368443
822313 1629653
822313 1629654
822313 1629655
822313 1629656
822313 1629657
15005642 117761
15005642 117766
15005642 368256
15005642 15005644
15005642 427288
15005642 15005645
15015073 10661332
15015073 15015076
15015073 15015077
15015073 4988489
15015073 4988491
15015073 15015078
15020178 117764
15021312 15021314
15021312 15021315
15021312 15021316
15021312 15021317
15021312 15021318
15021312 15021319
15021312 15021320
15021312 15021321
15027341 117761
15027341 368215
15027341 117766
15027341 15027343
15027341 15027344
15027341 4174448
15027341 10661316
15027341 368258
15027341 117780
15036659 15036661
15048956 5530147
15048956 9972885
15048956 2441758
15048956 81493
15051540 10661319
15051540 15051542
15057288 117761
15057288 368215
15057288 2442923
15057288 117766
15057288 1584380
15057288 15057290
15057288 117780
15057288 280307
15083875 368441
15083875 10661319
15083875 280307
15099016 4988487
15099016 4988488
15099016 10661332
15099016 4988491
15099016 3892773
15099016 15015078
112698 117762
112698 117763
112698 117764
112698 368666
112698 117776
112698 117778
112698 368670
112698 117779
112698 368671
112698 258
112698 1915
112698 259
112698 117781
112698 368672
112698 262
112698 368673
112698 368674
112698 368675
112698 265
15116868 15015078
15121996 4988489
15121996 4988491
15121996 15015109
15121996 15015090
15121996 15121998
15757 81484
15757 81485
15757 81489
15757 81490
15757 81491
15757 81492
15757 81493
15171734 15171736
15171734 15171737
15171734 15171738
15171734 15171739
15177135 81490
15177135 280307
15177135 81493
15177991 84596
15177991 2442923
15177991 117780
15177991 368226
15177991 1584385
15177991 15177993
15177991 15177994
15177991 15177995
15177991 15177996
15177991 15177997
15177991 4999439
15177991 15015078
15179208 15179210
15179208 15015078
15598195 4628583
15599068 9721709
28317291 81484
28317291 28317292
28317291 28317293
28317291 280307
28317291 81493
28364164 3892773
4174447 4174448
4174447 4301374
21312 119159
29043046 29043051
29044420 29044423
378171 117764
29051138 1584382
29051978 368231
39669 162445
39669 162446
39669 162447
39669 162448
29607561 368248
29607561 368215
29607561 1807416
29607561 28773987
29607561 368262
29607561 1583679
29607561 29607562
29607561 368449
28773983 28773987
28773983 10661312
28773983 28773988
28773983 28773989
28773983 28773990
28773983 28773991
28773983 28773992
28773983 28773993
28773983 967234
28773983 28773984
28773983 1158
28773983 4937185
28773983 28773994
28773983 28773995
28773983 4968016
28773983 28773996
28773983 28773997
28773983 28773985
28773983 28773998
28773983 10661504
28773983 368724
28773983 28773999
28773983 28774000
28773983 28774001
28773983 13429382
28773983 28774002
28773983 28774003
28773983 28774004
28773983 28774005
28773983 28774006
28773983 28774007
28773983 28774008
28773983 28774009
28773983 28774010
28773983 28774011
28773983 28774012
29607579 368248
29607579 117761
29607579 368215
29607579 117762
29607579 967503
29607579 117763
29607579 117764
29607579 1807416
29607579 117766
29607579 368439
29607579 368440
29607579 368441
29607579 982676
29607579 254
29607579 982678
29607579 117776
29607579 982683
29607579 982689
29607579 28773987
29607579 10661312
29607579 368442
29607579 117778
29607579 375043
29607579 4999398
29607579 368443
29607579 29607580
29607579 4174449
29607579 967234
29607579 29607581
29607579 28773984
29607579 1583675
29607579 117780
29607579 368582
29607579 368222
29607579 368223
29607579 29607582
29607579 4968016
29607579 368264
29607579 28773985
29607579 29607583
29607579 259
29607579 260
29607579 10661504
29607579 29607584
29607579 29607585
29607579 4999408
29607579 29607586
29607579 368724
29607579 28773999
29607579 4949721
29607579 29607587
29607579 29607588
29607579 4999438
29607579 117783
29607579 4968017
29607579 29607589
29607579 15173795
29607579 265
29607645 368248
29607645 1807416
29607645 28773987
29607645 1583679
29607645 368449
29607652 368248
29607652 368215
29607652 117762
29607652 967503
29607652 117763
29607652 1952
29607652 117764
29607652 1807416
29607652 117766
29607652 81520
29607652 117772
29607652 368441
29607652 252
29607652 982676
29607652 368218
29607652 254
29607652 368666
29607652 4999393
29607652 117776
29607652 29044421
29607652 28773987
29607652 10661312
29607652 368254
29607652 4999395
29607652 4999396
29607652 368670
29607652 375043
29607652 4999397
29607652 4999398
29607652 117779
29607652 1583672
29607652 29607653
29607652 29607654
29607652 29607655
29607652 368220
29607652 967234
29607652 4999400
29607652 29607656
29607652 368221
29607652 4999401
29607652 1583675
29607652 29607657
29607652 368671
29607652 117780
29607652 29607658
29607652 258
29607652 29607659
29607652 368223
29607652 1915
29607652 4968016
29607652 29607660
29607652 29607661
29607652 368444
29607652 29607662
29607652 378271
29607652 368264
29607652 29607663
29607652 29607583
29607652 259
29607652 260
29607652 29607664
29607652 29607665
29607652 29607666
29607652 29607667
29607652 967505
29607652 262
29607652 4999408
29607652 368446
29607652 368224
29607652 29607668
29607652 29607669
29607652 29607670
29607652 117782
29607652 29051030
29607652 368673
29607652 29607671
29607652 4999409
29607652 29607672
29607652 29607673
29607652 29607674
29607652 4999410
29607652 4999411
29607652 29607675
29607652 29607676
29607652 29607677
29607652 4999412
29607652 4999413
29607652 4999414
29607652 29607678
29607652 29607679
29607652 4999415
29607652 4999416
29607652 29607680
29607652 368226
29607652 4999422
29607652 4999423
29607652 4999424
29607652 4999425
29607652 368274
29607652 368275
29607652 368276
29607652 368277
29607652 368279
29607652 4999427
29607652 4999428
29607652 368229
29607652 29607681
29607652 10661334
29607652 29607682
29607652 29051031
29607652 29607683
29607652 29607684
29607652 29607685
29607652 29607686
29607652 29607687
29607652 10661553
29607652 2476516
29607652 29607688
29607652 9877007
29607652 29607689
29607652 29607690
29607652 29607691
29607652 29607692
29607652 29607693
29607652 1583678
29607652 1583679
29607652 10661377
29607652 29607694
29607652 29607695
29607652 1583681
29607652 29607696
29607652 368674
29607652 4999435
29607652 1583684
29607652 173072
29607652 1583686
29607652 117783
29607652 4999440
29607652 4968017
29607652 29607589
29607652 28774012
29607652 1583687
29607652 29607697
29607652 265
29607916 10661312
29607916 967234
29607916 28773985
29607916 10661504
29607916 368724
29607916 29607917
29607916 29607918
29607927 368248
29607927 368215
29607927 117762
29607927 117766
29607927 368441
29607927 1583670
29607927 10661312
29607927 368255
29607927 375043
29607927 368443
29607927 967234
29607927 117780
29607927 368262
29607927 29607582
29607927 29607928
29607927 29607929
29607927 10661504
29607927 117782
29607927 368281
29607927 368724
29607927 368447
29607927 173072
29607927 1583686
29607927 29607930
29607927 15173795
29607927 265
29607927 29607931
29607950 368248
29607950 368215
29607950 117766
29607950 368440
29607950 117772
29607950 10661312
29607950 368255
29607950 368443
29607950 967234
29607950 117780
29607950 10661504
29607950 117782
29607950 368724
29607950 368447
29607950 29607951
29607963 10661312
29607974 368248
29607974 117761
29607974 368215
29607974 117762
29607974 117763
29607974 117766
29607974 117772
29607974 368441
29607974 368218
29607974 254
29607974 368666
29607974 29044421
29607974 10661312
29607974 4999395
29607974 368219
29607974 368255
29607974 1583672
29607974 967234
29607974 117780
29607974 28773994
29607974 258
29607974 368222
29607974 368223
29607974 4968016
29607974 29607661
29607974 1583676
29607974 28773997
29607974 29607975
29607974 117781
29607974 29607664
29607974 4999408
29607974 368224
29607974 368673
29607974 29607671
29607974 4999409
29607974 4999411
29607974 4999412
29607974 4999414
29607974 29607679
29607974 4999415
29607974 4999417
29607974 29607976
29607974 4999420
29607974 368226
29607974 4999422
29607974 368279
29607974 29607977
29607974 368724
29607974 29607684
29607974 3601204
29607974 368447
29607974 1583678
29607974 10661377
29607974 4999435
29607974 368230
29607974 117783
29607974 4999440
29607974 368284
29607974 265
29607974 368449
29607991 10661312
29607991 967234
29607991 28773994
29607991 4968016
29607991 28773985
29607991 28773998
29607991 10661504
29607991 368724
29607991 29607992
29607991 29607993
29607991 28774000
29608000 368248
29608000 117766
29608000 368439
29608000 117772
29608000 15173793
29608000 117776
29608000 10661312
29608000 368443
29608000 967234
29608000 28773984
29608000 368262
29608000 10661504
29608000 29608001
29608000 29608002
29608000 368724
29608000 28773999
29608000 29608003
29608000 28774000
29608000 29608004
29608000 112718
29608000 29607696
29608000 28774005
29608000 4968017
29608060 10661312
29608060 28773993
29608060 967234
29608060 28773984
29608060 28773994
29608060 4968016
29608060 28773996
29608060 28773985
29608060 10661504
29608060 368724
29608060 28774003
29608060 28774004
29608060 28774012
29608062 29608063
29608062 29608064
29608062 28773990
29608062 28774052
29608062 29608065
29608062 29608066
29608062 29608067
29608062 29608068
29608062 1158
29608062 29608069
29608062 29608070
29608062 4937178
29608062 28774153
29608062 28774046
29608062 29608071
29608062 29608072
29608062 29608073
29608062 28774005
29608062 29608074
29608062 28774053
29608062 29608075
29608062 29608076
29608062 29608077
29608062 29608078
29608062 28774009
29608062 29608079
29608062 28774010
793848 84596
793848 368248
793848 117761
793848 368215
793848 117766
793848 81520
793848 1583668
793848 117772
793848 1583669
793848 1583670
793848 368254
793848 368255
793848 368443
793848 1583672
793848 1583673
793848 1583674
793848 368256
793848 368258
793848 368259
793848 1583675
793848 368260
793848 117780
793848 368261
793848 258
793848 368223
793848 368262
793848 368264
793848 1583676
793848 368224
793848 1583677
793848 368447
793848 1583678
793848 1583679
793848 1583680
793848 1583681
793848 1583682
793848 1583683
793848 1583684
793848 368230
793848 1583685
793848 1583686
793848 117783
793848 368284
793848 368286
793848 1583687
29608102 81520
29608102 1583669
29608102 368254
29608102 368255
29608102 368262
29608102 368444
29608102 29608103
29608102 29608104
29608102 13523820
112637 368248
112637 368215
112637 117762
112637 117766
112637 368439
112637 368440
112637 117772
112637 368441
112637 254
112637 368254
112637 368442
112637 368443
112637 117780
112637 368223
112637 368262
112637 368444
112637 259
112637 260
112637 368445
112637 262
112637 117782
112637 368447
112637 368230
112637 173072
112637 265
112637 368448
112637 368449
29608119 117761
29608119 368215
29608119 117766