com.distrimind.bouncycastle.pqc.crypto.falcon.FalconSmallPrimeList Maven / Gradle / Ivy
The newest version!
package com.distrimind.bouncycastle.pqc.crypto.falcon;
class FalconSmallPrimeList
{
static final FalconSmallPrime[] PRIMES = {
new FalconSmallPrime(2147473409, 383167813, 10239),
new FalconSmallPrime(2147389441, 211808905, 471403745),
new FalconSmallPrime(2147387393, 37672282, 1329335065),
new FalconSmallPrime(2147377153, 1977035326, 968223422),
new FalconSmallPrime(2147358721, 1067163706, 132460015),
new FalconSmallPrime(2147352577, 1606082042, 598693809),
new FalconSmallPrime(2147346433, 2033915641, 1056257184),
new FalconSmallPrime(2147338241, 1653770625, 421286710),
new FalconSmallPrime(2147309569, 631200819, 1111201074),
new FalconSmallPrime(2147297281, 2038364663, 1042003613),
new FalconSmallPrime(2147295233, 1962540515, 19440033),
new FalconSmallPrime(2147239937, 2100082663, 353296760),
new FalconSmallPrime(2147235841, 1991153006, 1703918027),
new FalconSmallPrime(2147217409, 516405114, 1258919613),
new FalconSmallPrime(2147205121, 409347988, 1089726929),
new FalconSmallPrime(2147196929, 927788991, 1946238668),
new FalconSmallPrime(2147178497, 1136922411, 1347028164),
new FalconSmallPrime(2147100673, 868626236, 701164723),
new FalconSmallPrime(2147082241, 1897279176, 617820870),
new FalconSmallPrime(2147074049, 1888819123, 158382189),
new FalconSmallPrime(2147051521, 25006327, 522758543),
new FalconSmallPrime(2147043329, 327546255, 37227845),
new FalconSmallPrime(2147039233, 766324424, 1133356428),
new FalconSmallPrime(2146988033, 1862817362, 73861329),
new FalconSmallPrime(2146963457, 404622040, 653019435),
new FalconSmallPrime(2146959361, 1936581214, 995143093),
new FalconSmallPrime(2146938881, 1559770096, 634921513),
new FalconSmallPrime(2146908161, 422623708, 1985060172),
new FalconSmallPrime(2146885633, 1751189170, 298238186),
new FalconSmallPrime(2146871297, 578919515, 291810829),
new FalconSmallPrime(2146846721, 1114060353, 915902322),
new FalconSmallPrime(2146834433, 2069565474, 47859524),
new FalconSmallPrime(2146818049, 1552824584, 646281055),
new FalconSmallPrime(2146775041, 1906267847, 1597832891),
new FalconSmallPrime(2146756609, 1847414714, 1228090888),
new FalconSmallPrime(2146744321, 1818792070, 1176377637),
new FalconSmallPrime(2146738177, 1118066398, 1054971214),
new FalconSmallPrime(2146736129, 52057278, 933422153),
new FalconSmallPrime(2146713601, 592259376, 1406621510),
new FalconSmallPrime(2146695169, 263161877, 1514178701),
new FalconSmallPrime(2146656257, 685363115, 384505091),
new FalconSmallPrime(2146650113, 927727032, 537575289),
new FalconSmallPrime(2146646017, 52575506, 1799464037),
new FalconSmallPrime(2146643969, 1276803876, 1348954416),
new FalconSmallPrime(2146603009, 814028633, 1521547704),
new FalconSmallPrime(2146572289, 1846678872, 1310832121),
new FalconSmallPrime(2146547713, 919368090, 1019041349),
new FalconSmallPrime(2146508801, 671847612, 38582496),
new FalconSmallPrime(2146492417, 283911680, 532424562),
new FalconSmallPrime(2146490369, 1780044827, 896447978),
new FalconSmallPrime(2146459649, 327980850, 1327906900),
new FalconSmallPrime(2146447361, 1310561493, 958645253),
new FalconSmallPrime(2146441217, 412148926, 287271128),
new FalconSmallPrime(2146437121, 293186449, 2009822534),
new FalconSmallPrime(2146430977, 179034356, 1359155584),
new FalconSmallPrime(2146418689, 1517345488, 1790248672),
new FalconSmallPrime(2146406401, 1615820390, 1584833571),
new FalconSmallPrime(2146404353, 826651445, 607120498),
new FalconSmallPrime(2146379777, 3816988, 1897049071),
new FalconSmallPrime(2146363393, 1221409784, 1986921567),
new FalconSmallPrime(2146355201, 1388081168, 849968120),
new FalconSmallPrime(2146336769, 1803473237, 1655544036),
new FalconSmallPrime(2146312193, 1023484977, 273671831),
new FalconSmallPrime(2146293761, 1074591448, 467406983),
new FalconSmallPrime(2146283521, 831604668, 1523950494),
new FalconSmallPrime(2146203649, 712865423, 1170834574),
new FalconSmallPrime(2146154497, 1764991362, 1064856763),
new FalconSmallPrime(2146142209, 627386213, 1406840151),
new FalconSmallPrime(2146127873, 1638674429, 2088393537),
new FalconSmallPrime(2146099201, 1516001018, 690673370),
new FalconSmallPrime(2146093057, 1294931393, 315136610),
new FalconSmallPrime(2146091009, 1942399533, 973539425),
new FalconSmallPrime(2146078721, 1843461814, 2132275436),
new FalconSmallPrime(2146060289, 1098740778, 360423481),
new FalconSmallPrime(2146048001, 1617213232, 1951981294),
new FalconSmallPrime(2146041857, 1805783169, 2075683489),
new FalconSmallPrime(2146019329, 272027909, 1753219918),
new FalconSmallPrime(2145986561, 1206530344, 2034028118),
new FalconSmallPrime(2145976321, 1243769360, 1173377644),
new FalconSmallPrime(2145964033, 887200839, 1281344586),
new FalconSmallPrime(2145906689, 1651026455, 906178216),
new FalconSmallPrime(2145875969, 1673238256, 1043521212),
new FalconSmallPrime(2145871873, 1226591210, 1399796492),
new FalconSmallPrime(2145841153, 1465353397, 1324527802),
new FalconSmallPrime(2145832961, 1150638905, 554084759),
new FalconSmallPrime(2145816577, 221601706, 427340863),
new FalconSmallPrime(2145785857, 608896761, 316590738),
new FalconSmallPrime(2145755137, 1712054942, 1684294304),
new FalconSmallPrime(2145742849, 1302302867, 724873116),
new FalconSmallPrime(2145728513, 516717693, 431671476),
new FalconSmallPrime(2145699841, 524575579, 1619722537),
new FalconSmallPrime(2145691649, 1925625239, 982974435),
new FalconSmallPrime(2145687553, 463795662, 1293154300),
new FalconSmallPrime(2145673217, 771716636, 881778029),
new FalconSmallPrime(2145630209, 1509556977, 837364988),
new FalconSmallPrime(2145595393, 229091856, 851648427),
new FalconSmallPrime(2145587201, 1796903241, 635342424),
new FalconSmallPrime(2145525761, 715310882, 1677228081),
new FalconSmallPrime(2145495041, 1040930522, 200685896),
new FalconSmallPrime(2145466369, 949804237, 1809146322),
new FalconSmallPrime(2145445889, 1673903706, 95316881),
new FalconSmallPrime(2145390593, 806941852, 1428671135),
new FalconSmallPrime(2145372161, 1402525292, 159350694),
new FalconSmallPrime(2145361921, 2124760298, 1589134749),
new FalconSmallPrime(2145359873, 1217503067, 1561543010),
new FalconSmallPrime(2145355777, 338341402, 83865711),
new FalconSmallPrime(2145343489, 1381532164, 641430002),
new FalconSmallPrime(2145325057, 1883895478, 1528469895),
new FalconSmallPrime(2145318913, 1335370424, 65809740),
new FalconSmallPrime(2145312769, 2000008042, 1919775760),
new FalconSmallPrime(2145300481, 961450962, 1229540578),
new FalconSmallPrime(2145282049, 910466767, 1964062701),
new FalconSmallPrime(2145232897, 816527501, 450152063),
new FalconSmallPrime(2145218561, 1435128058, 1794509700),
new FalconSmallPrime(2145187841, 33505311, 1272467582),
new FalconSmallPrime(2145181697, 269767433, 1380363849),
new FalconSmallPrime(2145175553, 56386299, 1316870546),
new FalconSmallPrime(2145079297, 2106880293, 1391797340),
new FalconSmallPrime(2145021953, 1347906152, 720510798),
new FalconSmallPrime(2145015809, 206769262, 1651459955),
new FalconSmallPrime(2145003521, 1885513236, 1393381284),
new FalconSmallPrime(2144960513, 1810381315, 31937275),
new FalconSmallPrime(2144944129, 1306487838, 2019419520),
new FalconSmallPrime(2144935937, 37304730, 1841489054),
new FalconSmallPrime(2144894977, 1601434616, 157985831),
new FalconSmallPrime(2144888833, 98749330, 2128592228),
new FalconSmallPrime(2144880641, 1772327002, 2076128344),
new FalconSmallPrime(2144864257, 1404514762, 2029969964),
new FalconSmallPrime(2144827393, 801236594, 406627220),
new FalconSmallPrime(2144806913, 349217443, 1501080290),
new FalconSmallPrime(2144796673, 1542656776, 2084736519),
new FalconSmallPrime(2144778241, 1210734884, 1746416203),
new FalconSmallPrime(2144759809, 1146598851, 716464489),
new FalconSmallPrime(2144757761, 286328400, 1823728177),
new FalconSmallPrime(2144729089, 1347555695, 1836644881),
new FalconSmallPrime(2144727041, 1795703790, 520296412),
new FalconSmallPrime(2144696321, 1302475157, 852964281),
new FalconSmallPrime(2144667649, 1075877614, 504992927),
new FalconSmallPrime(2144573441, 198765808, 1617144982),
new FalconSmallPrime(2144555009, 321528767, 155821259),
new FalconSmallPrime(2144550913, 814139516, 1819937644),
new FalconSmallPrime(2144536577, 571143206, 962942255),
new FalconSmallPrime(2144524289, 1746733766, 2471321),
new FalconSmallPrime(2144512001, 1821415077, 124190939),
new FalconSmallPrime(2144468993, 917871546, 1260072806),
new FalconSmallPrime(2144458753, 378417981, 1569240563),
new FalconSmallPrime(2144421889, 175229668, 1825620763),
new FalconSmallPrime(2144409601, 1699216963, 351648117),
new FalconSmallPrime(2144370689, 1071885991, 958186029),
new FalconSmallPrime(2144348161, 1763151227, 540353574),
new FalconSmallPrime(2144335873, 1060214804, 919598847),
new FalconSmallPrime(2144329729, 663515846, 1448552668),
new FalconSmallPrime(2144327681, 1057776305, 590222840),
new FalconSmallPrime(2144309249, 1705149168, 1459294624),
new FalconSmallPrime(2144296961, 325823721, 1649016934),
new FalconSmallPrime(2144290817, 738775789, 447427206),
new FalconSmallPrime(2144243713, 962347618, 893050215),
new FalconSmallPrime(2144237569, 1655257077, 900860862),
new FalconSmallPrime(2144161793, 242206694, 1567868672),
new FalconSmallPrime(2144155649, 769415308, 1247993134),
new FalconSmallPrime(2144137217, 320492023, 515841070),
new FalconSmallPrime(2144120833, 1639388522, 770877302),
new FalconSmallPrime(2144071681, 1761785233, 964296120),
new FalconSmallPrime(2144065537, 419817825, 204564472),
new FalconSmallPrime(2144028673, 666050597, 2091019760),
new FalconSmallPrime(2144010241, 1413657615, 1518702610),
new FalconSmallPrime(2143952897, 1238327946, 475672271),
new FalconSmallPrime(2143940609, 307063413, 1176750846),
new FalconSmallPrime(2143918081, 2062905559, 786785803),
new FalconSmallPrime(2143899649, 1338112849, 1562292083),
new FalconSmallPrime(2143891457, 68149545, 87166451),
new FalconSmallPrime(2143885313, 921750778, 394460854),
new FalconSmallPrime(2143854593, 719766593, 133877196),
new FalconSmallPrime(2143836161, 1149399850, 1861591875),
new FalconSmallPrime(2143762433, 1848739366, 1335934145),
new FalconSmallPrime(2143756289, 1326674710, 102999236),
new FalconSmallPrime(2143713281, 808061791, 1156900308),
new FalconSmallPrime(2143690753, 388399459, 1926468019),
new FalconSmallPrime(2143670273, 1427891374, 1756689401),
new FalconSmallPrime(2143666177, 1912173949, 986629565),
new FalconSmallPrime(2143645697, 2041160111, 371842865),
new FalconSmallPrime(2143641601, 1279906897, 2023974350),
new FalconSmallPrime(2143635457, 720473174, 1389027526),
new FalconSmallPrime(2143621121, 1298309455, 1732632006),
new FalconSmallPrime(2143598593, 1548762216, 1825417506),
new FalconSmallPrime(2143567873, 620475784, 1073787233),
new FalconSmallPrime(2143561729, 1932954575, 949167309),
new FalconSmallPrime(2143553537, 354315656, 1652037534),
new FalconSmallPrime(2143541249, 577424288, 1097027618),
new FalconSmallPrime(2143531009, 357862822, 478640055),
new FalconSmallPrime(2143522817, 2017706025, 1550531668),
new FalconSmallPrime(2143506433, 2078127419, 1824320165),
new FalconSmallPrime(2143488001, 613475285, 1604011510),
new FalconSmallPrime(2143469569, 1466594987, 502095196),
new FalconSmallPrime(2143426561, 1115430331, 1044637111),
new FalconSmallPrime(2143383553, 9778045, 1902463734),
new FalconSmallPrime(2143377409, 1557401276, 2056861771),
new FalconSmallPrime(2143363073, 652036455, 1965915971),
new FalconSmallPrime(2143260673, 1464581171, 1523257541),
new FalconSmallPrime(2143246337, 1876119649, 764541916),
new FalconSmallPrime(2143209473, 1614992673, 1920672844),
new FalconSmallPrime(2143203329, 981052047, 2049774209),
new FalconSmallPrime(2143160321, 1847355533, 728535665),
new FalconSmallPrime(2143129601, 965558457, 603052992),
new FalconSmallPrime(2143123457, 2140817191, 8348679),
new FalconSmallPrime(2143100929, 1547263683, 694209023),
new FalconSmallPrime(2143092737, 643459066, 1979934533),
new FalconSmallPrime(2143082497, 188603778, 2026175670),
new FalconSmallPrime(2143062017, 1657329695, 377451099),
new FalconSmallPrime(2143051777, 114967950, 979255473),
new FalconSmallPrime(2143025153, 1698431342, 1449196896),
new FalconSmallPrime(2143006721, 1862741675, 1739650365),
new FalconSmallPrime(2142996481, 756660457, 996160050),
new FalconSmallPrime(2142976001, 927864010, 1166847574),
new FalconSmallPrime(2142965761, 905070557, 661974566),
new FalconSmallPrime(2142916609, 40932754, 1787161127),
new FalconSmallPrime(2142892033, 1987985648, 675335382),
new FalconSmallPrime(2142885889, 797497211, 1323096997),
new FalconSmallPrime(2142871553, 2068025830, 1411877159),
new FalconSmallPrime(2142861313, 1217177090, 1438410687),
new FalconSmallPrime(2142830593, 409906375, 1767860634),
new FalconSmallPrime(2142803969, 1197788993, 359782919),
new FalconSmallPrime(2142785537, 643817365, 513932862),
new FalconSmallPrime(2142779393, 1717046338, 218943121),
new FalconSmallPrime(2142724097, 89336830, 416687049),
new FalconSmallPrime(2142707713, 5944581, 1356813523),
new FalconSmallPrime(2142658561, 887942135, 2074011722),
new FalconSmallPrime(2142638081, 151851972, 1647339939),
new FalconSmallPrime(2142564353, 1691505537, 1483107336),
new FalconSmallPrime(2142533633, 1989920200, 1135938817),
new FalconSmallPrime(2142529537, 959263126, 1531961857),
new FalconSmallPrime(2142527489, 453251129, 1725566162),
new FalconSmallPrime(2142502913, 1536028102, 182053257),
new FalconSmallPrime(2142498817, 570138730, 701443447),
new FalconSmallPrime(2142416897, 326965800, 411931819),
new FalconSmallPrime(2142363649, 1675665410, 1517191733),
new FalconSmallPrime(2142351361, 968529566, 1575712703),
new FalconSmallPrime(2142330881, 1384953238, 1769087884),
new FalconSmallPrime(2142314497, 1977173242, 1833745524),
new FalconSmallPrime(2142289921, 95082313, 1714775493),
new FalconSmallPrime(2142283777, 109377615, 1070584533),
new FalconSmallPrime(2142277633, 16960510, 702157145),
new FalconSmallPrime(2142263297, 553850819, 431364395),
new FalconSmallPrime(2142208001, 241466367, 2053967982),
new FalconSmallPrime(2142164993, 1795661326, 1031836848),
new FalconSmallPrime(2142097409, 1212530046, 712772031),
new FalconSmallPrime(2142087169, 1763869720, 822276067),
new FalconSmallPrime(2142078977, 644065713, 1765268066),
new FalconSmallPrime(2142074881, 112671944, 643204925),
new FalconSmallPrime(2142044161, 1387785471, 1297890174),
new FalconSmallPrime(2142025729, 783885537, 1000425730),
new FalconSmallPrime(2142011393, 905662232, 1679401033),
new FalconSmallPrime(2141974529, 799788433, 468119557),
new FalconSmallPrime(2141943809, 1932544124, 449305555),
new FalconSmallPrime(2141933569, 1527403256, 841867925),
new FalconSmallPrime(2141931521, 1247076451, 743823916),
new FalconSmallPrime(2141902849, 1199660531, 401687910),
new FalconSmallPrime(2141890561, 150132350, 1720336972),
new FalconSmallPrime(2141857793, 1287438162, 663880489),
new FalconSmallPrime(2141833217, 618017731, 1819208266),
new FalconSmallPrime(2141820929, 999578638, 1403090096),
new FalconSmallPrime(2141786113, 81834325, 1523542501),
new FalconSmallPrime(2141771777, 120001928, 463556492),
new FalconSmallPrime(2141759489, 122455485, 2124928282),
new FalconSmallPrime(2141749249, 141986041, 940339153),
new FalconSmallPrime(2141685761, 889088734, 477141499),
new FalconSmallPrime(2141673473, 324212681, 1122558298),
new FalconSmallPrime(2141669377, 1175806187, 1373818177),
new FalconSmallPrime(2141655041, 1113654822, 296887082),
new FalconSmallPrime(2141587457, 991103258, 1585913875),
new FalconSmallPrime(2141583361, 1401451409, 1802457360),
new FalconSmallPrime(2141575169, 1571977166, 712760980),
new FalconSmallPrime(2141546497, 1107849376, 1250270109),
new FalconSmallPrime(2141515777, 196544219, 356001130),
new FalconSmallPrime(2141495297, 1733571506, 1060744866),
new FalconSmallPrime(2141483009, 321552363, 1168297026),
new FalconSmallPrime(2141458433, 505818251, 733225819),
new FalconSmallPrime(2141360129, 1026840098, 948342276),
new FalconSmallPrime(2141325313, 945133744, 2129965998),
new FalconSmallPrime(2141317121, 1871100260, 1843844634),
new FalconSmallPrime(2141286401, 1790639498, 1750465696),
new FalconSmallPrime(2141267969, 1376858592, 186160720),
new FalconSmallPrime(2141255681, 2129698296, 1876677959),
new FalconSmallPrime(2141243393, 2138900688, 1340009628),
new FalconSmallPrime(2141214721, 1933049835, 1087819477),
new FalconSmallPrime(2141212673, 1898664939, 1786328049),
new FalconSmallPrime(2141202433, 990234828, 940682169),
new FalconSmallPrime(2141175809, 1406392421, 993089586),
new FalconSmallPrime(2141165569, 1263518371, 289019479),
new FalconSmallPrime(2141073409, 1485624211, 507864514),
new FalconSmallPrime(2141052929, 1885134788, 311252465),
new FalconSmallPrime(2141040641, 1285021247, 280941862),
new FalconSmallPrime(2141028353, 1527610374, 375035110),
new FalconSmallPrime(2141011969, 1400626168, 164696620),
new FalconSmallPrime(2140999681, 632959608, 966175067),
new FalconSmallPrime(2140997633, 2045628978, 1290889438),
new FalconSmallPrime(2140993537, 1412755491, 375366253),
new FalconSmallPrime(2140942337, 719477232, 785367828),
new FalconSmallPrime(2140925953, 45224252, 836552317),
new FalconSmallPrime(2140917761, 1157376588, 1001839569),
new FalconSmallPrime(2140887041, 278480752, 2098732796),
new FalconSmallPrime(2140837889, 1663139953, 924094810),
new FalconSmallPrime(2140788737, 802501511, 2045368990),
new FalconSmallPrime(2140766209, 1820083885, 1800295504),
new FalconSmallPrime(2140764161, 1169561905, 2106792035),
new FalconSmallPrime(2140696577, 127781498, 1885987531),
new FalconSmallPrime(2140684289, 16014477, 1098116827),
new FalconSmallPrime(2140653569, 665960598, 1796728247),
new FalconSmallPrime(2140594177, 1043085491, 377310938),
new FalconSmallPrime(2140579841, 1732838211, 1504505945),
new FalconSmallPrime(2140569601, 302071939, 358291016),
new FalconSmallPrime(2140567553, 192393733, 1909137143),
new FalconSmallPrime(2140557313, 406595731, 1175330270),
new FalconSmallPrime(2140549121, 1748850918, 525007007),
new FalconSmallPrime(2140477441, 499436566, 1031159814),
new FalconSmallPrime(2140469249, 1886004401, 1029951320),
new FalconSmallPrime(2140426241, 1483168100, 1676273461),
new FalconSmallPrime(2140420097, 1779917297, 846024476),
new FalconSmallPrime(2140413953, 522948893, 1816354149),
new FalconSmallPrime(2140383233, 1931364473, 1296921241),
new FalconSmallPrime(2140366849, 1917356555, 147196204),
new FalconSmallPrime(2140354561, 16466177, 1349052107),
new FalconSmallPrime(2140348417, 1875366972, 1860485634),
new FalconSmallPrime(2140323841, 456498717, 1790256483),
new FalconSmallPrime(2140321793, 1629493973, 150031888),
new FalconSmallPrime(2140315649, 1904063898, 395510935),
new FalconSmallPrime(2140280833, 1784104328, 831417909),
new FalconSmallPrime(2140250113, 256087139, 697349101),
new FalconSmallPrime(2140229633, 388553070, 243875754),
new FalconSmallPrime(2140223489, 747459608, 1396270850),
new FalconSmallPrime(2140200961, 507423743, 1895572209),
new FalconSmallPrime(2140162049, 580106016, 2045297469),
new FalconSmallPrime(2140149761, 712426444, 785217995),
new FalconSmallPrime(2140137473, 1441607584, 536866543),
new FalconSmallPrime(2140119041, 346538902, 1740434653),
new FalconSmallPrime(2140090369, 282642885, 21051094),
new FalconSmallPrime(2140076033, 1407456228, 319910029),
new FalconSmallPrime(2140047361, 1619330500, 1488632070),
new FalconSmallPrime(2140041217, 2089408064, 2012026134),
new FalconSmallPrime(2140008449, 1705524800, 1613440760),
new FalconSmallPrime(2139924481, 1846208233, 1280649481),
new FalconSmallPrime(2139906049, 989438755, 1185646076),
new FalconSmallPrime(2139867137, 1522314850, 372783595),
new FalconSmallPrime(2139842561, 1681587377, 216848235),
new FalconSmallPrime(2139826177, 2066284988, 1784999464),
new FalconSmallPrime(2139824129, 480888214, 1513323027),
new FalconSmallPrime(2139789313, 847937200, 858192859),
new FalconSmallPrime(2139783169, 1642000434, 1583261448),
new FalconSmallPrime(2139770881, 940699589, 179702100),
new FalconSmallPrime(2139768833, 315623242, 964612676),
new FalconSmallPrime(2139666433, 331649203, 764666914),
new FalconSmallPrime(2139641857, 2118730799, 1313764644),
new FalconSmallPrime(2139635713, 519149027, 519212449),
new FalconSmallPrime(2139598849, 1526413634, 1769667104),
new FalconSmallPrime(2139574273, 551148610, 820739925),
new FalconSmallPrime(2139568129, 1386800242, 472447405),
new FalconSmallPrime(2139549697, 813760130, 1412328531),
new FalconSmallPrime(2139537409, 1615286260, 1609362979),
new FalconSmallPrime(2139475969, 1352559299, 1696720421),
new FalconSmallPrime(2139455489, 1048691649, 1584935400),
new FalconSmallPrime(2139432961, 836025845, 950121150),
new FalconSmallPrime(2139424769, 1558281165, 1635486858),
new FalconSmallPrime(2139406337, 1728402143, 1674423301),
new FalconSmallPrime(2139396097, 1727715782, 1483470544),
new FalconSmallPrime(2139383809, 1092853491, 1741699084),
new FalconSmallPrime(2139369473, 690776899, 1242798709),
new FalconSmallPrime(2139351041, 1768782380, 2120712049),
new FalconSmallPrime(2139334657, 1739968247, 1427249225),
new FalconSmallPrime(2139332609, 1547189119, 623011170),
new FalconSmallPrime(2139310081, 1346827917, 1605466350),
new FalconSmallPrime(2139303937, 369317948, 828392831),
new FalconSmallPrime(2139301889, 1560417239, 1788073219),
new FalconSmallPrime(2139283457, 1303121623, 595079358),
new FalconSmallPrime(2139248641, 1354555286, 573424177),
new FalconSmallPrime(2139240449, 60974056, 885781403),
new FalconSmallPrime(2139222017, 355573421, 1221054839),
new FalconSmallPrime(2139215873, 566477826, 1724006500),
new FalconSmallPrime(2139150337, 871437673, 1609133294),
new FalconSmallPrime(2139144193, 1478130914, 1137491905),
new FalconSmallPrime(2139117569, 1854880922, 964728507),
new FalconSmallPrime(2139076609, 202405335, 756508944),
new FalconSmallPrime(2139062273, 1399715741, 884826059),
new FalconSmallPrime(2139045889, 1051045798, 1202295476),
new FalconSmallPrime(2139033601, 1707715206, 632234634),
new FalconSmallPrime(2139006977, 2035853139, 231626690),
new FalconSmallPrime(2138951681, 183867876, 838350879),
new FalconSmallPrime(2138945537, 1403254661, 404460202),
new FalconSmallPrime(2138920961, 310865011, 1282911681),
new FalconSmallPrime(2138910721, 1328496553, 103472415),
new FalconSmallPrime(2138904577, 78831681, 993513549),
new FalconSmallPrime(2138902529, 1319697451, 1055904361),
new FalconSmallPrime(2138816513, 384338872, 1706202469),
new FalconSmallPrime(2138810369, 1084868275, 405677177),
new FalconSmallPrime(2138787841, 401181788, 1964773901),
new FalconSmallPrime(2138775553, 1850532988, 1247087473),
new FalconSmallPrime(2138767361, 874261901, 1576073565),
new FalconSmallPrime(2138757121, 1187474742, 993541415),
new FalconSmallPrime(2138748929, 1782458888, 1043206483),
new FalconSmallPrime(2138744833, 1221500487, 800141243),
new FalconSmallPrime(2138738689, 413465368, 1450660558),
new FalconSmallPrime(2138695681, 739045140, 342611472),
new FalconSmallPrime(2138658817, 1355845756, 672674190),
new FalconSmallPrime(2138644481, 608379162, 1538874380),
new FalconSmallPrime(2138632193, 1444914034, 686911254),
new FalconSmallPrime(2138607617, 484707818, 1435142134),
new FalconSmallPrime(2138591233, 539460669, 1290458549),
new FalconSmallPrime(2138572801, 2093538990, 2011138646),
new FalconSmallPrime(2138552321, 1149786988, 1076414907),
new FalconSmallPrime(2138546177, 840688206, 2108985273),
new FalconSmallPrime(2138533889, 209669619, 198172413),
new FalconSmallPrime(2138523649, 1975879426, 1277003968),
new FalconSmallPrime(2138490881, 1351891144, 1976858109),
new FalconSmallPrime(2138460161, 1817321013, 1979278293),
new FalconSmallPrime(2138429441, 1950077177, 203441928),
new FalconSmallPrime(2138400769, 908970113, 628395069),
new FalconSmallPrime(2138398721, 219890864, 758486760),
new FalconSmallPrime(2138376193, 1306654379, 977554090),
new FalconSmallPrime(2138351617, 298822498, 2004708503),
new FalconSmallPrime(2138337281, 441457816, 1049002108),
new FalconSmallPrime(2138320897, 1517731724, 1442269609),
new FalconSmallPrime(2138290177, 1355911197, 1647139103),
new FalconSmallPrime(2138234881, 531313247, 1746591962),
new FalconSmallPrime(2138214401, 1899410930, 781416444),
new FalconSmallPrime(2138202113, 1813477173, 1622508515),
new FalconSmallPrime(2138191873, 1086458299, 1025408615),
new FalconSmallPrime(2138183681, 1998800427, 827063290),
new FalconSmallPrime(2138173441, 1921308898, 749670117),
new FalconSmallPrime(2138103809, 1620902804, 2126787647),
new FalconSmallPrime(2138099713, 828647069, 1892961817),
new FalconSmallPrime(2138085377, 179405355, 1525506535),
new FalconSmallPrime(2138060801, 615683235, 1259580138),
new FalconSmallPrime(2138044417, 2030277840, 1731266562),
new FalconSmallPrime(2138042369, 2087222316, 1627902259),
new FalconSmallPrime(2138032129, 126388712, 1108640984),
new FalconSmallPrime(2138011649, 715026550, 1017980050),
new FalconSmallPrime(2137993217, 1693714349, 1351778704),
new FalconSmallPrime(2137888769, 1289762259, 1053090405),
new FalconSmallPrime(2137853953, 199991890, 1254192789),
new FalconSmallPrime(2137833473, 941421685, 896995556),
new FalconSmallPrime(2137817089, 750416446, 1251031181),
new FalconSmallPrime(2137792513, 798075119, 368077456),
new FalconSmallPrime(2137786369, 878543495, 1035375025),
new FalconSmallPrime(2137767937, 9351178, 1156563902),
new FalconSmallPrime(2137755649, 1382297614, 1686559583),
new FalconSmallPrime(2137724929, 1345472850, 1681096331),
new FalconSmallPrime(2137704449, 834666929, 630551727),
new FalconSmallPrime(2137673729, 1646165729, 1892091571),
new FalconSmallPrime(2137620481, 778943821, 48456461),
new FalconSmallPrime(2137618433, 1730837875, 1713336725),
new FalconSmallPrime(2137581569, 805610339, 1378891359),
new FalconSmallPrime(2137538561, 204342388, 1950165220),
new FalconSmallPrime(2137526273, 1947629754, 1500789441),
new FalconSmallPrime(2137516033, 719902645, 1499525372),
new FalconSmallPrime(2137491457, 230451261, 556382829),
new FalconSmallPrime(2137440257, 979573541, 412760291),
new FalconSmallPrime(2137374721, 927841248, 1954137185),
new FalconSmallPrime(2137362433, 1243778559, 861024672),
new FalconSmallPrime(2137313281, 1341338501, 980638386),
new FalconSmallPrime(2137311233, 937415182, 1793212117),
new FalconSmallPrime(2137255937, 795331324, 1410253405),
new FalconSmallPrime(2137243649, 150756339, 1966999887),
new FalconSmallPrime(2137182209, 163346914, 1939301431),
new FalconSmallPrime(2137171969, 1952552395, 758913141),
new FalconSmallPrime(2137159681, 570788721, 218668666),
new FalconSmallPrime(2137147393, 1896656810, 2045670345),
new FalconSmallPrime(2137141249, 358493842, 518199643),
new FalconSmallPrime(2137139201, 1505023029, 674695848),
new FalconSmallPrime(2137133057, 27911103, 830956306),
new FalconSmallPrime(2137122817, 439771337, 1555268614),
new FalconSmallPrime(2137116673, 790988579, 1871449599),
new FalconSmallPrime(2137110529, 432109234, 811805080),
new FalconSmallPrime(2137102337, 1357900653, 1184997641),
new FalconSmallPrime(2137098241, 515119035, 1715693095),
new FalconSmallPrime(2137090049, 408575203, 2085660657),
new FalconSmallPrime(2137085953, 2097793407, 1349626963),
new FalconSmallPrime(2137055233, 1556739954, 1449960883),
new FalconSmallPrime(2137030657, 1545758650, 1369303716),
new FalconSmallPrime(2136987649, 332602570, 103875114),
new FalconSmallPrime(2136969217, 1499989506, 1662964115),
new FalconSmallPrime(2136924161, 857040753, 4738842),
new FalconSmallPrime(2136895489, 1948872712, 570436091),
new FalconSmallPrime(2136893441, 58969960, 1568349634),
new FalconSmallPrime(2136887297, 2127193379, 273612548),
new FalconSmallPrime(2136850433, 111208983, 1181257116),
new FalconSmallPrime(2136809473, 1627275942, 1680317971),
new FalconSmallPrime(2136764417, 1574888217, 14011331),
new FalconSmallPrime(2136741889, 14011055, 1129154251),
new FalconSmallPrime(2136727553, 35862563, 1838555253),
new FalconSmallPrime(2136721409, 310235666, 1363928244),
new FalconSmallPrime(2136698881, 1612429202, 1560383828),
new FalconSmallPrime(2136649729, 1138540131, 800014364),
new FalconSmallPrime(2136606721, 602323503, 1433096652),
new FalconSmallPrime(2136563713, 182209265, 1919611038),
new FalconSmallPrime(2136555521, 324156477, 165591039),
new FalconSmallPrime(2136549377, 195513113, 217165345),
new FalconSmallPrime(2136526849, 1050768046, 939647887),
new FalconSmallPrime(2136508417, 1886286237, 1619926572),
new FalconSmallPrime(2136477697, 609647664, 35065157),
new FalconSmallPrime(2136471553, 679352216, 1452259468),
new FalconSmallPrime(2136457217, 128630031, 824816521),
new FalconSmallPrime(2136422401, 19787464, 1526049830),
new FalconSmallPrime(2136420353, 698316836, 1530623527),
new FalconSmallPrime(2136371201, 1651862373, 1804812805),
new FalconSmallPrime(2136334337, 326596005, 336977082),
new FalconSmallPrime(2136322049, 63253370, 1904972151),
new FalconSmallPrime(2136297473, 312176076, 172182411),
new FalconSmallPrime(2136248321, 381261841, 369032670),
new FalconSmallPrime(2136242177, 358688773, 1640007994),
new FalconSmallPrime(2136229889, 512677188, 75585225),
new FalconSmallPrime(2136219649, 2095003250, 1970086149),
new FalconSmallPrime(2136207361, 1909650722, 537760675),
new FalconSmallPrime(2136176641, 1334616195, 1533487619),
new FalconSmallPrime(2136158209, 2096285632, 1793285210),
new FalconSmallPrime(2136143873, 1897347517, 293843959),
new FalconSmallPrime(2136133633, 923586222, 1022655978),
new FalconSmallPrime(2136096769, 1464868191, 1515074410),
new FalconSmallPrime(2136094721, 2020679520, 2061636104),
new FalconSmallPrime(2136076289, 290798503, 1814726809),
new FalconSmallPrime(2136041473, 156415894, 1250757633),
new FalconSmallPrime(2135996417, 297459940, 1132158924),
new FalconSmallPrime(2135955457, 538755304, 1688831340),
new FalconSmallPrime(0, 0, 0)
};
}