namespace Org.BouncyCastle.Pqc.Crypto.Falcon { internal class FalconSmallPrimes { internal FalconSmallPrime[] PRIMES = new FalconSmallPrime[522] { 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) }; internal FalconSmallPrimes() { } } }