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