projects / riscv-tests.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
bump env
[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 55,
3744 139,
3745 141,
3746 170,
3747 232,
3748 292,
3749 322,
3750 77,
3751 214,
3752 241,
3753 279,
3754 326,
3755 18,
3756 46,
3757 55,
3758 107,
3759 227,
3760 238,
3761 250,
3762 146,
3763 168,
3764 402,
3765 444,
3766 459,
3767 487,
3768 495,
3769 6,
3770 121,
3771 256,
3772 303,
3773 457,
3774 461,
3775 69,
3776 122,
3777 193,
3778 204,
3779 240,
3780 347,
3781 412,
3782 418,
3783 476,
3784 169,
3785 187,
3786 400,
3787 97,
3788 290,
3789 364,
3790 394,
3791 153,
3792 184,
3793 187,
3794 9,
3795 13,
3796 65,
3797 89,
3798 120,
3799 221,
3800 484,
3801 6,
3802 120,
3803 180,
3804 419,
3805 15,
3806 86,
3807 104,
3808 193,
3809 276,
3810 324,
3811 437,
3812 443,
3813 62,
3814 97,
3815 193,
3816 288,
3817 315,
3818 318,
3819 414,
3820 24,
3821 170,
3822 189,
3823 196,
3824 216,
3825 228,
3826 270,
3827 420,
3828 214,
3829 407,
3830 466,
3831 2,
3832 77,
3833 127,
3834 188,
3835 230,
3836 310,
3837 464,
3838 469,
3839 80,
3840 204,
3841 138,
3842 171,
3843 252,
3844 424,
3845 0,
3846 95,
3847 363,
3848 395,
3849 408,
3850 430,
3851 96,
3852 143,
3853 289,
3854 97,
3855 183,
3856 341,
3857 399,
3858 460,
3859 84,
3860 243,
3861 498,
3862 28,
3863 65,
3864 77,
3865 84,
3866 139,
3867 147,
3868 171,
3869 214,
3870 256,
3871 348,
3872 408,
3873 444,
3874 449,
3875 457,
3876 120,
3877 342,
3878 38,
3879 217,
3880 465,
3881 8,
3882 212,
3883 268,
3884 346,
3885 486,
3886 491,
3887 49,
3888 77,
3889 90,
3890 222,
3891 291,
3892 383,
3893 130,
3894 405,
3895 431,
3896 473,
3897 78,
3898 290,
3899 351,
3900 189,
3901 304,
3902 498,
3903 336,
3904 10,
3905 219,
3906 257,
3907 402,
3908 437,
3909 65,
3910 69,
3911 168,
3912 198,
3913 65,
3914 241,
3915 242,
3916 290,
3917 360,
3918 402,
3919 254,
3920 256,
3921 398,
3922 407,
3923 66,
3924 97,
3925 164,
3926 222,
3927 316,
3928 390,
3929 429,
3930 24,
3931 81,
3932 133,
3933 207,
3934 313,
3935 67,
3936 108,
3937 204,
3938 303,
3939 494,
3940 43,
3941 194,
3942 198,
3943 285,
3944 294,
3945 347,
3946 356,
3947 394,
3948 83,
3949 92,
3950 147,
3951 167,
3952 386,
3953 20,
3954 225,
3955 400,
3956 172,
3957 363,
3958 99,
3959 64,
3960 373,
3961 377,
3962 6,
3963 63,
3964 206,
3965 107,
3966 149,
3967 230,
3968 428,
3969 41,
3970 56,
3971 77,
3972 78,
3973 311,
3974 413,
3975 476,
3976 477,
3977 81,
3978 130,
3979 145,
3980 167,
3981 247,
3982 416,
3983 56,
3984 289,
3985 339,
3986 27,
3987 47,
3988 132,
3989 309,
3990 392,
3991 36,
3992 55,
3993 73,
3994 352,
3995 358,
3996 25,
3997 58,
3998 352,
3999 430,
4000 58,
4001 171,
4002 221,
4003 334,
4004 379,
4005 453,
4006 288,
4007 479,
4008 109,
4009 134,
4010 143,
4011 174,
4012 285,
4013 313,
4014 468,
4015 495,
4016 258,
4017 289,
4018 334,
4019 382,
4020 483,
4021 46,
4022 136,
4023 264,
4024 417,
4025 458,
4026 36,
4027 59,
4028 88,
4029 173,
4030 310,
4031 316,
4032 354,
4033 471,
4034 46,
4035 225,
4036 262,
4037 335,
4038 364,
4039 468,
4040 121,
4041 341,
4042 349,
4043 7,
4044 14,
4045 21,
4046 99,
4047 135,
4048 142,
4049 207,
4050 209,
4051 272,
4052 294,
4053 456,
4054 491,
4055 208,
4056 248,
4057 321,
4058 43,
4059 129,
4060 188,
4061 362,
4062 191,
4063 279,
4064 294,
4065 307,
4066 324,
4067 362,
4068 140,
4069 422,
4070 56,
4071 169,
4072 188,
4073 232,
4074 328,
4075 449,
4076 14,
4077 134,
4078 369,
4079 375,
4080 48,
4081 164,
4082 224,
4083 260,
4084 20,
4085 93,
4086 157,
4087 219,
4088 262,
4089 274,
4090 362,
4091 473,
4092 484,
4093 103,
4094 125,
4095 140,
4096 174,
4097 175,
4098 191,
4099 226,
4100 358,
4101 408,
4102 450,
4103 20,
4104 94,
4105 289,
4106 310,
4107 311,
4108 448,
4109 478,
4110 36,
4111 175,
4112 185,
4113 337,
4114 391,
4115 48,
4116 72,
4117 184,
4118 233,
4119 345,
4120 485,
4121 231,
4122 242,
4123 339,
4124 451,
4125 456,
4126 152,
4127 158,
4128 398,
4129 458,
4130 488,
4131 151,
4132 240,
4133 357,
4134 1,
4135 33,
4136 139,
4137 141,
4138 177,
4139 223,
4140 289,
4141 479,
4142 90,
4143 115,
4144 461,
4145 480,
4146 24,
4147 26,
4148 44,
4149 72,
4150 213,
4151 361,
4152 445,
4153 34,
4154 119,
4155 470,
4156 19,
4157 56,
4158 405,
4159 464,
4160 47,
4161 112,
4162 163,
4163 235,
4164 342,
4165 462,
4166 103,
4167 192,
4168 225,
4169 23,
4170 458,
4171 68,
4172 270,
4173 363,
4174 422,
4175 427,
4176 449,
4177 450,
4178 477,
4179 105,
4180 131,
4181 139,
4182 198,
4183 212,
4184 413,
4185 429,
4186 435,
4187 43,
4188 278,
4189 19,
4190 113,
4191 192,
4192 327,
4193 347,
4194 44,
4195 67,
4196 160,
4197 225,
4198 263,
4199 330,
4200 344,
4201 158,
4202 274,
4203 303,
4204 317,
4205 350,
4206 379,
4207 409,
4208 33,
4209 53,
4210 217,
4211 273,
4212 304,
4213 352,
4214 461,
4215 495,
4216 101,
4217 168,
4218 370,
4219 395,
4220 458,
4221 156,
4222 301,
4223 319,
4224 324,
4225 347,
4226 73,
4227 127,
4228 253,
4229 272,
4230 128,
4231 212,
4232 237,
4233 257,
4234 351,
4235 77,
4236 106,
4237 216,
4238 270,
4239 368,
4240 371,
4241 400,
4242 223,
4243 355,
4244 384,
4245 30,
4246 268,
4247 307,
4248 368,
4249 79,
4250 300,
4251 317,
4252 327,
4253 15,
4254 376,
4255 31,
4256 80,
4257 160,
4258 206,
4259 227,
4260 103,
4261 231,
4262 435,
4263 481,
4264 499,
4265 182,
4266 186,
4267 189,
4268 442,
4269 7,
4270 59,
4271 65,
4272 117,
4273 225,
4274 298,
4275 304,
4276 364,
4277 457,
4278 489,
4279 186,
4280 198,
4281 265,
4282 309,
4283 336,
4284 391,
4285 457,
4286 314,
4287 418,
4288 81,
4289 133,
4290 186,
4291 190,
4292 227,
4293 258,
4294 277,
4295 419,
4296 492,
4297 82,
4298 222,
4299 239,
4300 315,
4301 71,
4302 92,
4303 122,
4304 220,
4305 252,
4306 272,
4307 311,
4308 391,
4309 433,
4310 97,
4311 137,
4312 244,
4313 267,
4314 426,
4315 34,
4316 202,
4317 234,
4318 426,
4319 428,
4320 51,
4321 109,
4322 267,
4323 377,
4324 382,
4325 107,
4326 166,
4327 203,
4328 337,
4329 0,
4330 127,
4331 247,
4332 404,
4333 64,
4334 94,
4335 373,
4336 430,
4337 448,
4338 17,
4339 37,
4340 57,
4341 102,
4342 352,
4343 354,
4344 114,
4345 174,
4346 193,
4347 241,
4348 284,
4349 74,
4350 94,
4351 213,
4352 238,
4353 475,
4354 476,
4355 140,
4356 247,
4357 280,
4358 302,
4359 328,
4360 49,
4361 197,
4362 201,
4363 222,
4364 280,
4365 457,
4366 167,
4367 445,
4368 465,
4369 478,
4370 499,
4371 25,
4372 215,
4373 438,
4374 8,
4375 129,
4376 153,
4377 171,
4378 316,
4379 328,
4380 158,
4381 215,
4382 303,
4383 328,
4384 353,
4385 479,
4386 62,
4387 251,
4388 271,
4389 4,
4390 119,
4391 262,
4392 303,
4393 311,
4394 405,
4395 419,
4396 277,
4397 461,
4398 236,
4399 248,
4400 445,
4401 15,
4402 108,
4403 227,
4404 309,
4405 362,
4406 378,
4407 424,
4408 78,
4409 94,
4410 109,
4411 118,
4412 124,
4413 247,
4414 253,
4415 315,
4416 478,
4417 13,
4418 154,
4419 170,
4420 331,
4421 365,
4422 386,
4423 264,
4424 268,
4425 300,
4426 305,
4427 429,
4428 463,
4429 499,
4430 52,
4431 105,
4432 135,
4433 181,
4434 111,
4435 156,
4436 183,
4437 231,
4438 350,
4439 388,
4440 461,
4441 291,
4442 360,
4443 80,
4444 106,
4445 138,
4446 197,
4447 242,
4448 255,
4449 260,
4450 381,
4451 415,
4452 447,
4453 499,
4454 41,
4455 266,
4456 341,
4457 391,
4458 410,
4459 448,
4460 495,
4461 58,
4462 146,
4463 286,
4464 351,
4465 419,
4466 436,
4467 464,
4468 483,
4469 251,
4470 252,
4471 444,
4472 492,
4473 184,
4474 200,
4475 57,
4476 75,
4477 170,
4478 186,
4479 187,
4480 275,
4481 314,
4482 364,
4483 407,
4484 162,
4485 173,
4486 232,
4487 211,
4488 355,
4489 445,
4490 448,
4491 308,
4492 98,
4493 280,
4494 397,
4495 431,
4496 112,
4497 122,
4498 157,
4499 209,
4500 338,
4501 388,
4502 429,
4503 112,
4504 213,
4505 349,
4506 470,
4507 69,
4508 70,
4509 119,
4510 222,
4511 251,
4512 453,
4513 81,
4514 173,
4515 482,
4516 105,
4517 147,
4518 10,
4519 229,
4520 462,
4521 467,
4522 98,
4523 421,
4524 479,
4525 203,
4526 498,
4527 499,
4528 93,
4529 130,
4530 142,
4531 270,
4532 278,
4533 336,
4534 419,
4535 73,
4536 134,
4537 142,
4538 177,
4539 192,
4540 335,
4541 490,
4542 45,
4543 140,
4544 143,
4545 195,
4546 274,
4547 284,
4548 324,
4549 56,
4550 94,
4551 171,
4552 28,
4553 135,
4554 258,
4555 277,
4556 284,
4557 333,
4558 370,
4559 421,
4560 432,
4561 465,
4562 31,
4563 46,
4564 222,
4565 331,
4566 387,
4567 432,
4568 18,
4569 56,
4570 82,
4571 95,
4572 258,
4573 261,
4574 356,
4575 378,
4576 484,
4577 60,
4578 285,
4579 298,
4580 347,
4581 0,
4582 200,
4583 307,
4584 372,
4585 2,
4586 89,
4587 201,
4588 291,
4589 298,
4590 382,
4591 455,
4592 121,
4593 145,
4594 155,
4595 47,
4596 226,
4597 236,
4598 396,
4599 398,
4600 137,
4601 311,
4602 381,
4603 429,
4604 45,
4605 109,
4606 141,
4607 173,
4608 207,
4609 464,
4610 471,
4611 499,
4612 37,
4613 45,
4614 268,
4615 447,
4616 496,
4617 41,
4618 163,
4619 387,
4620 484,
4621 30,
4622 48,
4623 91,
4624 146,
4625 261,
4626 313,
4627 401,
4628 11,
4629 78,
4630 122,
4631 144,
4632 450,
4633 499,
4634 75,
4635 82,
4636 131,
4637 218,
4638 257,
4639 285,
4640 294,
4641 362,
4642 442,
4643 213,
4644 255,
4645 291,
4646 492,
4647 63,
4648 80,
4649 282,
4650 418,
4651 1,
4652 60,
4653 87,
4654 102,
4655 111,
4656 180,
4657 272,
4658 281,
4659 324,
4660 380,
4661 458,
4662 185,
4663 216,
4664 475,
4665 12,
4666 62,
4667 109,
4668 143,
4669 195,
4670 257,
4671 271,
4672 324,
4673 385,
4674 410,
4675 226,
4676 330,
4677 404,
4678 54,
4679 158,
4680 374,
4681 221,
4682 320,
4683 340,
4684 86,
4685 93,
4686 236,
4687 94,
4688 159,
4689 238,
4690 242,
4691 318,
4692 356,
4693 40,
4694 75,
4695 168,
4696 211,
4697 294,
4698 32,
4699 164,
4700 174,
4701 198,
4702 421,
4703 13,
4704 102,
4705 314,
4706 379,
4707 418,
4708 439,
4709 485,
4710 6,
4711 53,
4712 104,
4713 123,
4714 208,
4715 436,
4716 452,
4717 59,
4718 141,
4719 204,
4720 402,
4721 498,
4722 134,
4723 335,
4724 429,
4725 240,
4726 391,
4727 461,
4728 14,
4729 16,
4730 46,
4731 371,
4732 376,
4733 37,
4734 172,
4735 227,
4736 343,
4737 397,
4738 435,
4739 39,
4740 136,
4741 202,
4742 262,
4743 339,
4744 445,
4745 474,
4746 145,
4747 272,
4748 342,
4749 121,
4750 127,
4751 12,
4752 125,
4753 155,
4754 186,
4755 234,
4756 64,
4757 96,
4758 97,
4759 108,
4760 213,
4761 350,
4762 410,
4763 485,
4764 35,
4765 56,
4766 57,
4767 167,
4768 169,
4769 399,
4770 478,
4771 60,
4772 103,
4773 307,
4774 92,
4775 104,
4776 150,
4777 211,
4778 260,
4779 8,
4780 64,
4781 73,
4782 222,
4783 273,
4784 423,
4785 179,
4786 184,
4787 190,
4788 193,
4789 265,
4790 271,
4791 305,
4792 318,
4793 344,
4794 14,
4795 75,
4796 124,
4797 317,
4798 343,
4799 404,
4800 4,
4801 141,
4802 167,
4803 212,
4804 496
4805 };
4806 const double x[500] = {
4807 737,
4808 519,
4809 538,
4810 486,
4811 557,
4812 31,
4813 651,
4814 101,
4815 310,
4816 729,
4817 721,
4818 164,
4819 577,
4820 411,
4821 104,
4822 891,
4823 988,
4824 370,
4825 788,
4826 898,
4827 576,
4828 674,
4829 7,
4830 10,
4831 91,
4832 253,
4833 9,
4834 54,
4835 105,
4836 36,
4837 799,
4838 188,
4839 651,
4840 92,
4841 766,
4842 394,
4843 8,
4844 823,
4845 242,
4846 334,
4847 639,
4848 462,
4849 111,
4850 847,
4851 919,
4852 681,
4853 392,
4854 657,
4855 358,
4856 203,
4857 453,
4858 897,
4859 965,
4860 316,
4861 759,
4862 894,
4863 893,
4864 44,
4865 743,
4866 736,
4867 970,
4868 473,
4869 229,
4870 120,
4871 485,
4872 174,
4873 405,
4874 514,
4875 984,
4876 200,
4877 723,
4878 867,
4879 259,
4880 997,
4881 191,
4882 340,
4883 75,
4884 763,
4885 579,
4886 216,
4887 154,
4888 331,
4889 338,
4890 184,
4891 786,
4892 56,
4893 235,
4894 880,
4895 810,
4896 544,
4897 522,
4898 358,
4899 219,
4900 566,
4901 632,
4902 422,
4903 636,
4904 760,
4905 657,
4906 117,
4907 138,
4908 228,
4909 163,
4910 336,
4911 572,
4912 722,
4913 438,
4914 280,
4915 234,
4916 454,
4917 967,
4918 148,
4919 325,
4920 142,
4921 790,
4922 3,
4923 497,
4924 770,
4925 936,
4926 101,
4927 696,
4928 108,
4929 255,
4930 140,
4931 320,
4932 29,
4933 36,
4934 228,
4935 468,
4936 24,
4937 183,
4938 844,
4939 513,
4940 856,
4941 102,
4942 9,
4943 526,
4944 50,
4945 73,
4946 366,
4947 599,
4948 246,
4949 662,
4950 473,
4951 651,
4952 568,
4953 575,
4954 972,
4955 352,
4956 341,
4957 897,
4958 15,
4959 73,
4960 764,
4961 768,
4962 879,
4963 886,
4964 906,
4965 718,
4966 621,
4967 529,
4968 282,
4969 339,
4970 165,
4971 137,
4972 999,
4973 215,
4974 33,
4975 639,
4976 999,
4977 906,
4978 210,
4979 62,
4980 655,
4981 996,
4982 675,
4983 552,
4984 333,
4985 176,
4986 426,
4987 891,
4988 638,
4989 571,
4990 715,
4991 18,
4992 708,
4993 795,
4994 26,
4995 31,
4996 250,
4997 18,
4998 949,
4999 183,
5000 968,
5001 394,
5002 580,
5003 766,
5004 686,
5005 162,
5006 134,
5007 185,
5008 943,
5009 919,
5010 577,
5011 539,
5012 180,
5013 750,
5014 285,
5015 591,
5016 881,
5017 381,
5018 118,
5019 852,
5020 696,
5021 617,
5022 941,
5023 767,
5024 592,
5025 650,
5026 74,
5027 961,
5028 881,
5029 891,
5030 71,
5031 905,
5032 575,
5033 598,
5034 523,
5035 477,
5036 561,
5037 948,
5038 762,
5039 570,
5040 773,
5041 146,
5042 894,
5043 203,
5044 610,
5045 471,
5046 669,
5047 189,
5048 473,
5049 650,
5050 606,
5051 385,
5052 288,
5053 360,
5054 648,
5055 115,
5056 836,
5057 139,
5058 530,
5059 248,
5060 331,
5061 286,
5062 849,
5063 812,
5064 356,
5065 884,
5066 33,
5067 57,
5068 147,
5069 297,
5070 826,
5071 916,
5072 581,
5073 0,
5074 918,
5075 81,
5076 12,
5077 956,
5078 309,
5079 550,
5080 15,
5081 243,
5082 294,
5083 893,
5084 290,
5085 227,
5086 826,
5087 843,
5088 789,
5089 744,
5090 494,
5091 742,
5092 643,
5093 126,
5094 861,
5095 444,
5096 506,
5097 417,
5098 215,
5099 246,
5100 9,
5101 244,
5102 283,
5103 595,
5104 635,
5105 494,
5106 612,
5107 737,
5108 311,
5109 896,
5110 834,
5111 222,
5112 121,
5113 595,
5114 680,
5115 309,
5116 729,
5117 263,
5118 142,
5119 804,
5120 262,
5121 343,
5122 179,
5123 649,
5124 118,
5125 360,
5126 536,
5127 669,
5128 429,
5129 359,
5130 667,
5131 313,
5132 671,
5133 506,
5134 951,
5135 461,
5136 291,
5137 359,
5138 237,
5139 727,
5140 143,
5141 968,
5142 769,
5143 97,
5144 842,
5145 752,
5146 803,
5147 299,
5148 154,
5149 384,
5150 23,
5151 567,
5152 339,
5153 778,
5154 492,
5155 116,
5156 320,
5157 967,
5158 526,
5159 66,
5160 761,
5161 908,
5162 345,
5163 885,
5164 193,
5165 894,
5166 547,
5167 124,
5168 18,
5169 254,
5170 947,
5171 192,
5172 111,
5173 384,
5174 204,
5175 338,
5176 574,
5177 749,
5178 816,
5179 717,
5180 457,
5181 353,
5182 163,
5183 979,
5184 896,
5185 679,
5186 342,
5187 932,
5188 100,
5189 216,
5190 531,
5191 320,
5192 122,
5193 594,
5194 956,
5195 638,
5196 450,
5197 733,
5198 643,
5199 293,
5200 891,
5201 633,
5202 901,
5203 815,
5204 676,
5205 307,
5206 144,
5207 286,
5208 106,
5209 182,
5210 605,
5211 575,
5212 129,
5213 390,
5214 212,
5215 843,
5216 225,
5217 544,
5218 468,
5219 203,
5220 223,
5221 862,
5222 795,
5223 36,
5224 348,
5225 743,
5226 528,
5227 904,
5228 126,
5229 802,
5230 82,
5231 156,
5232 369,
5233 986,
5234 332,
5235 977,
5236 570,
5237 421,
5238 345,
5239 401,
5240 480,
5241 63,
5242 518,
5243 667,
5244 31,
5245 909,
5246 552,
5247 994,
5248 314,
5249 891,
5250 642,
5251 439,
5252 132,
5253 670,
5254 402,
5255 263,
5256 140,
5257 549,
5258 905,
5259 712,
5260 299,
5261 986,
5262 86,
5263 709,
5264 786,
5265 47,
5266 679,
5267 864,
5268 13,
5269 140,
5270 659,
5271 479,
5272 838,
5273 988,
5274 846,
5275 855,
5276 367,
5277 935,
5278 657,
5279 453,
5280 400,
5281 851,
5282 749,
5283 500,
5284 673,
5285 523,
5286 708,
5287 568,
5288 76,
5289 18,
5290 589,
5291 689,
5292 195,
5293 504,
5294 402,
5295 835,
5296 705,
5297 187,
5298 615,
5299 482,
5300 160,
5301 609,
5302 761,
5303 907,
5304 294,
5305 538,
5306 545
5307 };
5308 const int ptr[501] = {
5309 0,
5310 4,
5311 8,
5312 10,
5313 15,
5314 22,
5315 29,
5316 33,
5317 34,
5318 36,
5319 39,
5320 44,
5321 44,
5322 47,
5323 55,
5324 61,
5325 66,
5326 68,
5327 75,
5328 82,
5329 86,
5330 91,
5331 98,
5332 104,
5333 109,
5334 113,
5335 126,
5336 131,
5337 134,
5338 136,
5339 143,
5340 153,
5341 159,
5342 168,
5343 170,
5344 174,
5345 176,
5346 180,
5347 187,
5348 192,
5349 198,
5350 200,
5351 204,
5352 211,
5353 213,
5354 222,
5355 225,
5356 228,
5357 233,
5358 241,
5359 247,
5360 253,
5361 256,
5362 262,
5363 264,
5364 270,
5365 274,
5366 277,
5367 283,
5368 288,
5369 294,
5370 301,
5371 307,
5372 312,
5373 315,
5374 319,
5375 325,
5376 329,
5377 332,
5378 338,
5379 340,
5380 342,
5381 348,
5382 353,
5383 359,
5384 362,
5385 366,
5386 368,
5387 374,
5388 387,
5389 393,
5390 400,
5391 403,
5392 406,
5393 412,
5394 420,
5395 425,
5396 428,
5397 433,
5398 441,
5399 442,
5400 448,
5401 456,
5402 462,
5403 468,
5404 469,
5405 477,
5406 479,
5407 485,
5408 490,
5409 495,
5410 501,
5411 508,
5412 513,
5413 518,
5414 524,
5415 532,
5416 535,
5417 538,
5418 542,
5419 546,
5420 552,
5421 561,
5422 563,
5423 567,
5424 571,
5425 574,
5426 576,
5427 581,
5428 584,
5429 588,
5430 592,
5431 593,
5432 597,
5433 599,
5434 607,
5435 612,
5436 615,
5437 619,
5438 626,
5439 633,
5440 640,
5441 646,
5442 650,
5443 653,
5444 659,
5445 665,
5446 670,
5447 673,
5448 678,
5449 685,
5450 691,
5451 697,
5452 703,
5453 708,
5454 712,
5455 717,
5456 719,
5457 722,
5458 725,
5459 732,
5460 736,
5461 738,
5462 742,
5463 747,
5464 753,
5465 757,
5466 763,
5467 767,
5468 769,
5469 769,
5470 777,
5471 780,
5472 784,
5473 790,
5474 797,
5475 807,
5476 810,
5477 813,
5478 815,
5479 817,
5480 822,
5481 829,
5482 830,
5483 835,
5484 844,
5485 848,
5486 851,
5487 854,
5488 862,
5489 864,
5490 873,
5491 876,
5492 881,
5493 884,
5494 888,
5495 895,
5496 899,
5497 901,
5498 904,
5499 908,
5500 912,
5501 919,
5502 927,
5503 931,
5504 937,
5505 941,
5506 944,
5507 948,
5508 950,
5509 955,
5510 960,
5511 963,
5512 970,
5513 975,
5514 979,
5515 983,
5516 985,
5517 992,
5518 993,
5519 998,
5520 1001,
5521 1008,
5522 1012,
5523 1014,
5524 1018,
5525 1023,
5526 1030,
5527 1036,
5528 1040,
5529 1045,
5530 1052,
5531 1058,
5532 1061,
5533 1066,
5534 1069,
5535 1071,
5536 1077,
5537 1080,
5538 1084,
5539 1087,
5540 1090,
5541 1092,
5542 1095,
5543 1100,
5544 1102,
5545 1110,
5546 1117,
5547 1122,
5548 1130,
5549 1133,
5550 1138,
5551 1142,
5552 1144,
5553 1146,
5554 1153,
5555 1158,
5556 1160,
5557 1167,
5558 1172,
5559 1176,
5560 1179,
5561 1183,
5562 1188,
5563 1191,
5564 1193,
5565 1196,
5566 1204,
5567 1210,
5568 1216,
5569 1219,
5570 1221,
5571 1225,
5572 1229,
5573 1234,
5574 1236,
5575 1239,
5576 1244,
5577 1248,
5578 1253,
5579 1256,
5580 1264,
5581 1268,
5582 1271,
5583 1272,
5584 1275,
5585 1278,
5586 1284,
5587 1287,
5588 1291,
5589 1296,
5590 1300,
5591 1304,
5592 1306,
5593 1313,
5594 1317,
5595 1322,
5596 1326,
5597 1332,
5598 1336,
5599 1344,
5600 1349,
5601 1356,
5602 1363,
5603 1368,
5604 1369,
5605 1378,
5606 1381,
5607 1385,
5608 1388,
5609 1395,
5610 1399,
5611 1407,
5612 1414,
5613 1422,
5614 1425,
5615 1433,
5616 1435,
5617 1438,
5618 1439,
5619 1445,
5620 1448,
5621 1450,
5622 1453,
5623 1456,
5624 1470,
5625 1472,
5626 1475,
5627 1481,
5628 1487,
5629 1491,
5630 1494,
5631 1497,
5632 1498,
5633 1503,
5634 1507,
5635 1513,
5636 1517,
5637 1524,
5638 1529,
5639 1534,
5640 1542,
5641 1547,
5642 1550,
5643 1550,
5644 1552,
5645 1553,
5646 1556,
5647 1559,
5648 1563,
5649 1571,
5650 1577,
5651 1580,
5652 1585,
5653 1590,
5654 1594,
5655 1598,
5656 1600,
5657 1602,
5658 1610,
5659 1615,
5660 1620,
5661 1628,
5662 1634,
5663 1637,
5664 1649,
5665 1652,
5666 1656,
5667 1662,
5668 1664,
5669 1670,
5670 1674,
5671 1678,
5672 1687,
5673 1697,
5674 1704,
5675 1709,
5676 1715,
5677 1720,
5678 1725,
5679 1728,
5680 1736,
5681 1740,
5682 1747,
5683 1750,
5684 1754,
5685 1760,
5686 1763,
5687 1765,
5688 1773,
5689 1781,
5690 1783,
5691 1788,
5692 1795,
5693 1802,
5694 1810,
5695 1815,
5696 1820,
5697 1824,
5698 1829,
5699 1836,
5700 1839,
5701 1843,
5702 1847,
5703 1849,
5704 1854,
5705 1859,
5706 1863,
5707 1873,
5708 1880,
5709 1882,
5710 1891,
5711 1895,
5712 1899,
5713 1904,
5714 1909,
5715 1914,
5716 1919,
5717 1923,
5718 1927,
5719 1932,
5720 1938,
5721 1943,
5722 1949,
5723 1954,
5724 1960,
5725 1965,
5726 1968,
5727 1974,
5728 1980,
5729 1983,
5730 1990,
5731 1992,
5732 1995,
5733 2002,
5734 2011,
5735 2017,
5736 2024,
5737 2028,
5738 2035,
5739 2037,
5740 2048,
5741 2055,
5742 2063,
5743 2067,
5744 2069,
5745 2078,
5746 2081,
5747 2085,
5748 2086,
5749 2090,
5750 2097,
5751 2101,
5752 2107,
5753 2110,
5754 2112,
5755 2116,
5756 2119,
5757 2122,
5758 2129,
5759 2136,
5760 2143,
5761 2146,
5762 2156,
5763 2162,
5764 2171,
5765 2175,
5766 2179,
5767 2186,
5768 2189,
5769 2194,
5770 2198,
5771 2206,
5772 2211,
5773 2215,
5774 2222,
5775 2228,
5776 2237,
5777 2241,
5778 2245,
5779 2256,
5780 2259,
5781 2269,
5782 2272,
5783 2275,
5784 2278,
5785 2279,
5786 2281,
5787 2287,
5788 2292,
5789 2297,
5790 2304,
5791 2311,
5792 2316,
5793 2319,
5794 2322,
5795 2327,
5796 2333,
5797 2340,
5798 2343,
5799 2345,
5800 2350,
5801 2358,
5802 2365,
5803 2365,
5804 2368,
5805 2373,
5806 2379,
5807 2388,
5808 2394,
5809 2399
5810 };
5811 const double verify_data[500] = {
5812 1636962,
5813 1714376,
5814 142636,
5815 1151015,
5816 1672341,
5817 2790420,
5818 1447201,
5819 422892,
5820 30953,
5821 1030287,
5822 1335188,
5823 0,
5824 605334,
5825 2278445,
5826 858848,
5827 245423,
5828 950882,
5829 705076,
5830 1312024,
5831 1084284,
5832 1837558,
5833 1201746,
5834 2360392,
5835 1488940,
5836 688178,
5837 2632122,
5838 1481444,
5839 660854,
5840 346453,
5841 982949,
5842 1400599,
5843 1093225,
5844 2856372,
5845 1078398,
5846 1074402,
5847 579548,
5848 1820752,
5849 2638601,
5850 2072665,
5851 749887,
5852 687788,
5853 478788,
5854 1482258,
5855 1207317,
5856 1397243,
5857 794364,
5858 1002505,
5859 1651686,
5860 1028801,
5861 1189726,
5862 1513197,
5863 1214956,
5864 738475,
5865 633771,
5866 1207042,
5867 680857,
5868 899314,
5869 2277406,
5870 773143,
5871 1986687,
5872 907216,
5873 907940,
5874 1539019,
5875 1043338,
5876 681730,
5877 219905,
5878 1397298,
5879 2184201,
5880 1537202,
5881 266744,
5882 563005,
5883 1827909,
5884 1105928,
5885 2286680,
5886 887533,
5887 343193,
5888 238910,
5889 1678393,
5890 2600003,
5891 417502,
5892 1551071,
5893 798273,
5894 398719,
5895 2056881,
5896 1296314,
5897 917292,
5898 190534,
5899 882078,
5900 1979139,
5901 50621,
5902 1048185,
5903 1967771,
5904 1911887,
5905 1895897,
5906 23343,
5907 2658748,
5908 285864,
5909 1027049,
5910 975769,
5911 2488413,
5912 832738,
5913 844130,
5914 1379856,
5915 1785889,
5916 2463463,
5917 782430,
5918 982466,
5919 609500,
5920 706251,
5921 1981399,
5922 1861430,
5923 2146667,
5924 250104,
5925 1166284,
5926 1295022,
5927 189599,
5928 855191,
5929 1005718,
5930 969658,
5931 707377,
5932 561273,
5933 86496,
5934 717937,
5935 97767,
5936 1893638,
5937 779229,
5938 429727,
5939 99564,
5940 1863565,
5941 2267656,
5942 950026,
5943 780700,
5944 581248,
5945 393282,
5946 2134865,
5947 1244700,
5948 1894843,
5949 954212,
5950 1439102,
5951 779512,
5952 1459287,
5953 881497,
5954 2202043,
5955 1447401,
5956 1249637,
5957 765168,
5958 488244,
5959 837127,
5960 1236555,
5961 2281259,
5962 1995666,
5963 25783,
5964 534020,
5965 1486259,
5966 1268571,
5967 875283,
5968 744594,
5969 1410335,
5970 757320,
5971 0,
5972 1922627,
5973 399058,
5974 1490594,
5975 1475527,
5976 1587557,
5977 1695667,
5978 644546,
5979 536038,
5980 224304,
5981 414120,
5982 2029077,
5983 3930385,
5984 377416,
5985 1059074,
5986 1960417,
5987 1439575,
5988 368749,
5989 460183,
5990 2479302,
5991 105204,
5992 1426355,
5993 649313,
5994 2194338,
5995 918200,
5996 1591449,
5997 2229266,
5998 434520,
5999 684504,
6000 1009270,
6001 222922,
6002 600674,
6003 1011867,
6004 1321434,
6005 836127,
6006 2493805,
6007 1448674,
6008 1269364,
6009 1304961,
6010 98554,
6011 2423810,
6012 1570229,
6013 302458,
6014 2806045,
6015 1534004,
6016 1463827,
6017 1085011,
6018 120989,
6019 1701753,
6020 110302,
6021 938429,
6022 1186733,
6023 2255246,
6024 425960,
6025 376311,
6026 341394,
6027 1061333,
6028 2025091,
6029 522270,
6030 598604,
6031 1000824,
6032 2254049,
6033 1857539,
6034 346425,
6035 1345187,
6036 550497,
6037 1251096,
6038 943720,
6039 681558,
6040 555972,
6041 779590,
6042 299796,
6043 1445763,
6044 459865,
6045 774572,
6046 489448,
6047 2407693,
6048 1574903,
6049 1630452,
6050 1907397,
6051 555045,
6052 1902494,
6053 1172223,
6054 142555,
6055 445864,
6056 1376151,
6057 1200389,
6058 327553,
6059 1548402,
6060 1106503,
6061 888650,
6062 41081,
6063 1245270,
6064 845610,
6065 1232215,
6066 387441,
6067 434475,
6068 1204003,
6069 1333189,
6070 1672468,
6071 567827,
6072 11392,
6073 631046,
6074 1299298,
6075 719608,
6076 714169,
6077 362247,
6078 1308257,
6079 530903,
6080 398202,
6081 885445,
6082 2606806,
6083 1354354,
6084 438760,
6085 194928,
6086 712863,
6087 1010340,
6088 2245646,
6089 376041,
6090 876890,
6091 1683404,
6092 955032,
6093 1065455,
6094 925034,
6095 1731713,
6096 1152271,
6097 2093865,
6098 1221433,
6099 629438,
6100 2054936,
6101 2643313,
6102 1322567,
6103 1492288,
6104 1844514,
6105 1802382,
6106 871,
6107 1350044,
6108 967406,
6109 756881,
6110 574442,
6111 1295864,
6112 1815978,
6113 2822668,
6114 2201377,
6115 2729436,
6116 616018,
6117 2318346,
6118 332717,
6119 289665,
6120 97812,
6121 1881483,
6122 1003188,
6123 702530,
6124 409314,
6125 645118,
6126 3645947,
6127 723792,
6128 503126,
6129 1609036,
6130 1647277,
6131 587437,
6132 735899,
6133 666552,
6134 27354,
6135 1045106,
6136 397951,
6137 1087090,
6138 1173872,
6139 1629962,
6140 1334261,
6141 1855668,
6142 2856970,
6143 1341188,
6144 336968,
6145 0,
6146 521349,
6147 53118,
6148 881926,
6149 154917,
6150 942966,
6151 1237636,
6152 820836,
6153 579583,
6154 1436861,
6155 2025006,
6156 634434,
6157 829152,
6158 298073,
6159 205380,
6160 1622350,
6161 1171051,
6162 848451,
6163 2417009,
6164 2016092,
6165 390510,
6166 2721874,
6167 359761,
6168 309038,
6169 1061522,
6170 297026,
6171 1311767,
6172 305305,
6173 854945,
6174 1773244,
6175 2656339,
6176 896058,
6177 1069160,
6178 1552917,
6179 1421821,
6180 440874,
6181 216699,
6182 1654864,
6183 521705,
6184 807422,
6185 1242602,
6186 1329872,
6187 308130,
6188 526463,
6189 27937,
6190 1450630,
6191 1621987,
6192 799154,
6193 1378289,
6194 2519996,
6195 1149046,
6196 579937,
6197 1841561,
6198 1895047,
6199 1009234,
6200 1922198,
6201 2570006,
6202 409696,
6203 442495,
6204 277484,
6205 979605,
6206 1392287,
6207 1023715,
6208 1881778,
6209 2432703,
6210 2297384,
6211 542451,
6212 1368100,
6213 833048,
6214 1038108,
6215 742376,
6216 1542317,
6217 2230186,
6218 1249077,
6219 884020,
6220 1286059,
6221 1102407,
6222 1651393,
6223 1787846,
6224 1370154,
6225 2734166,
6226 2935249,
6227 447485,
6228 736859,
6229 828966,
6230 1547038,
6231 765990,
6232 1427773,
6233 255456,
6234 134871,
6235 1597546,
6236 2173052,
6237 1187286,
6238 2364828,
6239 1220233,
6240 1760369,
6241 75080,
6242 2799969,
6243 1363310,
6244 2347168,
6245 272279,
6246 33698,
6247 1192053,
6248 342501,
6249 356092,
6250 136578,
6251 1701048,
6252 2216796,
6253 1340150,
6254 1852854,
6255 580862,
6256 407410,
6257 1860346,
6258 200649,
6259 954363,
6260 955621,
6261 2234154,
6262 2007706,
6263 646339,
6264 2712491,
6265 1259244,
6266 2368138,
6267 1550431,
6268 1160903,
6269 987838,
6270 650293,
6271 833228,
6272 368144,
6273 1998925,
6274 1733716,
6275 1050000,
6276 1061635,
6277 1144649,
6278 1260205,
6279 851043,
6280 1417512,
6281 2826918,
6282 1059350,
6283 1522135,
6284 1039943,
6285 703837,
6286 1035006,
6287 19505,
6288 211545,
6289 1461101,
6290 1238659,
6291 1414306,
6292 1151385,
6293 2169011,
6294 1101116,
6295 1118290,
6296 335296,
6297 1502266,
6298 1405699,
6299 1762457,
6300 530338,
6301 246108,
6302 484583,
6303 2164048,
6304 1614511,
6305 0,
6306 1446940,
6307 575450,
6308 2043329,
6309 2057251,
6310 774670,
6311 1084124
6312 };