p_maxval := [ <2, 0>, <3, 0>, <5, 0>, <7, 0>, <11, 0>, <13, 0>, <17,0>, 
<19, 0>, <23, 0>, <29, 0>, <31, 0>, <37, 0>, <41, 0>, <43, 0>, <47, 0>, 
<53, 0>, <59, 0>, <61, 0>, <67, 0>, <71, 0>, <73, 0>, <79,
0>, <83, 0>, <89, 0>, <97, 0>, <101, 0>, <103, 0>, <107, 0>, <109, 1>,
<113, 0>, <127, 0>, <131, 0>, <137, 0>, <139, 0>, <149, 0>, <151, 1>,
<157, 0>, <163, 0>, <167, 0>, <173, 2>, <179, 1>, <181, 0>, <191, 0>,
<193, 2>, <197, 1>, <199, 0>, <211, 0>, <223, 0>, <227, 2>, <229, 1>,
<233, 1>, <239, 0>, <241, 2>, <251, 1>, <257, 1>, <263, 1>, <269, 1>,
<271, 1>, <277, 1>, <281, 3>, <283, 2>, <293, 3>, <307, 2>, <311, 0>,
<313, 4>, <317, 1>, <331, 1>, <337, 5>, <347, 2>, <349, 2>, <353, 1>,
<359, 2>, <367, 6>, <373, 2>, <379, 1>, <383, 3>, <389, 0>, <397, 2>,
<401, 3>, <409, 3>, <419, 3>, <421, 2>, <431, 3>, <433, 5>, <439, 2>,
<443, 2>, <449, 3>, <457, 4>, <461, 4>, <463, 1>, <467, 4>, <479, 1>,
<487, 1>, <491, 5>, <499, 1>, <503, 5>, <509, 4>, <521, 5>, <523, 4>,
<541, 2>, <547, 3>, <557, 3>, <563, 6>, <569, 6>, <571, 2>, <577, 6>,
<587, 4>, <593, 2>, <599, 5>, <601, 6>, <607, 3>, <613, 2>, <617, 1>,
<619, 3>, <631, 4>, <641, 5>, <643, 2>, <647, 6>, <653, 2>, <659, 7>,
<661, 5>, <673, 6>, <677, 6>, <683, 2>, <691, 3>, <701, 3>, <709, 2>,
<719, 4>, <727, 3>, <733, 2>, <739, 1>, <743, 5>, <751, 5>, <757, 2>,
<761, 5>, <769, 6>, <773, 5>, <787, 4>, <797, 8>, <809, 6>, <811, 7>,
<821, 8>, <823, 5>, <827, 4>, <829, 1>, <839, 5>, <853, 1>, <857, 4>,
<859, 5>, <863, 5>, <877, 2>, <881, 7>, <883, 2>, <887, 9>, <907, 2>,
<911, 8>, <919, 7>, <929, 6>, <937, 9>, <941, 8>, <947, 2>, <953, 6>,
<967, 3>, <971, 9>, <977, 3>, <983, 8>, <991, 6>, <997, 2>, <1009, 6>,
<1013, 5>, <1019, 9>, <1021, 1>, <1031, 10>, <1033, 8>, <1039, 4>,
<1049, 8>, <1051, 2>, <1061, 3>, <1063, 6>, <1069, 6>, <1087, 6>,
<1091, 8>, <1093, 2>, <1097, 5>, <1103, 6>, <1109, 4>, <1117, 3>,
<1123, 4>, <1129, 5>, <1151, 7>, <1153, 9>, <1163, 7>, <1171, 5>,
<1181, 8>, <1187, 11>, <1193, 6>, <1201, 6>, <1213, 2>, <1217, 4>,
<1223, 12>, <1229, 11>, <1231, 2>, <1237, 1>, <1249, 9>, <1259, 15>,
<1277, 7>, <1279, 7>, <1283, 8>, <1289, 7>, <1291, 7>, <1297, 10>,
<1301, 4>, <1303, 3>, <1307, 8>, <1319, 9>, <1321, 8>, <1327, 9>,
<1361, 9>, <1367, 7>, <1373, 6>, <1381, 6>, <1399, 9>, <1409, 9>,
<1423, 2>, <1427, 12>, <1429, 5>, <1433, 10>, <1439, 12>, <1447, 8>,
<1451, 9>, <1453, 6>, <1459, 8>, <1471, 9>, <1481, 11>, <1483, 6>,
<1487, 13>, <1489, 7>, <1493, 4>, <1499, 9>, <1511, 13>, <1523, 4>,
<1531, 7>, <1543, 6>, <1549, 5>, <1553, 6>, <1559, 8>, <1567, 4>,
<1571, 11>, <1579, 3>, <1583, 11>, <1597, 3>, <1601, 9>, <1607, 8>,
<1609, 11>, <1613, 9>, <1619, 11>, <1621, 4>, <1627, 6>, <1637, 8>,
<1657, 11>, <1663, 6>, <1667, 10>, <1669, 5>, <1693, 3>, <1697, 4>,
<1699, 11>, <1709, 7>, <1721, 10>, <1723, 4>, <1733, 7>, <1741, 4>,
<1747, 5>, <1753, 13>, <1759, 11>, <1777, 15>, <1783, 5>, <1787, 4>,
<1789, 6>, <1801, 9>, <1811, 13>, <1823, 23>, <1831, 7>, <1847, 16>,
<1861, 7>, <1867, 4>, <1871, 15>, <1873, 11>, <1877, 7>, <1879, 17>,
<1889, 12>, <1901, 12>, <1907, 10>, <1913, 9>, <1931, 14>, <1933, 5>,
<1949, 13>, <1951, 20>, <1973, 9>, <1979, 14>, <1987, 6>, <1993, 15>,
<1997, 12>, <1999, 11>, <2003, 6>, <2011, 5>, <2017, 13>, <2027, 11>,
<2029, 20>, <2039, 15>, <2053, 4>, <2063, 17>, <2069, 6>, <2081, 13>,
<2083, 6>, <2087, 12>, <2089, 12>, <2099, 13>, <2111, 17>, <2113, 13>,
<2129, 12>, <2131, 10>, <2137, 13>, <2141, 10>, <2143, 4>, <2153, 6>,
<2161, 12>, <2179, 8>, <2203, 5>, <2207, 14>, <2213, 12>, <2221, 4>,
<2237, 6>, <2239, 11>, <2243, 15>, <2251, 4>, <2267, 8>, <2269, 22>,
<2273, 8>, <2281, 16>, <2287, 11>, <2293, 3>, <2297, 8>, <2309, 13>,
<2311, 12>, <2333, 7>, <2339, 19>, <2341, 6>, <2347, 4>, <2351, 18>,
<2357, 9>, <2371, 9>, <2377, 14>, <2381, 6>, <2383, 11>, <2389, 8>,
<2393, 11>, <2399, 18>, <2411, 16>, <2417, 7>, <2423, 11>, <2437, 8>,
<2441, 14>, <2447, 13>, <2459, 15>, <2467, 6>, <2473, 16>, <2477, 8>,
<2503, 8>, <2521, 12>, <2531, 13>, <2539, 9>, <2543, 12>, <2549, 12>,
<2551, 14>, <2557, 5>, <2579, 15>, <2591, 21>, <2593, 17>, <2609, 16>,
<2617, 19>, <2621, 12>, <2633, 6>, <2647, 5>, <2657, 6>, <2659, 10>,
<2663, 16>, <2671, 9>, <2677, 4>, <2683, 4>, <2687, 26>, <2689, 10>,
<2693, 9>, <2699, 15>, <2707, 6>, <2711, 19>, <2713, 18>, <2719, 16>,
<2729, 17>, <2731, 9>, <2741, 11>, <2749, 7>, <2753, 12>, <2767, 8>,
<2777, 7>, <2789, 17>, <2791, 25>, <2797, 4>, <2801, 13>, <2803, 11>,
<2819, 15>, <2833, 20>, <2837, 10>, <2843, 12>, <2851, 8>, <2857, 17>,
<2861, 12>, <2879, 21>, <2887, 38>, <2897, 10>, <2903, 24>, <2909,
12>, <2917, 6>, <2927, 10>, <2939, 17>, <2953, 19>, <2957, 12>, <2963,
10>, <2969, 11>, <2971, 9>, <2999, 19> ];

