-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathprop-direct-P1184
17192 lines (17192 loc) · 299 KB
/
prop-direct-P1184
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
9796058 9796063
2308628 3018880
10038635 10038642
10038700 10038705
10044026 10044031
10045028 10045033
1851341 2653321
10495439 10495442
10613800 10613804
8047711 8047726
10640191 10640193
10640281 10640285
10640654 10640656
10640684 10640686
10641378 10641380
10642253 10642255
10643214 10643216
10651636 10651638
10651653 10651656
3620316 3942414
10656835 10656837
592742 1327379
11920625 11920628
933259 1758909
933260 1758932
933260 1758933
1969925 2741616
13504932 13504937
13580884 13580889
13592403 13592407
13625341 13625343
13625706 13625709
13625738 13625740
13625940 13625943
13625987 13625991
13626322 13626325
13626322 13626326
13626466 13626468
13626604 13626608
13642716 13642719
13647407 13647411
13667028 13667031
13734722 13734724
13735224 13735228
13784247 13784250
13784364 13784366
13839381 13839384
13845693 13845695
13866674 13866676
13873774 13873777
13873784 13873787
13897014 13897016
14043613 14043615
6125924 6125942
14099661 14099664
14897646 14897650
3751400 4021018
14928282 14928284
2578640 3218063
933268 1758985
15022890 15022893
15067094 15067097
2741435 3333634
8332514 8332556
10072378 10072403
2400952 3091762
15147372 15147376
15149628 15149631
15149641 15149644
15150982 15150985
2741661 3334047
5617504 5617534
15160850 15160853
3671082 3971301
340826 931151
15168304 15168307
15168380 15168383
15599301 15599303
15901894 15901896
15902130 15902132
15902130 15902133
15902139 15902141
15902146 15902148
4371800 4432478
4371801 4432484
15902156 15902158
15902164 15902166
15902193 15902197
15902230 15902232
15902236 15902238
15902242 15902244
15902249 15902251
15902264 15902266
15902342 15902344
15902357 15902359
15902364 15902366
15902378 15902380
14786850 14786853
15902388 15902390
15902399 15902401
15902405 15902407
15902417 15902419
10081785 10081801
15902446 15902448
4473220 4506819
4473220 4506820
15902452 15902454
14849072 14849077
7573871 7573913
7638230 7638257
15902503 15902506
15902503 15902507
12796594 12796609
12796595 12796615
2262574 2982704
2262574 2982705
7664658 7664674
15902576 15902578
15902591 15902593
15902602 15902604
15902602 15902605
15902615 15902617
15902621 15902623
15902708 15902710
15902721 15902723
15902725 15902727
15902738 15902740
15902761 15902763
15902767 15902769
15902814 15902816
15902831 15902833
15902865 15902867
15902865 15902868
15902943 15902945
15902954 15902956
7581277 7581291
15902966 15902968
15902986 15902988
15902992 15902994
2448471 3128921
15903001 15903003
15903007 15903009
15903015 15903017
15903037 15903039
15903037 15903040
15903049 15903051
15903062 15903064
15903075 15903077
15903082 15903084
7842981 7843008
15903152 15903154
12731650 12731661
12731650 12731662
9254368 9254386
9254368 9254387
9254369 9254395
15903167 15903169
15903173 15903175
15903178 15903180
15903185 15903187
14781302 14781311
14781303 14781316
4161893 4292367
4161894 4292372
3666219 3968715
3666219 3968716
15903201 15903203
15903218 15903220
15903224 15903226
15903230 15903232
15903236 15903238
15903241 15903243
15903247 15903249
15903272 15903274
7841168 7841202
15903278 15903280
15903386 15903389
15903388 15903394
15903500 15903503
15903502 15903509
1754411 2576429
15903562 15903564
1789538 2605650
15903624 15903626
15903624 15903627
15903650 15903652
15903655 15903657
15903725 15903727
5333492 5333520
15903824 15903827
15903826 15903834
5333493 5333525
15903874 15903876
5333494 5333531
14822459 14822463
15903918 15903920
15903950 15903952
6206145 6206179
6206146 6206186
15904027 15904029
15904032 15904034
15904037 15904039
14785120 14785126
15904054 15904056
7581128 7581141
7581129 7581147
7581129 7581148
15904078 15904080
14792418 14792423
15904091 15904093
15904098 15904100
15904109 15904111
15904151 15904153
15904157 15904159
15904163 15904165
15904171 15904173
15904171 15904174
15904180 15904182
15904180 15904183
15904189 15904191
15904194 15904196
12342004 12342012
14802738 14802741
15904250 15904252
6138609 6138637
15904536 15904538
15904554 15904557
15904574 15904576
15904599 15904601
15904615 15904617
15904626 15904629
15904678 15904680
3635023 3951253
3635024 3951258
15904730 15904732
15904846 15904848
15904846 15904849
15904861 15904863
15904893 15904895
15904928 15904930
15905021 15905023
15905030 15905032
15905101 15905103
15905162 15905164
15905182 15905184
15905240 15905243
15905280 15905282
15905287 15905289
6138610 6138643
15905436 15905438
14788374 14788379
3336319 3752991
3336320 3752996
15905509 15905511
9380571 9380590
15905686 15905688
15905764 15905766
15905795 15905797
4051338 4212978
4162897 4292953
15905878 15905880
15905886 15905888
15905918 15905920
15905926 15905928
14860423 14860430
15906012 15906014
15906018 15906020
15906024 15906026
15906030 15906032
15906151 15906153
15906175 15906177
14804255 14804266
14804256 14804271
15906212 15906214
15906233 15906235
1758339 2578805
15906266 15906268
15906275 15906277
15906281 15906283
15906286 15906288
15906299 15906301
15906305 15906307
12679623 12679637
12679624 12679642
15906321 15906323
12679625 12679647
12679625 12679648
15906329 15906331
15906329 15906332
15906338 15906340
15906353 15906355
15906381 15906383
15906386 15906388
15906391 15906393
15906396 15906398
15906410 15906413
15906422 15906424
15906412 15906418
2601149 3234777
15906428 15906430
15906433 15906435
15906447 15906449
14740343 14740355
2601150 3234782
15906452 15906454
2601151 3234787
15906490 15906492
15906543 15906545
15906613 15906615
15906624 15906626
15906630 15906632
15906635 15906637
15906648 15906650
15906708 15906710
15906728 15906730
15906733 15906735
15906738 15906740
15906744 15906746
15906749 15906751
15906754 15906756
11304278 11304294
6212069 6212095
15906765 15906767
15906771 15906773
15906791 15906793
15906798 15906800
15906803 15906805
15906808 15906810
5656887 5656902
14740344 14740360
15906885 15906887
15906906 15906908
6079991 6080006
15906928 15906930
15906933 15906935
15907007 15907009
15907018 15907020
15907023 15907025
15907032 15907034
15907055 15907057
15907073 15907075
15907087 15907089
15907098 15907100
15907103 15907105
15907108 15907110
11304279 11304298
15907114 15907117
6452924 6452948
15907125 15907127
15907130 15907132
15907146 15907148
15907151 15907153
6058748 6058804
15907116 15907122
15907174 15907176
15907179 15907181
14740345 14740364
6212041 6212081
8016405 8016426
8016406 8016430
15907184 15907186
10071280 10071296
10071281 10071301
15907189 15907191
15907195 15907197
15907200 15907202
15907205 15907207
15907210 15907212
6058841 6058890
15907224 15907226
10181847 10181855
6544880 6544895
15907267 15907269
15907298 15907300
15907298 15907301
15907318 15907320
15907324 15907326
15907333 15907336
15907335 15907341
15907355 15907357
15907361 15907363
15907366 15907368
1758245 2578728
3951264 4150660
3951265 4150667
15907410 15907412
3951266 4150673
12055298 12055308
12055299 12055313
12055300 12055318
7226767 7226788
15907457 15907459
15907462 15907464
7226768 7226793
15907476 15907480
15907486 15907488
15907491 15907493
14791465 14791471
15907496 15907498
9108485 9108498
9108486 9108503
2576076 3215945
15907520 15907522
15907525 15907527
15907553 15907555
15907569 15907571
15907574 15907576
15907579 15907581
10089248 10089264
10089249 10089269
9327413 9327463
15907640 15907642
15907654 15907656
15907664 15907666
15907678 15907680
15907686 15907688
15907157 15907162
15907706 15907708
15907722 15907724
15907727 15907729
15907741 15907743
6602622 6602640
6602588 6602631
6212008 6212055
15907787 15907789
15907800 15907802
15907812 15907814
15907818 15907821
15907828 15907830
7704797 7704807
15907834 15907836
6212042 6212086
15907840 15907842
15907846 15907848
15907851 15907853
9108343 9108363
9108344 9108368
15907857 15907859
15907866 15907868
7669582 7669593
15907903 15907905
15907908 15907910
15907913 15907915
15907922 15907924
15907927 15907929
15907938 15907940
15907943 15907945
15907948 15907950
2578574 3217985
15907953 15907955
6025403 6025425
15907958 15907960
15907963 15907965
15907968 15907970
15907973 15907975
15907981 15907983
15907986 15907988
15907991 15907993
15907999 15908001
15908004 15908006
15908009 15908011
15908017 15908019
15908022 15908024
15908027 15908029
15908032 15908034
15908037 15908039
14806456 14806472
15908042 15908044
15908048 15908050
15908054 15908056
15908060 15908062
15908087 15908089
6212070 6212099
6212071 6212103
10069121 10069135
15908092 15908094
15908097 15908099
14876937 14876941
15908102 15908104
15906619 15906621
15908107 15908109
15908112 15908114
15908117 15908119
15908122 15908124
10079406 10079414
15908127 15908129
15908132 15908134
15908137 15908139
15908142 15908144
15908147 15908149
6212043 6212090
10891657 10891676
10891658 10891680
14834478 14834484
15908152 15908154
15908158 15908160
15908163 15908165
15908168 15908170
15908173 15908175
6193094 6193108
9254370 9254401
15907158 15907166
15908180 15908182
15908187 15908189
15908250 15908252
15908256 15908258
15908263 15908265
15908268 15908270
15908274 15908276
15908280 15908282
15908287 15908289
2630954 3256148
2630955 3256154
2630956 3256159
15908293 15908295
15908301 15908303
1972084 2743898
7697607 7697649
7697608 7697654
15908364 15908367
10059370 10059378
5698239 5698258
5770544 5770589
15908385 15908387
5770545 5770597
14809584 14809594
14809585 14809599
1758302 2578767
14809586 14809604
15908436 15908438
15908441 15908443
14792529 14792533
14801033 14801040
15908494 15908496
1758303 2578776
11387324 11387345
15908535 15908537
10076204 10076210
10076205 10076215
15908544 15908546
15908554 15908557
15908554 15908558
15908576 15908578
15908581 15908583
15908586 15908588
15908645 15908647
15908671 15908678
15908671 15908679
5884065 5884080
12697913 12697923
1758304 2578782
15908762 15908764
15908794 15908796
15908802 15908804
15908808 15908811
15908810 15908817
15908852 15908854
6267757 6267781
15908885 15908887
15908893 15908895
15908898 15908900
15908903 15908905
15908908 15908910
15908913 15908915
15908919 15908921
15908925 15908927
15908930 15908932
15908935 15908937
15908941 15908943
12234950 12234959
15908946 15908948
15908961 15908963
15908966 15908968
15908971 15908973
15908976 15908978
15908981 15908983
15908987 15908989
15908992 15908994
15908997 15908999
15909003 15909005
15909008 15909010
15909013 15909015
15909019 15909021
15909024 15909026
15909029 15909031
15909034 15909036
15909039 15909041
15909044 15909046
15909049 15909051
15909055 15909057
15909060 15909062
15909066 15909068
15909071 15909073
15909076 15909078
15909081 15909083
6081749 6081760
15909086 15909088
15909091 15909093
15909096 15909098
15909101 15909103
5370089 5370112
15909122 15909124
15909131 15909133
15909138 15909140
15909154 15909156
15909163 15909165
15909169 15909171
15909185 15909187
15909190 15909192
15909196 15909198
15909204 15909206
15909209 15909211
15909214 15909216
15909228 15909230
15909240 15909242
15909246 15909248
15909252 15909254
15909263 15909265
15909274 15909276
15909290 15909292
15909295 15909297
15909314 15909316
15909342 15909344
15909347 15909349
15909352 15909354
7307635 7307653
7307636 7307660
15909385 15909387
15909393 15909395
15909399 15909401
15909405 15909407
15909411 15909413
15909417 15909419
15909423 15909425
6034349 6034371
15909466 15909468
7664980 7665001
10181848 10181860
10181849 10181865
15909526 15909528
5821028 5821047
15909540 15909542
15909550 15909552
15909560 15909562
15909567 15909569
15909575 15909577
15909581 15909583
15909587 15909589
15909619 15909621
15909625 15909627
5714203 5714263
15909635 15909637
15909649 15909651
15909655 15909657
10061237 10061253
15909735 15909737
15909741 15909743
15909747 15909749
14793679 14793683
10088282 10088303
14828287 14828293
14828288 14828298
14828012 14828016
14785357 14785366
15909881 15909883
15909894 15909896
15909900 15909902
15909906 15909908
14809734 14809742
15909919 15909921
15909960 15909962
15909976 15909978
15909991 15909993
15909998 15910000
15910008 15910010
15910014 15910016
15910024 15910026
11574119 11574137
15910038 15910040
15910047 15910049
15910063 15910065
14804063 14804069
15910091 15910093
15910129 15910131
15910146 15910148
15910152 15910154
14784685 14784695
15910169 15910171
1758392 2578840
15910250 15910252
10054489 10054496
15910315 15910317
15910351 15910353
14802419 14802423
15910375 15910377
15910375 15910378
6237555 6237582
14786785 14786789
10079897 10079911
10178927 10178935
7883682 7883702
15910477 15910479
15910508 15910510
15910508 15910511
2601128 3234758
15910571 15910573
7307690 7307722
15910577 15910579
14780240 14780246
15910595 15910597
15910608 15910610
15910615 15910617
3763348 4027726
3906204 4120779
15910649 15910651
15910661 15910663
14842792 14842796
15910668 15910670
10072914 10072918
1758480 2578870
6365016 6365033
15910735 15910737
15910745 15910747
15910765 15910767
15910772 15910774
13030994 13031007
15910785 15910787
13030995 13031012
15910811 15910813
15910820 15910822
15910861 15910863
5387255 5387277
15910903 15910905
5387223 5387265
14843036 14843041
15910938 15910940
2572421 3212244
15910966 15910969
15910968 15910975
2743883 3336386
2743884 3336393
2743885 3336398
15911009 15911011
4186411 4307569
15911047 15911049
14804257 14804276
14793984 14793989
15911058 15911060
15911161 15911163
15911173 15911175
14849817 14849825
15911252 15911254
14800224 14800229
13011212 13011221
7692613 7692620
8154114 8154143
15911288 15911290
15911301 15911303
15911308 15911310
15911315 15911317
15911331 15911333
5387225 5387272
15911349 15911351
9108062 9108070
6025431 6025444
15911412 15911414
15911412 15911415
6025432 6025449
15911423 15911425
15911430 15911432
15911438 15911440
3895146 4113936
3895147 4113941
15911449 15911451
14787143 14787149
14787144 14787154
15911472 15911475
15911491 15911493
15903590 15903600
3670815 3971234
15911573 15911576
15911575 15911581
15911609 15911612
15911611 15911619
15911633 15911635
15911662 15911664
15911671 15911673
8895808 8895825
14806523 14806527
14800302 14800310
14800303 14800315
2575466 3215599
14800304 14800320
15911719 15911721
15911724 15911726
9367315 9367323
14800241 14800247
15911746 15911748
15911752 15911754
15911761 15911763
15911769 15911771
5923572 5923643
15911823 15911825
6346572 6346599
15911857 15911859
14779737 14779743
15911889 15911891
15911895 15911897
10181371 10181380
15911994 15911996
2578755 3218156
2578756 3218161
15912037 15912053
2353933 3051495
15912069 15912071
8586595 8586606
15912091 15912093
15912096 15912098
14792530 14792541
14785353 14785361
1972085 2743903
15912158 15912160
4079911 4233863
15912190 15912192
15912196 15912198
15912205 15912207
15912216 15912218
14848003 14848006
5754208 5754248
4272585 4363060
5754209 5754253
5754210 5754258
15912248 15912250
15912261 15912263
15912266 15912268
15912272 15912274
15912278 15912280
9221319 9221338
14803608 14803617
15912357 15912359
6480356 6480379
7669583 7669598
14805670 14805676
7590796 7590818
4051339 4212984
9609037 9609045
15912449 15912451
15912455 15912457
15912461 15912463
15912470 15912472
15912476 15912478
15912482 15912484
14799114 14799118
15912508 15912510
15912515 15912517
15912523 15912525
15912532 15912534
15912538 15912540
15912544 15912546
4506814 4533125
15912561 15912563
15912561 15912564
15912572 15912574
15912581 15912583
3336333 3753001
15912590 15912592
15912596 15912599
15912596 15912600
15912598 15912609
15912598 15912610
15912621 15912623
15912627 15912629
15912627 15912630
15912639 15912641
15912648 15912650
15912659 15912661
15912665 15912667
15912679 15912682
15912703 15912705
15912709 15912711
15912718 15912720
15912726 15912728
15912735 15912737
15912735 15912738
15912766 15912768
15912772 15912774
15912778 15912780
15912784 15912786
8402325 8402401
8402325 8402402
8402326 8402409
8402326 8402410
14806450 14806462
15912814 15912816
15912819 15912821
7573896 7573932
15912835 15912837
15912841 15912843
15912847 15912849
15912862 15912864
5382969 5383032
15912867 15912869
15912875 15912877
15912908 15912910
15912914 15912916
15912919 15912921
15912925 15912927
15912931 15912933
15912937 15912939
15912943 15912945
15912962 15912964
15912968 15912970
15912978 15912980
15912984 15912986
15912990 15912992
15912998 15913000
15913003 15913005
15913019 15913021
15913025 15913027
15913031 15913033
15913037 15913039
15913043 15913045
15913049 15913051
15913054 15913056
15913085 15913087
6027763 6027787
15913100 15913102
15913106 15913108
7635361 7635377
15913121 15913123
15913132 15913134
15913143 15913145
15913153 15913155
7635362 7635382
15913171 15913173
7635363 7635387
13010905 13010922
15913205 15913207
15913210 15913212
15913216 15913218
14802237 14802244
14802238 14802250
15913233 15913235
15913254 15913256
15913259 15913261
3877216 4103842
15913264 15913266
8154120 8154158
8154120 8154159
15913269 15913271
15913274 15913276
15913284 15913286
15913290 15913292
15913300 15913302
15913309 15913311
5754188 5754226
15913315 15913317
15913320 15913322
4537923 4557773
4512095 4537912
4537924 4557777
4512096 4537916
15913330 15913332
4377204 4436268
4479069 4512092
4512091 4537907
15913335 15913337
15913340 15913342
4512108 4537946
4537945 4557796
15913346 15913348
15913365 15913367
15913370 15913372
4377205 4436273
15913375 15913377
15913380 15913382
15913387 15913389
15913392 15913394
15913397 15913399
15913402 15913404
15913407 15913409
15913412 15913414
14806457 14806476
15913417 15913419
15913422 15913424
15913427 15913429
15913437 15913440
15913461 15913463
15913353 15913356
15913467 15913470
4021002 4195756
15913490 15913492
9346525 9346537
15913496 15913498
15913528 15913530
4021003 4195763
15913539 15913541
15913555 15913557
5710110 5710122
15913574 15913576