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