-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathprop-direct-P1469
21251 lines (21251 loc) · 351 KB
/
prop-direct-P1469
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
5049609 3587737
5687728 1599505
6122574 6122579
1907184 1419127
415401 65891
6665171 3705471
415402 1054435
6776842 2042728
4869477 4869498
6868550 125069
6878781 202116
6878897 320274
415403 732186
415404 1054483
415405 1054506
2033625 2796744
3939608 4143991
3615911 225974
7208411 3751999
7227221 355905
7317372 7317375
7377607 2775167
415406 1054545
592151 1325793
7404963 2126783
1538688 2397871
7410264 2740024
7485439 5471922
7514498 3330006
7521640 3979159
415407 1054576
7547843 272271
415408 1054608
415409 141997
7593641 6392779
7747811 820754
1538437 863724
7856704 708406
7885358 1241446
7887956 7887959
7924740 6647515
415410 1054677
8180944 202588
8263634 8263639
8302195 831431
1054785 143835
1054785 1916812
8444620 1257990
8570806 6442975
1538689 2397890
8625066 8625070
8644159 4528079
2397185 3088803
777151 1562680
8779574 793549
8830028 3258589
1536854 2395701
8849891 890707
8855610 5115334
8875290 7175764
2198229 2934977
415411 1054703
8943861 3424617
69996 259955
8994869 8823680
777153 1562747
777155 1562803
9046927 1735733
9057257 2010104
9057259 1571264
9061804 5445812
9067723 9067727
9078826 9078829
9086816 654997
1537865 1602070
9122206 649091
9122403 653916
9176931 369608
9180317 3667312
9189055 2544630
1535890 2394334
3443960 900231
9206456 1141128
9207679 3221245
2197316 2933962
415412 1054743
415413 1054778
9257704 8062704
9263049 5086027
9291050 464071
415414 126159
9323466 9323470
754868 1536058
9323477 4212615
9387505 2217144
902190 913714
1538690 1625548
2395177 303222
9434687 252841
9445180 4605884
9453321 136672
337683 246166
260337 756005
9483769 2571204
9493895 1709994
9496328 2661991
9499395 126148
9500211 5098912
1733986 226460
1537934 2396900
4984431 1977987
9558753 1401517
3088977 921825
9564415 2995695
9438806 2341719
9595834 9355342
1536948 2395818
754897 1536184
9605078 1591138
9610120 3329689
415415 1054833
8546693 6013610
3615838 3072954
9660666 380827
9664354 9664358
9664391 9664398
9758468 5078334
9761055 9761061
9790176 1798908
9790571 5115596
140990 442892
9797939 9797942
9798990 5093973
9800792 3585495
9801243 5327942
1733987 2568071
2422282 3107979
3780325 4035702
9815857 5022111
3086197 3573842
9821245 5467853
9833745 8760123
9843287 861269
9866293 78274
9872028 6909891
9902624 1838234
9925577 3662790
3575089 32815
9972241 402988
9972723 9972726
9982587 3321384
9983424 2112100
9988983 354581
9991920 1905253
9994231 1098201
10002856 549468
10012901 4010269
10024005 2207199
9938384 9448430
3274826 99788
10035570 3042269
9782771 9008127
415416 241640
10269748 6924993
10269807 104857
10269845 4711055
10270039 4906305
10270204 10267
10270229 800975
497400 1182415
777161 1562936
10271463 3666704
10271468 1843636
10271514 387494
1733980 2567971
10271637 243813
10271647 8652670
10271864 10271866
10271883 5234691
10271953 5174337
10272092 7891893
10272169 4032901
10272280 862442
10272375 5050479
10272859 1460269
10272907 5264919
10273005 2147314
10273084 9951303
10273099 2361506
10273392 1441667
10273567 6622967
10273602 443198
10273647 2410947
10273687 2241503
10273745 5530317
10274218 6632930
10274225 100271
10274515 249617
10274562 5192952
10274699 3977517
10274702 4659325
10274807 2278916
10274812 7618116
10274963 7719361
10275585 1290903
3615898 776634
10275769 3275864
1537821 2396755
2422073 2535048
10276047 1414220
10276079 8718369
3615914 284184
10276403 357230
2055355 2506926
3939578 1452400
10276523 1617537
10276567 10276569
10276792 4136793
3615653 1723239
1281012 1337170
10277233 1878179
10277295 2707533
10277409 1053178
10277493 4292049
10277510 961503
10277644 3745204
10277807 5574196
10277825 2975778
10277927 3602066
10277932 4494994
10278196 3683908
10278384 1671194
10278491 9010241
10278612 10278615
10278483 651169
10279060 1738251
10279074 3177934
755047 1215663
10279413 5863552
10279448 6156236
10279472 7429141
10279649 2847508
10279804 7091258
10279809 10279812
415452 391057
10279974 2100301
10280083 3912622
10280152 5775005
10280154 829685
2422074 3107660
10280501 3931
10280604 327674
10280618 10280620
10280741 6982389
10280749 880203
10280794 4086254
10281063 2037747
3615913 324200
754707 1535523
10281466 717109
10281540 6382943
10281615 1889686
10282022 8119497
10282050 10282052
10282128 8386680
10282547 5340474
10282554 5604324
10282566 10282569
10282570 10282572
10282647 1274258
10282735 1629073
10282827 8047389
10283068 1702795
10283234 963663
10283373 385584
10283466 910271
2395349 3087861
10283702 10283704
10283727 660972
10283729 933752
10283760 2245222
10283792 8925539
10283833 10283835
10284054 10284056
10284057 6108820
3550729 3895594
10284434 10284436
10284445 5615632
10284611 10284613
755000 1536535
10284822 10284825
10284894 2952959
10284913 688280
10284949 4341711
10285438 314188
10285622 3145410
10285655 3327986
10285737 2435606
10285742 10285744
10285821 495179
10285851 7171149
10286162 2667065
2394515 1369353
10286442 7193719
10286507 2612288
2395642 2738663
10286550 818671
1538691 1874022
10286739 857690
10286760 831132
10286848 10286850
10286931 3926698
10286969 4370034
3292647 3365865
10287201 10287203
10287279 1414595
10287286 10287289
10287348 7783544
10287403 9961734
10287420 6990924
10287527 10287529
415417 1054890
10287657 4351334
10287715 2466876
10287780 3333042
10288170 2184939
10288300 6180585
10288312 1555088
10288424 10288426
10288437 3635071
2394504 3087252
10288555 3641159
10288665 3270278
10288920 3716848
1535891 2394343
10289249 1089543
10289438 2721581
10289823 1303677
10289831 4887300
3615909 1725251
10290108 10290110
10290340 3200198
10290352 2655701
10290561 3896057
10290682 1717851
415418 1054916
10291010 1323792
10291074 10291076
10291289 3356793
10291369 806372
10291603 897809
1538692 2397946
10291704 8651021
10291720 4952165
10291830 6446471
10292057 312908
3615857 2938420
10292096 3201748
10292106 126070
10292147 10292149
10292515 8116381
10292521 10292524
10292534 10292536
10292653 556125
10292657 3500254
10293098 6367870
10293170 10293172
10293226 7449496
10293270 6247312
10293320 2370946
3615766 1720317
10293468 965560
415419 213372
10293669 5130386
4124102 4266320
10294044 10294046
10294137 1284747
10294163 791029
10294178 2775123
10294523 9285149
3576005 3910958
10294559 9582043
10294585 2857904
10294605 1848889
10294661 10294663
10294780 1845387
3615841 3538570
10294830 6527160
10294861 1638691
10295017 5673175
10295024 1827293
10295262 1054801
10295270 3423835
10295340 1266171
10295473 6242172
10295517 92373
756146 1538824
10295598 1147288
3087117 3574555
10295770 116400
10296108 10296110
10296319 1137651
10296423 1921795
1538693 2397962
10296862 4828506
10297095 5855801
10297262 313928
10297550 5307418
1538438 1573020
10297922 5367753
10297936 10297939
415420 1054951
10298298 10298300
10298376 2096894
415421 108582
10298539 3111304
10298772 6696278
1536887 2395723
183468 109300
10298969 2763929
10299092 1741026
1538694 2302218
10299302 678435
10299564 678177
10299710 3866184
10299815 2186028
10299877 207300
10299890 2830941
10300229 9507865
10300432 1125674
10300596 10300600
10300721 10300723
10300792 1748734
755024 815540
10300997 891008
10301088 3235123
10301242 1414523
10301313 3860689
10301339 4294369
10301367 807288
1536343 946771
10301670 2193576
10301797 3864576
10302088 3842553
1733988 412978
10302650 5169224
10302658 7105665
10302681 1414439
10302693 235088
10302758 10302760
260250 396891
10302975 809745
10303081 10124280
415422 1055003
10303726 2304711
10303801 2978910
10303895 10303898
10303955 325119
415423 1055024
10303993 620845
10304051 481035
10304143 1709998
10304157 8185368
10304162 786755
10304311 8245346
10304438 951007
10304575 10304577
10304618 791918
10304640 425499
10304726 889556
10304765 3346435
10304861 3346897
10305042 1709955
10305121 1198786
415424 1055037
10305384 4663253
10305459 6726392
10305467 901283
10305487 473191
754780 103382
10305873 1498862
10306180 9076523
10306194 289075
10306337 10306339
10306435 2585330
10306460 4578422
10306707 100824
10306902 1084418
10307000 9662178
1536888 79114
10307091 4698222
10307154 2378161
1538695 897558
10307371 5903229
10307591 2892091
10308009 5648163
10308077 6537201
10308134 771031
10308154 590786
10308157 3750558
10308175 670291
10308224 225728
10308257 1116354
10308261 908517
10308320 8898450
10308508 3346523
10308591 6338987
10308794 10308797
10308867 4588334
4358224 895950
10308919 2573226
10308986 10308989
3615699 714951
10309069 7290185
10309076 7684054
10309091 1794460
10309096 6831763
2397269 3088825
1538696 2397992
10309147 1598551
10309316 1776513
10309353 5468706
3615918 305640
10310252 10310254
10310469 2096932
10310511 6296801
10310644 903302
10311043 3864605
10311509 10311512
10312171 10312173
10313236 7946000
10313245 2396847
10313363 7291942
10313426 8076706
10313531 10313536
10313635 7317352
10313736 10313738
10313767 7653229
10313906 2666373
10313914 10313916
10313962 10313965
10313988 10313990
10314526 190441
26959 52838
10314764 1687827
10314866 5262618
10314871 1559140
2395178 3087724
10314904 10303245
10315032 670520
2902757 3443797
10315297 10315299
10315471 2436074
10315502 5432711
10315530 3420718
10315831 196155
10315903 5237330
10315951 10315953
10315973 639973
10316018 10316021
10316219 1467058
10316673 10316676
10316760 983499
10316764 918011
10316988 6960053
10317131 10005090
10317261 1582106
10317318 5329268
10317336 6754419
10317341 1889356
10317358 98988
10317452 10317454
10317471 922202
10317474 873792
10317482 1160622
10317521 274413
10317615 121483
10317759 7026551
10317774 2360732
10317840 6939106
754898 1536207
10317979 375276
10318189 3621281
10318240 10318244
10318281 7773320
10318287 1591972
10318294 457339
10318323 955195
10318347 10318349
10318371 868454
10318428 10318431
10318494 5404566
10318529 3503013
10318614 5622725
2902792 3443814
10318629 1891416
10318639 8632450
10318879 3234877
10318886 9601365
10318921 6270204
10319021 10319026
10319103 894926
10319112 6769798
10319236 7790982
10319413 10319415
10319456 10319458
10319490 10109185
10319556 10319559
10319569 3561377
10319576 2190172
3086040 3573678
10319730 5756124
10319767 6949678
10319790 9676120
10319847 5462518
10319876 10319878
10319882 10319885
10319961 10319964
10319976 814294
10320027 2135385
10320107 10320109
10320170 10320172
10320688 10320690
10320772 7419839
10320948 10320951
10320989 10320991
10321088 597666
10321195 1541591
10321199 10321201
10321205 8705254
10321213 10321215
10321247 10116006
10321268 3248141
10321303 8443221
10321483 8141106
10321502 7775717
10319792 6549999
10321633 3638113
10321669 6246097
10321932 1549822
10321937 10321939
10322008 8097546
10322049 10322051
10322064 10322066
10322259 5259052
10322371 10322374
10322380 10322382
3910712 3819099
10322538 9321168
10322595 718092
10322657 1909311
10322678 3897178
1733981 2567991
10322749 10322752
754869 1536076
10322960 9608145
754840 1535930
754870 1536097
10323133 10323140
10323155 3638167
10323231 5534695
2903489 3444171
10323266 4747288
10323283 9548067
10323333 1415710
10323687 898560
10323760 10064619
10323779 10323781
10323792 10323794
10323800 10323802
10323813 5681059
10323820 5623583
10323939 5626896
1808179 2619981
10323973 5589911
10323985 2745947
10324005 10324007
10324231 10324233
10324286 5850384
10324298 7470817
3615663 3938946
10324352 3205838
10324473 6630795
10324477 5219706
10324507 10324510
10324618 2926610
10324650 1817385
10324698 10324701
10324753 1433847
10324811 10324816
10324867 6076318
10324898 10324900
10324914 10324918
10324972 10324974
10324997 1714470
5023105 3738205
10325218 1070317
10325229 7724855
10325254 4076001
2903311 3444027
1916850 2693807
10325262 3835317
10325268 5212066
2033553 2796444
10325306 6767450
10325337 5553075
3910797 4123946
10325341 9832616
10325347 908079
10325356 677543
10325362 7113410
10310457 1600679
10325375 580403
10325394 5688289
10325421 5401026
10325429 758710
10325457 10325459
10325471 917906
10325492 1506192
10325655 9931568
10325663 4314440
10325759 10325762
10325838 10325840
10325953 7237266
10326129 10326133
10326285 8023184
10326297 8978272
10326492 1344410
10326502 5840298
10326643 10326650
1537815 2132842
10327235 223648
10327242 10327246
10327392 2820207
10327396 3580349
10327538 10327541
10327550 6214374
10327596 8134742
10327600 10327604
10327663 10327665
10327712 10327714
2393965 1118308
10328107 867677
754899 998235
10328514 10028845
10328531 10328534
10328554 1961527
10328560 8883159
10328872 1597845
10328955 10328958
10328989 6285409
10329127 4133142
10329137 9528779
10329270 1577106
10329280 1682468
10329286 10201779
10329402 10329404
10329446 10329449
3615762 2222350
10329678 661565
10330017 2646444
10330088 2552669
10330122 3265983
10330176 10330179
10330204 3086124
10330287 3409427
2903407 3444100
10330513 7146740
10330538 10330541
10330629 2345930
10330637 10330640
10330790 4490774
10330813 3762410
10330819 10330821
10330846 10091183
10330913 2622015
10331353 10331355
10331379 10331381
10331588 7252349
10332361 10332363
260338 539203
10332498 8586431
10332969 3692038
10332980 4328387
10333078 10333080
10333326 8349508
10333350 2535152
10333406 6129860
10333555 3242531
10333569 9503832
10333729 2611498
10333734 10333737
10334234 2273459
10334562 6044013
10334595 9321386
3935413 2070320
10334903 7720082
10334914 3508351
10335026 10335031
10335038 10335041
10335048 294269
10335069 10335075
4232775 4339486
10335758 299925
10335819 6015605
10335861 4206565
10336092 1601499
10336097 10312560
10338420 10338422
10338431 10338433
10338482 5398697
10338873 108879
3910176 1973223
10339592 5477370
10340008 2296363
10343412 3594549
10345647 2569984
10347274 10347276
10348825 5523895
10349035 4432825
10349519 10349521
10351259 10175524
10351376 3568288
10351504 1918663
10352224 8372665
10353057 1044984
10353306 6419603
10353347 1183890
10353433 8438732
10353447 8475070
3575838 3910793
10353511 2147064
10353523 4311432
10353670 5662089
10353683 6922043
10353706 2613109
10353716 1397331
10353860 6196560
10353863 8118212
10353883 736966
10354004 8369582
1283815 2162548
10354090 7487732
3939470 4143925
10354185 3241363
10354227 4574930
10354259 839460
10354266 4503244
10354280 6655581
10354312 4527568
10354319 1796302
5011469 3453892
10354378 10354380
10354402 861851
2396336 3088358
10354571 1770542
10354898 6244816
10354979 2842734
10355064 10304556
10355080 2174190
10355107 7061689
10355198 1228557
415425 1055061
10355276 394910
10355429 1720130
10355443 6077697
10355483 6418927
10355532 1824496
10355549 10355551
10355636 4132303
10355779 2289464
4288531 850660
10355978 1845821
10355982 3886952
260001 754828
10356216 4410876
10356393 5139950
10356439 4087865
10356495 10356497
10356502 3424083
755696 1537949
10356565 6000672
10356667 3636616
10356705 2705367
10357049 825305
10357072 4657542
10357077 10357079
10357250 1046771
10357961 757471
2393613 3086042
8570808 3642797
10358396 909194
10358399 226762
10358405 10358407
10358576 1951767
3086045 225337
10358819 207321
10359047 6590148
10359062 6757818
3615879 256912
10359083 997998
10359124 888016
10359149 2059645
10359317 10359319
10359479 10359481
10359552 3275879
10359611 2336587
10359645 10359647
1538439 1409126
10359944 5586554
10360030 2412095
1054393 1916722
10360061 6828081
10360107 6336887
1733982 2544856
10360369 438799
4266100 367413
1538697 2398001
10360552 671904
10360571 339841
10360615 5388242
10360618 6511422
10360622 3608224
10360626 1245781
10360673 4409528
415426 166523
10360712 3511781
10360846 4004012
10360906 913719
10361009 7659158
1538698 792397
2902980 353133
10361151 4308002
10361281 1676392
10361296 64841
10361312 3047571
10361430 8327503
10361434 3159358
10361541 2737016
10361560 7425217
10361582 320114
10361594 3103912
10361645 10361648
10361679 896699
3939226 4143755
10361802 8429840
10361990 5842839
10362075 3522252
4693817 3661862
10362375 5839451
10362404 300812
3088093 2786275
10362763 1338911
10362987 6569723
10363263 10363265
10363271 71492
2903076 1485833
1733983 270013
10363524 3016056
10363684 6357943
10363728 3546203
10363793 402991
10363860 10363862
10363866 3676723
10363939 6747319
10364044 5324566
10364162 10364164
10364177 4639469
10364191 10305415
10364197 809663
10364327 1536059
10364581 5962599
10364776 2612149
755859 1538533
1916818 50405
10365228 346629
10365232 6149820
10365237 5111758
10365501 3422132
10365507 5623413
10365511 2220694
10365527 349145
10365573 10365576
10365618 3332734
10365620 228585
10365748 10365750
10365761 10365763
10365766 1226875
10365918 5819320
10365925 4106568
10365954 6843078
10365964 9090838
10365977 1660165
10366087 109530
10366184 2730924
10366222 367315
10366344 2287432
415427 1055118
10366659 10366661
10366811 607147