de430e03394b9f985491d8d21b816c65c4823123
[riscv-tests.git] / benchmarks / spmv / dataset1.h
1 // See LICENSE for license details.
2
3 #define R 1000
4 #define C 1000
5 #define NNZ 10004
6 const double val[10004] = {
7 658,
8 279,
9 587,
10 255,
11 359,
12 844,
13 905,
14 456,
15 897,
16 837,
17 652,
18 398,
19 885,
20 21,
21 669,
22 738,
23 365,
24 928,
25 713,
26 771,
27 536,
28 987,
29 917,
30 823,
31 544,
32 40,
33 80,
34 636,
35 263,
36 929,
37 757,
38 677,
39 151,
40 500,
41 875,
42 720,
43 205,
44 292,
45 859,
46 980,
47 97,
48 608,
49 813,
50 840,
51 397,
52 765,
53 294,
54 718,
55 751,
56 7,
57 482,
58 166,
59 653,
60 172,
61 187,
62 79,
63 228,
64 857,
65 540,
66 760,
67 509,
68 190,
69 396,
70 765,
71 37,
72 85,
73 866,
74 981,
75 999,
76 793,
77 921,
78 664,
79 208,
80 856,
81 528,
82 782,
83 318,
84 170,
85 521,
86 691,
87 726,
88 996,
89 947,
90 326,
91 825,
92 77,
93 823,
94 752,
95 266,
96 834,
97 196,
98 58,
99 430,
100 764,
101 807,
102 568,
103 665,
104 583,
105 178,
106 250,
107 273,
108 654,
109 487,
110 504,
111 729,
112 338,
113 866,
114 981,
115 852,
116 842,
117 785,
118 13,
119 588,
120 44,
121 432,
122 408,
123 374,
124 761,
125 653,
126 752,
127 684,
128 6,
129 357,
130 703,
131 447,
132 966,
133 457,
134 738,
135 646,
136 646,
137 217,
138 522,
139 839,
140 417,
141 506,
142 801,
143 233,
144 929,
145 487,
146 353,
147 660,
148 751,
149 738,
150 512,
151 566,
152 130,
153 61,
154 128,
155 698,
156 467,
157 362,
158 867,
159 639,
160 289,
161 371,
162 427,
163 650,
164 16,
165 878,
166 967,
167 369,
168 517,
169 161,
170 330,
171 294,
172 396,
173 606,
174 638,
175 171,
176 602,
177 531,
178 14,
179 968,
180 15,
181 193,
182 225,
183 863,
184 171,
185 254,
186 714,
187 256,
188 873,
189 353,
190 35,
191 910,
192 849,
193 658,
194 546,
195 389,
196 239,
197 355,
198 540,
199 494,
200 968,
201 319,
202 590,
203 608,
204 445,
205 806,
206 51,
207 117,
208 401,
209 314,
210 280,
211 334,
212 44,
213 17,
214 107,
215 108,
216 650,
217 807,
218 385,
219 748,
220 942,
221 719,
222 110,
223 630,
224 559,
225 717,
226 375,
227 963,
228 45,
229 403,
230 476,
231 408,
232 732,
233 87,
234 874,
235 635,
236 119,
237 190,
238 949,
239 777,
240 201,
241 503,
242 658,
243 777,
244 564,
245 830,
246 122,
247 929,
248 68,
249 11,
250 354,
251 395,
252 213,
253 766,
254 40,
255 995,
256 577,
257 514,
258 568,
259 56,
260 439,
261 91,
262 148,
263 612,
264 717,
265 157,
266 538,
267 682,
268 190,
269 571,
270 847,
271 275,
272 190,
273 824,
274 985,
275 29,
276 426,
277 173,
278 898,
279 297,
280 156,
281 936,
282 1,
283 455,
284 812,
285 173,
286 131,
287 376,
288 947,
289 596,
290 783,
291 800,
292 361,
293 798,
294 598,
295 710,
296 86,
297 149,
298 457,
299 129,
300 437,
301 352,
302 933,
303 320,
304 709,
305 167,
306 793,
307 46,
308 49,
309 305,
310 704,
311 577,
312 855,
313 336,
314 978,
315 206,
316 662,
317 230,
318 93,
319 898,
320 368,
321 422,
322 689,
323 351,
324 87,
325 465,
326 576,
327 33,
328 884,
329 675,
330 548,
331 116,
332 730,
333 385,
334 483,
335 340,
336 809,
337 938,
338 342,
339 576,
340 887,
341 479,
342 455,
343 820,
344 521,
345 320,
346 488,
347 506,
348 591,
349 901,
350 505,
351 525,
352 5,
353 133,
354 705,
355 561,
356 285,
357 95,
358 918,
359 410,
360 578,
361 347,
362 375,
363 735,
364 624,
365 491,
366 494,
367 931,
368 655,
369 819,
370 883,
371 328,
372 527,
373 194,
374 580,
375 584,
376 837,
377 700,
378 681,
379 249,
380 643,
381 958,
382 363,
383 316,
384 397,
385 638,
386 261,
387 459,
388 960,
389 636,
390 458,
391 84,
392 797,
393 696,
394 782,
395 831,
396 419,
397 393,
398 649,
399 312,
400 811,
401 703,
402 70,
403 688,
404 285,
405 39,
406 617,
407 935,
408 495,
409 392,
410 143,
411 734,
412 166,
413 406,
414 464,
415 732,
416 709,
417 379,
418 143,
419 527,
420 514,
421 709,
422 130,
423 965,
424 632,
425 448,
426 836,
427 62,
428 567,
429 600,
430 520,
431 519,
432 16,
433 394,
434 705,
435 438,
436 548,
437 696,
438 140,
439 573,
440 509,
441 968,
442 935,
443 165,
444 868,
445 577,
446 451,
447 865,
448 304,
449 777,
450 828,
451 147,
452 704,
453 821,
454 641,
455 783,
456 376,
457 757,
458 391,
459 170,
460 592,
461 235,
462 920,
463 846,
464 683,
465 249,
466 697,
467 253,
468 386,
469 244,
470 889,
471 607,
472 768,
473 88,
474 836,
475 259,
476 945,
477 33,
478 352,
479 70,
480 83,
481 996,
482 791,
483 18,
484 599,
485 488,
486 43,
487 582,
488 993,
489 692,
490 841,
491 558,
492 530,
493 350,
494 187,
495 295,
496 215,
497 869,
498 593,
499 385,
500 722,
501 724,
502 282,
503 681,
504 534,
505 788,
506 836,
507 378,
508 825,
509 93,
510 539,
511 120,
512 794,
513 384,
514 798,
515 505,
516 833,
517 27,
518 181,
519 951,
520 966,
521 498,
522 375,
523 22,
524 545,
525 62,
526 816,
527 119,
528 712,
529 813,
530 783,
531 655,
532 832,
533 143,
534 501,
535 519,
536 43,
537 760,
538 17,
539 896,
540 96,
541 390,
542 121,
543 458,
544 736,
545 649,
546 227,
547 778,
548 283,
549 657,
550 434,
551 214,
552 123,
553 929,
554 548,
555 206,
556 993,
557 463,
558 824,
559 369,
560 260,
561 868,
562 645,
563 857,
564 184,
565 198,
566 349,
567 652,
568 522,
569 23,
570 208,
571 968,
572 290,
573 770,
574 109,
575 978,
576 513,
577 298,
578 675,
579 306,
580 866,
581 927,
582 822,
583 495,
584 653,
585 134,
586 702,
587 147,
588 366,
589 947,
590 65,
591 586,
592 412,
593 638,
594 760,
595 541,
596 118,
597 551,
598 574,
599 85,
600 736,
601 999,
602 917,
603 478,
604 35,
605 629,
606 963,
607 898,
608 826,
609 113,
610 298,
611 606,
612 568,
613 152,
614 926,
615 277,
616 984,
617 549,
618 279,
619 839,
620 348,
621 672,
622 278,
623 94,
624 455,
625 590,
626 843,
627 85,
628 222,
629 901,
630 621,
631 30,
632 880,
633 914,
634 27,
635 974,
636 399,
637 873,
638 968,
639 870,
640 479,
641 696,
642 964,
643 929,
644 499,
645 121,
646 812,
647 933,
648 799,
649 506,
650 412,
651 712,
652 791,
653 426,
654 835,
655 488,
656 910,
657 522,
658 332,
659 967,
660 380,
661 61,
662 5,
663 282,
664 119,
665 22,
666 136,
667 436,
668 730,
669 341,
670 687,
671 371,
672 19,
673 893,
674 20,
675 327,
676 221,
677 221,
678 966,
679 354,
680 198,
681 985,
682 56,
683 305,
684 691,
685 980,
686 12,
687 790,
688 64,
689 484,
690 621,
691 214,
692 332,
693 898,
694 898,
695 318,
696 416,
697 445,
698 350,
699 317,
700 336,
701 714,
702 788,
703 541,
704 890,
705 42,
706 111,
707 596,
708 164,
709 424,
710 448,
711 666,
712 362,
713 429,
714 617,
715 910,
716 917,
717 970,
718 526,
719 321,
720 551,
721 481,
722 83,
723 46,
724 146,
725 569,
726 856,
727 85,
728 192,
729 724,
730 378,
731 299,
732 13,
733 422,
734 411,
735 552,
736 569,
737 100,
738 849,
739 484,
740 906,
741 47,
742 532,
743 742,
744 415,
745 228,
746 897,
747 715,
748 807,
749 329,
750 244,
751 312,
752 903,
753 758,
754 34,
755 172,
756 18,
757 917,
758 700,
759 108,
760 611,
761 567,
762 616,
763 572,
764 174,
765 925,
766 553,
767 903,
768 268,
769 544,
770 998,
771 708,
772 133,
773 717,
774 584,
775 517,
776 608,
777 680,
778 597,
779 316,
780 470,
781 764,
782 530,
783 221,
784 405,
785 133,
786 406,
787 506,
788 56,
789 458,
790 721,
791 935,
792 356,
793 130,
794 99,
795 395,
796 117,
797 34,
798 881,
799 231,
800 214,
801 248,
802 458,
803 246,
804 632,
805 471,
806 279,
807 385,
808 594,
809 855,
810 305,
811 30,
812 542,
813 144,
814 509,
815 548,
816 364,
817 171,
818 386,
819 382,
820 616,
821 997,
822 28,
823 361,
824 855,
825 449,
826 992,
827 956,
828 439,
829 569,
830 383,
831 523,
832 852,
833 337,
834 112,
835 24,
836 902,
837 352,
838 542,
839 231,
840 664,
841 411,
842 457,
843 572,
844 52,
845 760,
846 88,
847 907,
848 345,
849 284,
850 636,
851 219,
852 975,
853 713,
854 231,
855 888,
856 49,
857 624,
858 179,
859 579,
860 401,
861 694,
862 984,
863 905,
864 673,
865 414,
866 773,
867 165,
868 349,
869 436,
870 128,
871 186,
872 487,
873 17,
874 552,
875 833,
876 98,
877 424,
878 791,
879 220,
880 352,
881 75,
882 470,
883 405,
884 679,
885 939,
886 792,
887 653,
888 142,
889 226,
890 208,
891 629,
892 429,
893 55,
894 455,
895 362,
896 210,
897 765,
898 693,
899 113,
900 656,
901 824,
902 441,
903 191,
904 50,
905 957,
906 99,
907 27,
908 582,
909 461,
910 279,
911 299,
912 492,
913 678,
914 452,
915 640,
916 349,
917 758,
918 298,
919 903,
920 361,
921 333,
922 339,
923 60,
924 824,
925 773,
926 184,
927 621,
928 66,
929 49,
930 228,
931 608,
932 523,
933 591,
934 533,
935 234,
936 566,
937 291,
938 646,
939 93,
940 42,
941 810,
942 154,
943 846,
944 426,
945 32,
946 828,
947 360,
948 917,
949 182,
950 50,
951 40,
952 182,
953 19,
954 127,
955 614,
956 951,
957 662,
958 591,
959 140,
960 110,
961 685,
962 549,
963 6,
964 346,
965 766,
966 689,
967 743,
968 414,
969 135,
970 61,
971 548,
972 363,
973 915,
974 462,
975 526,
976 405,
977 524,
978 192,
979 754,
980 796,
981 616,
982 98,
983 341,
984 786,
985 778,
986 929,
987 6,
988 388,
989 293,
990 513,
991 148,
992 298,
993 311,
994 29,
995 456,
996 960,
997 560,
998 895,
999 121,
1000 511,
1001 141,
1002 732,
1003 762,
1004 774,
1005 261,
1006 287,
1007 314,
1008 801,
1009 320,
1010 173,
1011 616,
1012 356,
1013 783,
1014 256,
1015 129,
1016 513,
1017 212,
1018 293,
1019 168,
1020 813,
1021 279,
1022 65,
1023 784,
1024 360,
1025 921,
1026 320,
1027 177,
1028 923,
1029 385,
1030 142,
1031 380,
1032 772,
1033 929,
1034 718,
1035 277,
1036 61,
1037 620,
1038 575,
1039 772,
1040 356,
1041 414,
1042 775,
1043 392,
1044 523,
1045 760,
1046 192,
1047 905,
1048 606,
1049 134,
1050 695,
1051 784,
1052 540,
1053 63,
1054 939,
1055 941,
1056 887,
1057 217,
1058 290,
1059 893,
1060 206,
1061 662,
1062 63,
1063 102,
1064 74,
1065 943,
1066 288,
1067 8,
1068 254,
1069 131,
1070 420,
1071 841,
1072 79,
1073 139,
1074 362,
1075 221,
1076 915,
1077 6,
1078 28,
1079 417,
1080 846,
1081 996,
1082 794,
1083 522,
1084 391,
1085 513,
1086 715,
1087 87,
1088 449,
1089 801,
1090 823,
1091 16,
1092 485,
1093 874,
1094 8,
1095 601,
1096 885,
1097 146,
1098 886,
1099 318,
1100 235,
1101 390,
1102 561,
1103 869,
1104 640,
1105 860,
1106 433,
1107 651,
1108 145,
1109 149,
1110 682,
1111 612,
1112 580,
1113 946,
1114 572,
1115 155,
1116 736,
1117 898,
1118 774,
1119 81,
1120 882,
1121 286,
1122 362,
1123 982,
1124 788,
1125 658,
1126 452,
1127 889,
1128 688,
1129 384,
1130 948,
1131 342,
1132 402,
1133 777,
1134 403,
1135 547,
1136 123,
1137 187,
1138 394,
1139 470,
1140 978,
1141 234,
1142 461,
1143 127,
1144 349,
1145 476,
1146 927,
1147 837,
1148 997,
1149 494,
1150 167,
1151 920,
1152 911,
1153 84,
1154 432,
1155 339,
1156 87,
1157 841,
1158 535,
1159 972,
1160 671,
1161 395,
1162 445,
1163 681,
1164 494,
1165 737,
1166 492,
1167 96,
1168 84,
1169 261,
1170 871,
1171 91,
1172 696,
1173 960,
1174 346,
1175 430,
1176 796,
1177 326,
1178 272,
1179 982,
1180 25,
1181 927,
1182 923,
1183 528,
1184 924,
1185 215,
1186 789,
1187 691,
1188 898,
1189 811,
1190 189,
1191 284,
1192 856,
1193 200,
1194 278,
1195 436,
1196 354,
1197 114,
1198 978,
1199 648,
1200 797,
1201 437,
1202 916,
1203 220,
1204 449,
1205 740,
1206 179,
1207 484,
1208 470,
1209 332,
1210 178,
1211 65,
1212 807,
1213 860,
1214 180,
1215 421,
1216 148,
1217 563,
1218 253,
1219 691,
1220 121,
1221 837,
1222 851,
1223 341,
1224 948,
1225 563,
1226 635,
1227 780,
1228 148,
1229 567,
1230 713,
1231 118,
1232 877,
1233 505,
1234 519,
1235 975,
1236 504,
1237 745,
1238 190,
1239 958,
1240 134,
1241 898,
1242 723,
1243 546,
1244 781,
1245 46,
1246 760,
1247 530,
1248 572,
1249 163,
1250 227,
1251 886,
1252 408,
1253 586,
1254 4,
1255 901,
1256 233,
1257 753,
1258 720,
1259 203,
1260 575,
1261 748,
1262 443,
1263 207,
1264 838,
1265 492,
1266 290,
1267 223,
1268 256,
1269 715,
1270 830,
1271 432,
1272 97,
1273 99,
1274 477,
1275 725,
1276 574,
1277 91,
1278 746,
1279 731,
1280 615,
1281 629,
1282 437,
1283 320,
1284 843,
1285 559,
1286 13,
1287 902,
1288 779,
1289 564,
1290 689,
1291 207,
1292 599,
1293 726,
1294 598,
1295 606,
1296 148,
1297 58,
1298 115,
1299 536,
1300 319,
1301 279,
1302 944,
1303 485,
1304 699,
1305 948,
1306 13,
1307 895,
1308 766,
1309 582,
1310 559,
1311 998,
1312 250,
1313 788,
1314 869,
1315 877,
1316 23,
1317 647,
1318 488,
1319 164,
1320 845,
1321 344,
1322 545,
1323 307,
1324 991,
1325 0,
1326 805,
1327 152,
1328 412,
1329 534,
1330 323,
1331 614,
1332 415,
1333 865,
1334 847,
1335 210,
1336 743,
1337 122,
1338 943,
1339 594,
1340 320,
1341 268,
1342 154,
1343 253,
1344 816,
1345 347,
1346 768,
1347 953,
1348 982,
1349 606,
1350 131,
1351 813,
1352 92,
1353 339,
1354 5,
1355 707,
1356 517,
1357 526,
1358 469,
1359 537,
1360 89,
1361 141,
1362 537,
1363 557,
1364 190,
1365 659,
1366 87,
1367 659,
1368 401,
1369 367,
1370 414,
1371 460,
1372 34,
1373 96,
1374 895,
1375 740,
1376 694,
1377 352,
1378 537,
1379 592,
1380 877,
1381 137,
1382 922,
1383 915,
1384 99,
1385 216,
1386 969,
1387 716,
1388 44,
1389 869,
1390 856,
1391 853,
1392 352,
1393 556,
1394 216,
1395 426,
1396 231,
1397 259,
1398 172,
1399 67,
1400 694,
1401 488,
1402 311,
1403 712,
1404 767,
1405 279,
1406 962,
1407 265,
1408 615,
1409 141,
1410 454,
1411 711,
1412 384,
1413 452,
1414 135,
1415 90,
1416 391,
1417 787,
1418 665,
1419 528,
1420 296,
1421 824,
1422 820,
1423 455,
1424 885,
1425 301,
1426 155,
1427 647,
1428 6,
1429 973,
1430 627,
1431 663,
1432 922,
1433 969,
1434 799,
1435 698,
1436 523,
1437 404,
1438 784,
1439 422,
1440 128,
1441 103,
1442 233,
1443 601,
1444 812,
1445 281,
1446 600,
1447 336,
1448 11,
1449 743,
1450 288,
1451 925,
1452 181,
1453 228,
1454 508,
1455 308,
1456 3,
1457 141,
1458 711,
1459 602,
1460 71,
1461 868,
1462 255,
1463 307,
1464 24,
1465 862,
1466 567,
1467 134,
1468 74,
1469 755,
1470 947,
1471 111,
1472 812,
1473 42,
1474 295,
1475 650,
1476 859,
1477 78,
1478 128,
1479 462,
1480 308,
1481 290,
1482 372,
1483 166,
1484 111,
1485 364,
1486 469,
1487 591,
1488 127,
1489 56,
1490 840,
1491 758,
1492 781,
1493 756,
1494 548,
1495 658,
1496 412,
1497 851,
1498 134,
1499 233,
1500 432,
1501 257,
1502 138,
1503 210,
1504 184,
1505 986,
1506 51,
1507 806,
1508 442,
1509 711,
1510 243,
1511 571,
1512 861,
1513 550,
1514 111,
1515 798,
1516 138,
1517 316,
1518 746,
1519 549,
1520 276,
1521 458,
1522 866,
1523 335,
1524 334,
1525 178,
1526 191,
1527 473,
1528 452,
1529 764,
1530 487,
1531 525,
1532 273,
1533 457,
1534 902,
1535 888,
1536 519,
1537 203,
1538 891,
1539 497,
1540 998,
1541 535,
1542 382,
1543 673,
1544 787,
1545 112,
1546 846,
1547 836,
1548 898,
1549 681,
1550 607,
1551 546,
1552 863,
1553 639,
1554 896,
1555 281,
1556 845,
1557 305,
1558 410,
1559 835,
1560 985,
1561 245,
1562 781,
1563 208,
1564 337,
1565 248,
1566 205,
1567 264,
1568 198,
1569 305,
1570 665,
1571 351,
1572 609,
1573 186,
1574 444,
1575 589,
1576 130,
1577 292,
1578 668,
1579 617,
1580 611,
1581 111,
1582 80,
1583 9,
1584 267,
1585 275,
1586 135,
1587 201,
1588 926,
1589 789,
1590 835,
1591 221,
1592 290,
1593 297,
1594 93,
1595 437,
1596 892,
1597 921,
1598 994,
1599 748,
1600 321,
1601 23,
1602 394,
1603 725,
1604 377,
1605 581,
1606 57,
1607 219,
1608 461,
1609 54,
1610 183,
1611 506,
1612 889,
1613 920,
1614 714,
1615 639,
1616 836,
1617 585,
1618 787,
1619 929,
1620 597,
1621 307,
1622 678,
1623 35,
1624 296,
1625 46,
1626 459,
1627 368,
1628 342,
1629 200,
1630 609,
1631 265,
1632 11,
1633 315,
1634 10,
1635 29,
1636 32,
1637 339,
1638 250,
1639 974,
1640 736,
1641 834,
1642 281,
1643 332,
1644 656,
1645 530,
1646 384,
1647 96,
1648 544,
1649 775,
1650 208,
1651 375,
1652 230,
1653 31,
1654 589,
1655 385,
1656 130,
1657 718,
1658 82,
1659 909,
1660 267,
1661 482,
1662 503,
1663 875,
1664 824,
1665 488,
1666 837,
1667 757,
1668 19,
1669 121,
1670 129,
1671 531,
1672 712,
1673 76,
1674 183,
1675 137,
1676 764,
1677 617,
1678 846,
1679 64,
1680 65,
1681 775,
1682 593,
1683 526,
1684 53,
1685 923,
1686 142,
1687 330,
1688 153,
1689 199,
1690 71,
1691 584,
1692 423,
1693 770,
1694 318,
1695 965,
1696 493,
1697 953,
1698 238,
1699 416,
1700 471,
1701 978,
1702 436,
1703 501,
1704 505,
1705 264,
1706 789,
1707 199,
1708 241,
1709 800,
1710 168,
1711 34,
1712 291,
1713 399,
1714 972,
1715 890,
1716 462,
1717 670,
1718 628,
1719 19,
1720 204,
1721 99,
1722 751,
1723 742,
1724 231,
1725 397,
1726 5,
1727 204,
1728 886,
1729 763,
1730 706,
1731 218,
1732 775,
1733 730,
1734 231,
1735 425,
1736 118,
1737 778,
1738 886,
1739 537,
1740 364,
1741 691,
1742 19,
1743 114,
1744 195,
1745 665,
1746 675,
1747 359,
1748 653,
1749 185,
1750 76,
1751 351,
1752 221,
1753 695,
1754 147,
1755 1,
1756 109,
1757 790,
1758 749,
1759 299,
1760 358,
1761 11,
1762 581,
1763 511,
1764 614,
1765 950,
1766 916,
1767 923,
1768 764,
1769 245,
1770 487,
1771 508,
1772 471,
1773 71,
1774 482,
1775 614,
1776 660,
1777 834,
1778 875,
1779 433,
1780 470,
1781 650,
1782 753,
1783 828,
1784 360,
1785 551,
1786 946,
1787 215,
1788 358,
1789 689,
1790 468,
1791 280,
1792 98,
1793 363,
1794 451,
1795 20,
1796 842,
1797 913,
1798 105,
1799 575,
1800 798,
1801 199,
1802 612,
1803 778,
1804 959,
1805 295,
1806 322,
1807 760,
1808 963,
1809 854,
1810 191,
1811 629,
1812 165,
1813 420,
1814 127,
1815 515,
1816 858,
1817 783,
1818 487,
1819 499,
1820 534,
1821 451,
1822 373,
1823 116,
1824 973,
1825 576,
1826 184,
1827 587,
1828 765,
1829 975,
1830 945,
1831 960,
1832 801,
1833 802,
1834 793,
1835 32,
1836 608,
1837 312,
1838 533,
1839 916,
1840 92,
1841 625,
1842 661,
1843 374,
1844 967,
1845 332,
1846 554,
1847 259,
1848 838,
1849 475,
1850 765,
1851 833,
1852 74,
1853 39,
1854 780,
1855 446,
1856 132,
1857 270,
1858 583,
1859 378,
1860 677,
1861 805,
1862 921,
1863 723,
1864 624,
1865 67,
1866 434,
1867 875,
1868 847,
1869 149,
1870 881,
1871 104,
1872 729,
1873 327,
1874 239,
1875 791,
1876 22,
1877 717,
1878 647,
1879 118,
1880 353,
1881 791,
1882 129,
1883 253,
1884 60,
1885 938,
1886 533,
1887 408,
1888 994,
1889 849,
1890 789,
1891 764,
1892 797,
1893 687,
1894 892,
1895 203,
1896 880,
1897 903,
1898 946,
1899 294,
1900 830,
1901 698,
1902 297,
1903 478,
1904 305,
1905 452,
1906 258,
1907 30,
1908 799,
1909 756,
1910 793,
1911 937,
1912 775,
1913 14,
1914 383,
1915 276,
1916 481,
1917 215,
1918 317,
1919 879,
1920 52,
1921 628,
1922 654,
1923 429,
1924 753,
1925 848,
1926 606,
1927 629,
1928 748,
1929 832,
1930 335,
1931 733,
1932 90,
1933 396,
1934 690,
1935 482,
1936 54,
1937 12,
1938 306,
1939 535,
1940 750,
1941 116,
1942 524,
1943 383,
1944 475,
1945 214,
1946 178,
1947 784,
1948 798,
1949 563,
1950 935,
1951 806,
1952 949,
1953 53,
1954 694,
1955 273,
1956 124,
1957 284,
1958 619,
1959 45,
1960 521,
1961 715,
1962 851,
1963 132,
1964 424,
1965 438,
1966 319,
1967 538,
1968 981,
1969 802,
1970 986,
1971 340,
1972 600,
1973 353,
1974 980,
1975 637,
1976 505,
1977 17,
1978 280,
1979 855,
1980 237,
1981 432,
1982 184,
1983 955,
1984 538,
1985 935,
1986 480,
1987 421,
1988 580,
1989 423,
1990 928,
1991 926,
1992 930,
1993 732,
1994 210,
1995 351,
1996 346,
1997 469,
1998 100,
1999 288,
2000 353,
2001 788,
2002 232,
2003 130,
2004 79,
2005 360,
2006 870,
2007 439,
2008 47,
2009 661,
2010 595,
2011 636,
2012 52,
2013 389,
2014 986,
2015 159,
2016 454,
2017 317,
2018 961,
2019 915,
2020 76,
2021 342,
2022 895,
2023 53,
2024 396,
2025 15,
2026 66,
2027 139,
2028 310,
2029 636,
2030 549,
2031 440,
2032 926,
2033 132,
2034 734,
2035 726,
2036 696,
2037 332,
2038 229,
2039 896,
2040 486,
2041 316,
2042 840,
2043 403,
2044 557,
2045 963,
2046 67,
2047 401,
2048 318,
2049 13,
2050 109,
2051 745,
2052 296,
2053 653,
2054 711,
2055 718,
2056 2,
2057 951,
2058 853,
2059 130,
2060 22,
2061 879,
2062 878,
2063 759,
2064 466,
2065 520,
2066 25,
2067 403,
2068 952,
2069 914,
2070 29,
2071 133,
2072 156,
2073 467,
2074 435,
2075 896,
2076 78,
2077 488,
2078 55,
2079 739,
2080 861,
2081 521,
2082 904,
2083 498,
2084 748,
2085 703,
2086 489,
2087 21,
2088 377,
2089 322,
2090 248,
2091 818,
2092 176,
2093 531,
2094 564,
2095 1,
2096 694,
2097 362,
2098 876,
2099 165,
2100 881,
2101 325,
2102 475,
2103 810,
2104 181,
2105 30,
2106 455,
2107 255,
2108 673,
2109 320,
2110 600,
2111 602,
2112 568,
2113 974,
2114 350,
2115 826,
2116 212,
2117 504,
2118 91,
2119 21,
2120 317,
2121 275,
2122 775,
2123 422,
2124 278,
2125 795,
2126 826,
2127 818,
2128 377,
2129 295,
2130 165,
2131 496,
2132 753,
2133 425,
2134 554,
2135 243,
2136 964,
2137 169,
2138 281,
2139 109,
2140 884,
2141 334,
2142 692,
2143 641,
2144 411,
2145 352,
2146 66,
2147 765,
2148 196,
2149 508,
2150 696,
2151 866,
2152 369,
2153 725,
2154 838,
2155 82,
2156 62,
2157 300,
2158 637,
2159 29,
2160 108,
2161 859,
2162 222,
2163 768,
2164 442,
2165 891,
2166 38,
2167 523,
2168 158,
2169 856,
2170 949,
2171 852,
2172 145,
2173 630,
2174 686,
2175 109,
2176 577,
2177 371,
2178 673,
2179 807,
2180 224,
2181 169,
2182 148,
2183 890,
2184 329,
2185 653,
2186 720,
2187 898,
2188 771,
2189 65,
2190 712,
2191 735,
2192 606,
2193 578,
2194 836,
2195 17,
2196 498,
2197 31,
2198 275,
2199 54,
2200 494,
2201 831,
2202 255,
2203 266,
2204 574,
2205 693,
2206 418,
2207 226,
2208 351,
2209 867,
2210 287,
2211 717,
2212 708,
2213 104,
2214 131,
2215 863,
2216 474,
2217 600,
2218 323,
2219 235,
2220 80,
2221 710,
2222 719,
2223 924,
2224 168,
2225 168,
2226 979,
2227 24,
2228 755,
2229 935,
2230 78,
2231 386,
2232 41,
2233 546,
2234 155,
2235 306,
2236 366,
2237 814,
2238 445,
2239 883,
2240 504,
2241 332,
2242 920,
2243 265,
2244 484,
2245 591,
2246 98,
2247 981,
2248 576,
2249 392,
2250 905,
2251 927,
2252 715,
2253 264,
2254 598,
2255 847,
2256 753,
2257 329,
2258 350,
2259 983,
2260 179,
2261 993,
2262 810,
2263 809,
2264 155,
2265 508,
2266 564,
2267 896,
2268 733,
2269 734,
2270 714,
2271 637,
2272 560,
2273 186,
2274 751,
2275 601,
2276 636,
2277 361,
2278 916,
2279 10,
2280 542,
2281 258,
2282 286,
2283 756,
2284 471,
2285 858,
2286 97,
2287 373,
2288 699,
2289 1,
2290 707,
2291 260,
2292 900,
2293 145,
2294 979,
2295 143,
2296 487,
2297 427,
2298 863,
2299 472,
2300 638,
2301 672,
2302 309,
2303 980,
2304 332,
2305 480,
2306 26,
2307 184,
2308 40,
2309 723,
2310 102,
2311 856,
2312 785,
2313 298,
2314 816,
2315 525,
2316 160,
2317 897,
2318 421,
2319 697,
2320 122,
2321 571,
2322 372,
2323 138,
2324 892,
2325 370,
2326 805,
2327 754,
2328 113,
2329 993,
2330 448,
2331 471,
2332 423,
2333 96,
2334 331,
2335 419,
2336 144,
2337 172,
2338 987,
2339 170,
2340 788,
2341 400,
2342 346,
2343 139,
2344 676,
2345 380,
2346 257,
2347 350,
2348 89,
2349 592,
2350 501,
2351 664,
2352 19,
2353 957,
2354 462,
2355 302,
2356 430,
2357 880,
2358 869,
2359 99,
2360 70,
2361 356,
2362 931,
2363 751,
2364 43,
2365 531,
2366 790,
2367 559,
2368 455,
2369 64,
2370 846,
2371 139,
2372 685,
2373 876,
2374 166,
2375 361,
2376 28,
2377 876,
2378 223,
2379 147,
2380 928,
2381 619,
2382 734,
2383 870,
2384 738,
2385 393,
2386 293,
2387 722,
2388 301,
2389 936,
2390 566,
2391 57,
2392 881,
2393 398,
2394 796,
2395 134,
2396 566,
2397 932,
2398 756,
2399 860,
2400 638,
2401 546,
2402 33,
2403 144,
2404 29,
2405 628,
2406 254,
2407 764,
2408 604,
2409 357,
2410 987,
2411 552,
2412 400,
2413 663,
2414 874,
2415 727,
2416 586,
2417 988,
2418 684,
2419 867,
2420 343,
2421 733,
2422 349,
2423 534,
2424 976,
2425 708,
2426 998,
2427 871,
2428 564,
2429 271,
2430 105,
2431 397,
2432 40,
2433 884,
2434 62,
2435 43,
2436 361,
2437 451,
2438 188,
2439 520,
2440 953,
2441 709,
2442 796,
2443 522,
2444 365,
2445 263,
2446 807,
2447 14,
2448 439,
2449 395,
2450 800,
2451 614,
2452 831,
2453 675,
2454 532,
2455 95,
2456 332,
2457 538,
2458 318,
2459 526,
2460 1,
2461 689,
2462 111,
2463 487,
2464 370,
2465 203,
2466 211,
2467 642,
2468 549,
2469 158,
2470 206,
2471 298,
2472 846,
2473 87,
2474 717,
2475 363,
2476 83,
2477 200,
2478 769,
2479 504,
2480 670,
2481 536,
2482 349,
2483 294,
2484 441,
2485 239,
2486 721,
2487 400,
2488 355,
2489 212,
2490 120,
2491 623,
2492 664,
2493 94,
2494 116,
2495 126,
2496 904,
2497 947,
2498 938,
2499 152,
2500 542,
2501 464,
2502 735,
2503 926,
2504 112,
2505 590,
2506 1,
2507 209,
2508 102,
2509 237,
2510 258,
2511 552,
2512 427,
2513 808,
2514 319,
2515 631,
2516 769,
2517 884,
2518 24,
2519 132,
2520 697,
2521 878,
2522 344,
2523 335,
2524 391,
2525 384,
2526 27,
2527 533,
2528 900,
2529 96,
2530 279,
2531 121,
2532 998,
2533 558,
2534 987,
2535 848,
2536 426,
2537 191,
2538 925,
2539 623,
2540 850,
2541 163,
2542 184,
2543 819,
2544 881,
2545 279,
2546 850,
2547 517,
2548 178,
2549 727,
2550 603,
2551 152,
2552 657,
2553 412,
2554 17,
2555 120,
2556 241,
2557 718,
2558 785,
2559 921,
2560 237,
2561 982,
2562 936,
2563 745,
2564 810,
2565 507,
2566 207,
2567 267,
2568 17,
2569 967,
2570 133,
2571 73,
2572 627,
2573 20,
2574 158,
2575 69,
2576 829,
2577 769,
2578 457,
2579 436,
2580 986,
2581 723,
2582 248,
2583 784,
2584 704,
2585 146,
2586 408,
2587 0,
2588 170,
2589 209,
2590 720,
2591 958,
2592 149,
2593 321,
2594 919,
2595 924,
2596 223,
2597 35,
2598 326,
2599 196,
2600 513,
2601 992,
2602 884,
2603 467,
2604 877,
2605 695,
2606 432,
2607 281,
2608 722,
2609 633,
2610 209,
2611 616,
2612 140,
2613 93,
2614 274,
2615 31,
2616 401,
2617 971,
2618 177,
2619 946,
2620 782,
2621 271,
2622 934,
2623 159,
2624 416,
2625 861,
2626 9,
2627 607,
2628 415,
2629 747,
2630 444,
2631 487,
2632 701,
2633 191,
2634 88,
2635 850,
2636 580,
2637 93,
2638 59,
2639 309,
2640 477,
2641 613,
2642 974,
2643 126,
2644 348,
2645 256,
2646 573,
2647 578,
2648 865,
2649 805,
2650 280,
2651 90,
2652 858,
2653 924,
2654 455,
2655 681,
2656 307,
2657 581,
2658 714,
2659 156,
2660 224,
2661 534,
2662 198,
2663 63,
2664 489,
2665 144,
2666 123,
2667 288,
2668 500,
2669 221,
2670 618,
2671 674,
2672 233,
2673 440,
2674 788,
2675 569,
2676 70,
2677 472,
2678 166,
2679 12,
2680 979,
2681 722,
2682 929,
2683 108,
2684 736,
2685 666,
2686 525,
2687 631,
2688 554,
2689 287,
2690 742,
2691 65,
2692 324,
2693 248,
2694 710,
2695 489,
2696 834,
2697 199,
2698 338,
2699 851,
2700 793,
2701 960,
2702 761,
2703 383,
2704 891,
2705 973,
2706 943,
2707 853,
2708 422,
2709 178,
2710 600,
2711 890,
2712 732,
2713 384,
2714 431,
2715 476,
2716 237,
2717 104,
2718 622,
2719 839,
2720 904,
2721 805,
2722 512,
2723 57,
2724 17,
2725 630,
2726 378,
2727 32,
2728 996,
2729 247,
2730 209,
2731 254,
2732 119,
2733 396,
2734 565,
2735 630,
2736 782,
2737 633,
2738 138,
2739 318,
2740 112,
2741 545,
2742 743,
2743 616,
2744 663,
2745 89,
2746 367,
2747 495,
2748 845,
2749 127,
2750 597,
2751 434,
2752 129,
2753 692,
2754 109,
2755 168,
2756 953,
2757 668,
2758 590,
2759 177,
2760 578,
2761 46,
2762 707,
2763 413,
2764 115,
2765 788,
2766 513,
2767 243,
2768 935,
2769 953,
2770 58,
2771 584,
2772 64,
2773 569,
2774 367,
2775 978,
2776 249,
2777 290,
2778 125,
2779 183,
2780 852,
2781 485,
2782 847,
2783 895,
2784 835,
2785 25,
2786 289,
2787 995,
2788 226,
2789 156,
2790 980,
2791 520,
2792 656,
2793 255,
2794 37,
2795 852,
2796 719,
2797 493,
2798 473,
2799 900,
2800 417,
2801 647,
2802 363,
2803 759,
2804 778,
2805 735,
2806 349,
2807 627,
2808 525,
2809 255,
2810 13,
2811 58,
2812 399,
2813 222,
2814 70,
2815 304,
2816 663,
2817 158,
2818 152,
2819 788,
2820 103,
2821 693,
2822 274,
2823 873,
2824 116,
2825 837,
2826 876,
2827 367,
2828 272,
2829 778,
2830 65,
2831 363,
2832 625,
2833 696,
2834 809,
2835 16,
2836 491,
2837 615,
2838 196,
2839 88,
2840 0,
2841 204,
2842 418,
2843 203,
2844 952,
2845 205,
2846 240,
2847 962,
2848 899,
2849 872,
2850 222,
2851 961,
2852 363,
2853 920,
2854 659,
2855 935,
2856 943,
2857 198,
2858 385,
2859 475,
2860 298,
2861 936,
2862 22,
2863 204,
2864 947,
2865 776,
2866 911,
2867 581,
2868 661,
2869 340,
2870 433,
2871 188,
2872 622,
2873 117,
2874 154,
2875 150,
2876 388,
2877 214,
2878 513,
2879 625,
2880 875,
2881 779,
2882 262,
2883 972,
2884 396,
2885 803,
2886 396,
2887 991,
2888 976,
2889 900,
2890 387,
2891 371,
2892 522,
2893 162,
2894 234,
2895 733,
2896 314,
2897 331,
2898 666,
2899 44,
2900 205,
2901 66,
2902 422,
2903 780,
2904 978,
2905 661,
2906 775,
2907 647,
2908 511,
2909 670,
2910 515,
2911 88,
2912 714,
2913 579,
2914 133,
2915 499,
2916 837,
2917 506,
2918 904,
2919 172,
2920 248,
2921 476,
2922 836,
2923 898,
2924 514,
2925 396,
2926 852,
2927 568,
2928 706,
2929 533,
2930 54,
2931 72,
2932 167,
2933 493,
2934 809,
2935 588,
2936 792,
2937 34,
2938 325,
2939 827,
2940 878,
2941 440,
2942 708,
2943 348,
2944 589,
2945 708,
2946 271,
2947 577,
2948 857,
2949 999,
2950 547,
2951 579,
2952 502,
2953 298,
2954 330,
2955 790,
2956 687,
2957 99,
2958 245,
2959 721,
2960 264,
2961 826,
2962 487,
2963 501,
2964 783,
2965 194,
2966 469,
2967 991,
2968 653,
2969 87,
2970 946,
2971 556,
2972 707,
2973 104,
2974 879,
2975 160,
2976 15,
2977 1,
2978 95,
2979 323,
2980 870,
2981 521,
2982 897,
2983 840,
2984 699,
2985 410,
2986 751,
2987 42,
2988 342,
2989 802,
2990 547,
2991 862,
2992 168,
2993 5,
2994 561,
2995 488,
2996 170,
2997 237,
2998 655,
2999 179,
3000 909,
3001 847,
3002 536,
3003 360,
3004 44,
3005 371,
3006 9,
3007 473,
3008 253,
3009 400,
3010 563,
3011 683,
3012 471,
3013 625,
3014 823,
3015 414,
3016 590,
3017 312,
3018 407,
3019 971,
3020 929,
3021 614,
3022 705,
3023 249,
3024 69,
3025 348,
3026 527,
3027 915,
3028 978,
3029 728,
3030 593,
3031 641,
3032 627,
3033 144,
3034 653,
3035 818,
3036 763,
3037 116,
3038 676,
3039 611,
3040 451,
3041 203,
3042 589,
3043 62,
3044 984,
3045 165,
3046 631,
3047 42,
3048 873,
3049 56,
3050 256,
3051 459,
3052 134,
3053 722,
3054 235,
3055 798,
3056 291,
3057 977,
3058 646,
3059 36,
3060 156,
3061 546,
3062 113,
3063 96,
3064 964,
3065 156,
3066 570,
3067 366,
3068 718,
3069 816,
3070 726,
3071 385,
3072 188,
3073 184,
3074 154,
3075 921,
3076 821,
3077 329,
3078 928,
3079 176,
3080 688,
3081 942,
3082 204,
3083 240,
3084 423,
3085 498,
3086 422,
3087 115,
3088 696,
3089 1,
3090 850,
3091 309,
3092 733,
3093 628,
3094 595,
3095 930,
3096 467,
3097 888,
3098 638,
3099 448,
3100 895,
3101 10,
3102 938,
3103 848,
3104 116,
3105 193,
3106 390,
3107 415,
3108 330,
3109 359,
3110 115,
3111 371,
3112 432,
3113 229,
3114 264,
3115 141,
3116 162,
3117 491,
3118 397,
3119 2,
3120 141,
3121 761,
3122 471,
3123 68,
3124 55,
3125 628,
3126 593,
3127 891,
3128 84,
3129 808,
3130 740,
3131 196,
3132 196,
3133 511,
3134 901,
3135 324,
3136 464,
3137 627,
3138 461,
3139 900,
3140 995,
3141 118,
3142 486,
3143 960,
3144 709,
3145 451,
3146 432,
3147 997,
3148 785,
3149 480,
3150 20,
3151 351,
3152 25,
3153 955,
3154 40,
3155 788,
3156 56,
3157 254,
3158 329,
3159 601,
3160 293,
3161 704,
3162 639,
3163 743,
3164 983,
3165 177,
3166 722,
3167 193,
3168 708,
3169 34,
3170 202,
3171 364,
3172 404,
3173 487,
3174 436,
3175 867,
3176 906,
3177 442,
3178 472,
3179 718,
3180 610,
3181 366,
3182 991,
3183 639,
3184 821,
3185 604,
3186 618,
3187 538,
3188 266,
3189 781,
3190 958,
3191 542,
3192 744,
3193 116,
3194 604,
3195 835,
3196 310,
3197 847,
3198 277,
3199 138,
3200 979,
3201 930,
3202 962,
3203 3,
3204 641,
3205 976,
3206 673,
3207 928,
3208 851,
3209 456,
3210 963,
3211 604,
3212 336,
3213 360,
3214 467,
3215 374,
3216 536,
3217 56,
3218 729,
3219 272,
3220 563,
3221 205,
3222 301,
3223 583,
3224 329,
3225 632,
3226 151,
3227 678,
3228 100,
3229 234,
3230 74,
3231 315,
3232 289,
3233 759,
3234 313,
3235 854,
3236 558,
3237 997,
3238 905,
3239 186,
3240 261,
3241 863,
3242 607,
3243 41,
3244 70,
3245 234,
3246 147,
3247 448,
3248 619,
3249 179,
3250 65,
3251 716,
3252 309,
3253 858,
3254 408,
3255 143,
3256 61,
3257 760,
3258 308,
3259 115,
3260 116,
3261 233,
3262 598,
3263 170,
3264 675,
3265 117,
3266 147,
3267 511,
3268 935,
3269 857,
3270 761,
3271 397,
3272 692,
3273 940,
3274 606,
3275 235,
3276 50,
3277 297,
3278 219,
3279 216,
3280 501,
3281 489,
3282 22,
3283 792,
3284 878,
3285 722,
3286 293,
3287 667,
3288 71,
3289 663,
3290 870,
3291 294,
3292 596,
3293 885,
3294 140,
3295 169,
3296 325,
3297 8,
3298 107,
3299 780,
3300 536,
3301 320,
3302 652,
3303 975,
3304 155,
3305 371,
3306 901,
3307 716,
3308 175,
3309 240,
3310 296,
3311 355,
3312 416,
3313 277,
3314 187,
3315 178,
3316 977,
3317 254,
3318 679,
3319 799,
3320 428,
3321 123,
3322 66,
3323 195,
3324 143,
3325 700,
3326 648,
3327 653,
3328 570,
3329 363,
3330 942,
3331 352,
3332 981,
3333 175,
3334 815,
3335 618,
3336 479,
3337 760,
3338 663,
3339 298,
3340 944,
3341 716,
3342 925,
3343 796,
3344 312,
3345 509,
3346 365,
3347 165,
3348 945,
3349 52,
3350 787,
3351 270,
3352 663,
3353 358,
3354 452,
3355 103,
3356 809,
3357 345,
3358 62,
3359 545,
3360 863,
3361 116,
3362 952,
3363 951,
3364 810,
3365 297,
3366 884,
3367 386,
3368 683,
3369 991,
3370 161,
3371 48,
3372 267,
3373 672,
3374 558,
3375 977,
3376 2,
3377 827,
3378 848,
3379 293,
3380 860,
3381 247,
3382 564,
3383 141,
3384 285,
3385 134,
3386 736,
3387 604,
3388 789,
3389 441,
3390 723,
3391 714,
3392 911,
3393 957,
3394 597,
3395 510,
3396 547,
3397 274,
3398 761,
3399 684,
3400 747,
3401 652,
3402 536,
3403 114,
3404 555,
3405 176,
3406 743,
3407 923,
3408 442,
3409 629,
3410 984,
3411 703,
3412 957,
3413 620,
3414 822,
3415 47,
3416 186,
3417 669,
3418 17,
3419 168,
3420 377,
3421 271,
3422 562,
3423 420,
3424 799,
3425 820,
3426 73,
3427 439,
3428 884,
3429 919,
3430 306,
3431 164,
3432 749,
3433 123,
3434 830,
3435 461,
3436 452,
3437 353,
3438 589,
3439 305,
3440 907,
3441 949,
3442 288,
3443 733,
3444 975,
3445 454,
3446 821,
3447 394,
3448 329,
3449 776,
3450 69,
3451 134,
3452 808,
3453 888,
3454 663,
3455 594,
3456 378,
3457 691,
3458 175,
3459 951,
3460 234,
3461 635,
3462 969,
3463 838,
3464 443,
3465 447,
3466 399,
3467 563,
3468 442,
3469 750,
3470 523,
3471 909,
3472 889,
3473 768,
3474 390,
3475 61,
3476 896,
3477 865,
3478 534,
3479 72,
3480 558,
3481 267,
3482 678,
3483 930,
3484 662,
3485 655,
3486 15,
3487 153,
3488 885,
3489 631,
3490 724,
3491 475,
3492 919,
3493 691,
3494 260,
3495 925,
3496 49,
3497 798,
3498 761,
3499 314,
3500 497,
3501 116,
3502 789,
3503 548,
3504 1,
3505 258,
3506 388,
3507 137,
3508 467,
3509 706,
3510 580,
3511 717,
3512 110,
3513 290,
3514 513,
3515 408,
3516 639,
3517 72,
3518 629,
3519 772,
3520 67,
3521 460,
3522 612,
3523 46,
3524 88,
3525 330,
3526 790,
3527 854,
3528 708,
3529 610,
3530 334,
3531 180,
3532 901,
3533 718,
3534 647,
3535 281,
3536 135,
3537 80,
3538 583,
3539 591,
3540 828,
3541 405,
3542 843,
3543 30,
3544 709,
3545 657,
3546 329,
3547 53,
3548 351,
3549 336,
3550 445,
3551 249,
3552 761,
3553 14,
3554 187,
3555 628,
3556 154,
3557 381,
3558 915,
3559 589,
3560 911,
3561 849,
3562 515,
3563 39,
3564 58,
3565 17,
3566 790,
3567 825,
3568 446,
3569 99,
3570 674,
3571 155,
3572 407,
3573 324,
3574 888,
3575 447,
3576 662,
3577 324,
3578 588,
3579 659,
3580 898,
3581 234,
3582 12,
3583 418,
3584 514,
3585 833,
3586 149,
3587 241,
3588 655,
3589 350,
3590 256,
3591 869,
3592 127,
3593 629,
3594 236,
3595 334,
3596 940,
3597 175,
3598 685,
3599 224,
3600 243,
3601 866,
3602 979,
3603 495,
3604 375,
3605 525,
3606 869,
3607 524,
3608 894,
3609 919,
3610 4,
3611 184,
3612 348,
3613 75,
3614 892,
3615 379,
3616 899,
3617 177,
3618 709,
3619 762,
3620 356,
3621 612,
3622 992,
3623 723,
3624 47,
3625 227,
3626 317,
3627 542,
3628 703,
3629 279,
3630 969,
3631 946,
3632 473,
3633 208,
3634 60,
3635 872,
3636 674,
3637 116,
3638 360,
3639 616,
3640 976,
3641 253,
3642 862,
3643 119,
3644 649,
3645 710,
3646 851,
3647 690,
3648 448,
3649 714,
3650 152,
3651 489,
3652 62,
3653 833,
3654 207,
3655 594,
3656 100,
3657 375,
3658 9,
3659 497,
3660 111,
3661 442,
3662 116,
3663 818,
3664 749,
3665 177,
3666 898,
3667 403,
3668 243,
3669 228,
3670 741,
3671 680,
3672 393,
3673 292,
3674 726,
3675 628,
3676 149,
3677 127,
3678 525,
3679 320,
3680 404,
3681 831,
3682 842,
3683 852,
3684 367,
3685 849,
3686 66,
3687 448,
3688 978,
3689 941,
3690 165,
3691 565,
3692 960,
3693 631,
3694 220,
3695 220,
3696 154,
3697 584,
3698 841,
3699 386,
3700 582,
3701 233,
3702 22,
3703 608,
3704 508,
3705 454,
3706 503,
3707 267,
3708 660,
3709 899,
3710 404,
3711 660,
3712 451,
3713 86,
3714 966,
3715 694,
3716 133,
3717 320,
3718 811,
3719 966,
3720 556,
3721 377,
3722 653,
3723 244,
3724 718,
3725 255,
3726 748,
3727 6,
3728 237,
3729 11,
3730 668,
3731 411,
3732 351,
3733 360,
3734 833,
3735 91,
3736 414,
3737 264,
3738 447,
3739 816,
3740 962,
3741 197,
3742 774,
3743 504,
3744 426,
3745 161,
3746 42,
3747 714,
3748 130,
3749 699,
3750 64,
3751 307,
3752 15,
3753 719,
3754 917,
3755 452,
3756 573,
3757 184,
3758 297,
3759 10,
3760 249,
3761 628,
3762 440,
3763 761,
3764 170,
3765 588,
3766 537,
3767 318,
3768 130,
3769 207,
3770 376,
3771 696,
3772 203,
3773 202,
3774 790,
3775 737,
3776 133,
3777 966,
3778 24,
3779 127,
3780 820,
3781 109,
3782 53,
3783 185,
3784 38,
3785 946,
3786 96,
3787 352,
3788 529,
3789 349,
3790 678,
3791 309,
3792 51,
3793 680,
3794 881,
3795 489,
3796 940,
3797 962,
3798 163,
3799 900,
3800 797,
3801 461,
3802 431,
3803 973,
3804 204,
3805 597,
3806 681,
3807 483,
3808 903,
3809 351,
3810 885,
3811 646,
3812 358,
3813 891,
3814 564,
3815 405,
3816 989,
3817 656,
3818 628,
3819 749,
3820 23,
3821 243,
3822 407,
3823 178,
3824 22,
3825 132,
3826 883,
3827 365,
3828 471,
3829 941,
3830 762,
3831 226,
3832 403,
3833 87,
3834 231,
3835 589,
3836 543,
3837 346,
3838 737,
3839 817,
3840 261,
3841 857,
3842 869,
3843 996,
3844 27,
3845 280,
3846 595,
3847 538,
3848 113,
3849 628,
3850 587,
3851 677,
3852 641,
3853 421,
3854 176,
3855 262,
3856 399,
3857 786,
3858 970,
3859 330,
3860 936,
3861 633,
3862 690,
3863 156,
3864 855,
3865 313,
3866 550,
3867 707,
3868 201,
3869 910,
3870 556,
3871 248,
3872 34,
3873 432,
3874 547,
3875 622,
3876 737,
3877 233,
3878 941,
3879 694,
3880 526,
3881 409,
3882 458,
3883 133,
3884 900,
3885 248,
3886 670,
3887 109,
3888 802,
3889 295,
3890 233,
3891 117,
3892 923,
3893 139,
3894 855,
3895 382,
3896 757,
3897 399,
3898 462,
3899 115,
3900 447,
3901 444,
3902 53,
3903 235,
3904 163,
3905 232,
3906 333,
3907 335,
3908 219,
3909 625,
3910 95,
3911 674,
3912 879,
3913 204,
3914 460,
3915 370,
3916 829,
3917 943,
3918 420,
3919 10,
3920 538,
3921 863,
3922 694,
3923 537,
3924 124,
3925 406,
3926 294,
3927 131,
3928 306,
3929 420,
3930 12,
3931 385,
3932 107,
3933 33,
3934 153,
3935 815,
3936 899,
3937 989,
3938 845,
3939 875,
3940 772,
3941 172,
3942 308,
3943 285,
3944 1,
3945 721,
3946 487,
3947 495,
3948 310,
3949 222,
3950 950,
3951 874,
3952 211,
3953 837,
3954 723,
3955 834,
3956 407,
3957 327,
3958 658,
3959 647,
3960 1,
3961 278,
3962 524,
3963 266,
3964 906,
3965 312,
3966 955,
3967 632,
3968 631,
3969 515,
3970 440,
3971 334,
3972 122,
3973 559,
3974 72,
3975 785,
3976 431,
3977 621,
3978 61,
3979 584,
3980 588,
3981 594,
3982 16,
3983 217,
3984 50,
3985 831,
3986 188,
3987 52,
3988 393,
3989 993,
3990 495,
3991 848,
3992 480,
3993 456,
3994 370,
3995 424,
3996 777,
3997 718,
3998 39,
3999 186,
4000 466,
4001 773,
4002 185,
4003 508,
4004 464,
4005 989,
4006 135,
4007 971,
4008 470,
4009 682,
4010 443,
4011 97,
4012 124,
4013 838,
4014 135,
4015 186,
4016 427,
4017 544,
4018 719,
4019 411,
4020 244,
4021 64,
4022 273,
4023 568,
4024 160,
4025 173,
4026 273,
4027 185,
4028 826,
4029 238,
4030 841,
4031 840,
4032 553,
4033 33,
4034 758,
4035 873,
4036 162,
4037 707,
4038 158,
4039 166,
4040 714,
4041 461,
4042 573,
4043 566,
4044 256,
4045 903,
4046 798,
4047 242,
4048 561,
4049 763,
4050 334,
4051 164,
4052 781,
4053 73,
4054 309,
4055 228,
4056 71,
4057 643,
4058 774,
4059 672,
4060 507,
4061 676,
4062 406,
4063 695,
4064 623,
4065 993,
4066 729,
4067 898,
4068 324,
4069 420,
4070 903,
4071 599,
4072 622,
4073 129,
4074 694,
4075 716,
4076 742,
4077 632,
4078 89,
4079 740,
4080 417,
4081 606,
4082 494,
4083 697,
4084 697,
4085 655,
4086 30,
4087 87,
4088 617,
4089 604,
4090 101,
4091 537,
4092 566,
4093 828,
4094 969,
4095 570,
4096 993,
4097 883,
4098 127,
4099 625,
4100 985,
4101 804,
4102 553,
4103 874,
4104 758,
4105 396,
4106 875,
4107 133,
4108 224,
4109 853,
4110 877,
4111 710,
4112 782,
4113 155,
4114 923,
4115 416,
4116 794,
4117 663,
4118 200,
4119 30,
4120 689,
4121 77,
4122 218,
4123 632,
4124 849,
4125 60,
4126 270,
4127 446,
4128 419,
4129 697,
4130 980,
4131 892,
4132 935,
4133 24,
4134 717,
4135 178,
4136 471,
4137 497,
4138 209,
4139 743,
4140 284,
4141 3,
4142 813,
4143 234,
4144 76,
4145 527,
4146 145,
4147 684,
4148 742,
4149 500,
4150 832,
4151 533,
4152 780,
4153 226,
4154 800,
4155 897,
4156 102,
4157 309,
4158 994,
4159 775,
4160 888,
4161 944,
4162 243,
4163 54,
4164 17,
4165 107,
4166 929,
4167 52,
4168 244,
4169 843,
4170 553,
4171 701,
4172 236,
4173 53,
4174 909,
4175 972,
4176 753,
4177 927,
4178 796,
4179 81,
4180 679,
4181 394,
4182 649,
4183 991,
4184 973,
4185 903,
4186 797,
4187 321,
4188 763,
4189 37,
4190 991,
4191 544,
4192 268,
4193 236,
4194 10,
4195 923,
4196 443,
4197 394,
4198 720,
4199 76,
4200 434,
4201 280,
4202 314,
4203 91,
4204 934,
4205 848,
4206 217,
4207 697,
4208 646,
4209 53,
4210 647,
4211 723,
4212 154,
4213 894,
4214 943,
4215 217,
4216 641,
4217 64,
4218 987,
4219 58,
4220 98,
4221 191,
4222 819,
4223 510,
4224 708,
4225 33,
4226 747,
4227 400,
4228 513,
4229 360,
4230 526,
4231 173,
4232 733,
4233 234,
4234 759,
4235 525,
4236 485,
4237 463,
4238 382,
4239 261,
4240 826,
4241 870,
4242 999,
4243 655,
4244 564,
4245 947,
4246 334,
4247 479,
4248 963,
4249 641,
4250 647,
4251 554,
4252 497,
4253 688,
4254 818,
4255 941,
4256 20,
4257 235,
4258 523,
4259 847,
4260 527,
4261 290,
4262 535,
4263 244,
4264 312,
4265 703,
4266 779,
4267 768,
4268 732,
4269 734,
4270 759,
4271 228,
4272 671,
4273 245,
4274 304,
4275 191,
4276 808,
4277 502,
4278 219,
4279 948,
4280 24,
4281 398,
4282 268,
4283 540,
4284 243,
4285 691,
4286 966,
4287 768,
4288 631,
4289 38,
4290 446,
4291 446,
4292 697,
4293 82,
4294 824,
4295 893,
4296 696,
4297 553,
4298 563,
4299 502,
4300 25,
4301 34,
4302 648,
4303 753,
4304 857,
4305 8,
4306 341,
4307 801,
4308 913,
4309 802,
4310 177,
4311 805,
4312 155,
4313 242,
4314 920,
4315 148,
4316 139,
4317 517,
4318 413,
4319 252,
4320 225,
4321 766,
4322 663,
4323 767,
4324 179,
4325 615,
4326 212,
4327 299,
4328 424,
4329 125,
4330 155,
4331 717,
4332 263,
4333 174,
4334 390,
4335 849,
4336 645,
4337 242,
4338 572,
4339 768,
4340 821,
4341 739,
4342 12,
4343 398,
4344 617,
4345 875,
4346 957,
4347 14,
4348 791,
4349 633,
4350 539,
4351 221,
4352 80,
4353 487,
4354 467,
4355 88,
4356 234,
4357 770,
4358 816,
4359 947,
4360 220,
4361 967,
4362 942,
4363 344,
4364 993,
4365 79,
4366 388,
4367 415,
4368 886,
4369 335,
4370 967,
4371 560,
4372 486,
4373 606,
4374 49,
4375 114,
4376 582,
4377 891,
4378 544,
4379 623,
4380 858,
4381 875,
4382 986,
4383 486,
4384 549,
4385 196,
4386 198,
4387 108,
4388 152,
4389 545,
4390 430,
4391 569,
4392 122,
4393 123,
4394 386,
4395 163,
4396 269,
4397 400,
4398 774,
4399 65,
4400 689,
4401 802,
4402 35,
4403 629,
4404 738,
4405 662,
4406 930,
4407 494,
4408 45,
4409 816,
4410 412,
4411 401,
4412 728,
4413 336,
4414 584,
4415 876,
4416 14,
4417 27,
4418 12,
4419 224,
4420 482,
4421 304,
4422 852,
4423 352,
4424 163,
4425 300,
4426 545,
4427 554,
4428 958,
4429 621,
4430 872,
4431 192,
4432 450,
4433 400,
4434 195,
4435 339,
4436 916,
4437 344,
4438 341,
4439 814,
4440 450,
4441 292,