org.bouncycastle.pqc.crypto.falcon.FalconSmallPrimeList Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of bcprov-jdk18on Show documentation
Show all versions of bcprov-jdk18on Show documentation
The Bouncy Castle Crypto package is a Java implementation of cryptographic algorithms. This jar contains JCE provider and lightweight API for the Bouncy Castle Cryptography APIs for JDK 1.8 and up.
package org.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)
};
}