Lines Matching refs:fp
8 fp:= [ 1050, 1344, 2863, 2887, 3100, 3329, 3554, 6030, 6609, 7213, 7991,
30 fp:= [ 33900, 58834 ],
33 fp:= [ 2069, 2114, 6132, 12434, 15906, 17069, 18270, 21341, 25359, 28205,
40 fp:= [ 2, 12 ],
43 fp:= [ 2, 12 ],
46 fp:= [ 2, 12 ],
49 fp:= [ 6, 16 ],
53 fp:= [ 4, 14, 212 ],
56 fp:= [ 2, 12 ],
58 fp:= [ 27307, 44190 ],
61 fp:= [ 2, 12 ],
65 fp:= [ 6, 16 ],
67 fp:= [ 13028, 91624 ],
69 fp:= [ 5988, 11527, 15580, 18768, 19828, 25552, 26484, 26548, 26612,
77 fp:= [ 6946, 6956 ],
79 fp:= [ 28606, 53826, 58373 ],
82 fp:= [ 8, 414 ],
84 fp:= [ 6849, 65149 ],
86 fp:= [ 33371, 42938, 52571 ],
89 fp:= [ 9366, 39091, 47741, 50040, 50168, 59181, 97919 ],
92 fp:= [ 25725, 39192, 44734, 48881, 62174, 89463 ],
95 fp:= [ 6946, 6956, 96607 ],
97 fp:= [ 21748, 32636, 44783, 49327, 51842, 63989, 85368 ],
100 fp:= [ 7034, 96695 ],
102 fp:= [ 1921, 4672, 8403, 19671, 24247, 31813, 32470, 34672, 37214,
105 fp:= [ 29891, 66627 ],
107 fp:= [ 26136, 63294 ],
109 fp:= [ 1596, 1921, 4672, 6872, 7091, 8403, 13368, 14395, 19671, 24247,
114 fp:= [ 14, 212 ],
117 fp:= [ 2, 1221 ],
120 fp:= [ 4, 14 ],
122 fp:= [ 37731, 53444 ],
125 fp:= [ 28, 1216 ],
128 fp:= [ 2, 12 ],
131 fp:= [ 22, 616 ],
134 fp:= [ 2, 1221 ],
137 fp:= [ 4, 14 ],
140 fp:= [ 182, 361 ],
143 fp:= [ 14, 212 ],
146 fp:= [ 16, 412 ],
149 fp:= [ 2, 12 ],
151 fp:= [ 58754, 87346 ],
153 fp:= [ 22593, 58284 ],
156 fp:= [ 6956, 50866 ],
158 fp:= [ 6849, 65149 ],
160 fp:= [ 5984184832343133252810170525763847269449449329743040,
165 fp:= [ 10206, 44106 ],
167 fp:= [ 1093, 13178, 29869, 37109, 49517, 56085, 56549, 65554, 84094,
170 fp:= [ 25725, 39192, 48881, 62174, 89463 ],
172 fp:= [ 9810, 19381 ],
174 fp:= [ 210, 30530, 31773, 33016, 34259, 64579, 65822, 67065, 97385,
177 fp:= [ 38563, 57232, 72805 ],
179 fp:= [ 4903, 66208 ],
182 fp:= [ 22, 418 ],
184 fp:= [ 18591, 20982, 29192, 41159, 79568, 82709 ],
187 fp:= [ 4, 14 ],
190 fp:= [ 30810, 67622, 76418 ],
192 fp:= [ 11269, 11270 ],
195 fp:= [ 27666, 89874 ],
197 fp:= [ 759, 29899, 71449, 83999 ],
200 fp:= [ 18, 414 ],
202 fp:= [ 2621, 3654, 6814, 14588, 36350, 87742 ],
205 fp:= [ 4, 14 ],
207 fp:= [ 29774, 54593, 55763, 70766 ],
210 fp:= [ 22, 814 ],
212 fp:= [ 3328, 7574, 53489, 84021 ],
215 fp:= [ 222, 4361 ],
218 fp:= [ 8, 414 ],
221 fp:= [ 416, 812 ],
223 fp:= [ 65711, 84139, 94072, 97275, 97966 ],
226 fp:= [ 25863, 69763 ],
228 fp:= [ 44049, 44503, 60639 ],
230 fp:= [ 26725, 62400, 63347, 96570 ],
232 fp:= [ 22293, 54600, 99363 ],
234 fp:= [ 61671, 69592, 95437 ],
236 fp:= [ 71909, 96165 ],
238 fp:= [ 2475, 4511, 4868, 6547, 7103, 7383, 8428, 8624, 9898, 13832,
247 fp:= [ 2, 12 ],
250 fp:= [ 2, 12 ],
253 fp:= [ 2, 12 ],
256 fp:= [ 8, 18 ],
259 fp:= [ 2, 12 ],
262 fp:= [ 2, 12 ],
265 fp:= [ 2, 12 ],
268 fp:= [ 8, 18 ],
271 fp:= [ 2, 12 ],
274 fp:= [ 2, 12 ],
277 fp:= [ 2, 12 ],
280 fp:= [ 8, 18 ],
283 fp:= [ 2, 12 ],
286 fp:= [ 2, 12 ],
289 fp:= [ 2, 12 ],
292 fp:= [ 8, 18 ],
295 fp:= [ 3462, 6921 ],
298 fp:= [ 4, 212 ],
301 fp:= [ 2, 12 ],
304 fp:= [ 2, 12 ],
307 fp:= [ 2, 12 ],
310 fp:= [ 2, 12 ],
313 fp:= [ 2, 12 ],
315 fp:= [ 3492, 21743, 26314, 28399, 32970, 35055, 49136, 55792, 62448,
319 fp:= [ 73092, 84674, 93244 ],
322 fp:= [ 2867, 8059, 29620, 75965, 87606 ],
325 fp:= [ 20474, 23221 ],
329 fp:= [ 4, 14 ],
331 fp:= [ 36108, 63079, 90479 ],
334 fp:= [ 62993, 65919 ],
337 fp:= [ 31161, 93143 ],
339 fp:= [ 5600, 9307, 53648 ],
341 fp:= [ 32650, 69185 ],
343 fp:= [ 2035, 4441, 33997, 50083, 53648 ],
346 fp:= [ 59763, 69763 ],
348 fp:= [ 1561, 14986, 65181, 70890, 73249 ],
350 fp:= [ 74543, 84015 ],
352 fp:= [ 75604, 75863 ],
354 fp:= [ 53173, 88405 ],
357 fp:= [ 8, 414 ],
360 fp:= [ 8, 414 ],
362 fp:= [ 22593, 58284, 71909, 96165 ],
364 fp:= [ 48175, 58651 ],
366 fp:= [ 72946, 75868, 99258 ],
369 fp:= [ 32714, 38955 ],
371 fp:= [ 17529, 23271 ],
373 fp:= [ 3674, 71850 ],
375 fp:= [ 25863, 59763, 69763 ],
377 fp:= [ 42938, 52571 ],
380 fp:= [ 8, 18 ],
382 fp:= [ 71909, 96165 ],
384 fp:= [ 2035, 20059, 26715 ],
387 fp:= [ 28766, 78021 ],
390 fp:= [ 4, 212 ],
392 fp:= [ 26726, 42307 ],
394 fp:= [ 4946, 24282, 32196, 32230, 36778, 41473, 45602, 59199, 59446,
399 fp:= [ 2, 12 ],
402 fp:= [ 2, 12 ],
405 fp:= [ 2, 12 ],
408 fp:= [ 8, 18 ],
411 fp:= [ 2, 12 ],
414 fp:= [ 582, 1161 ],
417 fp:= [ 4, 212 ],
420 fp:= [ 2, 12 ],
422 fp:= [ 39929, 40225, 43257, 43790, 46585, 49913 ],
425 fp:= [ 88612, 98842 ],
428 fp:= [ 7812, 11833, 45714, 48266, 55616, 63690 ],
431 fp:= [ 73530, 83540 ],
433 fp:= [ 15996, 28606, 41216, 53826 ],
435 fp:= [ 16851, 93209 ],
437 fp:= [ 50471, 53801 ],
440 fp:= [ 8498, 14369, 15038, 18976, 19904, 21789, 27386, 32721, 35279,
448 fp:= [ 2, 12 ],
451 fp:= [ 2, 12 ],
454 fp:= [ 2, 12 ],
457 fp:= [ 2, 12 ],
461 fp:= [ 2342, 4681 ],
464 fp:= [ 2, 12 ],
467 fp:= [ 2, 12 ],
470 fp:= [ 2, 12 ],
473 fp:= [ 4, 212 ],
476 fp:= [ 8, 18 ],
479 fp:= [ 2, 12 ],
482 fp:= [ 1222, 2441 ],
485 fp:= [ 4, 212 ],
488 fp:= [ 2, 12 ],
491 fp:= [ 1222, 2441 ],
494 fp:= [ 4, 212 ],
497 fp:= [ 2, 12 ],
500 fp:= [ 2, 12 ],
503 fp:= [ 8, 18 ],
506 fp:= [ 32882, 36426 ],
508 fp:= [ 32321, 41496, 71483 ],
510 fp:= [ 7034, 62795, 96695 ],
512 fp:= [ 1947, 8693, 29715, 75625, 86390 ],
514 fp:= [ 12785, 16325, 19860, 34728, 45327 ],
516 fp:= [ 8232, 37935, 47791 ],
519 fp:= [ 8, 18 ],
522 fp:= [ 8, 18 ],
524 fp:= [ 6946, 6956 ],
526 fp:= [ 3386, 11449, 28606, 36669, 53826 ],
529 fp:= [ 182, 361 ],
532 fp:= [ 14, 212 ],
534 fp:= [ 28606, 53826, 64579, 98628 ],
536 fp:= [ 338, 526, 8273, 20830, 21274, 30826, 40139, 48574, 50691, 60389,
540 fp:= [ 9368, 75898 ],
542 fp:= [ 91814, 94237 ],
544 fp:= [ 23743, 81276 ],
546 fp:= [ 38958, 51612 ],
549 fp:= [ 292, 1561, 9043, 13274, 16097, 16924, 19864, 20761, 29534, 32474,
555 fp:= [ 57737, 57796, 65701, 86792 ],
557 fp:= [ 834, 13950 ],
559 fp:= [ 15346, 71953 ],
562 fp:= [ 4, 14, 212 ],
565 fp:= [ 4, 14, 212 ],
567 fp:= [ 84129, 93880 ],
569 fp:= [ 29503, 67471 ],
571 fp:= [ 89407, 97596 ],
573 fp:= [ 8079, 60001 ],
575 fp:= [ 26675, 65581 ],
577 fp:= [ 62236, 96284 ],
579 fp:= [ 46582, 61791 ],
581 fp:= [ 28145, 89162 ],
583 fp:= [ 26725, 29784, 59924, 63785 ],
586 fp:= [ 1081, 66421 ],
589 fp:= [ 4, 14 ],
592 fp:= [ 8, 18 ],
595 fp:= [ 4, 14 ],
598 fp:= [ 4, 14 ],
600 fp:= [ 43276, 54600, 70700 ],
603 fp:= [ 982, 1561 ],
606 fp:= [ 8, 414 ],
609 fp:= [ 8, 414 ],
611 fp:= [ 2303, 48571 ],
614 fp:= [ 4, 212 ],
617 fp:= [ 4, 212 ],
619 fp:= [ 4134, 73355 ],
621 fp:= [ 36589, 38541 ],
623 fp:= [ 3093, 62939 ],
625 fp:= [ 36566, 43757 ],
627 fp:= [ 9974, 78807 ],
629 fp:= [ 61671, 69592, 95437 ],
632 fp:= [ 4, 14 ],
634 fp:= [ 34554, 56019, 56493, 63609 ],
636 fp:= [ 1341, 94242 ],
638 fp:= [ 62448, 78934 ],
640 fp:= [ 46888, 50752, 76051 ],
643 fp:= [ 4, 212 ],
646 fp:= [ 4, 14 ],
649 fp:= [ 4, 212 ],
652 fp:= [ 4, 14 ],
655 fp:= [ 4, 14 ],
657 fp:= [ 16614, 51534, 71633, 79243 ],
659 fp:= [ 45089, 54618 ],
661 fp:= [ 57525, 73831 ],
663 fp:= [ 53937, 89478 ],
666 fp:= [ 2, 12 ],
669 fp:= [ 2, 12 ],
671 fp:= [ 56649, 60563 ],
673 fp:= [ 4780, 62997 ],
675 fp:= [ 13948, 98089 ],
677 fp:= [ 34070, 90095 ],
679 fp:= [ 1190, 44820 ],
681 fp:= [ 6259, 16259 ],
683 fp:= [ 35055, 41711, 75760 ],
685 fp:= [ 37311, 95231, 95954 ],
687 fp:= [ 49908, 74643 ],
690 fp:= [ 483, 58261 ],
693 fp:= [ 12, 814 ],
696 fp:= [ 16, 1214 ],
699 fp:= [ 8, 414 ],
701 fp:= [ 6552, 68028, 73258 ],
703 fp:= [ 33371, 42938, 52571 ],
705 fp:= [ 11701, 12523, 21582, 63189, 97995 ],
707 fp:= [ 4909, 54722, 73966 ],
709 fp:= [ 810, 7294, 8565, 13570 ],
711 fp:= [ 2114, 2786, 6132, 15041, 21341, 28958, 48185, 54934, 56123, 61558,
715 fp:= [ 53161, 64850 ],
718 fp:= [ 2, 12 ],
721 fp:= [ 2, 12 ],
723 fp:= [ 4566, 62175 ],
725 fp:= [ 4786, 26903, 28836, 84111 ],
727 fp:= [ 38881, 51473 ],
729 fp:= [ 66769, 73878 ],
731 fp:= [ 47940, 94800 ],
733 fp:= [ 7841, 54701 ],
735 fp:= [ 28197, 99274 ],
737 fp:= [ 19408, 39769 ],
739 fp:= [ 27901, 35010 ],
741 fp:= [ 46224, 84468 ],
743 fp:= [ 15966, 36452 ],
745 fp:= [ 22532, 70521 ],
747 fp:= [ 63949, 70066, 73520, 73530 ],
749 fp:= [ 24112, 55675, 92210 ],
751 fp:= [ 210, 31773, 65822, 97385 ],
754 fp:= [ 563, 28561, 38541 ],
757 fp:= [ 6, 16 ],
760 fp:= [ 14, 222, 618, 1014 ],
762 fp:= [ 33016, 98628 ],
764 fp:= [ 1093, 5803, 13178, 21052, 56085, 63865, 65134, 65554, 84094,
769 fp:= [ 1897, 6160, 9436, 12975, 13657, 16125, 20965, 27654, 34023, 34343,
774 fp:= [ 9091, 82204 ],
777 fp:= [ 41476, 43996 ],
779 fp:= [ 38247, 42148 ],
781 fp:= [ 2035, 5600, 20059, 23387, 26715, 53648 ],
784 fp:= [ 28766, 78021 ],
786 fp:= [ 12657, 46983 ],
788 fp:= [ 10206, 44106 ],
790 fp:= [ 2106, 2280, 3338, 7573, 8809, 12348, 18317, 21565, 27269, 28778,
795 fp:= [ 14, 212 ],
798 fp:= [ 2, 3461 ],
801 fp:= [ 4, 14 ],
803 fp:= [ 21525, 41827 ],
805 fp:= [ 57387, 71750 ],
807 fp:= [ 52972, 88946 ],
810 fp:= [ 16, 412 ],
813 fp:= [ 2, 12 ],
815 fp:= [ 17696, 33657 ],
818 fp:= [ 16, 412 ],
821 fp:= [ 2, 1221 ],
824 fp:= [ 4, 14 ],
827 fp:= [ 14, 212 ],
830 fp:= [ 2, 581 ],
833 fp:= [ 4, 14 ],
836 fp:= [ 14, 212 ],
839 fp:= [ 2, 3461 ],
842 fp:= [ 4, 14 ],
844 fp:= [ 3338, 6285, 17234, 17362, 21565, 24018, 27269, 37791, 55853,
847 fp:= [ 46976, 57396, 65777 ],
849 fp:= [ 16625, 70557 ],
851 fp:= [ 2035, 5600, 53648 ],
854 fp:= [ 52967, 60267 ],
856 fp:= [ 2093, 4311, 6803, 8498, 15468, 23437, 26507, 27386, 30686, 36095,
864 fp:= [ 2610, 11752 ],
866 fp:= [ 39500, 82448 ],
869 fp:= [ 49912, 78579 ],
872 fp:= [ 89834, 97837 ],
874 fp:= [ 34583, 42418 ],
876 fp:= [ 49998, 69763 ],
878 fp:= [ 59493, 63325 ],
880 fp:= [ 28244, 31893, 67934, 72001, 91207 ],
882 fp:= [ 18327, 99463 ],
884 fp:= [ 16259, 60159 ],
886 fp:= [ 1561, 14986, 20761, 33371, 42938, 52571, 65181, 70890, 88612,
889 fp:= [ 10653, 55766 ],
891 fp:= [ 45017, 91752 ],
893 fp:= [ 11701, 12523, 97995 ],
895 fp:= [ 54722, 73966 ],
897 fp:= [ 7294, 8565 ],
899 fp:= [ 1472, 29181 ],
901 fp:= [ 25929, 49496 ],
903 fp:= [ 22593, 58284 ],
905 fp:= [ 51779, 94406 ],
907 fp:= [ 42563, 74436, 88536, 96167 ],
909 fp:= [ 1947, 8693, 29715, 75625, 86390 ],
912 fp:= [ 7034, 64511, 96695 ],
914 fp:= [ 4931, 5300, 8448, 33357, 98502 ],
916 fp:= [ 11885, 18912, 46485, 68137, 97414 ],
918 fp:= [ 481, 7061, 12785, 16325, 19860, 34728, 45327, 61553, 68775,
921 fp:= [ 11833, 54145 ],
924 fp:= [ 6946, 6956, 21265 ],
926 fp:= [ 15996, 41216 ],
928 fp:= [ 48266, 63690 ],
931 fp:= [ 7034, 96695 ],
933 fp:= [ 1947, 4931, 5300, 8448, 8693, 29715, 33357, 75625, 86390,
936 fp:= [ 24964, 58012 ],
938 fp:= [ 16145, 17826 ],
940 fp:= [ 1921, 4672, 8232, 8403, 19671, 24247, 32470, 37214, 37935,
943 fp:= [ 52590, 75244 ],
946 fp:= [ 8, 414 ],
948 fp:= [ 23220, 43304 ],
950 fp:= [ 21568, 67030 ],
952 fp:= [ 40454, 92455 ],
955 fp:= [ 8, 414 ],
958 fp:= [ 8, 414 ],
960 fp:= [ 62908, 93339 ],
963 fp:= [ 8, 414 ],
966 fp:= [ 8, 414 ],
968 fp:= [ 13762, 23032 ],
970 fp:= [ 41, 81 ],
972 fp:= [ 41, 42, 81, 82 ],
974 fp:= [ 19006, 32335 ],
977 fp:= [ 25026, 35940, 67861, 68546, 98385 ],
980 fp:= [ 4007, 4946, 11716, 20946, 32196, 32229, 34137, 36778, 41473,
985 fp:= [ 18013, 18332 ],
988 fp:= [ 6946, 49171 ],
991 fp:= [ 35484, 91245 ],
993 fp:= [ 4931, 5300, 8448, 33357, 98502 ],
995 fp:= [ 47627, 80005 ],
997 fp:= [ 1700, 17549, 22312, 91290 ],
999 fp:= [ 8768, 54447 ],
1001 fp:= [ 357, 45846 ],
1003 fp:= [ 9542, 38621, 45187, 66517 ],
1005 fp:= [ 481, 1921, 4672, 7061, 8403, 12785, 16325, 19671, 19860, 24247,
1009 fp:= [ 45527, 54586 ],
1011 fp:= [ 41821, 56792 ],
1013 fp:= [ 14655, 17212 ],
1015 fp:= [ 1100, 26497 ],
1017 fp:= [ 34197, 67566 ],
1019 fp:= [ 37229, 54139 ],
1021 fp:= [ 48974, 85935 ],
1023 fp:= [ 231, 31545 ],
1025 fp:= [ 23385, 77541 ],
1027 fp:= [ 68260, 88622 ],
1029 fp:= [ 36076, 45522 ],
1031 fp:= [ 90602, 92962, 97559 ],
1033 fp:= [ 3713, 95707 ],
1035 fp:= [ 25633, 48397, 73036 ],
1037 fp:= [ 29264, 32507 ],
1039 fp:= [ 7812, 21046, 55616, 92768 ],
1042 fp:= [ 46585, 91838 ],
1045 fp:= [ 41499, 75399 ],
1047 fp:= [ 29869, 32673, 37109, 49517, 56549, 85330 ],
1049 fp:= [ 3284, 11620, 12019, 23838, 86106, 94236, 96169 ],
1051 fp:= [ 5890, 6723, 8989, 26147, 31193, 54921, 57881, 61429, 63853,
1056 fp:= [ 5928, 11092, 22054, 30170, 35842, 47008, 89073 ],
1058 fp:= [ 390, 2168, 51039, 59317, 70809, 70854, 92308 ],
1060 fp:= [ 60866, 90510, 92168 ],
1062 fp:= [ 6688, 33317, 40832, 55373, 60694, 63744, 88176 ],
1065 fp:= [ 6956, 21265, 87026, 93143 ],
1067 fp:= [ 24059, 98500 ],
1069 fp:= [ 24112, 55675 ],
1071 fp:= [ 22752, 34619 ],
1073 fp:= [ 10041, 31322, 54935, 56209, 61866, 62993, 65919 ],
1076 fp:= [ 2, 12 ],
1079 fp:= [ 4, 14 ],
1082 fp:= [ 2, 12 ],
1084 fp:= [ 38104, 43885, 89323, 89536, 90968 ],
1086 fp:= [ 42938, 52571, 75760 ],
1089 fp:= [ 1007, 24792 ],
1091 fp:= [ 51418, 81821 ],
1094 fp:= [ 4, 14 ],
1097 fp:= [ 4, 14 ],
1099 fp:= [ 25585, 87429 ],
1102 fp:= [ 460, 33956, 34128, 45297, 55284, 79965, 87780 ],
1105 fp:= [ 29869, 32673, 37109, 49517, 56549, 85330 ],
1108 fp:= [ 7812, 63690 ],
1111 fp:= [ 1117, 33813 ],
1114 fp:= [ 3752, 46422, 55107, 68629, 74693 ],
1117 fp:= [ 41, 42, 82 ],
1119 fp:= [ 21, 41, 42, 82, 85 ],
1121 fp:= [ 2011, 4823, 83445, 91930, 94395 ],
1123 fp:= [ 5053, 26701 ],
1125 fp:= [ 338, 8273, 30826, 40139, 48574, 68375, 72946, 74330, 74609 ],
1128 fp:= [ 9368, 75898 ],
1131 fp:= [ 181, 261 ],
1134 fp:= [ 38074, 40378 ],
1138 fp:= [ 43201, 52100 ],
1140 fp:= [ 25691, 26126 ],
1144 fp:= [ 2376, 61566 ],
1146 fp:= [ 91814, 94237 ],
1149 fp:= [ 2, 12 ],
1151 fp:= [ 3664, 90749 ],
1154 fp:= [ 8023307034227878640581169638000909805692908197111363448,
1159 fp:= [ 38958, 51612 ],
1162 fp:= [ 2, 12 ],
1164 fp:= [ 11917, 74235 ],
1168 fp:= [ 11449, 35450, 36669, 60670, 85890 ],
1171 fp:= [ 5042, 9781 ],
1173 fp:= [ 19938, 81295 ],
1175 fp:= [ 26820, 29829, 30829, 64690 ],
1177 fp:= [ 45688, 48976, 72850 ],
1180 fp:= [ 5472, 44106 ],
1182 fp:= [ 2867, 8059, 29620, 75965, 87606 ],
1184 fp:= [ 24614, 25725, 28422, 39192, 48881, 60035, 61519, 62174, 74298,
1187 fp:= [ 338, 733, 95968, 96121, 99604 ],
1190 fp:= [ 24614, 28422, 60035, 61519, 74298 ],
1193 fp:= [ 8273, 30826, 68375 ],
1196 fp:= [ 45801, 75723 ],
1199 fp:= [ 4, 14 ],
1201 fp:= [ 22876, 26426 ],
1205 fp:= [ 15161, 34479 ],
1208 fp:= [ 4, 14 ],
1210 fp:= [ 23075, 91314 ],
1213 fp:= [ 26, 1214 ],
1215 fp:= [ 26537, 28381 ],
1219 fp:= [ 10206, 44106, 94607 ],
1221 fp:= [ 42971, 73564 ],
1224 fp:= [ 8, 18 ],
1227 fp:= [ 8, 18 ],
1230 fp:= [ 8, 18 ],
1232 fp:= [ 24614, 28422, 60035, 61519, 74298 ],
1234 fp:= [ 1093, 13178, 56085, 65554, 84094 ],
1236 fp:= [ 6132, 8432, 8667, 14945, 14964, 15041, 15906, 25359, 32336, 34247,
1242 fp:= [ 476, 53085 ],
1246 fp:= [ 49430, 99291 ],
1248 fp:= [ 24112, 49019, 66779, 98866 ],
1251 fp:= [ 5647, 16726 ],
1253 fp:= [ 1873, 2157, 11885, 13934, 18912, 22845, 22909, 34374, 46485,
1257 fp:= [ 13862, 41943 ],
1259 fp:= [ 65508, 90265 ],
1261 fp:= [ 18873, 57232 ],
1263 fp:= [ 34258, 34511 ],
1265 fp:= [ 3846, 38997 ],
1267 fp:= [ 58227, 87628 ],
1269 fp:= [ 2830, 52761 ],
1271 fp:= [ 26327, 51262 ],
1273 fp:= [ 15093, 27375 ],
1275 fp:= [ 23781, 49929 ],
1277 fp:= [ 28809, 55060 ],
1279 fp:= [ 15371, 78405 ],
1281 fp:= [ 27693, 43001 ],
1283 fp:= [ 3313, 67002 ],
1285 fp:= [ 34941, 98728 ],
1287 fp:= [ 87026, 96607 ],
1289 fp:= [ 31773, 41216 ],
1291 fp:= [ 22009, 91297 ],
1293 fp:= [ 71909, 96165 ],
1296 fp:= [ 10041, 26548, 31322, 54935, 56209, 61866 ],
1299 fp:= [ 1, 24066, 30722, 55629, 60486, 62285, 86350, 93006 ],
1302 fp:= [ 56921, 93006 ],
1305 fp:= [ 62448, 73107 ],
1308 fp:= [ 25585, 53966, 78937, 88540, 98143 ],
1311 fp:= [ 23799, 53804 ],
1313 fp:= [ 29178, 67836 ],
1315 fp:= [ 7266, 15236 ],
1317 fp:= [ 9682, 39555, 70119, 95598 ],
1319 fp:= [ 31490, 56969 ],
1321 fp:= [ 19381, 19391 ],
1323 fp:= [ 210, 31773, 65822, 97385 ],
1325 fp:= [ 4939, 9197, 14185, 99004 ],
1327 fp:= [ 45862, 76060 ],
1329 fp:= [ 34496, 41995 ],
1331 fp:= [ 8349, 89859, 96298 ],
1334 fp:= [ 2533, 4233, 27440, 52347, 59003, 77534, 90714 ],
1338 fp:= [ 16, 412 ],
1340 fp:= [ 8232, 37935, 47791 ],
1343 fp:= [ 2582, 2646, 2710, 4939, 5003, 5067, 9193, 9366, 11723, 11955,
1354 fp:= [ 52614, 70917, 93543 ],
1362 fp:= [ 2451, 25430, 31934, 42584, 62500, 88902, 96761 ],
1365 fp:= [ 10958, 17139, 20133 ],
1368 fp:= [ 53770, 77826 ],
1371 fp:= [ 32450, 61511, 90572 ],
1374 fp:= [ 36559, 61471 ],
1377 fp:= [ 49251, 62795 ],
1379 fp:= [ 2157, 22909, 62259 ],
1381 fp:= [ 12785, 16325, 19860, 34728, 38759, 45327, 78318, 98668 ],
1383 fp:= [ 62782, 68962 ],
1386 fp:= [ 4, 14 ],
1388 fp:= [ 22239, 81211 ],
1390 fp:= [ 21632, 26130 ],
1393 fp:= [ 4, 14 ],
1395 fp:= [ 42785, 97023 ],
1397 fp:= [ 68084, 96207 ],
1400 fp:= [ 4, 14 ],
1403 fp:= [ 4, 14 ],
1405 fp:= [ 1093, 13178, 39091, 47741, 56085, 65554, 84094 ],
1408 fp:= [ 45028, 97022 ],
1411 fp:= [ 4, 14 ],
1413 fp:= [ 48886, 71250 ],
1416 fp:= [ 4, 14 ],
1419 fp:= [ 4, 14 ],
1422 fp:= [ 3, 1782 ],
1425 fp:= [ 4, 14 ],
1427 fp:= [ 19217, 83857 ],
1429 fp:= [ 16993, 82409 ],
1432 fp:= [ 4, 14 ],
1434 fp:= [ 61097, 89158 ],
1437 fp:= [ 4, 14 ],
1439 fp:= [ 4256, 12341, 17431, 18856, 21991, 24662, 29961, 43727, 50093,
1444 fp:= [ 526, 18112, 21274, 27287, 40597, 73935, 89537, 93532, 98911,
1449 fp:= [ 37241, 52630 ],
1452 fp:= [ 10395, 10949, 12580, 29010, 30232, 39536, 66589, 72787, 73251,
1456 fp:= [ 2682, 81852 ],
1458 fp:= [ 10920, 86402 ],
1460 fp:= [ 8597, 43961 ],
1462 fp:= [ 9424, 32328 ],
1464 fp:= [ 14497, 31866, 35590, 36108, 63079, 90479 ],
1467 fp:= [ 338, 526, 21274, 21669, 46022, 47298, 48574, 68669, 73935, 74330,
1471 fp:= [ 43735, 92491 ],
1474 fp:= [ 34864, 44447 ],
1479 fp:= [ 4203, 17735 ],
1483 fp:= [ 18334, 63316, 66884 ],
1485 fp:= [ 50779, 81809, 96351 ],
1488 fp:= [ 7007, 66595 ],
1493 fp:= [ 8416, 50457 ],
1497 fp:= [ 5148, 45714, 86011, 88876 ],
1500 fp:= [ 53366, 87266 ],
1502 fp:= [ 4931, 5300, 8448, 33357, 98502 ],
1505 fp:= [ 38104, 43885, 89323, 89536, 90968 ],
1508 fp:= [ 22774, 53941, 55732 ],
1511 fp:= [ 2, 3 ],
1514 fp:= [ 10206, 44106 ],
1516 fp:= [ 3338, 21565, 27269, 37791, 42971, 55853, 56317, 72802, 73476,
1519 fp:= [ 62294, 79141 ],
1521 fp:= [ 91875, 97843 ],
1523 fp:= [ 64288, 81135 ],
1525 fp:= [ 41862, 89272 ],
1527 fp:= [ 49908, 63520, 83519 ],
1530 fp:= [ 8, 414 ],
1533 fp:= [ 8, 414 ],
1536 fp:= [ 8, 414 ],
1538 fp:= [ 44525, 46910 ],
1540 fp:= [ 34880, 49508 ],
1542 fp:= [ 5395, 25889 ],
1545 fp:= [ 8, 414 ],
1548 fp:= [ 8, 414 ],
1550 fp:= [ 52823, 95286 ],
1552 fp:= [ 54817, 77998 ],
1554 fp:= [ 24614, 25725, 28422, 39192, 48881, 60035, 61519, 62174, 74298,
1557 fp:= [ 3804, 92214 ],
1559 fp:= [ 5787, 26527 ],
1561 fp:= [ 41463, 50288 ],
1563 fp:= [ 60553, 64684 ],
1565 fp:= [ 4707, 13733, 30672, 70490, 78403, 87429, 96455 ],
1569 fp:= [ 2, 12 ],
1572 fp:= [ 4, 212 ],
1575 fp:= [ 8, 18 ],
1577 fp:= [ 30585, 64619, 70144 ],
1580 fp:= [ 12785, 16325, 19860, 34728, 45327, 75901, 89466 ],
1583 fp:= [ 5767, 95232 ],
1586 fp:= [ 5302, 25523, 35646, 47508, 65490, 95587 ],
1589 fp:= [ 210, 31773, 34259, 65822, 68308 ],
1592 fp:= [ 26271, 92381 ],
1594 fp:= [ 6956, 96607 ],
1596 fp:= [ 36669, 45763 ],
1598 fp:= [ 32251, 38944, 74300 ],
1600 fp:= [ 12269, 14433 ],
1602 fp:= [ 42971, 73564 ],
1605 fp:= [ 176, 3560, 5527, 6373, 10509, 12730, 19219, 35248, 38061, 42961,
1610 fp:= [ 43790, 95403 ],
1613 fp:= [ 5668, 6596, 12397, 13633, 14869, 24895, 25823, 28636, 32330,
1618 fp:= [ 44106, 94607 ],
1620 fp:= [ 24614, 28422, 60035, 61519, 74298 ],
1622 fp:= [ 7573, 12348, 18317, 52811, 53517, 60954, 72555 ],
1624 fp:= [ 78032, 78154, 96119 ],
1626 fp:= [ 14242, 24862, 58230, 75533 ],
1628 fp:= [ 13211, 33471, 81766, 83880 ],
1630 fp:= [ 33188, 48613, 57863, 73139 ],
1632 fp:= [ 110, 6756, 55051, 57367 ],
1634 fp:= [ 67481, 73161, 78649 ],
1636 fp:= [ 21431, 22458, 42668, 69726 ],
1638 fp:= [ 13733, 30672, 62577, 79516, 96455 ],
1641 fp:= [ 42308, 77707 ],
1643 fp:= [ 2043, 48999 ],
1646 fp:= [ 481, 7061, 61553, 68775, 82712 ],
1649 fp:= [ 40274, 41493, 90714 ],
1652 fp:= [ 3752, 8497, 10591, 12829, 14526, 17161, 21906, 22300, 30474,
1658 fp:= [ 13082, 92377, 94317 ],
1661 fp:= [ 6756, 43912, 55356 ],
1664 fp:= [ 5613, 22392 ],
1667 fp:= [ 59763, 69763 ],
1669 fp:= [ 42938, 52571, 88612, 98842 ],
1671 fp:= [ 22593, 58284 ],
1673 fp:= [ 6259, 16259, 40394 ],
1675 fp:= [ 3492, 10148, 21743, 28399, 35055, 41711, 62448, 69104, 75760 ],
1678 fp:= [ 214, 412 ],
1681 fp:= [ 6, 16, 214, 412 ],
1684 fp:= [ 16, 412 ],
1687 fp:= [ 12, 22 ],
1690 fp:= [ 643, 74581 ],
1693 fp:= [ 6, 214 ],
1696 fp:= [ 6, 214 ],
1699 fp:= [ 8, 18, 216, 414, 612 ],
1702 fp:= [ 6, 214 ],
1705 fp:= [ 1744, 87420, 98760 ],
1708 fp:= [ 16, 412 ],
1711 fp:= [ 483, 58261 ],
1714 fp:= [ 4, 212 ],
1717 fp:= [ 1744, 87420, 98760 ],
1720 fp:= [ 214, 412 ],
1723 fp:= [ 4, 212 ],
1726 fp:= [ 8, 414, 612 ],
1729 fp:= [ 742, 1081 ],
1732 fp:= [ 14, 212 ],
1734 fp:= [ 2249, 36298, 42954, 95254 ],
1736 fp:= [ 12083, 32915 ],
1738 fp:= [ 95885, 97191 ],
1740 fp:= [ 17161, 38759, 54196, 78318, 98668 ],
1743 fp:= [ 50013, 66623, 76637 ],
1746 fp:= [ 20820, 30768, 55675 ],
1749 fp:= [ 3975, 84414 ],
1751 fp:= [ 46204, 83358 ],
1753 fp:= [ 38067, 66124 ],
1755 fp:= [ 12488, 68891 ],
1758 fp:= [ 42, 85 ],
1760 fp:= [ 40225, 49913 ],
1763 fp:= [ 11449, 24059, 28606, 36669, 45763, 49279, 85890, 98500 ],
1766 fp:= [ 5042, 21267, 24276, 64309 ],
1768 fp:= [ 21361, 72118 ],
1770 fp:= [ 1668, 38248 ],
1772 fp:= [ 15165, 50672, 74300 ],
1775 fp:= [ 8, 414 ],
1778 fp:= [ 8, 414 ],
1781 fp:= [ 8, 18 ],
1783 fp:= [ 12269, 14433 ],
1785 fp:= [ 36990, 65057 ],
1787 fp:= [ 30829, 92999 ],
1789 fp:= [ 28385, 34706 ],
1791 fp:= [ 35055, 75760 ],
1794 fp:= [ 2835, 6832, 10143, 14714, 17338, 17806, 18090, 19453, 19517,
1801 fp:= [ 16, 412 ],
1805 fp:= [ 4, 14, 212 ],
1809 fp:= [ 4, 14, 212 ],
1812 fp:= [ 42526, 52526 ],
1814 fp:= [ 5577, 10148, 28399, 35055, 41711, 62448, 64533, 69104, 71189,
1817 fp:= [ 76831, 96653 ],
1819 fp:= [ 59390, 63018 ],
1821 fp:= [ 422, 16788, 41440 ],
1823 fp:= [ 6346, 19430, 37311, 62511, 68605, 82547, 95231, 95954 ],
1826 fp:= [ 49908, 61880, 74643, 95080 ],
1829 fp:= [ 22, 814 ],
1831 fp:= [ 7718, 11544 ],
1833 fp:= [ 35579, 44856 ],
1835 fp:= [ 3519, 27313, 53678 ],
1837 fp:= [ 45848, 48125 ],
1839 fp:= [ 6552, 59455, 68028, 73258, 93206 ],
1842 fp:= [ 8, 18 ],
1844 fp:= [ 11072, 52052 ],
1846 fp:= [ 88612, 98842 ],
1848 fp:= [ 25929, 29038, 33945, 40835, 49496, 64309, 89100 ],
1850 fp:= [ 40935, 53471, 76194 ],
1852 fp:= [ 63949, 73520, 73530 ],
1854 fp:= [ 210, 31773, 65822, 97385 ],
1856 fp:= [ 41159, 82709 ],
1859 fp:= [ 8, 414 ],
1862 fp:= [ 8, 414 ],
1864 fp:= [ 3654, 14588 ],
1867 fp:= [ 12, 22, 814 ],
1870 fp:= [ 8, 414 ],
1873 fp:= [ 8, 414 ],
1876 fp:= [ 4, 14 ],
1878 fp:= [ 15996, 28606, 31773, 41216, 53826, 65822, 90437 ],
1880 fp:= [ 54361, 55858, 88754 ],
1882 fp:= [ 56447, 76421 ],
1884 fp:= [ 9301, 32627, 62064, 91297 ],
1887 fp:= [ 416, 812 ],
1889 fp:= [ 29262, 69763 ],
1891 fp:= [ 5767, 95232 ],
1893 fp:= [ 22593, 58284, 71909, 96165 ],
1895 fp:= [ 11449, 15996, 24059, 36669, 41216, 48060, 49279, 60670, 73280,
1899 fp:= [ 19757, 25932, 27375, 53546, 78443 ],
1902 fp:= [ 401, 14261 ],
1905 fp:= [ 4, 14 ],
1907 fp:= [ 24466, 30214, 40780, 96326, 97894 ],
1910 fp:= [ 4, 14 ],
1913 fp:= [ 4, 14, 212 ],
1916 fp:= [ 2, 12 ],
1918 fp:= [ 28014, 54313, 55815, 64114 ],
1921 fp:= [ 401, 14261 ],
1924 fp:= [ 4, 14 ],
1926 fp:= [ 51315, 51544, 90253 ],
1929 fp:= [ 4, 14 ],
1932 fp:= [ 4, 14, 212 ],
1935 fp:= [ 2, 12 ],
1938 fp:= [ 8, 18, 414 ],
1941 fp:= [ 262, 521 ],
1944 fp:= [ 8, 18 ],
1946 fp:= [ 12281, 65220, 80394 ],
1948 fp:= [ 48293, 72591, 78539, 84370 ],
1950 fp:= [ 6042, 30150, 52430, 59667, 86717, 97217 ],
1953 fp:= [ 8, 18, 414 ],
1955 fp:= [ 73520, 73530 ],
1957 fp:= [ 31773, 97385 ],
1959 fp:= [ 14185, 99004 ],
1962 fp:= [ 24, 2014 ],
1964 fp:= [ 15080, 16851, 93209 ],
1967 fp:= [ 8085, 27291, 40654, 44783, 47310, 51842, 53966, 63989, 71048,
1971 fp:= [ 26996, 96892 ],
1974 fp:= [ 59763, 69763 ],
1976 fp:= [ 292, 1561, 14986, 27133, 37602, 44049, 44503, 63255, 65181,
1980 fp:= [ 16, 412 ],
1983 fp:= [ 2, 12 ],
1985 fp:= [ 72162, 89031 ],
1988 fp:= [ 14, 212 ],
1991 fp:= [ 2, 581 ],
1994 fp:= [ 4, 14 ],
1996 fp:= [ 1561, 2249, 8905, 14986, 42954, 65181, 70890 ],
1998 fp:= [ 22258, 59254 ],
2000 fp:= [ 39929, 43257 ],
2003 fp:= [ 5042, 56824 ],
2006 fp:= [ 43257, 49913 ],
2009 fp:= [ 7034, 49251, 64511 ],
2011 fp:= [ 1785, 14608, 32559, 47706, 67952, 73945, 77440, 80222, 82422,
2014 fp:= [ 29273, 64829 ],
2016 fp:= [ 8771, 75442 ],
2018 fp:= [ 2157, 22909, 27654, 62259, 69922, 74928, 78607, 94687 ],
2021 fp:= [ 2, 12 ],
2024 fp:= [ 2, 12 ],
2027 fp:= [ 11885, 18912, 46485, 68137, 97414 ],
2029 fp:= [ 292, 1149, 7254, 13274, 16924, 19498, 24095, 26454, 32474, 37847,
2034 fp:= [ 9892, 82661 ],
2036 fp:= [ 75704, 93880 ],
2038 fp:= [ 1662, 5542, 86674, 89407 ],
2040 fp:= [ 6729, 89925 ],
2042 fp:= [ 21075, 69511 ],
2044 fp:= [ 29774, 86469 ],
2046 fp:= [ 16457, 23487 ],
2048 fp:= [ 36589, 58121 ],
2050 fp:= [ 16288, 47263 ],
2052 fp:= [ 40834, 91708 ],
2054 fp:= [ 20265, 52693 ],
2056 fp:= [ 26424, 79243 ],
2058 fp:= [ 16724, 30470, 42121, 56649, 60178, 83844 ],
2061 fp:= [ 7034, 62795 ],
2063 fp:= [ 1947, 8693, 29715, 75625, 86390 ],
2065 fp:= [ 13368, 14395, 16345, 25325, 55904, 69327, 74309, 91718 ],
2067 fp:= [ 7621, 18576, 45620, 97800 ],
2069 fp:= [ 3421, 20619, 45102 ],
2071 fp:= [ 63801, 85603 ],
2073 fp:= [ 32005, 44097, 59939 ],
2075 fp:= [ 25930, 41591, 65692 ],
2077 fp:= [ 25988, 54806, 76719 ],
2079 fp:= [ 38536, 48810, 74404 ],
2081 fp:= [ 29106, 40062, 54156, 71287 ],
2083 fp:= [ 16147, 31407 ],
2085 fp:= [ 1, 56921, 93006 ],
2088 fp:= [ 2, 12 ],
2090 fp:= [ 25585, 87429 ],
2092 fp:= [ 8085, 17688, 29816, 35180, 42239, 47310, 53966, 54386, 57395,
2097 fp:= [ 4, 14, 212 ],
2100 fp:= [ 2, 12 ],
2102 fp:= [ 7034, 66194 ],
2104 fp:= [ 1947, 4931, 5300, 8448, 8693, 29715, 33357, 75625, 86390,
2107 fp:= [ 25026, 35940, 67861, 68546, 98385 ],
2109 fp:= [ 1244, 6602, 10091, 22309, 22931, 23910, 26420, 29571, 30959,
2114 fp:= [ 81245, 91245 ],
2116 fp:= [ 17161, 30585, 38759, 54196, 64619, 70144, 78318, 98668 ],
2118 fp:= [ 19934, 75510, 81024 ],
2121 fp:= [ 24, 2014 ],
2123 fp:= [ 12939, 62562 ],
2125 fp:= [ 11529, 64846, 69242 ],
2127 fp:= [ 76030, 85626 ],
2130 fp:= [ 16, 1214 ],
2133 fp:= [ 8, 414 ],
2136 fp:= [ 483, 58261 ],
2139 fp:= [ 12, 814 ],
2141 fp:= [ 3664, 35647 ],
2144 fp:= [ 1226, 44781 ],
2147 fp:= [ 8, 414 ],
2150 fp:= [ 483, 58261 ],
2153 fp:= [ 12, 814 ],
2155 fp:= [ 35714, 36130, 51886 ],
2157 fp:= [ 11453, 35203, 42635 ],
2159 fp:= [ 12785, 16325, 19860, 34728, 45327, 75901, 89466 ],
2161 fp:= [ 14655, 17212, 18656, 57078 ],
2163 fp:= [ 1100, 26497, 85857 ],
2165 fp:= [ 8810, 37229, 54139, 67523 ],
2167 fp:= [ 231, 31545, 87767 ],
2169 fp:= [ 23385, 77541, 85077 ],
2171 fp:= [ 51104, 54169, 90602, 92962, 97559 ],
2173 fp:= [ 15639, 25633, 37606, 48397, 73036 ],