Lines Matching refs:fp
8 fp:= [ 337, 556, 611, 689, 1353, 1393, 1455, 1920, 3181, 3223, 3989, 4074,
28 fp:= [ 37861, 66428, 77094, 94995 ],
32 fp:= [ 4, 212 ],
35 fp:= [ 4, 14 ],
38 fp:= [ 30455, 99084 ],
41 fp:= [ 1640, 20928, 38460, 45658, 55975, 94148 ],
44 fp:= [ 41, 42 ],
46 fp:= [ 10802, 17531, 56654, 73114, 84426, 96649 ],
48 fp:= [ 64560, 73001 ],
50 fp:= [ 1462, 21133, 50025, 67729, 71240, 92175, 96203 ],
53 fp:= [ 4, 212 ],
56 fp:= [ 4, 14 ],
59 fp:= [ 2, 12 ],
62 fp:= [ 4, 212 ],
65 fp:= [ 4, 14 ],
68 fp:= [ 4, 212 ],
71 fp:= [ 4, 14 ],
73 fp:= [ 21, 41, 42, 82, 85 ],
75 fp:= [ 2894, 15922, 35770, 54795, 74754, 82189, 89161, 90371, 97757 ],
78 fp:= [ 10802, 17531, 56654, 73114, 82647, 98428 ],
80 fp:= [ 11312, 90984 ],
82 fp:= [ 15464, 40216, 50025, 52824, 68441, 73092, 81731, 92175, 96203 ],
85 fp:= [ 4, 212 ],
88 fp:= [ 6, 214 ],
92 fp:= [ 4, 212 ],
95 fp:= [ 4, 14 ],
98 fp:= [ 4, 14 ],
100 fp:= [ 19332, 32732, 38415, 48012, 48901, 54853, 65598, 71955, 82189,
104 fp:= [ 2, 12 ],
107 fp:= [ 2, 12 ],
110 fp:= [ 4, 14 ],
112 fp:= [ 17111, 77909 ],
115 fp:= [ 4, 212 ],
118 fp:= [ 4, 14 ],
121 fp:= [ 4, 212 ],
123 fp:= [ 6885, 38245, 46699, 49154, 71345, 86670, 87588 ],
126 fp:= [ 4, 212 ],
129 fp:= [ 4, 14 ],
132 fp:= [ 8, 414 ],
135 fp:= [ 2, 12 ],
138 fp:= [ 12, 814 ],
140 fp:= [ 17802, 18949, 20096, 43411, 54828, 55975, 57122, 80437, 81584,
144 fp:= [ 5524, 79260, 88560 ],
146 fp:= [ 34403, 44365 ],
148 fp:= [ 44107, 52229 ],
150 fp:= [ 33713, 64260, 83616 ],
153 fp:= [ 342, 681, 22461 ],
155 fp:= [ 13421, 26140, 64622, 83007 ],
157 fp:= [ 16677, 61097 ],
159 fp:= [ 22775, 90014 ],
162 fp:= [ 16, 412 ],
165 fp:= [ 243, 34581, 38529 ],
168 fp:= [ 20, 812 ],
170 fp:= [ 16627, 29388, 58648 ],
172 fp:= [ 26561, 33363 ],
174 fp:= [ 11, 21 ],
176 fp:= [ 27012, 39636, 47589, 68782, 98825 ],
178 fp:= [ 4565, 13790 ],
180 fp:= [ 68406, 78302 ],
182 fp:= [ 7647, 54137, 64781 ],
184 fp:= [ 2131, 27749, 39157, 65431 ],
186 fp:= [ 21756, 25670 ],
188 fp:= [ 23741, 49924 ],
190 fp:= [ 7261, 11339, 25144, 66033, 68072, 70111 ],
193 fp:= [ 6755, 61035, 64553 ],
195 fp:= [ 66550, 81710 ],
198 fp:= [ 55033, 64589, 68532, 72402 ],
201 fp:= [ 548, 903, 3207, 3702, 4011, 4803, 6500, 8248, 8460, 9481, 11403,
211 fp:= [ 15259, 85810 ],
214 fp:= [ 65247, 86513 ],
216 fp:= [ 73969, 85812 ],
219 fp:= [ 67316, 72588 ],
222 fp:= [ 57467, 91880 ],
224 fp:= [ 26531, 84377 ],
227 fp:= [ 13238, 67574 ],
229 fp:= [ 3231, 48080 ],
231 fp:= [ 9750, 10658 ],
233 fp:= [ 30002, 96095 ],
236 fp:= [
244 fp:= [ 55447, 67703 ],
247 fp:= [ 8008, 72565 ],
249 fp:= [ 36150, 50232 ],
251 fp:= [ 1114, 2893, 7668, 31664, 36439, 73783, 78607, 83882, 88657 ],
255 fp:= [ 921, 34581 ],
258 fp:= [ 213, 411 ],
260 fp:= [ 59249, 82199 ],
263 fp:= [ 4, 14 ],
265 fp:= [ 6623, 74176, 75183, 83949, 90230 ],
268 fp:= [ 23910, 44160 ],
270 fp:= [ 3258, 8418, 9470, 15334, 17342, 25422, 40900, 43849, 49541, 50988,
276 fp:= [ 14166, 20121, 20928 ],
279 fp:= [ 17404, 41168 ],
281 fp:= [ 43157, 84187 ],
283 fp:= [ 8741, 84720 ],
285 fp:= [ 16276, 16909, 20655, 28744, 33091, 35173, 40269, 42659, 44536,
290 fp:= [ 17383, 25362 ],
292 fp:= [ 2644, 37637 ],
295 fp:= [ 18912, 27371 ],
297 fp:= [ 2941, 92149 ],
300 fp:= [ 82, 85 ],
302 fp:= [ 54853, 82189, 90034 ],
304 fp:= [ 17702, 38245 ],
306 fp:= [ 55087, 66954 ],
308 fp:= [ 16087, 33679, 40917, 44109 ],
310 fp:= [ 20679, 35411, 36316, 55941, 57986, 63117, 63149, 70472, 94651,
314 fp:= [ 19286, 22386, 45470, 54372, 71910, 76019, 78058 ],
317 fp:= [ 61055, 95903 ],
320 fp:= [ 28099, 73066 ],
323 fp:= [ 18029, 57583 ],
325 fp:= [ 46514, 81228 ],
327 fp:= [ 6990, 54906 ],
330 fp:= [ 1796, 8194, 14578, 20962, 21300, 21504, 23216, 28447, 32205,
337 fp:= [ 32824, 91292 ],
339 fp:= [ 61377, 87369 ],
341 fp:= [ 25200, 59693 ],
344 fp:= [ 27664, 54594 ],
347 fp:= [ 6370, 11588, 15922, 32218, 54853, 82189, 83472, 85488, 90034 ],
351 fp:= [ 21575, 25632, 33169, 33975, 41261, 42508, 44560, 50349, 59955,
356 fp:= [ 6839, 25922, 52620, 66167, 68966, 74447, 87417, 93509 ],
359 fp:= [ 20188, 21422 ],
361 fp:= [ 66424, 91066 ],
363 fp:= [ 8242, 25689, 67120, 83579 ],
365 fp:= [ 41263, 66018, 81684, 92543 ],
368 fp:= [ 15842, 18372, 24508, 28099, 39157, 41551, 44116, 44448, 56687,
372 fp:= [ 3442, 14365, 81650 ],
374 fp:= [ 13423, 14047 ],
376 fp:= [ 31296, 34496, 55117 ],
378 fp:= [ 78131, 90881 ],
380 fp:= [ 2436, 12206 ],
384 fp:= [ 41418, 83537, 94440 ],
387 fp:= [ 14, 212 ],
390 fp:= [ 27939, 33277, 34424, 35571, 40909, 79865, 81012, 82159, 86350,
394 fp:= [ 44125, 75848 ],
397 fp:= [ 1971, 7926, 13881, 29935, 35890, 41845, 51271, 56046, 57899,
401 fp:= [ 20097, 62555, 71637 ],
404 fp:= [ 23649, 29694 ],
407 fp:= [ 91707, 96817 ],
411 fp:= [ 8, 414 ],
413 fp:= [ 3487, 6262, 35467 ],
416 fp:= [ 2986, 12676, 15733, 33931, 35411, 36009, 40954, 75287, 82970,
420 fp:= [ 14383, 38907 ],
422 fp:= [ 1989, 55598 ],
424 fp:= [ 58500, 73197 ],
426 fp:= [ 7596, 93258 ],
428 fp:= [ 25910, 54734 ],
430 fp:= [ 31230, 89185 ],
432 fp:= [ 5880, 48182 ],
434 fp:= [ 24050, 94041 ],
436 fp:= [ 67310, 99252 ],
438 fp:= [ 96828, 97696 ],
440 fp:= [ 28525, 32386 ],
442 fp:= [ 51339, 81563 ],
444 fp:= [ 39216, 43199, 56070, 84995 ],
446 fp:= [ 54705, 54921 ],
449 fp:= [ 14817, 29675, 36214, 52990, 91163 ],
452 fp:= [ 28304, 65192 ],
454 fp:= [ 25105, 79720, 85499 ],
456 fp:= [ 11210, 27137, 36728 ],
458 fp:= [ 87095, 97273 ],
461 fp:= [ 10244, 14282, 35302, 44969, 54205, 56322, 63441, 66172, 85894,
466 fp:= [ 21, 42 ],
468 fp:= [ 13396, 33560, 35302, 35304, 37044, 37407, 59315, 73113, 82349,
472 fp:= [ 4182, 6981, 8569, 13720, 22598, 32803, 41442, 47629, 51886,
476 fp:= [ 2, 12 ],
479 fp:= [ 4, 212 ],
482 fp:= [ 4, 14, 212 ],
485 fp:= [ 902, 1801 ],
488 fp:= [ 2, 12 ],
491 fp:= [ 2, 12 ],
494 fp:= [ 4, 14, 212 ],
497 fp:= [ 4, 14, 212 ],
500 fp:= [ 2, 12 ],
503 fp:= [ 3081, 8360 ],
506 fp:= [ 2, 12 ],
509 fp:= [ 4, 212 ],
512 fp:= [ 2, 12 ],
515 fp:= [ 14, 212 ],
518 fp:= [ 2, 12 ],
521 fp:= [ 2, 12 ],
524 fp:= [ 4, 14 ],
527 fp:= [ 2, 12 ],
529 fp:= [ 35339, 36249, 37159 ],
532 fp:= [ 15842, 36863, 41451, 78477 ],
535 fp:= [ 23810, 26932, 73490, 77631 ],
537 fp:= [ 14744, 53685, 65192 ],
540 fp:= [ 19, 811 ],
542 fp:= [ 27767, 95207 ],
544 fp:= [ 5661, 12393, 30520, 53156, 61354, 66770, 82903, 84309, 97308 ],
548 fp:= [ 17905, 68406 ],
550 fp:= [ 7647, 36214 ],
552 fp:= [ 23901, 37861, 52468, 66428, 94995 ],
555 fp:= [ 83345, 89213 ],
557 fp:= [ 15930, 16545, 27840, 34077, 35343, 43894, 47313, 51301, 51609,
562 fp:= [ 4, 14, 212 ],
565 fp:= [ 4, 14, 212 ],
568 fp:= [ 582, 1161 ],
571 fp:= [ 2, 12 ],
574 fp:= [ 2, 12 ],
577 fp:= [ 4, 14, 212 ],
580 fp:= [ 4, 14 ],
583 fp:= [ 2, 12 ],
586 fp:= [ 1161, 42741 ],
589 fp:= [ 4, 212 ],
592 fp:= [ 1, 11 ],
595 fp:= [ 4, 14 ],
598 fp:= [ 4, 14 ],
602 fp:= [ 2, 12 ],
604 fp:= [ 2893, 30109, 55111, 73783, 73842 ],
607 fp:= [ 26763, 87603 ],
609 fp:= [ 1355, 32338 ],
611 fp:= [ 3776, 6041, 6833, 6927, 7928, 9890, 11881, 12338, 12882, 12983,
619 fp:= [ 35441, 55670, 83120 ],
625 fp:= [ 11128, 14643, 17871, 41047, 45833 ],
630 fp:= [ 81, 82, 161, 162, 165, 170, 323, 336, 356 ],
632 fp:= [ 21304, 34562, 98664 ],
634 fp:= [ 38415, 48012, 48901, 54853, 65598, 90034 ],
637 fp:= [ 48901, 65598, 98664 ],
640 fp:= [ 161, 165, 336 ],
642 fp:= [ 162, 165, 323 ],
644 fp:= [ 82, 85, 162, 165, 170, 323, 341 ],
646 fp:= [ 54853, 71955, 82189 ],
648 fp:= [ 46699, 86670 ],
651 fp:= [ 36180, 57534 ],
654 fp:= [ 34833, 71801 ],
656 fp:= [ 5844, 9611 ],
658 fp:= [ 64144, 71660 ],
661 fp:= [ 25702, 70025 ],
664 fp:= [ 8, 414 ],
666 fp:= [ 83521, 94675 ],
669 fp:= [ 4, 14 ],
671 fp:= [ 2893, 50336 ],
674 fp:= [ 63339, 67479, 89503, 96625 ],
677 fp:= [ 40633, 55893 ],
679 fp:= [ 7647, 16413, 29675, 36214, 37861, 46627, 52990, 56015, 66428,
683 fp:= [ 4, 14 ],
687 fp:= [ 12, 814 ],
689 fp:= [ 7647, 27448 ],
692 fp:= [ 4, 212 ],
695 fp:= [ 2, 12 ],
697 fp:= [ 20679, 35411, 36316, 55941, 57986, 63117, 63149, 70472, 94651,
702 fp:= [ 75097, 88994, 93769 ],
705 fp:= [ 1114, 54619 ],
708 fp:= [ 8, 18 ],
711 fp:= [ 8, 18 ],
713 fp:= [ 62861, 65525 ],
716 fp:= [ 22617, 37877 ],
718 fp:= [ 17509, 26792, 27939, 29086, 33277, 34424, 44619, 50266, 63830,
721 fp:= [ 9996, 56263 ],
723 fp:= [ 14871, 58166 ],
726 fp:= [ 16, 412 ],
728 fp:= [ 65587, 81559, 86723 ],
731 fp:= [ 4, 14 ],
733 fp:= [ 13921, 26982 ],
735 fp:= [ 6088, 24876 ],
737 fp:= [ 58176, 66973, 77121 ],
739 fp:= [ 33417, 47580 ],
741 fp:= [ 3504, 33899, 55033, 64589, 68532, 72402 ],
743 fp:= [ 420, 6048, 79963, 91916 ],
745 fp:= [ 14982, 71068 ],
747 fp:= [ 80209, 85624 ],
749 fp:= [ 48074, 98164 ],
752 fp:= [ 50630, 56228, 58270 ],
756 fp:= [ 8, 18 ],
758 fp:= [ 52788, 74242 ],
761 fp:= [ 8, 18 ],
763 fp:= [ 3702, 6500, 66014, 72898, 91981 ],
766 fp:= [ 69533, 92295 ],
769 fp:= [ 46382, 49193 ],
772 fp:= [ 26033, 51637, 93398 ],
775 fp:= [ 4, 14 ],
777 fp:= [ 2145, 7668, 55111, 62768 ],
780 fp:= [ 19031, 58421 ],
782 fp:= [ 20928, 45658 ],
785 fp:= [ 2145, 7668, 61601 ],
788 fp:= [ 37755, 92934 ],
790 fp:= [ 1118, 1361, 11269, 12591, 24064, 27118, 32084, 34524, 40067,
796 fp:= [ 2, 12 ],
799 fp:= [ 2, 12 ],
802 fp:= [ 2, 12 ],
805 fp:= [ 4, 14, 212 ],
809 fp:= [ 2, 12 ],
812 fp:= [ 681, 26421 ],
815 fp:= [ 2, 12 ],
818 fp:= [ 2, 12 ],
821 fp:= [ 4, 212 ],
824 fp:= [ 2, 12 ],
826 fp:= [ 16688, 28555 ],
828 fp:= [ 1796, 7089, 13697, 15986, 16974, 17509, 18377, 19143, 20955,
836 fp:= [ 4, 14 ],
838 fp:= [ 5664, 71775 ],
842 fp:= [ 4, 14 ],
845 fp:= [ 8, 414 ],
848 fp:= [ 902, 1401 ],
851 fp:= [ 2, 12 ],
855 fp:= [ 2, 12 ],
859 fp:= [ 2, 12 ],
862 fp:= [ 2, 12 ],
865 fp:= [ 2, 12 ],
867 fp:= [ 705, 6556, 21734, 22276, 66018, 67102, 70029, 92543 ],
870 fp:= [ 2, 12 ],
873 fp:= [ 4, 212 ],
876 fp:= [ 2, 12 ],
879 fp:= [ 2, 12 ],
882 fp:= [ 4, 212 ],
885 fp:= [ 2, 12 ],
888 fp:= [ 2, 12 ],
891 fp:= [ 2, 12 ],
893 fp:= [ 761, 7073, 7143, 9872, 25144, 43349, 44582, 45365, 47399, 68072,
897 fp:= [ 36845, 55002 ],
900 fp:= [ 11895, 65259 ],
903 fp:= [ 2, 12 ],
905 fp:= [ 14283, 63498 ],
907 fp:= [ 35515, 55976, 62965 ],
909 fp:= [ 17509, 27939, 79865 ],
912 fp:= [ 39157, 76183 ],
915 fp:= [ 23741, 36750 ],
917 fp:= [ 36656, 43096, 51463, 90992 ],
920 fp:= [ 8, 18 ],
922 fp:= [ 18752, 26705, 28744, 40269, 44538, 51344, 60416, 63621, 63692,
926 fp:= [ 2695, 7464 ],
928 fp:= [ 6828, 45858 ],
930 fp:= [ 50997, 52694 ],
932 fp:= [ 1392, 40736 ],
934 fp:= [ 12139, 28423, 52434, 78406, 90259, 95103 ],
937 fp:= [ 7709, 8458, 12175, 15986, 17509, 18377, 22843, 27939, 28945,
941 fp:= [ 2172, 16014 ],
943 fp:= [ 75887, 95751 ],
945 fp:= [ 49266, 55246, 61731 ],
947 fp:= [ 50391, 53109 ],
949 fp:= [ 8794, 13922, 62429 ],
951 fp:= [ 36424, 42820 ],
953 fp:= [ 4099, 25996, 28508 ],
955 fp:= [ 65328, 87289 ],
957 fp:= [ 23717, 37834, 40359, 66922, 85194 ],
959 fp:= [ 30413, 40746 ],
961 fp:= [ 18641, 80994, 87762 ],
963 fp:= [ 5951, 6240, 67783 ],
965 fp:= [ 5718, 30367, 37071, 52328 ],
967 fp:= [ 22479, 39838, 40796 ],
969 fp:= [ 505, 14166, 57899, 58883, 69809, 82634, 85863, 91400, 91818 ],
973 fp:= [ 1161, 42741 ],
976 fp:= [ 4, 212 ],
979 fp:= [ 4, 14 ],
981 fp:= [ 19963, 49903 ],
984 fp:= [ 8, 414 ],
987 fp:= [ 4, 14 ],
990 fp:= [ 7716, 45187 ],
993 fp:= [ 37946, 38804, 43544, 50781, 53580, 55727, 56379, 60416, 66014,
998 fp:= [ 4, 14 ],
1001 fp:= [ 4, 212 ],
1004 fp:= [ 2, 12 ],
1007 fp:= [ 7647, 90016 ],
1010 fp:= [ 34335, 44832 ],
1012 fp:= [ 70910, 74634 ],
1014 fp:= [ 4425, 25455, 30043, 41451, 63137, 67725, 78477, 99498 ],
1017 fp:= [ 85764, 97265 ],
1019 fp:= [ 7128, 52899, 73313 ],
1021 fp:= [ 7647, 27448, 55288 ],
1024 fp:= [ 34335, 44832 ],
1026 fp:= [ 8645, 31809 ],
1028 fp:= [ 1527, 53094 ],
1030 fp:= [ 75663, 90923 ],
1032 fp:= [ 17509, 27939 ],
1034 fp:= [ 41263, 66018, 81684, 92543 ],
1036 fp:= [ 12271, 30553, 33478, 36249, 42244, 51010, 60227, 81846, 90612 ],
1040 fp:= [ 4, 14, 212 ],
1043 fp:= [ 4, 212 ],
1046 fp:= [ 2, 12 ],
1048 fp:= [ 2131, 15842, 25446, 34389, 36863, 39157, 39843, 41451, 44116,
1052 fp:= [ 1871, 36002 ],
1054 fp:= [ 25440, 92525 ],
1056 fp:= [ 55444, 80881, 95263 ],
1058 fp:= [ 1246, 2823, 84325 ],
1060 fp:= [ 53764, 80800 ],
1062 fp:= [ 51213, 57520, 72999, 79686 ],
1065 fp:= [ 45873, 66092 ],
1067 fp:= [ 42020, 97885 ],
1069 fp:= [ 8238, 15360, 34389, 57904, 89083 ],
1071 fp:= [ 51843, 52990, 54137, 55284, 56431 ],
1074 fp:= [ 16, 412 ],
1076 fp:= [ 31757, 85098 ],
1078 fp:= [ 19544, 80775 ],
1080 fp:= [ 61552, 80436 ],
1082 fp:= [ 9749, 87584 ],
1085 fp:= [ 40741, 66838 ],
1087 fp:= [ 1461, 37323 ],
1089 fp:= [ 14633, 14792, 25972, 32447, 82020 ],
1092 fp:= [ 2016, 4796, 5943, 6203, 7090, 7350, 9461, 11578, 14169, 15765,
1100 fp:= [ 33778, 54840, 68292, 86267 ],
1102 fp:= [ 33929, 92409 ],
1110 fp:= [ 17111, 31969, 55284, 78599, 86709, 93457 ],
1113 fp:= [ 36505, 40431 ],
1115 fp:= [ 21, 41, 42, 82, 85 ],
1117 fp:= [ 6370, 14859, 32218, 42281, 61250, 78609 ],
1120 fp:= [ 343, 29375, 64093, 93125 ],
1122 fp:= [ 46734, 74156 ],
1124 fp:= [ 10406, 17702, 38245, 55638, 75766 ],
1126 fp:= [ 52774, 68034 ],
1128 fp:= [ 20928, 45658 ],
1130 fp:= [ 9749, 28442, 54499, 60416, 63692, 87584 ],
1133 fp:= [ 13238, 67574 ],
1135 fp:= [ 73819, 92490 ],
1137 fp:= [ 354, 761, 3560, 6839, 11339, 11812, 18297, 25144, 25922, 33588,
1142 fp:= [ 49009, 82590 ],
1144 fp:= [ 35355, 50219, 98171 ],
1146 fp:= [ 67532, 88655 ],
1148 fp:= [ 18560, 40186, 40189, 62085 ],
1150 fp:= [ 57383, 84494, 93491 ],
1152 fp:= [ 528, 74852 ],
1154 fp:= [ 24072, 76071 ],
1156 fp:= [ 30460, 85896 ],
1159 fp:= [ 7073, 49435 ],
1161 fp:= [ 61257, 61376 ],
1163 fp:= [ 15807, 17490 ],
1165 fp:= [ 10164, 40161 ],
1167 fp:= [ 5310, 14881 ],
1169 fp:= [ 42028, 49638 ],
1171 fp:= [ 20823, 90923 ],
1173 fp:= [ 354, 53883, 53952, 67447, 80932, 99623 ],
1175 fp:= [ 3059, 39568, 46755 ],
1177 fp:= [ 12145, 48575 ],
1179 fp:= [ 39819, 63385 ],
1181 fp:= [ 25005, 98397 ],
1183 fp:= [ 20008, 85026 ],
1185 fp:= [ 31201, 52043 ],
1187 fp:= [ 28382, 29086, 37235, 66018, 70582, 78786, 81012, 81684, 92543,
1191 fp:= [ 174, 371 ],
1193 fp:= [ 2145, 2893, 7668, 30109, 45878, 55111, 73842 ],
1196 fp:= [ 32804, 85360 ],
1198 fp:= [ 34230, 47073 ],
1200 fp:= [ 37755, 92934 ],
1202 fp:= [ 5656, 82613 ],
1204 fp:= [ 29445, 36990 ],
1206 fp:= [ 54828, 93001 ],
1209 fp:= [ 66708, 96667 ],
1212 fp:= [ 73066, 75097 ],
1216 fp:= [ 2, 12 ],
1218 fp:= [ 18372, 28099, 44116, 73066, 98810 ],
1221 fp:= [ 5199, 96287 ],
1224 fp:= [ 4, 212 ],
1227 fp:= [ 16, 412 ],
1229 fp:= [ 37125, 59654 ],
1231 fp:= [ 2131, 15842, 36863, 39157, 44116, 62472, 76183, 78477, 99498 ],
1234 fp:= [ 25414, 25440, 77540, 92525 ],
1237 fp:= [ 4, 14 ],
1239 fp:= [ 37007, 46390 ],
1241 fp:= [ 67477, 95263 ],
1243 fp:= [ 1246, 2823, 84325 ],
1246 fp:= [ 8, 414 ],
1248 fp:= [ 125, 53764, 80800, 90911 ],
1250 fp:= [ 76026, 95591 ],
1252 fp:= [ 705, 6556, 18442, 21734, 22276, 66018, 67102, 68779, 70029, 70860,
1256 fp:= [ 56336, 90650 ],
1258 fp:= [ 49708, 98841 ],
1260 fp:= [ 3091, 39251 ],
1262 fp:= [ 51616, 56036 ],
1264 fp:= [ 73030, 73074 ],
1266 fp:= [ 86431, 99189 ],
1268 fp:= [ 4614, 70297 ],
1270 fp:= [ 39588, 90871 ],
1272 fp:= [ 25472, 73862 ],
1274 fp:= [ 15461, 82799 ],
1276 fp:= [ 81904, 85729 ],
1278 fp:= [ 12218, 29991 ],
1280 fp:= [ 294, 515, 11914, 19409, 21109, 23990, 26735, 28785, 29497, 31028,
1288 fp:= [ 2, 12 ],
1291 fp:= [ 4, 14 ],
1294 fp:= [ 4, 14 ],
1297 fp:= [ 2, 12 ],
1300 fp:= [ 2, 12 ],
1303 fp:= [ 2, 12 ],
1306 fp:= [ 2, 12 ],
1309 fp:= [ 1, 11 ],
1312 fp:= [ 1, 11 ],
1315 fp:= [ 2, 12 ],
1318 fp:= [ 4, 14 ],
1321 fp:= [ 4, 14 ],
1324 fp:= [ 4, 14 ],
1327 fp:= [ 2, 12 ],
1330 fp:= [ 2, 12 ],
1333 fp:= [ 4, 14, 212 ],
1336 fp:= [ 2502, 5001 ],
1339 fp:= [ 2, 12 ],
1342 fp:= [ 2, 12 ],
1346 fp:= [ 4, 14 ],
1349 fp:= [ 2, 12 ],
1352 fp:= [ 4, 14 ],
1355 fp:= [ 2, 12 ],
1358 fp:= [ 4, 14 ],
1361 fp:= [ 4, 14 ],
1364 fp:= [ 1161, 42741 ],
1367 fp:= [ 4, 212 ],
1370 fp:= [ 1, 11 ],
1373 fp:= [ 4, 14 ],
1376 fp:= [ 4, 14 ],
1379 fp:= [ 2, 12 ],
1382 fp:= [ 2, 12 ],
1385 fp:= [ 4, 14 ],
1388 fp:= [ 2, 12 ],
1391 fp:= [ 4, 14 ],
1394 fp:= [ 2, 12 ],
1397 fp:= [ 4, 14, 212 ],
1400 fp:= [ 2, 12 ],
1403 fp:= [ 4, 14 ],
1406 fp:= [ 4, 14 ],
1409 fp:= [ 2, 12 ],
1412 fp:= [ 4, 14, 212 ],
1416 fp:= [ 2, 12 ],
1419 fp:= [ 4, 14 ],
1422 fp:= [ 4, 14 ],
1425 fp:= [ 2, 12 ],
1428 fp:= [ 23068, 38343, 49724, 53892, 91905 ],
1431 fp:= [ 3262, 15094 ],
1433 fp:= [ 9390, 16087, 23879, 33679, 40917, 44109, 58125, 67687, 85630 ],
1437 fp:= [ 30434, 39157, 76183, 83949, 88725 ],
1440 fp:= [ 55444, 83065 ],
1442 fp:= [ 125, 53764 ],
1444 fp:= [ 16273, 55563, 57697, 78017 ],
1446 fp:= [ 4301, 27686, 61080 ],
1449 fp:= [ 2145, 7668, 33637, 55111, 61601, 62768 ],
1452 fp:= [ 28355, 73320 ],
1454 fp:= [ 37755, 92934 ],
1456 fp:= [ 41263, 64965, 66018, 67102, 81684, 95394 ],
1459 fp:= [ 9271, 53103 ],
1461 fp:= [ 49499, 52011 ],
1463 fp:= [ 86431, 99189 ],
1465 fp:= [ 4614, 70297 ],
1467 fp:= [ 34841, 65989 ],
1469 fp:= [ 11140, 77399 ],
1471 fp:= [ 34389, 44116, 89083 ],
1474 fp:= [ 15131, 20921 ],
1476 fp:= [ 8643, 14743, 18731, 19639, 24831, 42707, 96232 ],
1479 fp:= [ 34424, 50266, 63830 ],
1482 fp:= [ 404, 38086, 51540, 67193, 70979, 91159 ],
1485 fp:= [ 52990, 54137, 55284, 56431, 57578 ],
1488 fp:= [ 15690, 36180, 53952, 56919, 76109, 88207, 99623 ],
1491 fp:= [ 19718, 22310 ],
1493 fp:= [ 23789, 43155, 76694, 90518 ],
1495 fp:= [ 87035, 89864 ],
1497 fp:= [ 46716, 58941 ],
1499 fp:= [ 33965, 63464 ],
1501 fp:= [ 40161, 79665 ],
1503 fp:= [ 28614, 36698 ],
1505 fp:= [ 20964, 62861, 65525, 71695 ],
1508 fp:= [ 66954, 86162 ],
1510 fp:= [ 20679, 21575, 33169, 33975, 35411, 36316, 41261, 42508, 44560,
1514 fp:= [ 4, 14 ],
1518 fp:= [ 2, 12 ],
1520 fp:= [ 5661, 12393, 30520, 53156, 61354, 66770, 82903, 84309, 97308 ],
1523 fp:= [ 165, 170, 356 ],
1525 fp:= [ 41, 42, 81, 82, 85, 162, 165, 170, 174, 341, 356, 365 ],
1527 fp:= [ 32732, 98886 ],
1529 fp:= [ 35923, 88562 ],
1531 fp:= [ 45126, 46699, 47581, 49154, 86015, 89161, 96184, 97757 ],
1533 fp:= [ 58172, 72891 ],
1535 fp:= [ 19332, 98886 ],
1537 fp:= [ 19332, 21695, 32732, 38245, 45126, 47581, 54795, 87588, 96184,
1541 fp:= [ 6885, 38245, 46699, 49154, 71345, 87588 ],
1544 fp:= [ 32732, 46699, 49154, 87588 ],
1547 fp:= [ 162, 170, 341 ],
1549 fp:= [ 41, 42, 81, 82, 85 ],
1551 fp:= [ 50811, 98886 ],
1553 fp:= [ 25954, 88283 ],
1555 fp:= [ 17702, 32218, 46734, 49577, 64093, 78609, 85488 ],
1558 fp:= [ 16, 412 ],
1560 fp:= [ 59760, 81956 ],
1562 fp:= [ 19332, 98886 ],
1564 fp:= [ 6370, 17702, 19332, 32218, 38245, 49577, 50811, 64093, 70120,
1568 fp:= [ 17702, 38245, 46734, 67307, 74156 ],
1571 fp:= [ 4, 14 ],
1574 fp:= [ 75183, 76183 ],
1577 fp:= [ 31462, 70812 ],
1580 fp:= [ 4, 14 ],
1582 fp:= [ 125, 53764 ],
1585 fp:= [ 8, 414 ],
1587 fp:= [ 7979, 23239 ],
1589 fp:= [ 17802, 18949, 50667, 54828, 55975, 91854, 93001, 94148 ],
1591 fp:= [ 32838, 82326 ],
1593 fp:= [ 68595, 69086 ],
1595 fp:= [ 16506, 41405, 72438 ],
1597 fp:= [ 14, 52597 ],
1599 fp:= [ 14368, 49812 ],
1602 fp:= [ 16, 412 ],
1604 fp:= [ 16873, 61516, 76678 ],
1607 fp:= [ 4, 14 ],
1609 fp:= [ 23649, 29694 ],
1611 fp:= [ 42349, 46343 ],
1613 fp:= [ 50649, 66631, 73612, 85859 ],
1615 fp:= [ 4011, 4803, 11403, 13701, 18752, 28442, 44538, 60416, 63215,
1619 fp:= [ 29622, 47603 ],
1621 fp:= [ 65247, 86513 ],
1623 fp:= [ 57467, 91880 ],
1625 fp:= [ 13238, 67574 ],
1627 fp:= [ 3231, 48080 ],
1629 fp:= [ 9750, 10658 ],
1631 fp:= [ 30002, 96095 ],
1633 fp:= [ 52095, 62861 ],
1635 fp:= [ 8008, 72565 ],
1637 fp:= [ 441, 6919, 21584, 23756, 31000, 34424, 45092, 61929, 67737, 68407,
1641 fp:= [ 36268, 66080, 94391 ],
1644 fp:= [ 1462, 99195 ],
1647 fp:= [ 52434, 78406, 79609, 81388 ],
1650 fp:= [ 9749, 15231, 17926, 28442, 28744, 32689, 33388, 40269, 40451,
1654 fp:= [ 39870, 69746 ],
1657 fp:= [ 13238, 67574 ],
1659 fp:= [ 73819, 92490 ],
1662 fp:= [ 354, 761, 3560, 11812, 18297, 25144, 25922, 37380, 55364, 62948,
1666 fp:= [ 5257, 8801 ],
1668 fp:= [ 35355, 42847, 45674, 50219, 98171 ],
1671 fp:= [ 2, 12 ],
1674 fp:= [ 2, 12 ],
1676 fp:= [ 34808, 78015, 86458 ],
1678 fp:= [ 39859, 76271, 89585 ],
1680 fp:= [ 1136, 12848 ],
1682 fp:= [ 18560, 40186, 40189, 62085 ],
1685 fp:= [ 4, 14 ],
1688 fp:= [ 4, 212 ],
1691 fp:= [ 2, 111 ],
1693 fp:= [ 39309, 86471 ],
1695 fp:= [ 528, 4017, 26793, 74852, 97841 ],
1697 fp:= [ 18901, 24980, 30460, 85896 ],
1700 fp:= [ 4, 14 ],
1703 fp:= [ 10164, 40161, 48641, 79665 ],
1705 fp:= [ 55313, 70462 ],
1707 fp:= [ 170, 174, 365 ],
1709 fp:= [ 21, 41, 42, 82, 85, 170, 174, 365, 371, 18389 ],
1711 fp:= [ 38985, 41440, 57606, 88470, 90706, 91616 ],
1714 fp:= [ 37412, 39867, 40558, 43013 ],
1716 fp:= [ 74156, 90043 ],
1718 fp:= [ 7595, 41056, 51757, 87588, 92498 ],
1720 fp:= [ 6885, 31860 ],
1722 fp:= [ 5488, 9291, 15217, 32054, 42263, 72177, 73466 ],
1725 fp:= [ 761, 3560, 11812, 24782, 43865, 62948, 66167, 68966 ],
1728 fp:= [ 16361, 35006, 42538, 59135, 67202 ],
1730 fp:= [ 86931, 95784 ],
1732 fp:= [ 36375, 36612, 72757, 94468 ],
1735 fp:= [ 8, 18 ],
1738 fp:= [ 4, 14 ],
1741 fp:= [ 19, 811 ],
1743 fp:= [ 42448, 68440 ],
1745 fp:= [ 7991, 69172, 80731, 90856 ],
1747 fp:= [ 33699, 66673 ],
1749 fp:= [ 21, 41, 42 ],
1751 fp:= [ 1244, 10802, 17941, 18159, 20068, 36765, 48687, 53462, 56654,
1754 fp:= [ 52871, 63512 ],
1758 fp:= [ 1462, 21133, 33891 ],
1760 fp:= [ 1462, 17757, 21133, 34856, 49752, 50025, 67729, 71240, 92175,
1764 fp:= [ 343, 6370, 7980, 11642, 14859, 17702, 32218, 38245, 42281, 46734,
1768 fp:= [ 56696, 97330 ],
1770 fp:= [ 16000, 42288 ],
1772 fp:= [ 23824, 87725 ],
1774 fp:= [ 14078, 24392, 30096 ],
1776 fp:= [ 3641, 22448, 56309, 74866 ],
1778 fp:= [ 3409, 77942 ],
1780 fp:= [ 55478, 67344 ],
1782 fp:= [ 83006, 94675 ],
1784 fp:= [ 10208, 99372 ],
1787 fp:= [ 16, 214, 412 ],
1790 fp:= [ 16, 412 ],
1793 fp:= [ 16, 412 ],
1795 fp:= [ 22793, 85929, 95736 ],
1798 fp:= [ 16, 214 ],
1801 fp:= [ 16, 412 ],
1804 fp:= [ 16, 412 ],
1806 fp:= [ 72307, 79511, 82674 ],
1808 fp:= [ 26331, 95726 ],
1810 fp:= [ 18442, 68779, 70860, 83674 ],
1813 fp:= [ 15690, 18297, 37380, 53952, 88207, 99623 ],
1816 fp:= [ 53637, 57248, 80313, 84774 ],
1819 fp:= [ 4, 14 ],
1821 fp:= [ 32918, 37157, 67535 ],
1823 fp:= [ 11389, 16934, 20812, 36822, 71482 ],
1826 fp:= [ 8, 18 ],
1829 fp:= [ 4, 14 ],
1831 fp:= [ 9690, 81090 ],
1833 fp:= [ 59367, 92011, 92079, 94420 ],
1836 fp:= [ 8, 18 ],
1838 fp:= [ 3908, 85032 ],
1840 fp:= [ 505, 7157, 9271, 13881, 14166, 15923, 18037, 24689, 35724, 35890,
1845 fp:= [ 61881, 76470 ],
1848 fp:= [ 75096, 91820 ],
1851 fp:= [ 14166, 20121, 29694, 57899, 60821, 63854, 85863, 91818, 97773 ],
1854 fp:= [ 21195, 41168 ],
1856 fp:= [ 43157, 79127, 84187 ],
1858 fp:= [ 17355, 22936, 51138, 63841, 96671 ],
1860 fp:= [ 51074, 98283 ],
1862 fp:= [ 49942, 72190 ],
1864 fp:= [ 10836, 32178, 44807 ],
1866 fp:= [ 34318, 54080, 61443, 85054 ],
1869 fp:= [ 4, 14 ],
1871 fp:= [ 6183, 23090, 39006, 50718, 66713, 71873, 79458 ],
1874 fp:= [ 8, 18 ],
1877 fp:= [ 32124, 97885 ],
1879 fp:= [ 22146, 41866 ],
1882 fp:= [ 51843, 52990, 54137, 55284 ],
1884 fp:= [ 51890, 89461 ],
1886 fp:= [ 27933, 29579 ],
1889 fp:= [ 63339, 73066 ],
1892 fp:= [ 17824, 46477, 86040 ],
1895 fp:= [ 4, 14 ],
1897 fp:= [ 903, 4011, 4803, 11403, 25455, 44538, 63215, 72850, 74982, 77954,
1901 fp:= [ 43084, 54991 ],
1903 fp:= [ 714, 1683 ],
1906 fp:= [ 46372, 51988 ],
1908 fp:= [ 7398, 66881 ],
1910 fp:= [ 25345, 27999, 40815, 54705, 84065, 87502 ],
1913 fp:= [ 11428, 13477, 13483, 14110, 16090, 20674, 25212, 33091, 37169,
1917 fp:= [ 3853, 94557 ],
1920 fp:= [ 80547, 98115 ],
1923 fp:= [ 52746, 71193 ],
1925 fp:= [ 15816, 50287 ],
1927 fp:= [ 30434, 80431, 83949 ],
1930 fp:= [ 17743, 94196 ],
1932 fp:= [ 18389, 90923 ],
1934 fp:= [ 18442, 68779, 70860, 83674 ],
1936 fp:= [ 55033, 64589, 66018, 68532, 72402, 81684, 92543 ],
1939 fp:= [ 2, 12 ],
1941 fp:= [ 86, 1796, 8194, 17713, 24097, 28447, 32205, 35260, 56216, 62600,
1946 fp:= [ 502, 1001 ],
1949 fp:= [ 4, 212 ],
1951 fp:= [ 68075, 85640 ],
1954 fp:= [ 681, 26421 ],
1957 fp:= [ 2, 12 ],
1960 fp:= [ 4, 14 ],
1964 fp:= [ 2, 12 ],
1967 fp:= [ 2, 12 ],
1969 fp:= [ 7716, 45187, 51141, 95340 ],
1972 fp:= [ 15690, 64144, 71660, 88207 ],
1975 fp:= [ 19718, 22310 ],
1978 fp:= [ 2, 12 ],
1980 fp:= [ 39940, 51482 ],
1983 fp:= [ 4, 14 ],
1985 fp:= [ 30160, 82816 ],
1988 fp:= [ 2, 12 ],
1990 fp:= [ 40161, 79665 ],
1993 fp:= [ 4, 14 ],
1995 fp:= [ 30668, 60477, 62236 ],
1998 fp:= [ 8074, 39848, 53041, 65457, 73783 ],
2001 fp:= [ 24661, 97149 ],
2003 fp:= [ 62342, 93280 ],
2005 fp:= [ 68034, 95161 ],
2007 fp:= [ 20928, 23649, 29694, 45658 ],
2009 fp:= [ 27933, 29579 ],
2011 fp:= [ 28955, 40822 ],
2013 fp:= [ 14166, 20121, 20928, 29694, 38460, 57899, 60821, 63854, 85863,
2016 fp:= [ 12290, 93932 ],
2019 fp:= [ 6, 214 ],
2022 fp:= [ 2, 12 ],
2025 fp:= [ 4, 212 ],
2028 fp:= [ 4, 14 ],
2031 fp:= [ 8, 414 ],
2034 fp:= [ 2, 12 ],
2036 fp:= [ 7706, 34629, 43106, 62339, 88662 ],
2039 fp:= [ 4, 212 ],
2042 fp:= [ 4, 14 ],
2045 fp:= [ 54314, 79842 ],
2047 fp:= [ 610, 23384 ],
2049 fp:= [ 2592, 16768, 82299 ],
2051 fp:= [ 4003, 8192, 14270, 62657 ],
2053 fp:= [ 11350, 41594, 86921 ],
2055 fp:= [ 45658, 51613, 85353, 94119 ],
2058 fp:= [ 4, 212 ],
2061 fp:= [ 2, 12 ],
2064 fp:= [ 4, 14 ],
2067 fp:= [ 4, 14 ],
2069 fp:= [ 992, 3660, 3896, 8153, 10575, 11519, 13669, 15733, 16146, 18245,
2076 fp:= [ 2502, 5001 ],
2079 fp:= [ 8, 414 ],
2082 fp:= [ 1161, 42741 ],
2085 fp:= [ 4, 212 ],
2088 fp:= [ 4, 14 ],
2092 fp:= [ 2, 12 ],
2095 fp:= [ 1199, 70116 ],
2098 fp:= [ 2, 12 ],
2101 fp:= [ 4, 14 ],
2104 fp:= [ 8, 18 ],
2107 fp:= [ 4, 14 ],
2110 fp:= [ 2, 12 ],
2113 fp:= [ 4, 14 ],
2116 fp:= [ 4, 14 ],
2119 fp:= [ 4, 14 ],
2122 fp:= [ 37244, 49783, 50893 ],
2125 fp:= [ 4, 14 ],
2128 fp:= [ 2, 12 ],
2131 fp:= [ 4, 14 ],
2134 fp:= [ 8, 18 ],
2137 fp:= [ 6662, 9964, 14544, 18886, 20679, 25026, 33179, 35411, 36316,
2144 fp:= [ 161, 165, 321, 336 ],
2146 fp:= [ 161, 321 ],
2148 fp:= [ 381, 2145, 2822, 2893, 7668, 8074, 21565, 26340, 30109, 39848,
2152 fp:= [ 8224, 70667, 79896 ],
2154 fp:= [ 34230, 47073, 69621 ],
2156 fp:= [ 37755, 92934 ],
2159 fp:= [ 28033, 64093 ],
2161 fp:= [ 5656, 28333, 82613 ],
2163 fp:= [ 5561, 26378 ],
2166 fp:= [
2174 fp:= [ 26605, 49978, 50527 ],
2176 fp:= [ 17802, 18949, 20096, 40940, 44558, 54828, 55975, 57122, 80437,
2180 fp:= [ 37597, 71449 ],
2183 fp:= [ 81, 82 ],
2185 fp:= [ 21304, 34562, 98664 ],
2187 fp:= [ 19332, 50811, 54853, 82189, 90034, 98886 ],
2189 fp:= [ 11, 21 ],
2191 fp:= [ 29797, 59283, 68782 ],
2193 fp:= [ 56158, 68782 ],
2195 fp:= [ 1145, 1698, 5661, 8695, 12393, 14587, 17622, 20679, 30520, 32545,
2200 fp:= [ 7818, 32679 ],
2202 fp:= [ 74624, 92029 ],
2204 fp:= [ 14228, 66604 ],
2206 fp:= [ 47304, 56407 ],
2208 fp:= [ 38361, 59736 ],
2210 fp:= [ 56862, 79693 ],
2212 fp:= [ 49001, 89235 ],
2214 fp:= [ 29733, 59405 ],
2216 fp:= [ 47615, 87360 ],
2218 fp:= [ 25403, 34825 ],
2220 fp:= [ 27479, 85784 ],
2222 fp:= [ 15984, 53977 ],
2224 fp:= [ 44149, 94810 ],
2226 fp:= [ 8191, 88888 ],
2228 fp:= [ 30391, 47796 ],
2230 fp:= [ 5457, 14559 ],
2232 fp:= [ 10673, 65568 ],
2234 fp:= [ 257, 9359 ],
2236 fp:= [ 6038, 30933 ],
2238 fp:= [ 9218, 91474 ],
2241 fp:= [ 2, 12 ],
2244 fp:= [ 2, 12 ],
2246 fp:= [ 35524, 53689 ],
2248 fp:= [ 8946, 48297 ],
2250 fp:= [ 81897, 94025 ],
2252 fp:= [ 64082, 77671 ],
2254 fp:= [ 57271, 88375 ],
2256 fp:= [ 35568, 52150 ],
2258 fp:= [ 14817, 15135, 15964, 29675, 30822, 34936, 51843, 52990, 54137,
2262 fp:= [ 15863, 72341 ],
2264 fp:= [ 4456, 62601 ],
2266 fp:= [ 58786, 83809 ],
2268 fp:= [ 87360, 94551 ],
2270 fp:= [ 14728, 71206 ],
2273 fp:= [ 16, 412 ],
2275 fp:= [ 20248, 69802, 77794 ],
2277 fp:= [ 4738, 31054, 83813 ],
2280 fp:= [ 48031, 58927 ],
2283 fp:= [ 22, 814 ],
2285 fp:= [ 45656, 50370, 78271 ],
2287 fp:= [ 131, 58521, 58851 ],
2289 fp:= [ 32834, 98657 ],
2291 fp:= [ 18949, 50667 ],
2294 fp:= [ 34506, 68406 ],
2296 fp:= [ 19402, 33388, 37635, 51939, 57650 ],
2299 fp:= [ 89087, 89158 ],
2301 fp:= [ 31111, 91814 ],
2303 fp:= [ 17413, 18372, 59258, 63339, 73066, 87639, 92483 ],
2306 fp:= [ 2822, 8074, 55111, 62768 ],
2309 fp:= [ 28063, 33772 ],
2311 fp:= [ 53041, 98008 ],
2314 fp:= [ 2016, 5943, 20397, 46515, 72068, 75684, 84292, 92542 ],
2318 fp:= [ 42129, 78539 ],
2321 fp:= [ 27933, 29579, 45658, 51613, 85353, 94119 ],
2324 fp:= [ 57525, 61309 ],
2326 fp:= [ 6538, 91113 ],
2328 fp:= [ 10847, 23495 ],
2330 fp:= [ 58451, 93851 ],
2332 fp:= [ 71542, 92047 ],
2334 fp:= [ 2710, 60333 ],
2336 fp:= [ 22617, 67438 ],
2338 fp:= [ 26792, 27939, 29086, 33277, 34424, 35571, 39762, 76861, 79865,
2341 fp:= [ 89521, 94699 ],
2344 fp:= [ 4, 14, 212 ],
2347 fp:= [ 22, 814 ],
2350 fp:= [ 16, 412 ],
2352 fp:= [ 34574, 44271, 97293 ],
2354 fp:= [ 29377, 30034 ],
2356 fp:= [ 25049, 51070, 66234 ],
2358 fp:= [ 15721, 59670 ],
2360 fp:= [ 47039, 91746 ],
2362 fp:= [ 24119, 71490, 87262 ],
2365 fp:= [ 681, 26421 ],
2368 fp:= [ 2, 12 ],
2370 fp:= [ 16739, 23178, 63151, 79408 ],
2372 fp:= [ 18429, 30206 ],
2374 fp:= [ 11339, 47472, 65235, 68072, 70111 ],