-
Notifications
You must be signed in to change notification settings - Fork 0
/
cora.txt
5278 lines (5278 loc) · 46.4 KB
/
cora.txt
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
0 8
0 435
0 544
0 14
0 258
8 435
8 14
8 258
8 751
435 14
435 258
435 751
544 14
544 258
544 751
3 197
3 463
3 601
197 295
197 633
197 749
463 333
463 477
463 483
463 564
601 552
601 565
601 611
601 1741
4 170
170 250
12 155
12 84
155 84
155 117
155 513
13 482
13 578
13 1234
482 251
482 551
482 578
14 31
14 232
14 242
14 258
14 268
14 384
14 393
14 400
14 437
14 443
14 613
14 708
14 736
14 746
14 751
31 250
31 1116
232 268
232 613
242 574
242 1006
258 7
258 268
258 400
258 751
258 1031
258 1111
268 616
268 2046
268 2571
268 613
393 157
400 555
400 2354
400 2360
613 616
613 2571
613 2107
613 2496
708 250
708 1116
736 250
736 1116
746 299
15 80
15 129
15 152
15 234
15 253
15 254
15 322
15 399
15 538
15 701
80 2044
129 22
129 188
129 538
129 1204
129 1409
129 1973
129 2165
129 2193
129 2220
129 2363
129 2446
129 2451
129 163
129 1728
152 1383
234 747
253 1815
253 2670
254 1176
322 160
322 1027
322 967
322 1644
322 2508
399 1250
399 1251
399 427
538 402
538 487
538 1036
538 1204
538 1689
538 1738
538 2165
538 2193
538 2309
701 638
701 1644
18 127
18 866
18 890
18 1932
18 427
18 745
18 747
127 122
127 124
127 2228
127 2400
127 745
127 747
866 890
1932 576
1932 745
1932 1912
1932 2024
19 571
19 74
571 424
571 1762
571 2331
571 2495
571 2694
20 267
20 25
20 334
20 640
20 732
267 334
267 459
267 732
22 1790
22 2257
22 163
22 191
1790 415
1790 523
1790 565
1790 2334
2257 247
2257 1767
2257 1768
2257 2444
25 456
25 778
25 1181
25 1897
456 1296
456 1748
456 2099
456 2455
456 2653
456 549
456 569
456 672
456 1560
778 109
778 56
1181 569
1181 1431
1897 640
1897 732
1897 1003
1897 2146
1897 2182
26 1129
26 747
26 2612
1129 809
1129 814
1129 919
1129 1080
1129 1190
1129 1222
27 532
27 84
28 586
28 611
28 1606
28 1718
30 231
30 285
30 679
30 1148
30 2276
231 285
231 486
285 1148
285 486
679 32
1148 486
1148 1355
1148 1597
1148 1534
2276 486
2276 1864
33 1701
33 250
33 1591
1701 36
1701 832
1701 1591
35 34
34 66
34 559
34 565
34 566
36 1066
36 1974
36 2072
36 2390
36 257
36 745
36 1591
36 1933
1066 1052
1974 667
1974 2227
2072 667
2072 2227
2390 74
2390 76
2390 2227
37 563
563 38
563 163
563 219
563 247
563 500
38 273
38 372
38 219
38 1689
273 372
39 24
39 82
24 269
82 239
82 295
82 305
82 410
82 548
82 1440
82 1553
82 565
82 1378
40 761
761 9
761 535
41 23
41 94
41 115
41 352
41 533
41 725
41 889
41 892
41 1713
41 1733
41 1982
41 2456
41 888
41 1716
23 759
94 126
115 2421
115 138
115 904
115 1713
115 2153
352 904
352 1372
533 777
725 48
725 93
889 892
889 904
889 1713
889 2153
892 138
892 904
892 1713
892 1716
1713 138
1713 416
1713 468
1713 1716
1713 1870
1713 1978
1713 1982
1713 1991
1713 1992
1713 2002
1713 2153
1713 2510
1733 904
1982 1716
1982 2153
2456 48
2456 1029
2456 1742
42 188
42 163
42 189
42 793
188 144
188 163
188 120
188 139
188 141
188 262
188 380
188 415
188 523
188 717
188 721
188 755
188 757
188 189
43 576
43 747
576 59
576 212
576 293
576 330
576 354
576 355
576 570
576 605
576 726
576 834
576 839
576 863
576 874
576 1014
576 1067
576 1200
576 1245
576 1258
576 1381
576 1524
576 1526
576 1710
576 1801
576 1814
576 1922
576 2026
576 2552
576 731
45 220
45 490
45 492
45 1459
220 295
220 490
220 552
46 238
46 867
46 301
46 489
238 193
238 301
238 489
238 1815
867 74
867 667
867 1493
48 1783
48 2682
1783 2348
2682 2348
52 2487
52 2580
52 228
52 430
52 478
2487 136
2487 430
2487 1823
2580 136
2580 1819
2580 1823
55 361
55 844
55 1832
55 1905
55 163
55 1784
844 934
844 974
844 1184
844 1784
1832 415
1832 1831
1832 1836
1832 2334
1905 163
1905 1834
57 306
57 552
57 565
57 967
57 1459
306 1376
306 552
306 554
306 565
306 967
58 536
58 990
58 1891
58 2495
536 200
536 206
536 411
990 805
990 1774
1891 200
1891 206
1891 411
1891 1149
1891 1774
1891 1875
2495 1762
2495 2694
59 570
59 872
59 874
59 1709
59 839
59 1520
570 169
570 212
570 872
570 874
570 1067
570 1200
570 1243
570 1245
570 1246
570 1258
570 1381
570 1524
570 1709
570 1814
570 1922
570 2026
570 1520
872 1520
874 839
874 1520
1709 839
1709 1520
60 252
60 688
60 552
60 562
60 565
252 74
252 294
252 562
252 688
688 207
688 412
688 552
688 566
688 835
688 1248
62 324
62 332
62 423
62 945
62 2425
62 2474
62 2566
324 185
324 278
324 326
324 389
324 327
324 332
332 185
332 389
332 1064
423 557
423 1934
423 2425
423 558
423 1290
945 327
945 788
945 1287
945 1414
2425 788
2425 2341
2425 2474
2474 2078
2566 2531
63 153
63 210
63 739
63 1546
153 294
153 747
210 148
210 644
210 295
210 552
210 738
210 1459
1546 565
1546 1376
64 284
64 289
64 486
64 583
284 486
284 583
66 69
66 149
66 183
66 215
66 288
66 1248
66 1531
66 1698
66 2122
66 2157
66 2294
66 2310
66 2359
66 2441
66 2520
183 454
183 539
183 541
215 478
215 696
215 2061
215 2380
288 75
288 2157
288 1377
288 2037
288 2380
1248 835
1531 887
1531 983
1531 1154
1698 430
1698 686
1698 1626
1698 2597
2122 75
2122 1854
2122 1855
2122 1864
2157 2565
2294 649
2294 1140
2294 2380
2294 2529
2310 318
2310 2583
2310 2607
2359 2520
2441 344
2441 2585
68 522
68 979
68 1632
68 1825
68 1845
68 1979
68 2007
522 525
979 157
979 766
979 879
979 1825
979 1845
1632 471
1632 1687
1825 121
1825 978
1825 1966
1845 1844
1845 1979
1979 1844
2007 1779
2007 1780
70 255
70 931
70 999
70 1521
70 1692
70 1986
255 421
255 569
255 767
931 1000
931 1053
931 1463
931 1484
999 347
999 1240
999 1463
999 1512
1521 1185
1521 1237
1521 1484
1692 228
1692 1484
1986 569
1986 1329
1986 2338
1986 2462
71 661
71 677
71 929
71 1559
71 1641
71 1923
71 2442
71 74
661 74
661 76
661 1191
929 740
929 2442
929 1559
929 1697
1559 740
1559 1664
1559 1683
1559 1791
1559 1697
1559 1703
1559 2658
1641 558
1641 1086
1923 1928
1923 2114
1923 2227
2442 523
2442 565
2442 2118
72 202
72 771
72 745
72 747
202 204
202 771
202 427
202 747
771 745
771 747
771 104
74 154
74 263
74 310
74 345
74 377
74 505
74 511
74 547
74 604
74 622
74 680
74 787
74 871
74 881
74 906
74 949
74 975
74 987
74 1017
74 1024
74 1103
74 1220
74 1634
74 1676
74 1928
74 2013
74 2124
74 2266
74 2284
74 2335
74 2513
74 2654
74 193
74 2421
154 392
263 668
263 2421
310 2513
310 668
310 747
345 76
345 117
345 261
345 1924
345 2266
345 2389
345 622
345 2421
377 622
505 134
511 611
547 430
604 668
680 90
680 608
680 747
787 1437
787 1287
787 1288
871 1591
881 112
881 572
881 816
881 1119
881 1411
881 2203
881 2295
881 2405
881 2454
881 2702
881 1203
881 1256
881 2423
906 1019
906 1860
949 1512
949 1608
975 76
975 608
975 668
975 1079
987 1240
987 1608
1017 157
1017 1574
1024 1053
1024 1335
1024 2338
1103 427
1103 611
1103 1079
1103 1579
1220 1484
1220 1608
1220 1618
1634 1252
1676 207
1676 523
1676 565
1676 1146
1928 667
1928 2114
1928 2124
1928 2570
2013 2382
2124 2114
2266 2421
2284 1293
2284 2278
2284 2283
2335 2378
2513 1366
2513 2239
2513 2374
2654 2421
75 1854
75 1855
75 2299
75 1123
75 1354
1854 1855
1854 1976
1854 2048
1854 2299
1854 2482
1854 2645
1854 1864
1855 2482
1855 1864
1855 2075
1855 2299
76 131
76 181
76 250
76 392
76 518
76 694
76 869
76 1128
76 1548
76 1934
76 2327
76 2532
181 157
181 518
181 662
181 766
250 107
250 108
250 304
250 498
250 499
250 584
250 639
250 694
250 427
250 577
518 2532
518 662
518 766
869 1374
1128 1288
1128 1393
1548 1291
1548 1374
1934 558
1934 1816
1934 2463
2327 1924
2327 2015
2327 2034
2532 766
2532 2417
77 337
337 143
337 346
337 363
78 469
78 2681
78 157
78 214
78 560
78 766
469 160
469 214
2681 160
2681 1857
81 647
239 552
239 565
239 1378
295 1012
295 1316
295 1782
295 2078
295 471
295 565
305 410
305 552
305 565
410 2
410 298
410 565
548 552
548 565
548 1859
548 1860
1440 565
1440 1378
1553 901
1553 1552
1553 1554
84 347
84 715
84 950
84 998
84 1240
84 1347
84 1550
84 1803
84 1241
347 452
347 713
347 998
950 1240
950 1241
998 1240
998 1241
1240 772
1240 742
1240 841
1240 897
1240 912
1240 1086
1240 1141
1240 1147
1240 1201
1240 1241
1240 1347
1240 1527
1347 1241
1347 1147
1550 157
1550 1238
1550 1419
1550 1427
1550 684
1550 1158
1550 1199
1550 1425
1550 1555
1550 1624
1803 99
1803 1913
85 425
85 2368
85 294
85 465
85 552
85 565
425 565
2368 465
2368 2642
86 249
86 373
86 652
86 735
249 652
249 2649
373 652
87 47
87 383
87 2245
87 719
87 2021
383 631
383 638
2245 2243
2245 2471
88 44
88 116
88 208
88 225
88 371
88 587
88 682
88 760
88 762
88 251
44 686
44 2428
116 686
116 2428
208 1270
208 2343
208 430
208 635
208 1569
225 686
225 2428
371 157
371 2507
587 214
587 427
587 2239