// 
// Decompiled by Procyon v0.6.0
// 

package org.bouncycastle.pqc.crypto.falcon;

class FalconSmallPrimeList
{
    static final FalconSmallPrime[] PRIMES;
    
    static {
        PRIMES = new FalconSmallPrime[] { 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) };
    }
}