use crate::sm2::p256_ecc::Point;
use crate::sm2::p256_field::FieldElement;
use lazy_static::lazy_static;
#[rustfmt::skip]
lazy_static! {
pub static ref PRE_TABLE_1: Vec<Point> = {
let mut table: Vec<Point> = Vec::new();
table.push(Point {
x: FieldElement::new([0, 0, 0, 0, 0, 0, 0, 1]),
y: FieldElement::new([0, 0, 0, 0, 0, 0, 0, 1]),
z: FieldElement::new([0, 0, 0, 0, 0, 0, 0, 0]),
});
table.push(Point {
x: FieldElement::new([851750444, 521765145, 1603863622, 1782172052, 2414021567, 4066773985, 1901741449, 860648647]),
y: FieldElement::new([3157735074, 4109793180, 1505611491, 1802051923, 3500771196, 3324659520, 48181989, 557445280]),
z: FieldElement::new([0, 0, 0, 0, 0, 0, 0, 1]),
});
table.push(Point {
x: FieldElement::new([3530100962, 1503658241, 2644576579, 1194393339, 2027275901, 4238351532, 2458124336, 4150437411]),
y: FieldElement::new([2290422836, 3079446265, 2521014915, 2038845571, 863739665, 2709782356, 3050917920, 3274615524]),
z: FieldElement::new([4229885632, 457521614, 939797413, 1252819368, 3706385922, 3252672339, 1921353704, 2107211753]),
});
table.push(Point {
x: FieldElement::new([4053956292, 1180980682, 1822958205, 3671217223, 3814835996, 1829834707, 3625595643, 409266375]),
y: FieldElement::new([2427519948, 2841214942, 4000076314, 3364836171, 2002806172, 1999132561, 1924328955, 1677412908]),
z: FieldElement::new([21765374, 1668208866, 942980430, 851349856, 82185161, 1988771611, 3536683329, 790491226]),
});
table.push(Point {
x: FieldElement::new([3569882470, 113851164, 3775574960, 1694683252, 3761450354, 3662954176, 2424457148, 191567729]),
y: FieldElement::new([1359122984, 2760263311, 2419947878, 681140607, 3825038061, 601955963, 2852220413, 1868457319]),
z: FieldElement::new([3550572758, 1576056644, 1515907437, 3061469386, 2353362214, 1933205442, 448215345, 637142244]),
});
table.push(Point {
x: FieldElement::new([2521560716, 103724362, 414185433, 3988482268, 1784859454, 851963526, 1029895305, 4039665774]),
y: FieldElement::new([3596904618, 1740770883, 2710102463, 1954737052, 662183685, 1513125891, 2579461979, 1158298813]),
z: FieldElement::new([3485309558, 3042318980, 1833296570, 1888275613, 728014206, 2287226009, 2452550156, 3826878843]),
});
table.push(Point {
x: FieldElement::new([4119155071, 2110320018, 3162316396, 755535790, 2224658649, 3041215547, 854298466, 1062529188]),
y: FieldElement::new([856536044, 2050234431, 1442743270, 2770592887, 378410852, 91706548, 996108382, 83075578]),
z: FieldElement::new([1637646510, 3475398826, 2128562490, 2343714045, 628920572, 708368781, 3449847176, 3318705625]),
});
table.push(Point {
x: FieldElement::new([334776243, 354619026, 3959257534, 2465477878, 3807156178, 765445099, 3811870587, 2963937957]),
y: FieldElement::new([2122466567, 1675833747, 2934558460, 4286815387, 624328719, 1247404750, 2509579707, 685702694]),
z: FieldElement::new([3948028044, 3178264294, 3963869950, 3306585211, 782120621, 816080727, 3687707389, 483291147]),
});
table.push(Point {
x: FieldElement::new([4136996325, 2982653682, 2469806476, 1505166801, 1924446588, 1673634293, 3204147428, 1423132726]),
y: FieldElement::new([1249607522, 117726818, 1863146559, 2565523431, 1676317824, 2486479957, 3854895919, 1530512939]),
z: FieldElement::new([3637675016, 1956173607, 4235163953, 3627966871, 3717656576, 292678457, 3447062040, 3378546807]),
});
table.push(Point {
x: FieldElement::new([1253298364, 2435437651, 942996412, 1049408849, 3589765892, 3508868370, 1741089351, 453214655]),
y: FieldElement::new([2741570376, 2279467419, 449525871, 2022772451, 2486001346, 2729879547, 1508263753, 1036538575]),
z: FieldElement::new([3033076871, 622292501, 4001102596, 797528537, 3035654909, 649780400, 3809587723, 2133349374]),
});
table.push(Point {
x: FieldElement::new([2873047271, 2629036008, 1128014166, 1970199295, 2823665875, 2088637250, 2470587820, 293793798]),
y: FieldElement::new([1823252243, 377009872, 3881411647, 1350830274, 1024466750, 4078541794, 1792939469, 3992378236]),
z: FieldElement::new([768696091, 334128515, 2488305752, 605058426, 1964956984, 3676582727, 3599021980, 3069971084]),
});
table.push(Point {
x: FieldElement::new([1723416909, 2719486298, 4056732260, 3177338938, 2880204211, 3596795719, 811756322, 2823106280]),
y: FieldElement::new([809027888, 1251058022, 521667118, 63917186, 4151400501, 1055816225, 481649233, 1521774719]),
z: FieldElement::new([3082126146, 4211962567, 3891676300, 590133794, 2363493070, 3381993797, 1183390353, 195143421]),
});
table.push(Point {
x: FieldElement::new([1736124908, 1187068647, 389032890, 3327392998, 2716705101, 839922654, 100844137, 2973016943]),
y: FieldElement::new([527642702, 3223628520, 1456695089, 3921753787, 1756017825, 810468809, 3172544088, 3258757920]),
z: FieldElement::new([3606374061, 24573095, 2641945566, 402877988, 2629972791, 1980802395, 3365625394, 3685918902]),
});
table.push(Point {
x: FieldElement::new([2873589426, 3315627933, 3055686524, 325110103, 3264434653, 2512214348, 3018997295, 3617546169]),
y: FieldElement::new([2770466564, 2105097885, 777929430, 2328425753, 216389452, 3461892717, 3041631170, 1841938284]),
z: FieldElement::new([1076152259, 713556881, 2455531971, 3468389586, 3684942291, 3712001571, 1491518983, 296955291]),
});
table.push(Point {
x: FieldElement::new([553937238, 1716236143, 3144723827, 2614333377, 2507072783, 4230112584, 3754338512, 2913243996]),
y: FieldElement::new([3549988000, 148796607, 3032001764, 2890635579, 284393825, 1454128817, 3174741955, 1577697480]),
z: FieldElement::new([3779483322, 988090015, 1588375102, 779819746, 3784969896, 704987703, 158601597, 587398880]),
});
table.push(Point {
x: FieldElement::new([3818867987, 958837906, 2293344813, 1619263538, 1205150386, 1094074988, 1971476963, 2204821191]),
y: FieldElement::new([1656799261, 432109910, 4252021277, 3945566222, 1794627098, 3954882678, 2918191228, 4045821032]),
z: FieldElement::new([746548203, 3307945903, 1016490469, 2566038179, 2664115023, 2668627886, 3899544074, 2140152061]),
});
table.push(Point {
x: FieldElement::new([2027614605, 1583866999, 3658730336, 1978469445, 2775032703, 1419834796, 3334776701, 1311756792]),
y: FieldElement::new([3544027730, 3441726145, 1601844730, 2633228214, 2525823220, 3584290261, 2347432525, 457755758]),
z: FieldElement::new([881192399, 1598344968, 3534747332, 3585331163, 1761236523, 2915263417, 3274154792, 2627231823]),
});
table.push(Point {
x: FieldElement::new([4238395087, 3722272659, 899183212, 3354468067, 909778027, 3700250434, 2488708525, 3983423361]),
y: FieldElement::new([3302671851, 90448490, 28966074, 390897646, 3101505053, 2491347249, 2262883897, 229860689]),
z: FieldElement::new([3256934314, 51302725, 1563523909, 1221726078, 3294712429, 2412247674, 1912815574, 3468331464]),
});
table.push(Point {
x: FieldElement::new([2710254480, 109842575, 4218973420, 201129099, 1655304394, 759499692, 1656878364, 2461522232]),
y: FieldElement::new([2954843991, 1590568898, 415371179, 634677134, 3496841800, 1434581673, 1208271193, 1354880444]),
z: FieldElement::new([1521744450, 4024467436, 4287516120, 2963052762, 1676161205, 40507689, 1454554847, 152811937]),
});
table.push(Point {
x: FieldElement::new([2885227830, 1897033569, 3047257660, 1852463110, 365822080, 113605451, 1908253596, 2985579104]),
y: FieldElement::new([1680575318, 3582255049, 1347626711, 3415447914, 4147898728, 2230303723, 2812744842, 4552778]),
z: FieldElement::new([3463316991, 2002615297, 1712092563, 876294858, 2740502968, 3394360886, 3436344378, 271240332]),
});
table.push(Point {
x: FieldElement::new([461694438, 2885595785, 3970253108, 115399259, 2552936504, 288642994, 2825446653, 2489681341]),
y: FieldElement::new([1676193264, 3715190149, 3565318644, 2416481544, 2142132195, 3860154455, 3860876560, 2968662649]),
z: FieldElement::new([3507337370, 3064884341, 3959371962, 1265040187, 2422145260, 1665728232, 1351254748, 669612622]),
});
table.push(Point {
x: FieldElement::new([220187984, 3450193280, 648879210, 3981124903, 1356241360, 1865236644, 2832005182, 1141255766]),
y: FieldElement::new([1296201842, 4115885842, 3442402706, 1370781603, 3362374133, 89297140, 1609457632, 3376676377]),
z: FieldElement::new([3987874518, 2002282549, 1746107742, 3673037208, 317313172, 911762468, 158737679, 3685788185]),
});
table.push(Point {
x: FieldElement::new([119087762, 3326203828, 621618226, 326537029, 3115873062, 4271704838, 1329574231, 1166480427]),
y: FieldElement::new([3210079245, 3340502122, 2460998762, 383089685, 3448034756, 1023781891, 748593871, 2662002476]),
z: FieldElement::new([804546166, 1806556761, 3778059227, 1118948005, 913438361, 4035500314, 3324395707, 3177717426]),
});
table.push(Point {
x: FieldElement::new([2392199127, 1321421658, 2181518389, 1413067127, 895934866, 2412650727, 622979154, 317525971]),
y: FieldElement::new([606610795, 3789715639, 3827139035, 2139289975, 2004951255, 352879927, 2975152373, 790529552]),
z: FieldElement::new([1874366295, 1664001236, 4117527707, 3404465238, 457881640, 606213059, 2539645163, 4158765773]),
});
table.push(Point {
x: FieldElement::new([2709124197, 2766038218, 3085818436, 2009026853, 734215077, 2562923035, 2879273426, 2778363526]),
y: FieldElement::new([2121753166, 2919369768, 2438905423, 2049115255, 3588531234, 2876643150, 3083287532, 4165295385]),
z: FieldElement::new([1812429614, 2883135467, 3223071489, 2538731241, 3752668346, 1774567890, 1476714245, 3227786101]),
});
table.push(Point {
x: FieldElement::new([2363225894, 4095496878, 1910370186, 863642996, 1361354675, 2603912858, 1713601721, 1603109616]),
y: FieldElement::new([453126467, 3471626977, 13434646, 916633376, 3202355101, 610682268, 3078778688, 3487354984]),
z: FieldElement::new([1703766256, 135571636, 3003005655, 2799721565, 3241481286, 959683138, 220427999, 2118308639]),
});
table.push(Point {
x: FieldElement::new([791245701, 4090622296, 775949199, 3137358907, 28639642, 1582004558, 2283258259, 3470154747]),
y: FieldElement::new([2123599433, 1740361760, 3576070271, 4095498140, 2116627670, 594283864, 2927373649, 1124387340]),
z: FieldElement::new([353878395, 3201709133, 2261113548, 3652542034, 4170828798, 100819469, 3482349783, 466298519]),
});
table.push(Point {
x: FieldElement::new([1372358043, 2917953059, 3058541398, 416085772, 3648330393, 1281727062, 320963125, 2892323541]),
y: FieldElement::new([1117096055, 3100145542, 4230299584, 3099926631, 1912101830, 1141890832, 3516078267, 2823997799]),
z: FieldElement::new([2376337214, 2881481368, 815202379, 179256455, 3745257902, 591600782, 4149731936, 218304463]),
});
table.push(Point {
x: FieldElement::new([2541417781, 3040512557, 3718187168, 2022710542, 2459241050, 1349139836, 211729096, 123254583]),
y: FieldElement::new([747208629, 2059759779, 1554869481, 395311726, 3316889919, 2473209848, 226153317, 2663743437]),
z: FieldElement::new([3842743086, 2153267700, 1658928216, 3945566931, 1588568040, 3339641293, 2731183498, 293820073]),
});
table.push(Point {
x: FieldElement::new([524158022, 2419916742, 251384988, 3541340204, 489517430, 3892562322, 3966438994, 3841624267]),
y: FieldElement::new([3046123563, 2011569108, 951062879, 668343354, 3634203648, 3679348837, 1366147511, 3747444444]),
z: FieldElement::new([2899826359, 1586664768, 3340711597, 3721909739, 1052852701, 602256145, 2260699300, 3738853648]),
});
table.push(Point {
x: FieldElement::new([2285794239, 3183780775, 2238025858, 3616660062, 2351557921, 2995526848, 146791323, 4131306108]),
y: FieldElement::new([1616767667, 2901581790, 3593882663, 2551214018, 2740055194, 1527413094, 2061348514, 63163065]),
z: FieldElement::new([93147728, 1274128511, 1597488915, 1704701708, 1970023632, 2584568220, 3380831460, 4088761899]),
});
table.push(Point {
x: FieldElement::new([47400173, 3358517550, 3207043154, 1821425330, 1157630576, 1705657631, 130526189, 3930341840]),
y: FieldElement::new([2160138658, 1458151544, 3113701414, 3795791279, 2624202040, 1019454911, 1889325967, 403338360]),
z: FieldElement::new([1907621125, 524746989, 4066031027, 1538001931, 1921838585, 1886207344, 4225704084, 1734790564]),
});
table.push(Point {
x: FieldElement::new([1972387203, 4028087878, 2392995061, 4064595547, 2982829380, 2376882566, 2564772269, 3890832381]),
y: FieldElement::new([627305225, 59487738, 2144964531, 315719022, 482427754, 437921451, 2279267879, 2746482718]),
z: FieldElement::new([905572206, 787830019, 1047736795, 1396026809, 3782454788, 1991519924, 1015577508, 502219071]),
});
table.push(Point {
x: FieldElement::new([2239484378, 639640017, 1187159450, 674656369, 4164513548, 2893047862, 1182524299, 3487115583]),
y: FieldElement::new([1443859096, 565785401, 1087036783, 813633639, 2431415281, 2699675814, 1364631103, 3346411765]),
z: FieldElement::new([3270231811, 3286257855, 3274415908, 2181709149, 2924236447, 1431327364, 1566045397, 3141868290]),
});
table.push(Point {
x: FieldElement::new([3413006032, 1277110582, 3894627620, 1709275990, 2549465783, 1591838072, 4089296315, 2510462477]),
y: FieldElement::new([1531171520, 36273993, 3437503671, 2461327219, 1528381464, 689123278, 1322717189, 4145379013]),
z: FieldElement::new([2497462683, 2676527676, 329787314, 1465508258, 3058184723, 126892918, 1843141596, 2828335079]),
});
table.push(Point {
x: FieldElement::new([1565241491, 1497446744, 2718441390, 364133165, 4118114404, 1580809905, 3380219675, 1262622336]),
y: FieldElement::new([765664302, 1830202361, 1393351073, 3462507352, 2257080711, 3754536295, 1739556023, 611963656]),
z: FieldElement::new([3640548694, 1380356769, 4133342919, 3772436006, 327375171, 2978207703, 1208064647, 886333625]),
});
table.push(Point {
x: FieldElement::new([26012903, 420020926, 1868869129, 1501285710, 1083776135, 175529151, 2035928922, 3911510427]),
y: FieldElement::new([3663677471, 787170179, 3391945203, 387482533, 4206003118, 1965161668, 2643784372, 116115942]),
z: FieldElement::new([3081664212, 1819842277, 739293248, 683167107, 346968759, 2279763954, 2154292090, 3876768275]),
});
table.push(Point {
x: FieldElement::new([3435975965, 2406959293, 363089470, 321875067, 3588401696, 2400287246, 3933895002, 2470967417]),
y: FieldElement::new([1177192743, 3418497009, 146974766, 2978711804, 919936509, 1062648063, 1022844159, 2114567478]),
z: FieldElement::new([4060835525, 848319843, 3887313855, 3061875220, 1137805970, 2589108032, 2632873592, 4104284153]),
});
table.push(Point {
x: FieldElement::new([348074932, 1776329621, 4090310711, 324175888, 3394140552, 905363131, 1252318980, 1629690685]),
y: FieldElement::new([2412725241, 4255800944, 3847095038, 4225254665, 3929324809, 1225286186, 4079202148, 4066995675]),
z: FieldElement::new([2666397768, 938775761, 647601930, 860724016, 3636843540, 3055117249, 928286727, 1552635394]),
});
table.push(Point {
x: FieldElement::new([2168972148, 3013843940, 2018527352, 4135497373, 3502814573, 35355646, 4231332528, 2965956627]),
y: FieldElement::new([3798270237, 4181791854, 3593099961, 3412455448, 971962277, 1827465097, 1631897617, 2464588961]),
z: FieldElement::new([3967310877, 1552137445, 3957129953, 3841686447, 1620706005, 3419808044, 156695575, 3868557359]),
});
table.push(Point {
x: FieldElement::new([902958660, 3707042938, 1139573859, 1893401704, 2367638017, 4279739831, 621054972, 2640192457]),
y: FieldElement::new([2992402458, 2796792459, 2786282614, 623005109, 313094902, 231411419, 4018902251, 858281673]),
z: FieldElement::new([2336605925, 3528589379, 2093502916, 2344080311, 1803262297, 2443182453, 316000498, 2465524022]),
});
table.push(Point {
x: FieldElement::new([4111043015, 2007319808, 1919314899, 249881788, 50791311, 2375789768, 729767047, 3988633013]),
y: FieldElement::new([3280360922, 2071422417, 2076660054, 1069792881, 3734866292, 2956801806, 982391314, 1539466610]),
z: FieldElement::new([3403170957, 2108553669, 1789329031, 382061056, 2102163184, 939282442, 3556461381, 239624200]),
});
table.push(Point {
x: FieldElement::new([1289666454, 198639014, 1000174017, 2978235181, 106339510, 4023016879, 2901127294, 4164563065]),
y: FieldElement::new([2143199380, 1750806364, 1085613729, 1760067778, 3337585657, 578414017, 43521935, 434463999]),
z: FieldElement::new([1882833574, 2397181485, 3587631421, 2705099821, 690084951, 2397655198, 1909984900, 2980636717]),
});
table.push(Point {
x: FieldElement::new([93340200, 2366129098, 1623425198, 1170420154, 1416199278, 2326355738, 2945916531, 565553117]),
y: FieldElement::new([2585227358, 1539564545, 1796144047, 848573325, 840417836, 1682975066, 776468216, 2454978424]),
z: FieldElement::new([653770286, 1906900704, 2154344714, 4010974236, 1898470219, 1661857224, 58410626, 2023576972]),
});
table.push(Point {
x: FieldElement::new([2492990063, 3977937391, 3619148048, 3487371380, 3835707538, 628832323, 2223421515, 3722104687]),
y: FieldElement::new([2592971046, 791784820, 3874720589, 4045852819, 2557073000, 2893822059, 564826488, 1713501173]),
z: FieldElement::new([2845923214, 3359696037, 2645997049, 2470276666, 3921764199, 1645737476, 3012708105, 2408169577]),
});
table.push(Point {
x: FieldElement::new([1861310280, 187807796, 1653038361, 1147915583, 3781223645, 4123796638, 851967982, 655257399]),
y: FieldElement::new([221084013, 2443231790, 3777338798, 2060167446, 1435410553, 2892058378, 1572182153, 1809304059]),
z: FieldElement::new([3948907571, 224917753, 3996688105, 211165523, 3055866250, 4267055609, 3670362874, 2577512756]),
});
table.push(Point {
x: FieldElement::new([1194365803, 3892057115, 1144964647, 3293271025, 2486753966, 3632495980, 3789238003, 820892015]),
y: FieldElement::new([4117424623, 1136786867, 3424847835, 4239165927, 1830135480, 1528340324, 488103758, 315537741]),
z: FieldElement::new([1200999351, 1318065785, 2203273979, 1331223779, 671629914, 3506235208, 1276598576, 2555293892]),
});
table.push(Point {
x: FieldElement::new([2124659277, 3627095932, 2052012534, 1054822375, 1664953561, 3887537359, 1177959732, 3173931351]),
y: FieldElement::new([449790706, 2383958840, 3239317321, 1762448438, 2904761076, 3496532948, 2699729987, 3622609586]),
z: FieldElement::new([3597401677, 2062437468, 2240559129, 2933751111, 3158955136, 3479788916, 1300574376, 2320593157]),
});
table.push(Point {
x: FieldElement::new([441405649, 2253878735, 580236368, 1295246724, 284115173, 991295932, 1158615766, 939984537]),
y: FieldElement::new([3186522698, 3672882510, 816536503, 1230275166, 1866088973, 1891797358, 1506496956, 230589179]),
z: FieldElement::new([3488062926, 2212934244, 4136349510, 220937535, 1802664745, 3349875678, 2348853246, 145528878]),
});
table.push(Point {
x: FieldElement::new([275015693, 1560203825, 895906471, 1560863221, 3812245619, 1716515764, 1916884486, 2042345493]),
y: FieldElement::new([3875636317, 369538593, 2895831104, 2610085997, 3165501580, 934076638, 3803685150, 58733105]),
z: FieldElement::new([2364525439, 3845564380, 4090566522, 2647869740, 2972370939, 2607097059, 2894067066, 1069942250]),
});
table.push(Point {
x: FieldElement::new([685373824, 3770733990, 3140676432, 475901353, 3456700114, 1251216750, 1248380112, 659241510]),
y: FieldElement::new([461747322, 4075385244, 4054954039, 1473655921, 3556446655, 333562669, 3952780545, 1809690414]),
z: FieldElement::new([2373177934, 711932712, 533175411, 86439976, 3602446417, 2389551785, 2393238513, 947031526]),
});
table.push(Point {
x: FieldElement::new([24757101, 1926972649, 1176063549, 4174383576, 168244069, 2684798774, 1652005792, 1546667821]),
y: FieldElement::new([1016143308, 4218969382, 4276627553, 2411970931, 489699214, 3882846800, 3920277195, 3939384362]),
z: FieldElement::new([1348111702, 2816272434, 340438822, 559381856, 2841457347, 4200817410, 4294549934, 1117421803]),
});
table.push(Point {
x: FieldElement::new([2903437446, 3145424568, 323255993, 3443122667, 2966495, 3209196179, 2375848552, 1643814379]),
y: FieldElement::new([1291599300, 1420656441, 2038943191, 1062519073, 761679283, 2584585522, 3015613355, 4101400968]),
z: FieldElement::new([1622902906, 2606173550, 2005951633, 4231093315, 4104833846, 508528532, 1836593551, 519801987]),
});
table.push(Point {
x: FieldElement::new([3296378416, 4070550093, 2705376693, 2354071613, 357199033, 1431163793, 2198011471, 128925827]),
y: FieldElement::new([1147794136, 2937839902, 2212982779, 4165111185, 3649146180, 260589800, 2689130227, 3550977868]),
z: FieldElement::new([268297107, 318962192, 3170088779, 2874743570, 4264682310, 571218855, 1803002088, 2281852422]),
});
table.push(Point {
x: FieldElement::new([2776767174, 1052437405, 1541180062, 1837399558, 3644209471, 1270234771, 932650712, 1748182593]),
y: FieldElement::new([2010117842, 3439574985, 3286993993, 1072353451, 4223307328, 1716121842, 1571712148, 2627527972]),
z: FieldElement::new([2242830350, 483517533, 1541604144, 3005172485, 2511323605, 2948437895, 4171995295, 4075141664]),
});
table.push(Point {
x: FieldElement::new([627453720, 161220108, 3082902189, 1969210865, 1115243837, 938040020, 3272915469, 433055236]),
y: FieldElement::new([2205766383, 449016384, 2395003325, 3640910291, 2539580479, 2590393814, 3870334074, 1478797452]),
z: FieldElement::new([37743112, 1927556746, 500297711, 3770467290, 300697776, 3989854874, 1594790565, 3150996693]),
});
table.push(Point {
x: FieldElement::new([3712457206, 546457685, 2138888891, 3112863658, 4013922040, 3224090110, 202804373, 2760572565]),
y: FieldElement::new([416336607, 3575755513, 3087126913, 1055936203, 3967009454, 1575127627, 1841618414, 3003249946]),
z: FieldElement::new([4059003145, 543263924, 678092331, 1889522628, 2264073283, 1577038017, 3274468031, 2412070275]),
});
table.push(Point {
x: FieldElement::new([1782457753, 400843866, 2850216814, 1280070069, 3111293639, 3024020367, 1507529843, 1822577019]),
y: FieldElement::new([926706601, 1863995418, 3663909493, 2635395582, 3495379303, 1155072383, 1242377517, 3625130079]),
z: FieldElement::new([1777292511, 2115786906, 1714546593, 1050287388, 3405255476, 2404175984, 3323003412, 867610490]),
});
table.push(Point {
x: FieldElement::new([3052055685, 52838215, 3689366662, 806697326, 501761949, 2380741218, 1723607537, 1181947016]),
y: FieldElement::new([84938447, 3034252382, 3947082951, 3617072224, 3147468962, 4021285, 2879875832, 3672790078]),
z: FieldElement::new([677649888, 2294320423, 3713310258, 1411506411, 2595870263, 4182296552, 919336689, 1527442772]),
});
table.push(Point {
x: FieldElement::new([3145547098, 3737873738, 4092864201, 3032638332, 2048902696, 2765820509, 3362521615, 4107713080]),
y: FieldElement::new([1079195810, 3618595004, 3503859599, 3410854320, 2391680092, 53430583, 3979472050, 4216676002]),
z: FieldElement::new([515785445, 508877486, 1558471088, 4285131528, 1133672016, 4232144382, 4096998155, 8078888]),
});
table.push(Point {
x: FieldElement::new([160182009, 1491038903, 714698113, 780912244, 4111682632, 839221921, 2523291808, 2448558298]),
y: FieldElement::new([909166012, 3650513842, 2533830706, 2988498758, 3517294050, 3982388591, 1919026665, 1798729418]),
z: FieldElement::new([659626880, 601766912, 2377600823, 3014783019, 1704134801, 3444943520, 3432048820, 1943053151]),
});
table.push(Point {
x: FieldElement::new([1851816670, 3296199104, 1727372437, 1320797275, 3565168657, 1679721581, 1481093559, 720401113]),
y: FieldElement::new([675932566, 3422062242, 3010846522, 3879989174, 2769270904, 2679602150, 3548071293, 1064741634]),
z: FieldElement::new([2128718755, 4091057010, 2174670953, 4014262238, 836056420, 2675502498, 1781382681, 423290571]),
});
table.push(Point {
x: FieldElement::new([1446360796, 2154949037, 1065470579, 3914785595, 3041612789, 1783485029, 381925101, 3074657284]),
y: FieldElement::new([1263698472, 2449706348, 1423706345, 135335058, 3699166270, 1946545483, 578350260, 734996133]),
z: FieldElement::new([1904779506, 3903747971, 3526555959, 2044711993, 2401213500, 2109249342, 3185691505, 744605824]),
});
table.push(Point {
x: FieldElement::new([1082796056, 2292073043, 1508282066, 1025968070, 2387008222, 1101220328, 3555936938, 3084485263]),
y: FieldElement::new([2238970868, 4264058507, 1363281504, 427384916, 3472699633, 3644056861, 3003022751, 1428304884]),
z: FieldElement::new([104383099, 3268825076, 2659451465, 2952338959, 1818245389, 4093010810, 1992444315, 4252798581]),
});
table.push(Point {
x: FieldElement::new([3473441225, 3261727089, 3477527762, 2885431870, 3920771631, 3742244863, 2835569433, 3515173351]),
y: FieldElement::new([2667777921, 2220948942, 3657566297, 2398204653, 4174686753, 3933254430, 228781442, 2459853196]),
z: FieldElement::new([1396634230, 2452047975, 659563201, 2829012851, 1947421521, 2185165825, 535676818, 1033757913]),
});
table.push(Point {
x: FieldElement::new([512808175, 2232828423, 807727239, 3806870173, 362447389, 586546305, 4214703598, 3865467804]),
y: FieldElement::new([2040013124, 1500741180, 1340879488, 3221972261, 2804602892, 1017270864, 1707629590, 16940915]),
z: FieldElement::new([1572724137, 2316396906, 520251296, 3778041640, 2566650405, 3965524184, 2257268207, 1637573396]),
});
table.push(Point {
x: FieldElement::new([1889400607, 754060466, 2099716567, 2621205429, 2098298882, 3551450119, 4104979059, 1004909602]),
y: FieldElement::new([2384110502, 400829702, 2933679689, 2580158180, 1971099230, 2254042479, 2793987375, 3557876286]),
z: FieldElement::new([1533311802, 3686773114, 4043515939, 3917974247, 3733686624, 4207802974, 2433845681, 1299547583]),
});
table.push(Point {
x: FieldElement::new([1189647577, 513460852, 4125698213, 1529859685, 3834666049, 2272154992, 2227760646, 1138290509]),
y: FieldElement::new([2975124161, 1442975527, 2208714498, 1185132956, 2828766070, 963164944, 1100810862, 4182463112]),
z: FieldElement::new([1947192805, 232769583, 757985076, 2521398273, 2587532348, 1919627602, 2767378753, 2470328471]),
});
table.push(Point {
x: FieldElement::new([2289155327, 1077227291, 486358850, 4088932332, 1903508677, 1647471087, 3210054070, 3532797873]),
y: FieldElement::new([2079117694, 23763151, 525772681, 2981053044, 3753985218, 2611352274, 3630239144, 1132652502]),
z: FieldElement::new([1664546273, 1466832985, 4008199267, 3542515636, 1029823917, 225457574, 2230923246, 942576281]),
});
table.push(Point {
x: FieldElement::new([3201679029, 2925037804, 2190539120, 2900140840, 1025127672, 2461777967, 1496203910, 1158609736]),
y: FieldElement::new([3048251290, 3126420733, 2719997726, 4264232718, 1246627825, 3584538449, 3017002782, 112281500]),
z: FieldElement::new([2155320797, 2569251192, 1406679175, 1179184265, 137503422, 3590893776, 1307054138, 238373097]),
});
table.push(Point {
x: FieldElement::new([2544165450, 1788914000, 973907830, 3564339675, 262237374, 2650711114, 1703819847, 773796163]),
y: FieldElement::new([1953238948, 3963897404, 3877400854, 1502285226, 4120936172, 333007927, 3317521881, 285528094]),
z: FieldElement::new([4014350756, 803936299, 1896933018, 1340661978, 41475037, 3191732343, 1943260421, 3547152262]),
});
table.push(Point {
x: FieldElement::new([1974348658, 3748184437, 3963288987, 2390888072, 2503147019, 1074923565, 1456799119, 1350593064]),
y: FieldElement::new([1855458855, 2399649699, 175654675, 2305998819, 2269646328, 811465781, 3826715706, 3743512248]),
z: FieldElement::new([2083564104, 1337300107, 706297127, 2644175589, 304176787, 3142356366, 272466042, 3966875390]),
});
table.push(Point {
x: FieldElement::new([991466255, 3915929710, 643657810, 1780469200, 978095613, 618660386, 2329545910, 3384145802]),
y: FieldElement::new([3374079796, 2414873754, 3695510373, 2710258556, 2419150949, 1449685278, 745158319, 3041945327]),
z: FieldElement::new([469546808, 3818969611, 439784925, 410554107, 326226380, 2664732189, 3678024261, 4123635470]),
});
table.push(Point {
x: FieldElement::new([173300687, 595389596, 3679979524, 1624857462, 1987061347, 3831742499, 125386762, 3641497953]),
y: FieldElement::new([2624098973, 1152582857, 3622641267, 3666205395, 733850406, 102395798, 1335005507, 595588151]),
z: FieldElement::new([4054194761, 2523755011, 3399072497, 426953015, 3470865478, 2051543796, 2647126029, 1068619863]),
});
table.push(Point {
x: FieldElement::new([2107027779, 2806637973, 1813660407, 1914658333, 994502680, 978280479, 3531666252, 3361160382]),
y: FieldElement::new([1088410573, 1103879834, 964939434, 1144075924, 701355995, 161735886, 1537581969, 1188597104]),
z: FieldElement::new([3338657183, 2545551713, 232588760, 1968627229, 3533070621, 2201459007, 3507676894, 18294216]),
});
table.push(Point {
x: FieldElement::new([3911630704, 3556095674, 1114416893, 1894113355, 973184828, 1075429772, 2676959711, 486330354]),
y: FieldElement::new([2858096876, 3809686197, 1237143574, 1225030159, 1913190333, 3633343274, 413783347, 1673370281]),
z: FieldElement::new([15032333, 3172329804, 1768863991, 420418152, 1788478472, 3089539871, 3151609389, 3951777488]),
});
table.push(Point {
x: FieldElement::new([824669375, 3131619261, 1475443407, 2157727309, 1824265511, 4052546458, 1627543852, 3061857243]),
y: FieldElement::new([4124394484, 454938929, 2963457109, 3515801603, 1451593215, 2890842449, 2646840541, 1228134162]),
z: FieldElement::new([3834201063, 2929100227, 1500812492, 3513367609, 3123152339, 29781832, 4289370987, 1891294367]),
});
table.push(Point {
x: FieldElement::new([222995372, 1620020907, 211664082, 3467205105, 2435504842, 3099221080, 1392877656, 2113191204]),
y: FieldElement::new([3034396590, 2395521659, 1521547121, 1688788957, 146826351, 895723740, 693749991, 3724012005]),
z: FieldElement::new([913447028, 2622817455, 3140461882, 638991246, 2091819882, 3773000599, 2922034492, 404648083]),
});
table.push(Point {
x: FieldElement::new([3873078529, 2093451146, 3848459063, 682650743, 2918002443, 329200985, 2193480410, 610890612]),
y: FieldElement::new([523601231, 1575104619, 1889149190, 273359911, 2578502312, 2504808526, 4159110216, 3289204051]),
z: FieldElement::new([2023092284, 1872342024, 1043081787, 612601651, 1118167628, 112751502, 1073497422, 3718015370]),
});
table.push(Point {
x: FieldElement::new([3122754932, 3141076680, 1596116013, 1462482109, 3207867718, 1153272404, 805501190, 3147723448]),
y: FieldElement::new([1168768972, 314870179, 746775484, 2524480795, 841760966, 2531817273, 2404610921, 3951141741]),
z: FieldElement::new([18629473, 598739806, 229101636, 3334424464, 2770399850, 4249980603, 68894258, 1112578433]),
});
table.push(Point {
x: FieldElement::new([4079841772, 1324679166, 3961266929, 2298515733, 2855957249, 180479058, 3515878048, 3051611236]),
y: FieldElement::new([1991550398, 3816085315, 253202877, 2681560001, 4147449596, 3756423855, 1575177397, 193366887]),
z: FieldElement::new([1918291689, 4004647680, 3284642382, 1649109834, 1549814475, 3497340196, 3761088666, 3719288017]),
});
table.push(Point {
x: FieldElement::new([3458322217, 3966978298, 2908585004, 2887660355, 1559499724, 2396248552, 1456320739, 1400443785]),
y: FieldElement::new([1184100891, 1544013351, 544639288, 3572501776, 1337589396, 3683492931, 4001793763, 1381883815]),
z: FieldElement::new([1027161493, 2839071455, 3707484606, 1441579163, 1867256418, 3475831874, 2734271564, 2447780460]),
});
table.push(Point {
x: FieldElement::new([4233987033, 1639834967, 3774994253, 4184000997, 681127817, 2199517847, 1450860377, 524296793]),
y: FieldElement::new([786150399, 3534080061, 1522479998, 1028109059, 3785304371, 3499407195, 904457868, 4126282498]),
z: FieldElement::new([2606542326, 543778334, 1579188941, 1719880525, 1082945349, 4263785837, 1381493135, 1248312554]),
});
table.push(Point {
x: FieldElement::new([1712687206, 3335180961, 2684419566, 2089806201, 2737514115, 1730966879, 3784741496, 1569710522]),
y: FieldElement::new([1275903466, 2719346732, 635055625, 3436083864, 2345645592, 3695720312, 3217986758, 779028283]),
z: FieldElement::new([889219879, 572198711, 2692548541, 3222207595, 918940044, 2156860053, 206922615, 3631886415]),
});
table.push(Point {
x: FieldElement::new([777258368, 3684404314, 1436330303, 2688814809, 2039443417, 1989996277, 1839909806, 1974734539]),
y: FieldElement::new([3431522251, 296013756, 3633610926, 1315704818, 3528772245, 1532539568, 1627161231, 2056838413]),
z: FieldElement::new([4019487691, 3230442876, 711727942, 3707672750, 2808283703, 1644153010, 3397830681, 4156895323]),
});
table.push(Point {
x: FieldElement::new([1343083437, 4156380933, 2983404765, 3652997387, 3252453513, 3594756174, 1764344427, 1196722366]),
y: FieldElement::new([1155367935, 3011559343, 352224577, 1966246805, 3409196629, 2520164024, 3293439657, 1391005354]),
z: FieldElement::new([4107579108, 3746488945, 3596988087, 3723507119, 884116765, 1096087986, 2111164019, 1296777593]),
});
table.push(Point {
x: FieldElement::new([700112673, 3074760383, 127165696, 3960787167, 858348746, 1307205974, 1483902179, 418244983]),
y: FieldElement::new([3122162546, 1178761102, 3845125554, 299232000, 2137262884, 2204652633, 2423071251, 3383020041]),
z: FieldElement::new([466552358, 1165521716, 3833147532, 740644460, 3439591744, 3123582298, 1839226235, 1116789101]),
});
table.push(Point {
x: FieldElement::new([2716308994, 1764304054, 2408074014, 2737187710, 3854283696, 2507419800, 3160516907, 1995143548]),
y: FieldElement::new([1409096456, 3456075773, 2034696759, 204935235, 1356398285, 883906975, 2605570617, 1437218735]),
z: FieldElement::new([3336056906, 4052331706, 3458217150, 2733711537, 1718362019, 3157860739, 691719511, 1244473157]),
});
table.push(Point {
x: FieldElement::new([123947592, 1504681547, 4138176232, 3557666448, 3032266852, 3854071842, 2368219912, 2021255470]),
y: FieldElement::new([2914887052, 3243864609, 1738395200, 2136978812, 1539147591, 1247198215, 153566454, 830734604]),
z: FieldElement::new([266787178, 1678466001, 2521280970, 341743030, 4041527428, 2921758673, 3308334942, 2909375363]),
});
table.push(Point {
x: FieldElement::new([2185400031, 2894339023, 2686345196, 3657068528, 1553379132, 1410568727, 796029866, 1394439516]),
y: FieldElement::new([907865233, 2847201478, 2485837835, 1120486257, 3164205918, 4116923150, 3429843858, 3883318122]),
z: FieldElement::new([2119300076, 176932708, 3715139417, 2673376228, 3167521368, 1829645058, 3253614506, 2620648870]),
});
table.push(Point {
x: FieldElement::new([612441068, 4065165293, 4170910664, 928977512, 2913558542, 1510580544, 2979721937, 2084052088]),
y: FieldElement::new([1389845999, 1913570140, 742971369, 384348378, 726849488, 834514091, 1813793983, 4281485428]),
z: FieldElement::new([237299327, 3464280594, 4291371324, 1179853084, 1468166683, 1120113644, 672931363, 3333138099]),
});
table.push(Point {
x: FieldElement::new([3162676424, 862836043, 1919487142, 2343244788, 2262704184, 3670870709, 1674619682, 1068160139]),
y: FieldElement::new([3713302383, 3172659169, 1408960871, 2934210474, 2292498220, 2063502657, 3767665877, 2632563693]),
z: FieldElement::new([1621878337, 1987509335, 1170275344, 1289147045, 1331508656, 1454425850, 2526017683, 3303734030]),
});
table.push(Point {
x: FieldElement::new([3418047122, 1142157116, 1520661285, 1203152541, 2843212657, 3926455734, 1547260250, 3690636646]),
y: FieldElement::new([1333727223, 1858393909, 3694074044, 4255682085, 1106843088, 2478332269, 306268331, 3467426334]),
z: FieldElement::new([2377815501, 617003467, 1183774377, 969095787, 2076683856, 2008985108, 2030715091, 90816536]),
});
table.push(Point {
x: FieldElement::new([2736297236, 2631542170, 397728032, 3237305469, 3219279433, 1233956120, 2584073808, 1252006966]),
y: FieldElement::new([2337395948, 533017837, 525483423, 3698291678, 2078411810, 1984423063, 2563772146, 4095626990]),
z: FieldElement::new([441203626, 3358202907, 2472818162, 3183910751, 4092307037, 1264689681, 2664591249, 2396771882]),
});
table.push(Point {
x: FieldElement::new([2309110019, 2879339136, 1574119437, 1917894927, 2483349940, 1983530997, 1241900592, 1021166883]),
y: FieldElement::new([967028260, 365837033, 4165870834, 2468316185, 4062470684, 3763662233, 643644845, 2741811700]),
z: FieldElement::new([606632339, 2766513012, 1909468495, 1814697678, 1612768867, 2377237680, 169951872, 697131009]),
});
table.push(Point {
x: FieldElement::new([3754238288, 1094054886, 752738708, 4046523985, 2416910062, 135530540, 2608643949, 1512733796]),
y: FieldElement::new([3249084877, 3351917192, 3640499102, 3355923873, 4198352891, 1258387908, 604603554, 3986162930]),
z: FieldElement::new([4120550725, 3530768782, 3132128823, 2828415539, 2771147584, 3710726120, 2145869093, 1200355849]),
});
table.push(Point {
x: FieldElement::new([1698506682, 658757854, 3643675801, 424006330, 834271386, 1813592799, 2425122604, 224578562]),
y: FieldElement::new([4160894428, 2829777203, 3288394840, 2538972353, 1236016829, 2686799162, 1180592793, 376597867]),
z: FieldElement::new([203529557, 3703375820, 3777588317, 2419471768, 1728832646, 134286555, 2450139399, 425843473]),
});
table.push(Point {
x: FieldElement::new([2149712963, 381048693, 164039995, 1686151499, 3417708022, 3168303714, 3835745602, 1595684422]),
y: FieldElement::new([442293442, 3547554560, 3820407882, 2261003248, 1285652948, 634383198, 1635244260, 783183169]),
z: FieldElement::new([2975774912, 589817022, 293118782, 1342639398, 2178471236, 741567056, 693700687, 3271892740]),
});
table.push(Point {
x: FieldElement::new([2271675094, 3404791102, 623133962, 586905370, 931600542, 1986885084, 2509827493, 491419359]),
y: FieldElement::new([642791230, 1150157742, 2653353956, 3467459088, 1911465557, 3810533454, 2472573712, 2054635668]),
z: FieldElement::new([4266370511, 3281036429, 1830323118, 549439803, 3386254931, 2084167565, 1707915024, 162560523]),
});
table.push(Point {
x: FieldElement::new([3104456613, 348639705, 1162420719, 99318722, 2279012630, 3825360073, 868333056, 1406664161]),
y: FieldElement::new([2105734295, 1399424272, 1885833829, 4210945670, 3752338398, 186907103, 1885107959, 3544422903]),
z: FieldElement::new([3749256632, 257110385, 53734712, 1489857602, 3203422441, 1462389136, 2980862990, 3578393398]),
});
table.push(Point {
x: FieldElement::new([1340259707, 128507066, 3347393565, 2689066405, 2082699914, 835233273, 3035558842, 2775871824]),
y: FieldElement::new([3194693513, 851931778, 1152775843, 551018062, 2884120286, 1240623587, 2933846822, 1863522]),
z: FieldElement::new([3321047325, 1157194913, 4233004519, 1862220150, 3868747511, 2614330670, 3856675350, 1819633903]),
});
table.push(Point {
x: FieldElement::new([3787835047, 1557657129, 3752621663, 999497741, 198924780, 1842106689, 990081385, 2757525869]),
y: FieldElement::new([3059424826, 1909268527, 3378050165, 149345693, 3093138708, 2754700903, 3564184478, 2992947862]),
z: FieldElement::new([3803606325, 847087373, 3378800608, 3606105491, 3175107869, 594999423, 539964327, 1607262649]),
});
table.push(Point {
x: FieldElement::new([4006161762, 552814021, 1075600714, 2728959756, 587122702, 1030899682, 4233626488, 2988488916]),
y: FieldElement::new([2321276351, 4081621183, 1949893303, 4056290864, 370130037, 732748063, 3290070857, 1527243103]),
z: FieldElement::new([2432331136, 644177575, 866907397, 4258954118, 1291595688, 3339920847, 3102258271, 3804584415]),
});
table.push(Point {
x: FieldElement::new([1747391450, 2434285642, 2097433530, 236260205, 4101048628, 1186783048, 3273836680, 1206678638]),
y: FieldElement::new([2932346878, 1863540574, 2083747729, 2267397416, 2447739558, 1114425687, 1791784614, 3458008483]),
z: FieldElement::new([4154387865, 1236795261, 3389035801, 2838817034, 1114463777, 2786251793, 3703747163, 1301239939]),
});
table.push(Point {
x: FieldElement::new([3397160476, 4129368051, 1838113412, 2298324343, 1785106010, 3390400141, 2515804689, 3179198083]),
y: FieldElement::new([3912720271, 2532578293, 582401522, 1075945231, 17206863, 3714830273, 163964645, 2126884634]),
z: FieldElement::new([325879160, 2023241843, 696171257, 2908394112, 3425633238, 816957746, 99133943, 963505301]),
});
table.push(Point {
x: FieldElement::new([381243265, 1933084655, 961916382, 1356599414, 3857079256, 453600158, 2893215756, 1202863853]),
y: FieldElement::new([3314584555, 2349729082, 2353263013, 615579859, 3684290312, 1084258082, 1082569655, 3206242849]),
z: FieldElement::new([4265816843, 3960989811, 2266830666, 653462847, 1448409537, 4027365094, 963285469, 1989913798]),
});
table.push(Point {
x: FieldElement::new([2494243043, 3785603987, 1641146311, 3246888329, 2302273301, 3809715044, 4197280066, 2094054567]),
y: FieldElement::new([3951827856, 3944163729, 3408191131, 3961684981, 881964102, 1856591127, 1164197673, 2825930171]),
z: FieldElement::new([723924810, 2097953296, 3354541119, 736604619, 20520734, 316487993, 2712919898, 428896391]),
});
table.push(Point {
x: FieldElement::new([2852450375, 810670780, 1568464130, 722098322, 3748433526, 2838492217, 2830863606, 1111692180]),
y: FieldElement::new([4007034911, 3030638572, 3006278761, 3909241695, 4059434085, 2273631192, 2262820881, 1346372479]),
z: FieldElement::new([1311536673, 3397883445, 201697887, 1539336568, 3568633502, 4075351915, 57960244, 3806273790]),
});
table.push(Point {
x: FieldElement::new([1319865624, 971853618, 774407748, 1639928516, 1456341217, 4097401749, 420252629, 358936684]),
y: FieldElement::new([470145580, 1664748393, 337184771, 1579661524, 3975341154, 3480794877, 3599903603, 2435260433]),
z: FieldElement::new([1706450680, 4237313723, 2184984261, 803303364, 977223233, 3125664710, 2452905556, 1855119605]),
});
table.push(Point {
x: FieldElement::new([4196468372, 3891957584, 4139398953, 1585015308, 1801198774, 3520142129, 477137165, 4185033240]),
y: FieldElement::new([707921378, 128574711, 567481926, 83180503, 2849700050, 2893189286, 1909854617, 1152020772]),
z: FieldElement::new([1922915438, 251234986, 3128863805, 1167331889, 2310150571, 2258386182, 1660171320, 4287735656]),
});
table.push(Point {
x: FieldElement::new([4148979964, 1022079294, 3834214985, 3065756877, 3169325661, 3083255408, 2335590452, 2781377619]),
y: FieldElement::new([3839724226, 1239614496, 2793484648, 4113317274, 3066073263, 2029297418, 3613917988, 3076331756]),
z: FieldElement::new([1062749530, 1648267244, 3662820430, 2576543346, 740738129, 4084730370, 2603276323, 122363014]),
});
table.push(Point {
x: FieldElement::new([2488691115, 1765156381, 444746426, 2995479137, 1597932393, 4098609037, 289314123, 3756935122]),
y: FieldElement::new([3635879931, 3212620849, 964663601, 2853337572, 1396956981, 1974525992, 2116781909, 1231070865]),
z: FieldElement::new([2431293008, 1880481907, 156008791, 43374461, 2454337779, 353730248, 2045008126, 743532188]),
});
table.push(Point {
x: FieldElement::new([1748943303, 2172638285, 4027778320, 2032574021, 1656410357, 2059418890, 2162359636, 30095250]),
y: FieldElement::new([414752333, 2202284638, 3975852994, 2633103458, 2397302552, 1833932639, 1947943310, 2051547372]),
z: FieldElement::new([363513050, 3946577476, 2920431551, 894035765, 3214737846, 563927830, 1144017825, 1115419020]),
});
table.push(Point {
x: FieldElement::new([3662482205, 694182736, 3751414528, 2987808922, 1732852314, 126979065, 2259298022, 2107287641]),
y: FieldElement::new([1125926890, 2986581485, 39420583, 2269123169, 561888940, 3231508473, 1733419133, 3480675152]),
z: FieldElement::new([3729021493, 392136940, 757148727, 3123575237, 486763477, 2921753294, 2400903480, 2229353949]),
});
table.push(Point {
x: FieldElement::new([3832954535, 2907493361, 1149294592, 4219808413, 1826701897, 3674963286, 1356344660, 2125938553]),
y: FieldElement::new([1043271645, 1203164704, 1612243104, 2184700028, 43068051, 2058459177, 191685983, 3753669487]),
z: FieldElement::new([3870513516, 2822295775, 3039607763, 397966572, 1645037758, 4236728699, 1059887153, 1105179815]),
});
table.push(Point {
x: FieldElement::new([1009060, 955184923, 2107674684, 1062067443, 3146948278, 2611765183, 935019189, 2324927048]),
y: FieldElement::new([68825314, 2949065796, 1885107140, 3779376895, 51574065, 3035100534, 1891128012, 2345401484]),
z: FieldElement::new([2438816728, 1254119287, 1469153042, 2318218705, 824605534, 2063549509, 4000378016, 3894827825]),
});
table.push(Point {
x: FieldElement::new([392209151, 758250551, 4211051885, 925074707, 1364466125, 3205639398, 1601901763, 781299745]),
y: FieldElement::new([2704374525, 1005324208, 1241893019, 1153427242, 2117901483, 2604575700, 471534332, 2218306033]),
z: FieldElement::new([3970771316, 2181278751, 334884496, 2454630603, 1598671574, 3381212835, 1912621530, 1498805711]),
});
table.push(Point {
x: FieldElement::new([734047215, 488110666, 3271112089, 3317810146, 1733217136, 3497056492, 3576085429, 2776635599]),
y: FieldElement::new([3092141418, 56001266, 905641730, 4136316866, 448604532, 336013449, 2710886580, 3498095494]),
z: FieldElement::new([985361363, 811204843, 2834781856, 1370868676, 697398731, 3423104451, 3030215273, 1210096970]),
});
table.push(Point {
x: FieldElement::new([1933259470, 875590384, 914308331, 441574214, 4015885778, 1630840065, 3367680088, 3459095997]),
y: FieldElement::new([1764191798, 140859595, 2199940145, 1251211085, 3778229440, 3744791465, 2794994238, 3648362643]),
z: FieldElement::new([2769337192, 3200975898, 2507147291, 3451311239, 1360404387, 2961283500, 2963549042, 1911039379]),
});
table.push(Point {
x: FieldElement::new([2601024930, 926348756, 3625201847, 2284883423, 123659539, 3287112062, 3809559762, 3251073777]),
y: FieldElement::new([2879573968, 1531374132, 862821693, 1441252475, 3372721413, 294783049, 859543471, 2668965961]),
z: FieldElement::new([419530466, 1349546022, 3259316440, 258732200, 4208285018, 3699471477, 1354274936, 511180805]),
});
table.push(Point {
x: FieldElement::new([2251758110, 4103995586, 1738192206, 2715331192, 1140939041, 2444309306, 942782735, 2820480027]),
y: FieldElement::new([502818890, 29815017, 645658670, 881422142, 1422006721, 152212897, 77924489, 735021854]),
z: FieldElement::new([2243939544, 777645587, 3713077704, 2903031488, 402041538, 147476860, 3156388215, 4126079713]),
});
table.push(Point {
x: FieldElement::new([3278618969, 2437343285, 3923076395, 482575201, 1817546856, 2334073917, 125299355, 4291715649]),
y: FieldElement::new([1107176934, 4164138642, 620502706, 1540014624, 737243798, 4220949597, 561858568, 3358392722]),
z: FieldElement::new([3544794727, 4216674512, 1165826380, 1892343289, 522076020, 242060642, 3896001876, 4132062185]),
});
table.push(Point {
x: FieldElement::new([2396648424, 751455009, 2875242394, 547769059, 950774273, 1669258206, 3416293747, 665404154]),
y: FieldElement::new([905536733, 4258833746, 868984105, 3205879423, 2658016601, 3806040054, 1640331077, 2535225811]),
z: FieldElement::new([1277300196, 23781816, 1355208637, 3298386402, 2775497346, 2392755836, 1349016179, 3790744425]),
});
table.push(Point {
x: FieldElement::new([3091171947, 4168697435, 4263930242, 2519938615, 3408248615, 1525641431, 3281208868, 1375271733]),
y: FieldElement::new([12624852, 1892015822, 838249763, 1239679110, 1427581438, 1921932477, 2042826980, 2616091279]),
z: FieldElement::new([943762710, 3024894552, 4287380243, 789525912, 996041808, 792008811, 2656731936, 3205367811]),
});
table.push(Point {
x: FieldElement::new([2147901260, 297633874, 2966903869, 4096229071, 818407811, 3776427722, 597303864, 551142613]),
y: FieldElement::new([368829938, 641254612, 1953692228, 2400277978, 2819452423, 1388310847, 2795970791, 2311960918]),
z: FieldElement::new([2186730461, 2772280935, 3559464449, 2495251693, 3621977022, 3995227082, 2296128388, 2014692887]),
});
table.push(Point {
x: FieldElement::new([4256038703, 1277526064, 3703926241, 1811725559, 3958855230, 1113991107, 2839722092, 1325199577]),
y: FieldElement::new([609880877, 2301535060, 215492251, 3830278433, 1477979382, 77469138, 3377393539, 112823450]),
z: FieldElement::new([2233930351, 2160287004, 113193090, 300146713, 2123630874, 2742676242, 4208838834, 1727129984]),
});
table.push(Point {
x: FieldElement::new([1687230380, 2544955845, 824910396, 2895160456, 2690321121, 3373605788, 3088890988, 3404792122]),
y: FieldElement::new([1315396043, 2162107037, 3942028691, 793035193, 4017427234, 2485503699, 3356666615, 3724785616]),
z: FieldElement::new([4743706, 4009179659, 2761556589, 2308084989, 1976480361, 2683767217, 1203568073, 1899313115]),
});
table.push(Point {
x: FieldElement::new([2583859175, 3608811637, 1229541969, 3140318270, 2815107114, 327030557, 3203112317, 1846442962]),
y: FieldElement::new([3998156751, 539993779, 2525332621, 3036821812, 940465959, 1830824368, 1682157400, 1457904926]),
z: FieldElement::new([2674663099, 48022178, 542938754, 307219503, 2618874780, 2006309123, 1218339307, 3276082468]),
});
table.push(Point {
x: FieldElement::new([216494104, 895480261, 1962068400, 2102802535, 219536468, 2867698513, 2044815118, 1367206360]),
y: FieldElement::new([3092104845, 2094809433, 3289964539, 264330024, 1465223285, 4048730487, 2700637167, 2796052342]),
z: FieldElement::new([754447933, 1126134199, 4130594735, 3766964996, 4058499285, 3982321130, 2604262045, 401992842]),
});
table.push(Point {
x: FieldElement::new([2266332980, 1781033665, 1710741402, 1790047462, 339211872, 2737888527, 2193482443, 1883181702]),
y: FieldElement::new([692604228, 544987461, 3387859863, 864542731, 2459392366, 1914634255, 3610957795, 4078041073]),
z: FieldElement::new([352575372, 2456823734, 1056209906, 2648947195, 975394012, 3319529342, 4187845754, 1412513536]),
});
table.push(Point {
x: FieldElement::new([3325243067, 3131701565, 3601765061, 3604597706, 2766290145, 683567775, 3371002919, 427874720]),
y: FieldElement::new([1163366644, 1628814013, 2970034100, 1392642826, 1951608324, 4061949532, 1291513505, 3349511509]),
z: FieldElement::new([3013939855, 3819170630, 317677771, 3145684956, 2703797953, 4242892686, 3882037017, 3824625159]),
});
table.push(Point {
x: FieldElement::new([1633288155, 3950666197, 4081389423, 2566319935, 2299528144, 3221350706, 413887619, 2215456241]),
y: FieldElement::new([2223374278, 3111439122, 1624753390, 513496493, 1740572516, 1888648939, 4038809320, 2922991191]),
z: FieldElement::new([3645500029, 3037720358, 1763287427, 2739526192, 1802255706, 827225531, 2701749418, 552023006]),
});
table.push(Point {
x: FieldElement::new([2083828616, 539184861, 1477567698, 1853526679, 978113964, 1458501775, 46383790, 1012549822]),
y: FieldElement::new([3764980821, 1257509705, 2958780762, 2993015870, 2997751117, 124761069, 3754397245, 549472733]),
z: FieldElement::new([2897810346, 3555560364, 2823262960, 2081035772, 2696104375, 1083436542, 4226787710, 1317219123]),
});
table.push(Point {
x: FieldElement::new([3130981852, 3977495278, 3098409766, 1864809134, 1031787736, 147555354, 1476960889, 3925205929]),
y: FieldElement::new([1266541796, 245415773, 4079219160, 404212376, 1380801989, 2578828423, 3852121016, 1886979047]),
z: FieldElement::new([470650636, 1944829877, 1249794503, 3946209077, 3374322849, 4027392710, 2981507787, 3176596152]),
});
table.push(Point {
x: FieldElement::new([217943749, 1653654614, 2719325313, 496559588, 1910043750, 655927392, 3504718373, 12917563]),
y: FieldElement::new([2968367946, 201058165, 1779904448, 312709167, 3776250989, 3224952917, 1647258344, 3830335650]),
z: FieldElement::new([855849010, 1496067901, 48976382, 3053593779, 2805354720, 167869590, 4077917593, 3039868534]),
});
table.push(Point {
x: FieldElement::new([1064676231, 2580081763, 3492110837, 1642186571, 3763793781, 2703157374, 2296982790, 1802156845]),
y: FieldElement::new([2170260191, 1014470595, 167929242, 520105766, 4091282878, 1610808035, 3769597908, 814077669]),
z: FieldElement::new([3418133314, 733835247, 3688410788, 3096198207, 2016167034, 1592626018, 447351534, 3558827274]),
});
table.push(Point {
x: FieldElement::new([2343083625, 3618471457, 1926908203, 335204346, 2622764088, 4293859607, 2709428813, 655592243]),
y: FieldElement::new([3731498887, 2479557117, 287425365, 4028509385, 562732001, 1944170581, 2150291959, 2402419439]),
z: FieldElement::new([1614052359, 1159148899, 123671853, 1625847760, 951584862, 1344710984, 3556249236, 4252715747]),
});
table.push(Point {
x: FieldElement::new([3805910490, 2886437651, 60133004, 1463192875, 74786521, 2300347824, 1612664027, 4127727541]),
y: FieldElement::new([1216491677, 802219896, 571188458, 2829495544, 3047088616, 880606947, 2407264765, 314920597]),
z: FieldElement::new([3436990423, 490233295, 4294548956, 139416227, 2381951880, 2972887062, 1896526173, 859475072]),
});
table.push(Point {
x: FieldElement::new([791155874, 3759539893, 2403491415, 1252318310, 168852578, 1309926031, 654315985, 1576376826]),
y: FieldElement::new([755134375, 2914348501, 2569955248, 4153427275, 2081699528, 1106099790, 4274684041, 753338723]),
z: FieldElement::new([3411438108, 1701202807, 1288785956, 1672494080, 4065306420, 3365014362, 3002644534, 284870789]),
});
table.push(Point {
x: FieldElement::new([5435324, 233338471, 3627887251, 1573540289, 2046700720, 3728299263, 2397685085, 163799894]),
y: FieldElement::new([2750331095, 1600196312, 2209530217, 3433235732, 2926359952, 882114602, 54829661, 2672021042]),
z: FieldElement::new([377722498, 2693815077, 1655943948, 216133256, 3461771358, 1951812878, 2894881827, 3615918543]),
});
table.push(Point {
x: FieldElement::new([2217482247, 2597152719, 1483382096, 4077357242, 3462583915, 880457668, 2742703456, 3905936849]),
y: FieldElement::new([4130824937, 223005037, 558780673, 193583809, 84373798, 2423001708, 2690617141, 388311654]),
z: FieldElement::new([2663951210, 3912267025, 991603037, 890553397, 827847693, 2425843624, 2873280370, 253139409]),
});
table.push(Point {
x: FieldElement::new([4174309658, 1199556507, 570628150, 3408521357, 1261196967, 2951553320, 4281994816, 349935782]),
y: FieldElement::new([2597804283, 2427092279, 2856702469, 56734882, 2414347130, 2172054125, 1324950447, 3867472379]),
z: FieldElement::new([2622239665, 2278056273, 245317482, 2109728877, 1808750076, 266263275, 1512660056, 403939065]),
});
table.push(Point {
x: FieldElement::new([2154888789, 3302814234, 3271463029, 914728462, 4092502434, 2847517096, 420791739, 3823047123]),
y: FieldElement::new([3991803044, 1936314344, 2781358247, 3250010902, 2020314171, 1503252955, 2015519634, 2652707108]),
z: FieldElement::new([3896981953, 1095886360, 3378553056, 2559929261, 1978567873, 277503204, 1781786945, 2280372374]),
});
table.push(Point {
x: FieldElement::new([828094156, 2459891657, 1175834726, 3766893354, 2730316839, 1662429549, 2601148081, 3224412412]),
y: FieldElement::new([4285444894, 2840373958, 2290742293, 3808479421, 1133583241, 1402296407, 1360511778, 3120297312]),
z: FieldElement::new([2956263406, 3084671263, 619485838, 1321650423, 553291385, 3619790900, 4091991390, 2320549999]),
});
table.push(Point {
x: FieldElement::new([379359778, 2804421437, 910732089, 2632497845, 3093797227, 489085915, 1493986127, 3384155447]),
y: FieldElement::new([3280059683, 4150679244, 2538511363, 4039865120, 444770267, 3612011815, 4182459339, 1994104668]),
z: FieldElement::new([155310906, 1148484353, 2977590867, 1272456382, 193275810, 470097226, 3722065644, 1242146581]),
});
table.push(Point {
x: FieldElement::new([2826512318, 1783787734, 541553501, 3217344108, 2912904673, 2178748229, 4077183293, 324329982]),
y: FieldElement::new([3231625621, 356068359, 2659711343, 4226820735, 326144767, 345253907, 3291044753, 305689571]),
z: FieldElement::new([2055558702, 1752714955, 2564317998, 3792397135, 914218306, 2093842053, 1818610380, 3404227166]),
});
table.push(Point {
x: FieldElement::new([3759321951, 858495865, 2125272148, 510372066, 1533694276, 2224682197, 1035566494, 2901045280]),
y: FieldElement::new([1405518800, 1968203276, 2904937141, 3762476255, 3475794057, 2269378404, 2215451152, 506436066]),
z: FieldElement::new([766917431, 799429240, 2830755479, 3918952916, 1360629424, 2390998233, 1124431739, 3347258358]),
});
table.push(Point {
x: FieldElement::new([1305444362, 3809931077, 2904431904, 2784614584, 470834599, 1709908174, 2663116473, 681895120]),
y: FieldElement::new([1715494028, 1006937297, 954581019, 2551671780, 2089511257, 1867942071, 3417782216, 1748456451]),
z: FieldElement::new([1849372124, 1825073984, 1013774803, 1511644016, 2550796113, 2676714002, 1426561141, 1825304226]),
});
table.push(Point {
x: FieldElement::new([496948630, 2435729184, 3230101767, 2417455648, 2292294507, 37493371, 1097607165, 159317190]),
y: FieldElement::new([917369316, 269038998, 3587684685, 480745542, 117974084, 3067943424, 3943007308, 2252952935]),
z: FieldElement::new([2364419066, 2167522659, 2578605501, 3358247917, 1261179488, 920908353, 3977355657, 1338283103]),
});
table.push(Point {
x: FieldElement::new([3118149244, 202002900, 531824401, 2086010805, 3395127119, 2108457500, 1424474625, 3779166012]),
y: FieldElement::new([555141665, 3711105077, 2100427392, 2435352568, 1893722816, 1464756779, 3263318103, 228927868]),
z: FieldElement::new([2010463645, 398903531, 1011738924, 3571462632, 487234431, 3315385285, 526425688, 1181710138]),
});
table.push(Point {
x: FieldElement::new([823890977, 933094583, 446516495, 1042773033, 1729242607, 3561622062, 3648179138, 4133526934]),
y: FieldElement::new([3149896990, 546112930, 3842146976, 283350291, 3099408962, 821052813, 1850109969, 3702442614]),
z: FieldElement::new([663651905, 4243421247, 3439912257, 1273292395, 3420023471, 544427363, 1397553967, 2869013305]),
});
table.push(Point {
x: FieldElement::new([1834619361, 160121453, 2959672927, 379255819, 2142538602, 2804259058, 3020234079, 2137975025]),
y: FieldElement::new([3723761277, 944171457, 3207420008, 1485151121, 3886623128, 369015092, 3742110586, 2483794034]),
z: FieldElement::new([2364524590, 3224419424, 2118619124, 759676667, 2578944028, 3495525208, 1304820806, 4207468630]),
});
table.push(Point {
x: FieldElement::new([2152791544, 1033880948, 1452623872, 2518712699, 2772379385, 3450951075, 3726798283, 1938332995]),
y: FieldElement::new([2256273730, 1079231414, 3020967031, 3429140374, 386850432, 241674549, 3834251649, 90086197]),
z: FieldElement::new([665823100, 838915220, 1373688204, 3056005593, 156034751, 4262393643, 3944126746, 305968762]),
});
table.push(Point {
x: FieldElement::new([2836680939, 6967323, 1923057448, 169840994, 3536385784, 3516883304, 2544750189, 2290610714]),
y: FieldElement::new([3572208171, 1362324182, 538948452, 3103858940, 3421632932, 4169739107, 284779149, 4191852793]),
z: FieldElement::new([2907838186, 673211495, 75608830, 4104810758, 481613710, 1391962839, 3138676487, 2433660548]),
});
table.push(Point {
x: FieldElement::new([2042375226, 2279079210, 2114095817, 760279554, 1354140861, 1615722503, 3075615619, 383989716]),
y: FieldElement::new([963320768, 216372012, 3800919763, 3574855406, 2954012205, 3030542801, 2727775354, 2632712357]),
z: FieldElement::new([2688255014, 575398360, 1123241983, 2593134876, 955568326, 692962874, 2122301876, 3591448693]),
});
table.push(Point {
x: FieldElement::new([2216035397, 240819303, 3982481098, 1854171422, 1826715535, 2087090294, 467116660, 3017375439]),
y: FieldElement::new([48701333, 1128341420, 2186541747, 1787012546, 178129419, 3032642812, 2395180413, 55579109]),
z: FieldElement::new([2760516824, 3036305247, 1429591494, 731430986, 3190632858, 3686185554, 1691946025, 1346184888]),
});
table.push(Point {
x: FieldElement::new([830389497, 1393132700, 3957951974, 3441507077, 1314464997, 34137601, 173706187, 2489666281]),
y: FieldElement::new([1204908153, 639044593, 672893308, 1518042316, 2184479370, 785598780, 248087922, 2983494042]),
z: FieldElement::new([4167832730, 184300135, 3100518799, 1746954853, 728102645, 1958947920, 4253862609, 2652715204]),
});
table.push(Point {
x: FieldElement::new([1245715540, 3157453970, 1289643762, 4023453366, 881453800, 88730006, 113371277, 1253894743]),
y: FieldElement::new([484770719, 217021271, 2863034465, 1833367878, 3034606749, 2724281268, 498640006, 3153901404]),
z: FieldElement::new([4100220348, 3330798546, 434473159, 3942762188, 3950138031, 85866231, 1590204486, 2479529924]),
});
table.push(Point {
x: FieldElement::new([2526079197, 1573821409, 2847648689, 4269321019, 3386067503, 1231705316, 2375403010, 72370406]),
y: FieldElement::new([4181194654, 1117972709, 2151065181, 2830123183, 2994173652, 3883545099, 1441527712, 8146247]),
z: FieldElement::new([733522569, 849509137, 2739460303, 2593803089, 3396414094, 3403831721, 1557856873, 4223254267]),
});
table.push(Point {
x: FieldElement::new([1780238601, 4170539852, 2359439611, 1448847279, 2691872175, 2263231260, 2648095870, 281291409]),
y: FieldElement::new([642249883, 1839673136, 3966859544, 3901221153, 685088636, 1726993133, 1765272884, 1599961124]),
z: FieldElement::new([3913056907, 2863991542, 2362704134, 1139402028, 3966638132, 550946278, 161576992, 3115214082]),
});
table.push(Point {
x: FieldElement::new([2404222671, 164181737, 3267911795, 2871232191, 179920551, 2832260376, 1432216690, 1798165691]),
y: FieldElement::new([4225741661, 2371912548, 3511113211, 2283057610, 3086668389, 686706719, 1026696629, 188472571]),
z: FieldElement::new([120959445, 2165534377, 3107413976, 3442004545, 2989610125, 706636387, 377128758, 3933965608]),
});
table.push(Point {
x: FieldElement::new([945518221, 595924145, 1688736367, 1333440317, 435322347, 816138726, 1059610502, 3424005008]),
y: FieldElement::new([971643955, 158188429, 353778340, 3426862371, 2922426070, 3602480461, 4259767493, 981896377]),
z: FieldElement::new([1795270668, 2041754233, 1969509393, 2184266963, 3969726808, 3643202685, 4064950555, 3956735396]),
});
table.push(Point {
x: FieldElement::new([1584050302, 923604287, 1900610304, 3567794089, 2070189168, 3182908011, 3763252489, 2297158865]),
y: FieldElement::new([4172529342, 994921552, 3225381497, 158536374, 943942323, 1725904932, 1218049526, 1983048647]),
z: FieldElement::new([3402652890, 1534717404, 1456339750, 3275223323, 3066285049, 847203798, 4228312588, 1694237503]),
});
table.push(Point {
x: FieldElement::new([749154437, 2575708366, 1521400827, 2926218040, 2978852114, 1448048549, 462444341, 664774274]),
y: FieldElement::new([1936812638, 778199648, 446947506, 2135362172, 1564061795, 1761159517, 2066934532, 2587331397]),
z: FieldElement::new([764065870, 2708537969, 1626898723, 1234288014, 4183004958, 4009842927, 3874726825, 695082764]),
});
table.push(Point {
x: FieldElement::new([2110849091, 1682121214, 599869753, 939243758, 580501084, 3588703491, 3850460580, 4220424500]),
y: FieldElement::new([4198606967, 4111231446, 814518061, 3022737329, 689149499, 1900420354, 2075970480, 498117811]),
z: FieldElement::new([3888624779, 3113436577, 292377554, 3957937790, 3284042219, 1545249070, 428681136, 2204183979]),
});
table.push(Point {
x: FieldElement::new([3382188015, 2052304300, 43129462, 3810202004, 3983163612, 3067033597, 1744193802, 1711800915]),
y: FieldElement::new([2955457977, 466836362, 1451180371, 1751222653, 2799757970, 1369311724, 346794072, 1207236680]),
z: FieldElement::new([2128300395, 4125043607, 2084632111, 2792673492, 743849328, 2514836336, 1978816911, 1598576975]),
});
table.push(Point {
x: FieldElement::new([2262769885, 3267965794, 2950509533, 177098714, 4230404629, 850327751, 2233691817, 3722536478]),
y: FieldElement::new([3292568283, 3521484325, 217516582, 3241616183, 552221699, 159045004, 364394075, 84027856]),
z: FieldElement::new([1349440637, 1226262113, 3501440742, 1152163320, 1754426921, 1695000621, 3381928646, 363712848]),
});
table.push(Point {
x: FieldElement::new([3622280207, 1380722619, 1008701706, 443345067, 820232193, 998381994, 3017127365, 2830614050]),
y: FieldElement::new([1849367009, 3522969853, 3275164383, 568921575, 298921383, 3173780615, 3748367987, 2473085391]),
z: FieldElement::new([1028461289, 1223960417, 3037508484, 3187136867, 3996296561, 1534361837, 1687174737, 1211652675]),
});
table.push(Point {
x: FieldElement::new([2983044383, 806944532, 2471476149, 3107458583, 3875179133, 3247104998, 1693876397, 2147330027]),
y: FieldElement::new([3383266695, 1351489024, 1614524685, 2804402631, 1653749830, 2710464696, 457621997, 813733067]),
z: FieldElement::new([3490222763, 1495524066, 2463060855, 4274593025, 3774495167, 3698695034, 2373405527, 56763803]),
});
table.push(Point {
x: FieldElement::new([3591040493, 1166371546, 2953949323, 3457998556, 3033184577, 2924851578, 4244426678, 424747884]),
y: FieldElement::new([331900124, 1884282740, 4010512504, 1539682420, 3201772524, 124783742, 2345551747, 1603362127]),
z: FieldElement::new([4014746675, 1697310568, 3920836734, 2314347586, 3412975529, 2412638035, 1580308419, 2052232197]),
});
table.push(Point {
x: FieldElement::new([3711907144, 1667142301, 581766027, 1499989093, 1904497469, 3195565332, 4244675128, 229696258]),
y: FieldElement::new([791859682, 3678512483, 1926334288, 3637567803, 2376242272, 2330331709, 2641383783, 876115243]),
z: FieldElement::new([4196436041, 3644285681, 45399285, 1990779274, 212392193, 2020596733, 726614453, 3852054935]),
});
table.push(Point {
x: FieldElement::new([1580968540, 3338875098, 500603321, 1603653516, 267838972, 113701188, 387772906, 1268792927]),
y: FieldElement::new([2589357928, 1887634717, 997881651, 3794959240, 1390874567, 218967438, 4209179099, 1168914496]),
z: FieldElement::new([2310657475, 3013126871, 2307876198, 3374255862, 3829908696, 1322761831, 2789908321, 2493810998]),
});
table.push(Point {
x: FieldElement::new([783627191, 426305322, 2201871274, 577396607, 1149787239, 2626797463, 1671639738, 1646661073]),
y: FieldElement::new([2295964604, 3030351189, 332330749, 902070807, 925001551, 316836179, 1580652259, 3679786507]),
z: FieldElement::new([949440116, 1587244881, 2095662151, 377468014, 525486805, 3838303085, 3538670063, 2467521246]),
});
table.push(Point {
x: FieldElement::new([3202202052, 2940170707, 645106301, 2239311854, 697889709, 1141415067, 2084414313, 4182433723]),
y: FieldElement::new([1417980545, 1235007252, 610738959, 132821081, 2255411708, 1780382943, 3343773857, 2853599064]),
z: FieldElement::new([849434354, 1835305791, 3832714259, 2270587234, 2079356914, 4035764754, 101607449, 3328880218]),
});
table.push(Point {
x: FieldElement::new([3604062464, 3571370318, 3359029949, 426797771, 708693701, 3697350617, 958783213, 3678929162]),
y: FieldElement::new([2856850178, 1724111736, 2052738986, 3506258476, 464756053, 3454053821, 2699720992, 3167882641]),
z: FieldElement::new([1246182038, 221719838, 38925865, 81109905, 515796831, 771201186, 3285262280, 3517437413]),
});
table.push(Point {
x: FieldElement::new([1506101792, 2635600849, 858963699, 374854764, 4087369186, 1541154104, 290809953, 3898889492]),
y: FieldElement::new([3899061861, 1883639622, 3787508397, 4181126565, 3512472922, 317680314, 4051607249, 2675933469]),
z: FieldElement::new([3007773603, 375786434, 3673918908, 439063793, 1784020652, 3518225791, 1051120377, 1531167785]),
});
table.push(Point {
x: FieldElement::new([2678567948, 270067377, 698870175, 415802458, 2310324758, 3438778571, 3180187167, 212305586]),
y: FieldElement::new([344331131, 3123936679, 3408327167, 1939362926, 1493775368, 4035098949, 1604719451, 2483256012]),
z: FieldElement::new([2186540435, 1070435138, 893090853, 1165241951, 315631761, 4196815998, 604744651, 3447367764]),
});
table.push(Point {
x: FieldElement::new([3435489020, 1109869773, 3415812284, 1261491437, 2471810538, 605764230, 1063197014, 482495870]),
y: FieldElement::new([1959727184, 103712023, 427857676, 580183532, 3174775460, 4262807409, 4165870984, 645041553]),
z: FieldElement::new([2810730130, 1920815776, 5294368, 702901452, 2463168949, 1951639147, 3693948242, 1915824475]),
});
table.push(Point {
x: FieldElement::new([2628946981, 91658763, 2382889354, 2729379623, 3693794347, 1145351421, 471198368, 896763074]),
y: FieldElement::new([2403937409, 2881266416, 3656551032, 2011139452, 3675750408, 1494925936, 3947815031, 1220542281]),
z: FieldElement::new([2000207492, 352935722, 2510735843, 1925998702, 2074680640, 208058865, 2116560687, 3567396656]),
});
table.push(Point {
x: FieldElement::new([2301060754, 382695674, 2547775188, 3689845934, 3812441506, 565479853, 8404733, 2874591009]),
y: FieldElement::new([3924230666, 1508366640, 3943052474, 2399180631, 3456853541, 1075614307, 2474105019, 2169910301]),
z: FieldElement::new([3779761895, 1842915269, 3584813049, 157835169, 530708545, 192661496, 3685012313, 2518733806]),
});
table.push(Point {
x: FieldElement::new([1642091359, 4084836869, 4024548547, 1827292627, 729835920, 3936341619, 4257555286, 1118523932]),
y: FieldElement::new([2910957547, 1154137624, 3979523980, 4192163946, 1537318188, 2843131697, 1585076467, 3500054765]),
z: FieldElement::new([1051709947, 1535445662, 3825081492, 490177350, 3886935729, 974561881, 3608084292, 352001108]),
});
table.push(Point {
x: FieldElement::new([460619749, 1421250922, 2552190201, 2558695786, 1683584559, 3561672186, 1565251480, 1587571056]),
y: FieldElement::new([285167120, 3240247648, 1413835489, 3854569923, 2798962250, 2103407238, 1408994, 1193708658]),
z: FieldElement::new([4070365857, 3440601007, 3918495487, 2630072532, 4293481369, 574390978, 3225836116, 3705347689]),
});
table.push(Point {
x: FieldElement::new([2877768965, 1991367041, 3266877584, 626621379, 228299194, 2618343786, 4215583909, 283078181]),
y: FieldElement::new([3896913734, 1794609202, 2974444202, 40161891, 1474799069, 223627926, 3760793704, 389750133]),
z: FieldElement::new([1823677925, 1905503895, 3296269701, 4085879260, 2962862789, 1392463852, 3515915917, 979381787]),
});
table.push(Point {
x: FieldElement::new([3955611120, 1829331092, 1028681090, 1855693537, 2758418001, 2088352513, 1846249308, 3041729562]),
y: FieldElement::new([3140299158, 1444177855, 3387017045, 2593305614, 3972568661, 3346799348, 1222841749, 2325245565]),
z: FieldElement::new([2233419772, 4067251088, 1190592516, 628365239, 698756831, 3542624457, 3148549012, 1730052203]),
});
table.push(Point {
x: FieldElement::new([4185437105, 2725954013, 1078016604, 2088176778, 1614856590, 2615758487, 2401276414, 2786770289]),
y: FieldElement::new([583849454, 1462121766, 4252120065, 2372535868, 3932569207, 773308487, 1107666121, 3298435997]),
z: FieldElement::new([3083051207, 2339201461, 1641382575, 2016469162, 3276910019, 3289545383, 4106817544, 1062826900]),
});
table.push(Point {
x: FieldElement::new([499246895, 576254056, 854475719, 3264923078, 3304616851, 1141593565, 2632578411, 2790231344]),
y: FieldElement::new([4139833396, 673916858, 4262158197, 2026450010, 3630935928, 1728146074, 3430535165, 627887673]),
z: FieldElement::new([2399252117, 40297584, 3094964609, 3983553071, 2899847358, 1156838633, 3240565290, 1035458247]),
});
table.push(Point {
x: FieldElement::new([3913350416, 777482284, 1583985449, 2016844496, 452979688, 1101308144, 159601923, 3471202614]),
y: FieldElement::new([1733544218, 3095664252, 1720243233, 2164118000, 2741302859, 2385622009, 2447471657, 2161544481]),
z: FieldElement::new([982150988, 1843788030, 1488828636, 2592978758, 2446129532, 73134196, 849185421, 88404943]),
});
table.push(Point {
x: FieldElement::new([1080332373, 1177157549, 862085503, 3401492697, 2035840889, 2463675307, 3093264114, 1862532586]),
y: FieldElement::new([39644558, 3361454088, 4154032781, 1201661131, 1504903433, 1908411059, 242445332, 3313095884]),
z: FieldElement::new([2327546650, 1648758889, 3440211695, 1055302214, 683999078, 2484781645, 4176434520, 231216159]),
});
table.push(Point {
x: FieldElement::new([1877651687, 2351515643, 3862991793, 1605728260, 1102337075, 1247881983, 1029319860, 869687332]),
y: FieldElement::new([1408131253, 4140887195, 1845501110, 1372650063, 3669073455, 86053439, 4102026280, 839507281]),
z: FieldElement::new([3117334210, 4107896722, 4151302984, 1019475525, 2912890091, 382653020, 2954281546, 3649037025]),
});
table.push(Point {
x: FieldElement::new([6409601, 1497624565, 2319731380, 1979778734, 2422603896, 404675627, 2478424724, 156376140]),
y: FieldElement::new([2863040776, 3013736569, 568356240, 2097071160, 4009983745, 2025846152, 3170215105, 4255409567]),
z: FieldElement::new([2829725768, 1392944191, 3395878515, 429374574, 3397284655, 547602901, 4123388169, 2926804597]),
});
table.push(Point {
x: FieldElement::new([2842055492, 2174526262, 3764328295, 3743159212, 3795739400, 3588700896, 4208269567, 3423367298]),
y: FieldElement::new([3040461272, 483929694, 3034541563, 733709857, 42611, 4025847019, 1797024700, 980279243]),
z: FieldElement::new([834659885, 321642969, 1352741902, 2726237291, 3913569236, 1725815640, 1090051385, 1740896358]),
});
table.push(Point {
x: FieldElement::new([2647678348, 2375105277, 4121376336, 1034312007, 1349066257, 1500635176, 498432027, 3947472739]),
y: FieldElement::new([3299555303, 1255665215, 3263122494, 2297713894, 881192410, 1567109653, 712442108, 1493583969]),
z: FieldElement::new([374216996, 3415290783, 2510661565, 2704205592, 3387688984, 1443690879, 1155752501, 37866090]),
});
table.push(Point {
x: FieldElement::new([3463883108, 40489572, 1056024763, 3944663877, 1389910910, 3359330422, 382397885, 963140325]),
y: FieldElement::new([3188426992, 238755765, 869264793, 1449157765, 180139360, 3466122355, 4124499693, 678126096]),
z: FieldElement::new([451653047, 481193107, 3959347907, 1809848658, 11859297, 1987881915, 3304791175, 2364752674]),
});
table.push(Point {
x: FieldElement::new([420764644, 2646180766, 304413649, 3242324098, 606008896, 2505532752, 1211245345, 3014949201]),
y: FieldElement::new([2049973110, 740523368, 2758406490, 177294853, 2630536851, 358549248, 1192224539, 3902866370]),
z: FieldElement::new([2910278912, 892906296, 3593523827, 683349150, 2140412488, 303329125, 1863876707, 1814865742]),
});
table.push(Point {
x: FieldElement::new([476960970, 759894376, 3692550073, 1510335892, 2799102893, 2467119527, 3776089350, 1854878395]),
y: FieldElement::new([3493197170, 2532746940, 4179834240, 2882517301, 3204356236, 2648220576, 2546932737, 1293276669]),
z: FieldElement::new([721595778, 1257142457, 1527764425, 4006783405, 1004684757, 454650257, 2510363639, 3823275382]),
});
table.push(Point {
x: FieldElement::new([4045015079, 3368400471, 3869514274, 788203314, 1197000092, 660061652, 4165830468, 3821898349]),
y: FieldElement::new([1974195558, 3027253256, 3348385544, 1834485350, 2901506774, 3625615812, 1988861742, 4245146158]),
z: FieldElement::new([3062888678, 900782303, 2274405108, 2176612823, 2240548617, 1738211577, 3631766232, 2928183358]),
});
table.push(Point {
x: FieldElement::new([882540748, 3290932167, 1229670144, 19424681, 1089056155, 503906771, 1998645095, 943265707]),
y: FieldElement::new([3326982380, 3636369235, 3537187040, 1346753089, 2741697508, 154699871, 2031954032, 556493316]),
z: FieldElement::new([410627357, 2853311508, 3273619953, 3403026326, 4048632031, 281174668, 787781796, 4049083436]),
});
table.push(Point {
x: FieldElement::new([4103587951, 2649387657, 161639868, 2955458310, 1027969117, 361729720, 956392321, 3402355395]),
y: FieldElement::new([2348518316, 147027725, 539415867, 647129749, 4122922271, 3839908309, 1968415910, 4155413675]),
z: FieldElement::new([1446291583, 3720456516, 2584195586, 2509919034, 4142093746, 1268472965, 234191196, 4163274566]),
});
table.push(Point {
x: FieldElement::new([414145697, 1956678592, 724294970, 2350557154, 1625718622, 4272279352, 3652022108, 4219059595]),
y: FieldElement::new([1903373118, 3232851778, 2764792867, 2575776971, 941756752, 1683105342, 82311178, 2888097229]),
z: FieldElement::new([2968325288, 883977129, 4178709852, 1192700977, 2956437291, 2671150261, 1768605976, 1813926102]),
});
table.push(Point {
x: FieldElement::new([2869554755, 1268479965, 2639071019, 3740041744, 698436848, 733170305, 3261213326, 1908036359]),
y: FieldElement::new([2939951773, 3718915341, 3497901241, 3219712343, 1882065306, 2472087984, 239652089, 4142104854]),
z: FieldElement::new([488772348, 3239356394, 3465518070, 2166554887, 4285590439, 2792237345, 2896102971, 472180400]),
});
table.push(Point {
x: FieldElement::new([1623038011, 2464524856, 1812352116, 2142898471, 1907796344, 712878818, 4015754572, 1817532388]),
y: FieldElement::new([2214177102, 4075605878, 2821961833, 4094521212, 3481625943, 432710643, 738834587, 69878618]),
z: FieldElement::new([2089831387, 3527134935, 1617452309, 1423939501, 587758758, 992222649, 233488213, 1690594553]),
});
table.push(Point {
x: FieldElement::new([3522407, 423868081, 3473005023, 461060481, 3596963132, 1217654283, 280637501, 3912668078]),
y: FieldElement::new([1848954293, 3846941785, 4099958025, 1898682769, 716193871, 219510353, 3976601488, 1691470148]),
z: FieldElement::new([1593100344, 1675836739, 2080519929, 724428576, 1172979686, 2489691947, 2525312807, 667843061]),
});
table.push(Point {
x: FieldElement::new([759708831, 2390684409, 3716004760, 3623070633, 1717427103, 3629175388, 2196649302, 247513545]),
y: FieldElement::new([214201755, 2929681667, 1284351237, 743179503, 204532472, 2660864683, 3420131957, 1452595689]),
z: FieldElement::new([3735484416, 1619921104, 2316611414, 1580375352, 3938246686, 2773399518, 568521312, 4001056348]),
});
table.push(Point {
x: FieldElement::new([2565668213, 302849076, 4003207551, 41733096, 2751807316, 299930063, 3877248902, 2567635435]),
y: FieldElement::new([1744450357, 2545180472, 4153579365, 2954858454, 4230906442, 1759736278, 552390054, 1601613912]),
z: FieldElement::new([3040309856, 1478586292, 2232549818, 4277742549, 1166171701, 92088546, 1578438370, 3571232567]),
});
table.push(Point {
x: FieldElement::new([745430814, 3422023003, 1101446632, 690855626, 3342900162, 2755839093, 244601764, 514667830]),
y: FieldElement::new([2302876393, 3480889677, 4219860624, 1550278230, 3801566981, 1837688391, 3205352836, 3675252798]),
z: FieldElement::new([1286748966, 2496222299, 3168613418, 1797438867, 3767582664, 470103156, 3619934125, 36429880]),
});
table.push(Point {
x: FieldElement::new([3158055796, 3921576325, 2279601674, 3154282781, 2772521302, 1468567298, 2900464347, 866154765]),
y: FieldElement::new([3709731056, 1130570875, 2873863545, 1503328519, 2194895457, 3783427308, 880777781, 1104380834]),
z: FieldElement::new([4032509997, 4229736048, 1844300969, 4204783784, 1742911882, 2707968404, 3809881593, 4135724163]),
});
table.push(Point {
x: FieldElement::new([2186084423, 461520471, 3168710051, 1015406355, 1313368220, 2858245359, 1517234521, 2660902617]),
y: FieldElement::new([410965703, 3578807175, 2298646047, 4155533204, 716309238, 932393327, 1024171629, 2314537542]),
z: FieldElement::new([3085391234, 4231773508, 2342501924, 2319447153, 4016414805, 3258256524, 1451687992, 1073418224]),
});
table.push(Point {
x: FieldElement::new([1651933729, 3604198718, 3937976195, 220444281, 4258689867, 588197565, 2642026987, 3170128539]),
y: FieldElement::new([3903559844, 1236844856, 2046354367, 3751598981, 1244893432, 2268432934, 3221952853, 2639567953]),
z: FieldElement::new([446339608, 1864935026, 4093405490, 1909662491, 852061753, 3220250972, 1170333014, 4120105642]),
});
table.push(Point {
x: FieldElement::new([3748008600, 725606603, 2924088714, 2852320678, 1827742008, 2666029848, 3860173758, 3116627454]),
y: FieldElement::new([1035588387, 1244468829, 1209318841, 2984547613, 1697557103, 426359060, 2987944458, 3213848817]),
z: FieldElement::new([2562835126, 2597165156, 2749249855, 1205094086, 1918090265, 2523400028, 3139887528, 3409813346]),
});
table.push(Point {
x: FieldElement::new([4114385325, 1782732007, 3118803617, 3702643598, 1904400926, 314980796, 3777498015, 2443116134]),
y: FieldElement::new([620419576, 918612397, 2308553015, 3842138474, 2695502197, 2560593809, 1903598414, 3903813360]),
z: FieldElement::new([2188829284, 1718045244, 3018320872, 3555924261, 3668636737, 120987610, 3464989065, 2566587444]),
});
table.push(Point {
x: FieldElement::new([122033407, 2706450193, 509271062, 2598095577, 1502496148, 1855467330, 2282476849, 3331624215]),
y: FieldElement::new([2420318488, 2386699617, 1160920833, 3864317681, 4248421208, 1340102334, 3231108927, 164878479]),
z: FieldElement::new([800918261, 1073310744, 1773373476, 3528294230, 140706108, 2875360494, 4229139910, 374887882]),
});
table.push(Point {
x: FieldElement::new([2003862713, 3303935411, 2633157227, 2200391922, 3498413624, 36812525, 2067910299, 2988921998]),
y: FieldElement::new([82613844, 3231662133, 965047192, 2902994368, 2114909028, 3309681427, 2170026545, 1967059660]),
z: FieldElement::new([819816647, 429511644, 2360813724, 3268239566, 2905915344, 1279584852, 2782786841, 2238158372]),
});
table.push(Point {
x: FieldElement::new([214157272, 1260096626, 1580462342, 433856661, 3891874275, 1143718587, 3076720966, 1490388834]),
y: FieldElement::new([2276499342, 1918624630, 4074307168, 1258992327, 2167055286, 393652210, 3760237027, 1220810280]),
z: FieldElement::new([1360894016, 4246759148, 3187167275, 2461085156, 1987319474, 3646592381, 844080609, 1618336697]),
});
table.push(Point {
x: FieldElement::new([707152430, 993889100, 2407450955, 3282259358, 1257442948, 2645417931, 1964966766, 1988621520]),
y: FieldElement::new([1325954315, 3196222328, 758114040, 1734842665, 3985696024, 3344004514, 333792610, 312137007]),
z: FieldElement::new([960100731, 3959246845, 117562102, 3947430551, 1895900039, 323174386, 523079436, 3965666777]),
});
table.push(Point {
x: FieldElement::new([2841386494, 3335017453, 1706761846, 1173286987, 4138634236, 2027020032, 2011874783, 1261558760]),
y: FieldElement::new([2149094321, 3183142845, 4261636259, 4253876419, 3475115169, 1353911394, 1685681433, 552305209]),
z: FieldElement::new([1314307846, 3443335074, 4128748781, 199259575, 343041755, 3988437253, 2586104581, 467332843]),
});
table.push(Point {
x: FieldElement::new([1310604872, 209836520, 4126247015, 612001962, 3511594557, 994671258, 308251401, 3696574044]),
y: FieldElement::new([1573766364, 1797044009, 363172915, 3438416888, 4030046766, 2774787293, 1488299531, 2103321508]),
z: FieldElement::new([3849299210, 1661840314, 1536814630, 2328055182, 3889598141, 1793765406, 936744489, 1883595571]),
});
table.push(Point {
x: FieldElement::new([3400509111, 244552041, 1905092304, 4130996912, 1228688515, 263301931, 3556791991, 1436757107]),
y: FieldElement::new([4135161433, 323972751, 673729093, 1816575512, 2456540730, 680729423, 54847486, 2948879741]),
z: FieldElement::new([40115693, 1886567418, 2638275734, 951285704, 172221121, 4100950129, 1931755808, 1134570818]),
});
table.push(Point {
x: FieldElement::new([2436753238, 1296366372, 858684027, 2844238832, 569501105, 355294685, 2116487048, 2777892947]),
y: FieldElement::new([3609602339, 4264291098, 942292072, 3143796087, 4058081911, 462471531, 3604031276, 3169962060]),
z: FieldElement::new([1431495412, 3208434876, 190940939, 2757647411, 168751568, 3804911915, 3521876097, 3542837025]),
});
table.push(Point {
x: FieldElement::new([17664808, 2803941489, 838454479, 371068214, 2805721454, 1614678431, 503755772, 3898764393]),
y: FieldElement::new([343699528, 3162230128, 3381151310, 2704467623, 1688083271, 3889814659, 1569948317, 3769856813]),
z: FieldElement::new([1333052793, 3466242158, 1622130466, 1377533791, 3061298038, 2686097601, 1085281237, 3037547264]),
});
table.push(Point {
x: FieldElement::new([3240898092, 1637556539, 967255434, 2885511424, 4133965611, 2017561923, 1345232472, 3952956583]),
y: FieldElement::new([2517832148, 3138567061, 1236519066, 3509537523, 2073102374, 1373710352, 2577450634, 2898309344]),
z: FieldElement::new([2761860198, 3286048001, 1419608663, 448312122, 1332357554, 1718891654, 3917433504, 2041540905]),
});
table.push(Point {
x: FieldElement::new([4111970162, 3353380364, 3414296852, 471794922, 2082681269, 2173499443, 3915960856, 2901648659]),
y: FieldElement::new([2819819970, 3239293089, 627608194, 211736210, 530761413, 3589398103, 2406997403, 1341703968]),
z: FieldElement::new([3073988191, 4194505196, 2500732556, 4280028509, 3284131111, 459901128, 4193710061, 91129295]),
});
table.push(Point {
x: FieldElement::new([1387871127, 2498965546, 10349270, 1972705951, 131289721, 3843313543, 1158656490, 1887816905]),
y: FieldElement::new([3969699129, 2614621454, 1109964901, 3761996554, 1930800086, 1081090629, 1552261330, 4168677619]),
z: FieldElement::new([2247835888, 2596100466, 2132830292, 3351887853, 1503539248, 2192826229, 1149781865, 2800170676]),
});
table.push(Point {
x: FieldElement::new([228382022, 333866937, 957313353, 1274242252, 2740786552, 4062180061, 799782265, 3840085359]),
y: FieldElement::new([1390721754, 916235818, 2910078113, 3780578747, 4236326968, 315933669, 1428763437, 846811561]),
z: FieldElement::new([819869323, 4268997925, 1916331131, 2415806109, 2235774472, 612402400, 2828970, 2529754391]),
});
table.push(Point {
x: FieldElement::new([3792835626, 2040336538, 2673386484, 1158736799, 2862275031, 3140145709, 3517356953, 3826202637]),
y: FieldElement::new([1422750792, 3520006020, 1355018502, 2123601712, 698321934, 3370443350, 2386013523, 2773420369]),
z: FieldElement::new([3357932747, 2016110309, 1242707846, 2412464740, 501481478, 2953879801, 3654115169, 2073786734]),
});
table.push(Point {
x: FieldElement::new([323886389, 3419461549, 4219024794, 4252839091, 1563543671, 3582661018, 2597035263, 1710822513]),
y: FieldElement::new([3631009131, 174218505, 2391424795, 3613840235, 2206320148, 3293046333, 3137614482, 2174701940]),
z: FieldElement::new([196467320, 3673374194, 2124797945, 1470926490, 3301761422, 3406105885, 1620667432, 1009380884]),
});
table.push(Point {
x: FieldElement::new([1329412716, 1931066430, 1484138369, 2436536868, 4036343589, 708888587, 3427169799, 1614920833]),
y: FieldElement::new([63153790, 98184872, 718329672, 1104254175, 2111230658, 2900606815, 4276768954, 3815343501]),
z: FieldElement::new([3685106691, 2029931391, 2626554474, 2905736736, 3653461533, 3967847652, 2959643308, 2469971120]),
});
table.push(Point {
x: FieldElement::new([462987821, 1021609373, 778654058, 3174584521, 2067280090, 553617751, 3591460739, 3060853049]),
y: FieldElement::new([3866380211, 1820271303, 2596928495, 1093034885, 727694558, 733906505, 3852640037, 1068674227]),
z: FieldElement::new([2194214495, 3190639345, 295659282, 2652383666, 2177163721, 3273692590, 1387484214, 2191002818]),
});
table.push(Point {
x: FieldElement::new([2199740459, 3604523787, 145472069, 4293884088, 556369529, 3078930205, 600443629, 146088630]),
y: FieldElement::new([101383173, 2245921082, 1676962488, 4048945742, 4095033051, 4193850437, 1047514549, 1325270838]),
z: FieldElement::new([2106759771, 1735383725, 4022429897, 3560027509, 2031978252, 2807646958, 96766784, 4230368399]),
});
table.push(Point {
x: FieldElement::new([2506872805, 830340431, 1341019862, 1443058227, 3339184306, 3873676093, 606258434, 1777346438]),
y: FieldElement::new([2673646792, 378813844, 2289410756, 4058811938, 1874573808, 2885205340, 1418529524, 1195965021]),
z: FieldElement::new([4007125137, 3337191737, 3249927508, 2068582939, 689034787, 2801937361, 3150272901, 820646198]),
});
table.push(Point {
x: FieldElement::new([704887892, 1845950339, 3617497294, 2020711243, 1169343485, 2463426693, 880649768, 1610895080]),
y: FieldElement::new([3922087710, 2304382917, 2188564850, 3712958867, 1543026016, 2037497452, 4144327749, 2911497197]),
z: FieldElement::new([2875632019, 4266115962, 1603062386, 2064455503, 544223910, 3482911801, 655517671, 1374383272]),
});
table.push(Point {
x: FieldElement::new([2807351779, 1012987236, 2098546339, 3565107288, 99058695, 2526037205, 2634964797, 2309376952]),
y: FieldElement::new([13989709, 2220705268, 1965262905, 3964414433, 3173808443, 1452256633, 2261910298, 1527149229]),
z: FieldElement::new([1369827873, 513057408, 2181619668, 782461630, 246230843, 3877238813, 1055760305, 2021752398]),
});
table.push(Point {
x: FieldElement::new([3702166828, 4008404086, 3329897899, 1783207944, 4252241527, 2252064199, 2011998279, 2329200468]),
y: FieldElement::new([3666885225, 3323040486, 1496112360, 1753779119, 2010946336, 4060357576, 4215923312, 1890603240]),
z: FieldElement::new([2701179215, 3105337525, 2212324316, 1966245488, 682290840, 988518293, 3439124224, 1897079766]),
});
table.push(Point {
x: FieldElement::new([2574843384, 3178746431, 3953981344, 3379403062, 958024897, 3855622784, 616940504, 3829757010]),
y: FieldElement::new([874546594, 1675144859, 1357174442, 1160340542, 2920999723, 3297317203, 801675295, 968356744]),
z: FieldElement::new([1888239065, 812830009, 2683985998, 1145126662, 2938231225, 3794445027, 3167801714, 2239290605]),
});
table.push(Point {
x: FieldElement::new([3213361418, 60264200, 1578352811, 2319382887, 4231596290, 1593712311, 3686180247, 1115763955]),
y: FieldElement::new([3994294379, 2064465324, 2547547658, 1565801019, 2328216498, 2392739011, 2628377985, 3997002682]),
z: FieldElement::new([3077002853, 894831422, 2587872663, 3892430853, 2144547078, 1460338746, 3305577289, 4060300357]),
});
table.push(Point {
x: FieldElement::new([3395341602, 199550230, 127160746, 2188803557, 1407393080, 1815948158, 4140947760, 1382997728]),
y: FieldElement::new([1345093221, 1391808685, 2418019799, 3902846971, 368974699, 3838753436, 660884873, 2071486667]),
z: FieldElement::new([3711064668, 4082724112, 444772438, 3748862466, 1226443533, 42908431, 415522283, 1189603759]),
});
table.push(Point {
x: FieldElement::new([4038482412, 3731231867, 2014737041, 1858099899, 1856865803, 2663518653, 1048265437, 1686115625]),
y: FieldElement::new([3026080046, 4293866866, 3186213796, 3342411696, 758288099, 3418502656, 753021676, 768423531]),
z: FieldElement::new([1609789038, 4103352608, 1267865150, 2918021772, 1788500144, 3539010599, 3177094093, 1690314753]),
});
table.push(Point {
x: FieldElement::new([2084238961, 751323710, 964157353, 1791905985, 3537661018, 1618524815, 3107072619, 3025897749]),
y: FieldElement::new([1371590757, 423257235, 1703700957, 4136069788, 791136320, 850869566, 3190092318, 4060129801]),
z: FieldElement::new([854773522, 41410097, 36089062, 2097092853, 722263781, 3809957171, 4210480365, 198688370]),
});
table.push(Point {
x: FieldElement::new([1938763009, 1524136505, 1390743993, 3960523896, 2281615308, 1662285437, 2382538989, 4160493728]),
y: FieldElement::new([3000443558, 1310557420, 2745396212, 3587149368, 1106587645, 1806735305, 1597602016, 3958256762]),
z: FieldElement::new([574904216, 1125907790, 2676799437, 1546831716, 1924150797, 2182604754, 2843588322, 2041879520]),
});
table.push(Point {
x: FieldElement::new([3281575824, 129978323, 1189366389, 2888353004, 76495353, 1579065131, 3535203235, 3240878867]),
y: FieldElement::new([4294046455, 3729356879, 382259447, 1532510651, 2613558200, 2126332562, 2370425915, 3773059049]),
z: FieldElement::new([3811301406, 3236314605, 1583667958, 2711591409, 2753212646, 2264491721, 2513667359, 1396790985]),
});
table.push(Point {
x: FieldElement::new([3443043707, 4285914256, 11388726, 410606494, 4091654550, 2901872684, 3581082394, 1694792986]),
y: FieldElement::new([2056176863, 4104023851, 1502706277, 3469512888, 2817229414, 3313191595, 641736042, 2435442316]),
z: FieldElement::new([3313990405, 3369923945, 1263338691, 2273890886, 1959783200, 2045830983, 1998983413, 1444492995]),
});
table.push(Point {
x: FieldElement::new([764497930, 2477372445, 473039778, 1327312203, 3110691882, 1307193102, 2665428562, 967816337]),
y: FieldElement::new([1907882469, 4216999855, 3890722318, 3918285579, 587618759, 2081055427, 190873883, 2322174391]),
z: FieldElement::new([168065065, 301837346, 622094031, 500384529, 2300699630, 2458032017, 3880659691, 3478382759]),
});
table.push(Point {
x: FieldElement::new([1802460074, 200211039, 407453799, 2583950533, 3131859050, 3386908004, 3993977795, 1756040572]),
y: FieldElement::new([3025244926, 2145655219, 1723272535, 2406205297, 3974197402, 505346220, 3113901089, 2605499507]),
z: FieldElement::new([1491920222, 2474539089, 385623171, 3647196287, 723471346, 1240728138, 3986461506, 2717604147]),
});
table.push(Point {
x: FieldElement::new([2142093220, 4252543587, 3633381404, 1813451674, 3782947704, 932371413, 1616358537, 1089722793]),
y: FieldElement::new([3147317918, 1237870080, 978755584, 1478500272, 2888830731, 3852045777, 1458532882, 2313462752]),
z: FieldElement::new([1397762414, 502946411, 4229280735, 402455926, 961893884, 2469075641, 731174412, 2268906690]),
});
table.push(Point {
x: FieldElement::new([3653985746, 480515394, 2964421146, 2798290055, 209504360, 677417965, 2325039149, 2981559624]),
y: FieldElement::new([3996278654, 1320109078, 2589350902, 650243122, 4258888318, 4078079219, 1359418396, 1343788343]),
z: FieldElement::new([1093208796, 4059272854, 3507438079, 2345221939, 2109882615, 3857631330, 1079610106, 2953178103]),
});
table.push(Point {
x: FieldElement::new([3295015628, 3634264016, 912219261, 3953397399, 3017629690, 2061187071, 1147437812, 3726090524]),
y: FieldElement::new([722699093, 3888899082, 4270526825, 4158625270, 2430936287, 3378335800, 2902626758, 954971240]),
z: FieldElement::new([3764850516, 1573278808, 1663475341, 725188115, 3699586862, 938588825, 3814438154, 262259550]),
});
table.push(Point {
x: FieldElement::new([2402100099, 2251887271, 3208801049, 2496826126, 1583973415, 1096763245, 2318584382, 380423002]),
y: FieldElement::new([4142564195, 1667670975, 3886888883, 2457684580, 1386560803, 2630075893, 1740076072, 4097096559]),
z: FieldElement::new([3383890908, 2182661411, 3004256202, 3590665394, 2094948926, 1048101303, 2343310686, 3462041062]),
});
table.push(Point {
x: FieldElement::new([2238441400, 157548536, 1415258136, 3848265024, 1487281486, 3478867282, 1001133996, 3139026284]),
y: FieldElement::new([4087963870, 3080897199, 522831628, 490842645, 907691133, 518432740, 893000064, 1869814540]),
z: FieldElement::new([3777515198, 1844966341, 66502188, 2382462021, 1107694940, 975048523, 1769064814, 2490308944]),
});
table.push(Point {
x: FieldElement::new([907130114, 3869135794, 3782395038, 3131895281, 3979584744, 4171352417, 675156414, 3252086902]),
y: FieldElement::new([4035323243, 3471494986, 3164505045, 3163309981, 1194119540, 3890353998, 3298490170, 324190274]),
z: FieldElement::new([2575527622, 3961744308, 969847243, 1341904557, 2813947810, 667270587, 254163658, 2544346135]),
});
table.push(Point {
x: FieldElement::new([501027492, 3580122876, 53331689, 945060026, 2536110407, 2417835163, 634706747, 722538656]),
y: FieldElement::new([813775826, 1684444923, 1571266288, 2165507168, 618495290, 507441541, 3536026234, 2448478351]),
z: FieldElement::new([1131268275, 999787175, 16036174, 3122196109, 655359463, 198204483, 1600128897, 1287268454]),
});
table.push(Point {
x: FieldElement::new([2008655761, 195594310, 3433551899, 2157015477, 2048234417, 2431217568, 1926755048, 528827643]),
y: FieldElement::new([1970164042, 3519521484, 698084425, 3842705221, 540399048, 3451550773, 3991320274, 79151714]),
z: FieldElement::new([4056909480, 1472814482, 3771188128, 3413993530, 557009879, 2876050873, 3114401186, 767269325]),
});
table.push(Point {
x: FieldElement::new([2675705682, 901828845, 2919682081, 2949329756, 681817175, 3154909308, 4016522961, 227628617]),
y: FieldElement::new([169876888, 1872156018, 376376976, 720956642, 3579620635, 2075897100, 731500456, 3772320796]),
z: FieldElement::new([3906160028, 3779295644, 2390137944, 1388358908, 2127552938, 644544946, 2535906540, 3108288102]),
});
table.push(Point {
x: FieldElement::new([2351947207, 2091197995, 851776428, 678738628, 904797185, 2212294344, 3458427950, 3982255438]),
y: FieldElement::new([789894194, 615191443, 3641486896, 936004058, 3499241540, 2492472047, 282402033, 3085046177]),
z: FieldElement::new([2845667328, 4048044250, 4126713806, 1012650544, 3781366748, 879565998, 2669470965, 2048061266]),
});
table.push(Point {
x: FieldElement::new([3910075883, 3568571403, 2503671765, 1583203465, 1802067463, 3976781599, 2517081871, 3142688924]),
y: FieldElement::new([3493749587, 2895579576, 900736403, 3517166005, 2239096122, 1275649304, 701639178, 883668282]),
z: FieldElement::new([3204444427, 3264601961, 161835091, 1353301716, 978181033, 4109782218, 2521200887, 1950085319]),
});
table.push(Point {
x: FieldElement::new([512777360, 510249721, 1792518970, 2994082121, 2939332154, 620646079, 713011060, 3443893793]),
y: FieldElement::new([4153771944, 93827502, 375865815, 818224012, 873965607, 1540931867, 930191078, 3142039208]),
z: FieldElement::new([1699586792, 2758928578, 2840883521, 526267446, 1715708487, 1793082017, 2539056579, 2771002371]),
});
table.push(Point {
x: FieldElement::new([2498951584, 3467243678, 2491402667, 1443098858, 2156390690, 3583737735, 174836839, 3384493283]),
y: FieldElement::new([94307047, 3443999003, 51354984, 593121965, 1636363579, 2552437857, 1707282563, 2903100630]),
z: FieldElement::new([550992002, 603956215, 4144997159, 3583415810, 1860737519, 3914505135, 430540765, 3250875988]),
});
table.push(Point {
x: FieldElement::new([1316896931, 1149556886, 369553806, 1336186240, 3208770647, 816555861, 2724081908, 2377217368]),
y: FieldElement::new([573534869, 1031561187, 3306030898, 1472436106, 2492184025, 2260309907, 1063569791, 3418114965]),
z: FieldElement::new([387638056, 594439925, 690835873, 4232188082, 3910227036, 2596322699, 3409484799, 3874112588]),
});
table
};
pub static ref PRE_TABLE_2: Vec<Point> = {
let mut table: Vec<Point> = Vec::new();
table.push(Point {
x: FieldElement::new([0, 0, 0, 0, 0, 0, 0, 1]),
y: FieldElement::new([0, 0, 0, 0, 0, 0, 0, 1]),
z: FieldElement::new([0, 0, 0, 0, 0, 0, 0, 0]),
});
table.push(Point {
x: FieldElement::new([2784555272, 2257376911, 2658532785, 1238931413, 517840118, 403146008, 1126320943, 153461008]),
y: FieldElement::new([1983948963, 2613921954, 1765698712, 2828148324, 134476264, 3513809872, 284167990, 2697918890]),
z: FieldElement::new([2492050614, 821813494, 2124782293, 3819780437, 1119057945, 197455855, 412422391, 719044426]),
});
table.push(Point {
x: FieldElement::new([2132000310, 4064099716, 399074903, 313139734, 2144332433, 3744801861, 3330078318, 2718839339]),
y: FieldElement::new([3553899481, 3745597005, 1482638662, 3964405332, 1692401807, 1161190992, 3919096491, 375418589]),
z: FieldElement::new([662345079, 2524906668, 4290094133, 545545641, 1162445103, 414872116, 1456716897, 342687209]),
});
table.push(Point {
x: FieldElement::new([2343003610, 281651169, 169572897, 1697228872, 2498218242, 1335468769, 2877904352, 753068958]),
y: FieldElement::new([3894893255, 1401903853, 3397731443, 2933268618, 3197923749, 2221346520, 3901847005, 2215981832]),
z: FieldElement::new([2167426007, 2860336000, 2406464728, 3337845982, 3599395225, 1064675695, 2948955242, 144005052]),
});
table.push(Point {
x: FieldElement::new([639664787, 2309358685, 857336547, 1333112222, 2300813180, 1509437482, 2836694205, 603602627]),
y: FieldElement::new([3505653851, 2553845149, 4120414427, 2630653372, 1031761274, 2865507816, 355317502, 2026379793]),
z: FieldElement::new([1023739258, 2612386980, 3021571120, 3217145926, 2390271024, 3436112275, 802330338, 891494132]),
});
table.push(Point {
x: FieldElement::new([2434279444, 4183766173, 2133059660, 544494245, 3418252315, 1666759919, 2231816370, 3087863227]),
y: FieldElement::new([70015632, 564311261, 828451088, 373595314, 3195040381, 903378630, 4022325751, 1452316561]),
z: FieldElement::new([3193990278, 468302738, 3236981506, 1878868792, 3911632861, 2714736751, 1741795088, 3319718917]),
});
table.push(Point {
x: FieldElement::new([1467661807, 2767685099, 3380713531, 983367237, 2988786120, 4200916025, 2810533218, 3645598428]),
y: FieldElement::new([2208850606, 2679759996, 604920174, 3461751267, 3645105837, 106596211, 3907934359, 1845166290]),
z: FieldElement::new([1727448596, 3559725805, 2974315767, 881287809, 682873487, 1823202842, 1043125883, 4274407229]),
});
table.push(Point {
x: FieldElement::new([1017032529, 1701885513, 298714689, 3322855126, 241465011, 758658105, 4457616, 2740776856]),
y: FieldElement::new([2455660657, 2711014553, 3010696140, 975754847, 1982884346, 2582030830, 3606999978, 2196534198]),
z: FieldElement::new([2706486477, 4202907283, 2954675877, 35174331, 3246408191, 2441530468, 970143080, 1546230720]),
});
table.push(Point {
x: FieldElement::new([2000077736, 690272499, 1900878224, 3014291366, 2502326675, 1439415658, 1897129074, 3933680229]),
y: FieldElement::new([3127839517, 590697691, 546072212, 2580994569, 323262155, 766391348, 2447877392, 725165071]),
z: FieldElement::new([1557645899, 2290997212, 2689861241, 3347148362, 3992565340, 1808207470, 991227298, 3800544882]),
});
table.push(Point {
x: FieldElement::new([4259110349, 3886963379, 1966172858, 406527325, 4272694380, 3039298282, 1767249601, 1555911964]),
y: FieldElement::new([1848700279, 3624414327, 74774222, 4156286212, 1204992648, 768962940, 1531038831, 2992962246]),
z: FieldElement::new([3135756360, 1573350442, 930169856, 2034649684, 2070418849, 3019111002, 869455776, 315744962]),
});
table.push(Point {
x: FieldElement::new([275270995, 716488162, 278822539, 3687433492, 1659655382, 1681320871, 3491172671, 2960073776]),
y: FieldElement::new([3185377098, 502556794, 817460184, 4120029500, 1590632967, 1643347390, 1805067011, 475109897]),
z: FieldElement::new([427301797, 247316916, 1775103670, 1956779747, 1186275846, 4231740401, 2817525137, 3401256310]),
});
table.push(Point {
x: FieldElement::new([2442243433, 3343640840, 4138507046, 2525597169, 479428993, 1087712125, 2166361049, 3032316318]),
y: FieldElement::new([1056568245, 3113110085, 634291017, 2438825011, 169835855, 2731171611, 3478869253, 3763380085]),
z: FieldElement::new([460443583, 4209870529, 3977160441, 245171505, 3510362273, 2443453733, 375744826, 1463489683]),
});
table.push(Point {
x: FieldElement::new([1742899712, 171128780, 896418062, 2804836936, 1365850478, 1291620053, 3003654437, 3867775932]),
y: FieldElement::new([902594285, 634410896, 2945065026, 910171629, 3800703285, 3764999787, 3930080439, 576149563]),
z: FieldElement::new([988303483, 2550406129, 1266069848, 2439384301, 1173207254, 2405747116, 339428933, 1766828922]),
});
table.push(Point {
x: FieldElement::new([1466803917, 3089849085, 3402098694, 3946384062, 3263496300, 1016099429, 1307207468, 1122355481]),
y: FieldElement::new([3342570767, 767943698, 2784111882, 3018943263, 3473268419, 3993210018, 3116244288, 2638553535]),
z: FieldElement::new([2454346616, 578576921, 1734096058, 843125834, 4038286681, 1011236330, 2470911779, 683630404]),
});
table.push(Point {
x: FieldElement::new([2858772883, 3202574401, 1909971561, 3614011425, 4050903645, 765758598, 1567298158, 143773641]),
y: FieldElement::new([571785539, 3315615076, 827978284, 578865709, 2268631105, 1827914992, 3354383793, 1495047427]),
z: FieldElement::new([1449556728, 3085691430, 3540662341, 2774068603, 4015957879, 132052411, 1095150435, 2999028017]),
});
table.push(Point {
x: FieldElement::new([1057786935, 1635973018, 1544773624, 1568912329, 665472502, 2988242735, 3908102013, 2735333221]),
y: FieldElement::new([1809712550, 298319724, 261404795, 345030525, 3972097898, 2840170846, 1127444970, 2604380036]),
z: FieldElement::new([2811159153, 4042621591, 4045945268, 2878235088, 2094891179, 2088971562, 153696166, 3058003178]),
});
table.push(Point {
x: FieldElement::new([3840718663, 3997414688, 677693323, 1018712398, 3673113622, 1885584237, 4138127891, 3019342857]),
y: FieldElement::new([1399872325, 2453564544, 2820366763, 2522077478, 1251652198, 668511766, 3909286563, 381841304]),
z: FieldElement::new([3964772976, 1324323090, 3193170119, 795105405, 1659037455, 55190351, 818895412, 1273331547]),
});
table.push(Point {
x: FieldElement::new([2797530487, 392545516, 2724283088, 1760715192, 2906240252, 1339293295, 143183706, 597904974]),
y: FieldElement::new([4210138082, 2292532904, 786090604, 3122680760, 2234772678, 2248287675, 3185102773, 439556102]),
z: FieldElement::new([4277465540, 2824112140, 1969582287, 1379526723, 1073350043, 762845063, 3626532101, 2414404802]),
});
table.push(Point {
x: FieldElement::new([167379735, 3835441793, 283477319, 797762730, 1650350203, 2680402264, 1658214850, 2987582186]),
y: FieldElement::new([1280473249, 3406374470, 3846571519, 3250367918, 3169788271, 3652763580, 3508893343, 4244447930]),
z: FieldElement::new([404903056, 2932098224, 2662661464, 295169841, 4048005251, 3808061447, 1334348186, 2560255832]),
});
table.push(Point {
x: FieldElement::new([2680008086, 1549690495, 3304126145, 1836720158, 3426796319, 2467902220, 2835046989, 3123003508]),
y: FieldElement::new([3581146281, 2770594294, 3018100847, 2781628401, 184364905, 1570014584, 1582915615, 91924286]),
z: FieldElement::new([1570947915, 4111665647, 3152013345, 3308856479, 1031690831, 2323008162, 2571920402, 3452339917]),
});
table.push(Point {
x: FieldElement::new([1187188363, 3136295753, 335528971, 2600719443, 1022042264, 1487648477, 1650637672, 1536346305]),
y: FieldElement::new([25661779, 713851521, 2127781145, 3333983289, 3448851129, 2966576810, 2615224005, 3832815543]),
z: FieldElement::new([355644169, 3989819768, 3097363470, 3265189284, 2659111910, 710324169, 423527180, 108763899]),
});
table.push(Point {
x: FieldElement::new([3719776683, 829505175, 118752243, 1841183782, 1642090326, 683432017, 155456439, 177464019]),
y: FieldElement::new([3647290342, 3514280184, 3916106070, 322016841, 1825436408, 3907891707, 3860815978, 3466090507]),
z: FieldElement::new([2598322512, 3515174780, 3651219238, 4044664916, 3051615535, 3019710511, 1458012377, 1086523732]),
});
table.push(Point {
x: FieldElement::new([233095743, 465361190, 3903081120, 156684250, 3174172715, 1955126105, 506223567, 3538513676]),
y: FieldElement::new([1860358460, 3514286501, 3199806171, 1792703849, 2177699460, 860720244, 2953357448, 2147265809]),
z: FieldElement::new([2303612587, 140586076, 1941064635, 2862109697, 2538682938, 805392595, 3562707754, 3988448610]),
});
table.push(Point {
x: FieldElement::new([17696143, 2782104255, 1364795352, 164838282, 1495438636, 150649310, 1408396121, 3412004023]),
y: FieldElement::new([2480627559, 281030903, 2016703069, 2235864613, 941909004, 2260633575, 19462527, 928044675]),
z: FieldElement::new([2815465892, 3501436643, 93889192, 2899045992, 78437441, 1353448047, 4141765197, 244954792]),
});
table.push(Point {
x: FieldElement::new([1734485434, 1729408116, 332227739, 1064870691, 2192778096, 1056450061, 757753132, 1121071498]),
y: FieldElement::new([3752542733, 177956380, 1231216632, 1891736049, 934265721, 4243845261, 2045939732, 3713416164]),
z: FieldElement::new([3332732400, 4167552979, 329842339, 3317439399, 4284885983, 1154095063, 2602265449, 2892465669]),
});
table.push(Point {
x: FieldElement::new([3575890880, 1725933093, 3296751281, 3701633635, 176557583, 749891939, 3414522678, 1162019742]),
y: FieldElement::new([542899414, 3979458928, 2569503717, 3773010487, 2200861986, 373485584, 472454443, 193893023]),
z: FieldElement::new([4106381016, 2191988842, 2881694379, 2910732299, 3581845505, 3630377545, 4092469175, 1330265384]),
});
table.push(Point {
x: FieldElement::new([2623820845, 1468836992, 2493896133, 1133790065, 1693043888, 739722092, 1175863050, 3890372793]),
y: FieldElement::new([991725147, 4233956558, 1785487027, 3627183638, 4016376346, 1618276399, 2284217635, 2781302537]),
z: FieldElement::new([1515139544, 1392189225, 4026897357, 1516756571, 1154151867, 3381081764, 3552002285, 740317676]),
});
table.push(Point {
x: FieldElement::new([367285750, 1468839263, 1500722815, 3396286281, 2079326678, 2468105240, 3282085546, 2276552482]),
y: FieldElement::new([3143793159, 1163891377, 3548512977, 751432488, 2149857250, 4058350664, 1718103576, 141012548]),
z: FieldElement::new([1430150144, 3614075817, 4041133800, 2246978126, 1806655901, 2179657274, 3646010551, 1991365585]),
});
table.push(Point {
x: FieldElement::new([3567243995, 2486670451, 3056196439, 223146332, 991147695, 3681143669, 1925476521, 4282698392]),
y: FieldElement::new([3860862369, 3573863541, 2734499063, 4062011955, 18847828, 4168285626, 4146936845, 100625747]),
z: FieldElement::new([3316596949, 1465538593, 1293543729, 3176818939, 1811243703, 3792781291, 1971765998, 3051311554]),
});
table.push(Point {
x: FieldElement::new([3606972304, 1195845614, 3989045304, 3438315847, 11936930, 2264302767, 2043356475, 2758844257]),
y: FieldElement::new([597784541, 2456254346, 2186281307, 225232301, 1793906018, 4166666023, 3203244230, 1622554002]),
z: FieldElement::new([2508179801, 2863901059, 2586857068, 2084626616, 2963354609, 2775869993, 2317379798, 3749536252]),
});
table.push(Point {
x: FieldElement::new([1295952472, 904931217, 1266899559, 4053399232, 444228516, 427005040, 1222732050, 89589994]),
y: FieldElement::new([4215549885, 670671906, 257395242, 1692173487, 368028871, 1986309840, 2410893651, 391972628]),
z: FieldElement::new([2734866012, 4007733043, 2606020658, 1008481645, 3318828669, 3818184724, 667325827, 2312575328]),
});
table.push(Point {
x: FieldElement::new([2563681314, 3789209328, 2363258252, 3614313497, 1522723928, 1313143104, 3748271452, 2283249024]),
y: FieldElement::new([2645121534, 3139706036, 2312676019, 2300532756, 1280140062, 130899174, 3954299019, 4258741976]),
z: FieldElement::new([312667596, 1153354613, 27982939, 1626893668, 1402035982, 3395086137, 2506601157, 3709500766]),
});
table.push(Point {
x: FieldElement::new([4024664949, 756101392, 1185186954, 3716594330, 1984619936, 988372673, 766024943, 2188163315]),
y: FieldElement::new([1857359022, 1625227929, 3511501197, 3237639841, 2108996853, 13482656, 2752515451, 3237980938]),
z: FieldElement::new([2640708995, 4205834500, 82142346, 4210647985, 3131778742, 89241497, 4001278656, 638414312]),
});
table.push(Point {
x: FieldElement::new([970843997, 1969403354, 2001394870, 1143254389, 336525379, 660532180, 3991794033, 3237534404]),
y: FieldElement::new([1191247398, 986203871, 3019051477, 853139031, 1632727456, 3864739594, 3876794106, 3184271661]),
z: FieldElement::new([330434681, 2430898939, 3913222922, 603881676, 1566389736, 932985322, 574574919, 2825222749]),
});
table.push(Point {
x: FieldElement::new([3712155889, 2078074725, 245518195, 3291043403, 3484413912, 3068378056, 541031266, 4172765901]),
y: FieldElement::new([4232021283, 1420588247, 772549444, 1927317744, 320271654, 3731499314, 2930703434, 2325680142]),
z: FieldElement::new([2530801200, 1824364165, 1088266216, 649680741, 3396707398, 3476755359, 4155085674, 2992571245]),
});
table.push(Point {
x: FieldElement::new([1380274265, 2603440052, 4205990999, 1843463202, 633532117, 1284831066, 4055380234, 4040303050]),
y: FieldElement::new([1519515862, 2932733423, 663216137, 3912032751, 804523517, 618395408, 2515668806, 3613951768]),
z: FieldElement::new([3453949574, 1950941238, 1987786808, 934957484, 2979048373, 3235772845, 2996813339, 1760783166]),
});
table.push(Point {
x: FieldElement::new([915163809, 1062628532, 167094681, 3805627412, 1997258102, 1972055332, 3055387538, 1690757078]),
y: FieldElement::new([2511729797, 336770629, 3065398613, 466679418, 3705090616, 2464663172, 4233854728, 1753446328]),
z: FieldElement::new([3796498606, 1192214831, 758921076, 1237434466, 1948999496, 1663849177, 2594797235, 852671312]),
});
table.push(Point {
x: FieldElement::new([2587087062, 2165708735, 1553819930, 2164547292, 3271663530, 2986373870, 1094127534, 2035920925]),
y: FieldElement::new([3455227129, 325663024, 3929700538, 1108153605, 56964440, 2688029734, 3816136809, 3414181797]),
z: FieldElement::new([3353727094, 2281032542, 2878248139, 2648996435, 3700480675, 2479036280, 399681741, 3798449153]),
});
table.push(Point {
x: FieldElement::new([1162569024, 2026171771, 3487181608, 2648283418, 1809789544, 1889179434, 3556974870, 4268727996]),
y: FieldElement::new([1519404202, 1782087973, 3956524584, 1126937780, 2371233870, 1500071030, 598661571, 4105837290]),
z: FieldElement::new([3012244235, 2033255062, 4286620020, 1467022572, 2506481165, 520329723, 1787638870, 3606570267]),
});
table.push(Point {
x: FieldElement::new([2042838113, 2250125294, 1500796012, 2035528454, 2008146005, 640163472, 841693667, 2219434958]),
y: FieldElement::new([1199544647, 1051375716, 72587824, 2728407343, 2189106545, 760052271, 2703129260, 2143582508]),
z: FieldElement::new([2357555388, 2989489504, 3038652798, 3809904007, 1526737772, 3254258163, 418224259, 3655424731]),
});
table.push(Point {
x: FieldElement::new([269362606, 2680310667, 2163646923, 629723333, 1576219919, 12415919, 3797056767, 3015168868]),
y: FieldElement::new([2739013788, 1064586907, 2372134876, 53404655, 76436895, 2424208912, 1710008618, 53775881]),
z: FieldElement::new([1507043407, 4080243334, 2589074675, 3021042172, 583487976, 1932167149, 3072530027, 2312922426]),
});
table.push(Point {
x: FieldElement::new([3647470960, 1796147437, 3005570019, 2969623908, 3096136321, 168112796, 4144786299, 3374947053]),
y: FieldElement::new([951789217, 2113948112, 1028076139, 3388508246, 2679330477, 4145693613, 384072147, 425513605]),
z: FieldElement::new([367425739, 1784470429, 1418555276, 2151463404, 1910043428, 2159910121, 3070997629, 46067544]),
});
table.push(Point {
x: FieldElement::new([1654410267, 288469798, 1763461166, 3090878182, 620435759, 2135313808, 200288723, 1758207013]),
y: FieldElement::new([1043586737, 3341694796, 905038376, 41204240, 2503171670, 3828514190, 1736148604, 3854716228]),
z: FieldElement::new([314550410, 3009468957, 4183763353, 3131352303, 3381339415, 1423100009, 3403907244, 1988208501]),
});
table.push(Point {
x: FieldElement::new([2650194828, 2483292166, 285939940, 1959725771, 1219986752, 3533386369, 890724594, 2824765788]),
y: FieldElement::new([4104129713, 2441011355, 2641117766, 611023141, 4228848053, 3026058650, 2976349426, 1437774909]),
z: FieldElement::new([3019105259, 285876345, 2647993351, 3589457671, 2566384789, 3975605143, 3904504836, 2831365235]),
});
table.push(Point {
x: FieldElement::new([602748681, 3380123265, 384904240, 1350226524, 292622760, 2764470428, 1255156756, 3907002111]),
y: FieldElement::new([2730796154, 1809884586, 457921852, 2902483763, 758061539, 2596300823, 1531285869, 3964086676]),
z: FieldElement::new([591099127, 639767767, 115080152, 2702974977, 2480154692, 3154520433, 3324828695, 3478065201]),
});
table.push(Point {
x: FieldElement::new([545509844, 3271589487, 2347983044, 2118199577, 2911444990, 3291415080, 991188005, 3505825857]),
y: FieldElement::new([3018134170, 2234769017, 4151382889, 2169393904, 2597211555, 2116711972, 3329787875, 3159835820]),
z: FieldElement::new([2552199967, 3927239219, 42137682, 1105674564, 2971261729, 1184207993, 3295310313, 2502874542]),
});
table.push(Point {
x: FieldElement::new([1427685930, 251710778, 2755448804, 2836514606, 3827278260, 3915815497, 2341673528, 2223642300]),
y: FieldElement::new([523806664, 153162478, 3276591857, 952704142, 2588445141, 89325680, 1001992484, 1785784951]),
z: FieldElement::new([2611535653, 3316387587, 213908725, 742441602, 1352853787, 273336103, 1866057277, 3066090452]),
});
table.push(Point {
x: FieldElement::new([3160332575, 2490334863, 1272050358, 3092355112, 3032732013, 2455506736, 1129026416, 2774759403]),
y: FieldElement::new([2241635592, 1210792034, 2438733223, 1961665692, 618080896, 3824388374, 3720067855, 3991328936]),
z: FieldElement::new([360529173, 526832357, 4206910064, 1644903212, 672421604, 187828884, 1881795691, 128519888]),
});
table.push(Point {
x: FieldElement::new([2274006036, 3474691010, 1134285397, 3148462978, 2916003714, 3263330670, 1699343701, 846918148]),
y: FieldElement::new([2445272055, 107784416, 1586803165, 2232136881, 3747584439, 3751437357, 1099475906, 1070551369]),
z: FieldElement::new([593590884, 2069463868, 1325447262, 2462688879, 781701425, 1756456076, 1388825457, 376168142]),
});
table.push(Point {
x: FieldElement::new([3018984259, 2011889089, 2083278144, 2037466157, 738524042, 520550411, 2327038729, 3170274301]),
y: FieldElement::new([1181525771, 2792947785, 577637266, 3673788981, 3090339615, 1006480444, 3078347397, 4100214082]),
z: FieldElement::new([3349701118, 7942268, 2927233, 741344462, 446638341, 2115280472, 484771358, 2866578885]),
});
table.push(Point {
x: FieldElement::new([546677105, 888010886, 2488993591, 2987357240, 1303593501, 1632330758, 2099814281, 367794148]),
y: FieldElement::new([604114204, 679163984, 368425477, 961246712, 370300600, 566129170, 1837910060, 1005837003]),
z: FieldElement::new([4166059045, 1154380954, 2038590001, 1698783600, 27758034, 614301698, 895634414, 1145451924]),
});
table.push(Point {
x: FieldElement::new([2209156393, 3033518499, 2620796416, 3590327035, 4046482380, 3031253793, 1158565555, 2288527575]),
y: FieldElement::new([2493855004, 1200371960, 3979673989, 4065009831, 3039167880, 3439045060, 3454268572, 1275998757]),
z: FieldElement::new([262628112, 3489850536, 742023292, 2084216866, 1193066875, 140284420, 3697700649, 767089118]),
});
table.push(Point {
x: FieldElement::new([2389470996, 3211645707, 2864440328, 958289700, 2168660417, 1527597350, 2966674523, 1131095161]),
y: FieldElement::new([841558191, 1050905515, 3167598745, 2554051103, 73074759, 3098026554, 3855294565, 708726602]),
z: FieldElement::new([1181640903, 679638398, 1234099613, 2511878672, 1873121726, 4089255920, 3502112406, 3387720037]),
});
table.push(Point {
x: FieldElement::new([3739825902, 2702880513, 621433817, 2326659658, 1405464530, 2507774752, 2564711725, 1608047593]),
y: FieldElement::new([3872838783, 1434639002, 3474055926, 2062808888, 825447150, 2896957153, 1305514316, 3784707909]),
z: FieldElement::new([74071007, 1596240275, 575122549, 3971985629, 1810959429, 1654303237, 1784811004, 3928583962]),
});
table.push(Point {
x: FieldElement::new([3817122499, 3872523584, 1367201868, 2615996786, 2196919231, 152001920, 2685958651, 1007296761]),
y: FieldElement::new([2528797932, 3822935402, 2612778405, 336731357, 1894168943, 2268400520, 2830979194, 3931176343]),
z: FieldElement::new([843343533, 1327632204, 1118329045, 500996813, 2069690830, 2948908429, 3455348307, 2088300745]),
});
table.push(Point {
x: FieldElement::new([3591515854, 151611606, 1106771366, 3622665264, 3299466732, 947358329, 1040032354, 563541120]),
y: FieldElement::new([4092842839, 180434739, 1076124473, 3432954027, 320519628, 1629869033, 4154568217, 3217483617]),
z: FieldElement::new([2707636317, 1977061362, 1147679659, 2540979505, 1063157720, 3591843523, 3254431165, 2380523878]),
});
table.push(Point {
x: FieldElement::new([1971453637, 1080840761, 4075678715, 820714060, 2517407410, 3620570370, 3469284841, 1525787092]),
y: FieldElement::new([60573885, 2761388539, 1532289197, 1056256157, 2460948405, 230381420, 3943436432, 3352953776]),
z: FieldElement::new([107940681, 298116272, 3345297503, 1381723509, 2124262528, 2448966647, 3721327627, 1679996340]),
});
table.push(Point {
x: FieldElement::new([2450111149, 4256456472, 3843960945, 3978135765, 2366020776, 3403898866, 1198342574, 187963133]),
y: FieldElement::new([3809093464, 3981205162, 2338436375, 3221421113, 2407794550, 3080881217, 1786177977, 2053259622]),
z: FieldElement::new([4164835802, 385524645, 607004886, 1973439584, 3004461420, 2505072010, 3660657162, 1906522774]),
});
table.push(Point {
x: FieldElement::new([2596377008, 3563446345, 1869179930, 93951326, 635528899, 557083631, 3935395035, 1871980791]),
y: FieldElement::new([1183661748, 2686297344, 2893011863, 4125030714, 1689986697, 1142402754, 3255100829, 78060562]),
z: FieldElement::new([4230839331, 3439900529, 3977487918, 2633762325, 61337339, 3002603960, 1976455693, 769841520]),
});
table.push(Point {
x: FieldElement::new([3601186406, 1458173323, 317559927, 3370506543, 1344612493, 3316441875, 2636963297, 3954004088]),
y: FieldElement::new([3095911962, 1168100678, 1570269962, 1866455608, 350106199, 3876851271, 3591384827, 3748924520]),
z: FieldElement::new([1973583412, 1538488082, 2674392092, 702025652, 719007240, 283077903, 1920446977, 2494866654]),
});
table.push(Point {
x: FieldElement::new([4224986424, 2844005052, 1428914802, 1989894526, 1096772763, 3108713553, 144199368, 3269844047]),
y: FieldElement::new([1807714011, 4281498852, 3486109895, 1035159443, 347139479, 3432809500, 785395723, 2017493814]),
z: FieldElement::new([2458798042, 1351117024, 2615007071, 993478158, 978169229, 1111687226, 3007582726, 1490002071]),
});
table.push(Point {
x: FieldElement::new([2926773030, 576457563, 4187961376, 36950652, 2939183161, 3559109344, 584203377, 2253641279]),
y: FieldElement::new([3957687567, 1432353508, 3139616322, 1372499952, 2994455669, 1520708766, 1572930458, 3314839471]),
z: FieldElement::new([3262995328, 3227874202, 3013258621, 3359622800, 3229758938, 1073185348, 1220660568, 491152286]),
});
table.push(Point {
x: FieldElement::new([3590159583, 3057464946, 3889438388, 1568429101, 2973540770, 4096086083, 363149644, 473769111]),
y: FieldElement::new([2358225685, 2437883344, 3869898045, 4012417028, 3771724284, 2853368165, 1288876263, 1805129579]),
z: FieldElement::new([3321912830, 2154874450, 3822498261, 3039486005, 2451947147, 1886883040, 720082149, 503936843]),
});
table.push(Point {
x: FieldElement::new([3795510587, 3203124503, 147697750, 727693343, 3575175700, 3204495264, 3832192170, 620595848]),
y: FieldElement::new([3223646063, 3511416682, 1558957849, 936493146, 1813463888, 1542858398, 2492477, 219743431]),
z: FieldElement::new([356919600, 755340898, 1623107892, 360995869, 2799624290, 3030202868, 3115234260, 2870295671]),
});
table.push(Point {
x: FieldElement::new([919580865, 768734527, 4042884475, 627553876, 1063528731, 668445048, 1043860546, 4123176945]),
y: FieldElement::new([339690031, 3738352118, 3904661239, 2772962443, 3927559489, 3814110857, 1814487536, 426299674]),
z: FieldElement::new([339060391, 1108688222, 550675888, 4215034943, 1371165148, 599881446, 1695441865, 638907748]),
});
table.push(Point {
x: FieldElement::new([1682429656, 3850447704, 1294485226, 4179839101, 1375976931, 1745197452, 3149810868, 2489321870]),
y: FieldElement::new([3728012428, 3071735196, 4131871663, 3107992909, 3503029, 653072761, 3327232268, 45782184]),
z: FieldElement::new([2583602029, 3473626654, 3847325741, 3735854698, 1648651722, 2252818398, 1116210364, 1862353712]),
});
table.push(Point {
x: FieldElement::new([172965516, 1013651160, 4074800282, 84385099, 2576605666, 3132751208, 2919039239, 580688973]),
y: FieldElement::new([3948236013, 3237096072, 3787551315, 955827412, 1213866791, 560707047, 1434130275, 803948510]),
z: FieldElement::new([2772134137, 4007603699, 1630076453, 2740762926, 2621443889, 2720088562, 2858274061, 3934869366]),
});
table.push(Point {
x: FieldElement::new([3473647664, 2499998289, 1578247613, 1489382622, 3082225049, 871962113, 3316340126, 2508933402]),
y: FieldElement::new([2753880101, 2876833823, 1676354249, 3625272818, 2113697196, 1432045422, 185465666, 3498183216]),
z: FieldElement::new([1143356315, 3950631210, 2000964044, 268059809, 2476048122, 4169493091, 2862865522, 4077097729]),
});
table.push(Point {
x: FieldElement::new([3762964672, 2229373321, 1857268999, 2674025523, 1432055528, 3879391070, 1304804133, 2572930767]),
y: FieldElement::new([2532616988, 1766925169, 753302927, 145379943, 3080712580, 3804304226, 967702718, 3715128094]),
z: FieldElement::new([3065296086, 344195875, 660471023, 552321143, 1208851542, 811346089, 3924072077, 3980281503]),
});
table.push(Point {
x: FieldElement::new([1885323595, 628500175, 2102995247, 2496989316, 2631597244, 3780660054, 3781072756, 633104428]),
y: FieldElement::new([3461450975, 778519255, 2238791448, 1150167225, 3839911429, 3411947554, 1114699579, 1209862161]),
z: FieldElement::new([1403227875, 1643583768, 2250784984, 1321486899, 1050993663, 3416820224, 888116767, 728247360]),
});
table.push(Point {
x: FieldElement::new([1054390046, 1528360620, 1255869105, 3419421601, 1059558471, 2837189098, 2037775902, 1746813953]),
y: FieldElement::new([1866866859, 1745959504, 4048517499, 4140523673, 881758868, 1781019583, 157788736, 627929030]),
z: FieldElement::new([885937114, 300917614, 1365985023, 3707596119, 1696971035, 859640311, 13179926, 4130789693]),
});
table.push(Point {
x: FieldElement::new([2563740080, 2054276094, 885428140, 2673953166, 242821672, 3503234870, 2670431661, 2558775071]),
y: FieldElement::new([149092387, 1961079933, 3730981711, 1267416938, 2620058783, 2288486922, 2862358943, 703281923]),
z: FieldElement::new([2697187425, 2791207876, 3696201068, 523038607, 1529564777, 4274536020, 2600756155, 3929789675]),
});
table.push(Point {
x: FieldElement::new([3468913303, 226870030, 3552079486, 1418310818, 3563221143, 2001902530, 2843758260, 3403756970]),
y: FieldElement::new([1524053301, 4000886069, 3328053568, 1794975341, 4199295682, 1288513808, 2680820061, 2033197835]),
z: FieldElement::new([3339930067, 3389954149, 1212430736, 2383964632, 2130698164, 2495878411, 3048972074, 894191135]),
});
table.push(Point {
x: FieldElement::new([3617172721, 2631279731, 3315622579, 2394238928, 1222508435, 3706107138, 3544003705, 1121013308]),
y: FieldElement::new([80212336, 3571931618, 3236109206, 3564366072, 3687965405, 1706499207, 4184219059, 3493732530]),
z: FieldElement::new([2935941586, 2866378253, 3195294941, 1782704229, 2100549374, 971126080, 1211810022, 2180186354]),
});
table.push(Point {
x: FieldElement::new([3668319039, 1726582356, 3163914570, 2677392555, 3507824498, 2447075581, 4064768344, 3876086055]),
y: FieldElement::new([615414529, 581480826, 545875764, 2144813053, 2479774430, 3951914150, 3164605789, 2230036408]),
z: FieldElement::new([3070888433, 4007054323, 2539042301, 170372980, 654656373, 2823520433, 3405166092, 1333847993]),
});
table.push(Point {
x: FieldElement::new([677513392, 1764569228, 458498786, 2248758776, 1433995696, 2116112260, 3823826520, 3882804719]),
y: FieldElement::new([3896202242, 3273253786, 3086938069, 1633518264, 595008217, 824184893, 544985312, 1884880102]),
z: FieldElement::new([2670844836, 1088396115, 701988734, 1710952417, 1162039452, 2463429337, 2256882705, 2147332840]),
});
table.push(Point {
x: FieldElement::new([3211369581, 1603233527, 1058181938, 2190315632, 2231264900, 2453227185, 1693588453, 4198727709]),
y: FieldElement::new([3515594618, 641551262, 1996726417, 1274200266, 2034128526, 99654809, 3365535211, 3947734156]),
z: FieldElement::new([1486926153, 3857056218, 4043768685, 895050455, 4012440665, 2521840554, 116259796, 420299391]),
});
table.push(Point {
x: FieldElement::new([3460784867, 41027985, 2729825473, 760660592, 487952090, 4080148370, 301831061, 3466586889]),
y: FieldElement::new([1388697057, 1948586929, 2230689615, 1447126367, 1063341489, 3427300689, 2854152185, 2933848727]),
z: FieldElement::new([3260522053, 178721427, 4105183733, 2326324976, 1311592282, 3935520166, 1417189993, 2619282689]),
});
table.push(Point {
x: FieldElement::new([1646397795, 2035386821, 2126374538, 2512947696, 4145491358, 242302020, 3011371090, 4024472195]),
y: FieldElement::new([763981956, 2986853669, 455267362, 1820953856, 2302603173, 835371972, 2584496850, 64973894]),
z: FieldElement::new([927316800, 3218136355, 2954002157, 3459756069, 3169716897, 2068369261, 3181044040, 3593868616]),
});
table.push(Point {
x: FieldElement::new([2466760814, 2411745570, 3298586764, 1945839614, 2311548495, 1928260984, 2997050717, 131794855]),
y: FieldElement::new([1014500235, 3189763570, 3582317627, 2403020633, 1164370578, 4252512148, 1088300931, 3049756507]),
z: FieldElement::new([931622447, 3010346024, 2759704650, 1410293878, 2265077903, 2988234366, 1847214618, 410744527]),
});
table.push(Point {
x: FieldElement::new([1293438874, 2888757635, 3146436249, 140471522, 1747016310, 1400037062, 3157652169, 3818734119]),
y: FieldElement::new([952678659, 3130353697, 3958152128, 640125795, 2750560206, 4177906785, 577509340, 3571955696]),
z: FieldElement::new([4081052718, 1888939979, 3351705857, 4243465797, 3918367097, 538577325, 130945763, 307280533]),
});
table.push(Point {
x: FieldElement::new([383815101, 2347682942, 3849478456, 89746929, 3825367773, 102760509, 1012728418, 3924617584]),
y: FieldElement::new([2535458711, 1699540508, 3430992232, 4087607482, 2769225365, 3432464243, 3255968889, 2659971049]),
z: FieldElement::new([1174457767, 604479165, 3745602211, 2921511202, 1402262997, 1047426114, 1267812271, 1383519074]),
});
table.push(Point {
x: FieldElement::new([3478466685, 1427411341, 961051301, 2821767088, 1987422917, 3359446680, 3700415658, 3354315874]),
y: FieldElement::new([3404841120, 459860073, 1293242272, 702379640, 1446718571, 2862973802, 2338003945, 615980951]),
z: FieldElement::new([3323203474, 3283469571, 3559924022, 4106664548, 3518934816, 1360135873, 3825845393, 604492306]),
});
table.push(Point {
x: FieldElement::new([2093446313, 2759639744, 2925499583, 7503955, 100056071, 3365588789, 3722142018, 2335659275]),
y: FieldElement::new([3825370307, 3366343049, 438088504, 638595678, 4272881276, 3916703057, 215986848, 1818568920]),
z: FieldElement::new([3870513483, 3534963465, 17943672, 1247717136, 2854999665, 2587641996, 3790715580, 333190]),
});
table.push(Point {
x: FieldElement::new([763232364, 2089658314, 758700991, 3370624206, 2110462322, 3780243661, 52581128, 3395221526]),
y: FieldElement::new([2145748087, 4019317463, 2866589632, 2320594990, 258427052, 2246695718, 3268981528, 124062696]),
z: FieldElement::new([1677671330, 224301145, 2958865311, 3468005476, 733594901, 2291413975, 801552368, 3807463080]),
});
table.push(Point {
x: FieldElement::new([968684522, 233264785, 2748337152, 1853300188, 4205577984, 1724719072, 600083200, 388276005]),
y: FieldElement::new([3838973635, 744409204, 2481368548, 3675543978, 1435287169, 947917641, 1827568499, 2760256406]),
z: FieldElement::new([835185648, 4057198600, 1485258342, 856974457, 4174656397, 3323731957, 566305045, 3388263952]),
});
table.push(Point {
x: FieldElement::new([3125683958, 121031474, 232436832, 1505361099, 2056986999, 1662997989, 1465831220, 3299349343]),
y: FieldElement::new([197097376, 1654845855, 50548252, 3715334939, 1812692177, 2785878754, 1889774848, 2457500561]),
z: FieldElement::new([3853174162, 904122948, 596782397, 3263777979, 2112198160, 565425489, 2956214352, 1996786978]),
});
table.push(Point {
x: FieldElement::new([3489419531, 2310530424, 3837161335, 330479413, 1046714239, 1958941362, 2345257218, 4282108195]),
y: FieldElement::new([2477291037, 550568225, 2632827385, 1919873047, 890850140, 3827627045, 3497117917, 1644817655]),
z: FieldElement::new([218637119, 4090105720, 705725365, 1266575207, 2338109271, 3653030193, 2815941536, 786671341]),
});
table.push(Point {
x: FieldElement::new([4034306603, 382039768, 589465949, 1685312357, 3473391182, 1786078089, 3779586847, 873388193]),
y: FieldElement::new([3637399873, 2125447915, 3282662510, 3891391968, 3298106866, 2970812309, 505857756, 2068317280]),
z: FieldElement::new([349887837, 389147913, 1835077686, 1724281976, 776402489, 155336578, 3745120058, 1483951607]),
});
table.push(Point {
x: FieldElement::new([812202990, 1669160190, 3622194762, 3194003407, 3986372076, 3091384179, 2182135687, 1524237687]),
y: FieldElement::new([3741961014, 698344329, 3052488828, 4236139130, 1440100531, 1489799701, 3809157224, 2956158592]),
z: FieldElement::new([3340982145, 3921118580, 72036048, 1590886999, 3918778816, 881380541, 3873048227, 2455127124]),
});
table.push(Point {
x: FieldElement::new([174184091, 3233835521, 599369234, 1659034280, 1796294754, 2896831835, 3679306731, 53702867]),
y: FieldElement::new([216917963, 1055793827, 2184275167, 1391476935, 380814493, 3941914026, 4183243996, 1293850916]),
z: FieldElement::new([3974969904, 4246590528, 3320797668, 3316240517, 2494219088, 2522478901, 2426778645, 3555056731]),
});
table.push(Point {
x: FieldElement::new([603805653, 650036049, 995975602, 2151233428, 877714624, 1295886722, 401251527, 928799335]),
y: FieldElement::new([2004709876, 3208508097, 349673551, 1925676720, 338878331, 2046255127, 3193516160, 1983938075]),
z: FieldElement::new([4220712755, 1617037176, 1624733454, 2317484094, 2197351240, 3074429075, 1258286239, 2116915796]),
});
table.push(Point {
x: FieldElement::new([3566133891, 3691125637, 3942937205, 2741813935, 3405249659, 1750877718, 3061755363, 3401640155]),
y: FieldElement::new([3959115646, 2630772687, 3639169579, 651366071, 672880719, 3291910216, 2933659912, 4007439281]),
z: FieldElement::new([47465292, 407947726, 2015254945, 981173497, 1695383703, 1157750138, 3650033585, 1268477717]),
});
table.push(Point {
x: FieldElement::new([2860089327, 2532653402, 3032077578, 2045563517, 2047051808, 894701213, 1346704218, 492151265]),
y: FieldElement::new([494317492, 3049951794, 1193999469, 4063254565, 81768272, 2379529775, 551789315, 2245670600]),
z: FieldElement::new([267707907, 1446943250, 3237129154, 4078120580, 739169677, 3779493582, 3964568597, 4136580845]),
});
table.push(Point {
x: FieldElement::new([813166800, 1433134023, 1260355442, 1424571375, 3957745544, 3412398900, 2269540483, 1146222521]),
y: FieldElement::new([1796483488, 1120717937, 2889098565, 2007255610, 2652605254, 3422948910, 2586755791, 976275994]),
z: FieldElement::new([3943234876, 3652238411, 3758263081, 3531406703, 3744215805, 2157973543, 3216628553, 748986356]),
});
table.push(Point {
x: FieldElement::new([1271305922, 3587044928, 3028448201, 673808836, 2957480244, 14718233, 2038794047, 3564573022]),
y: FieldElement::new([3668822882, 1128043325, 6935749, 930772270, 80138266, 3513827914, 3163341068, 2602423969]),
z: FieldElement::new([478134178, 4078598197, 2169734687, 643041653, 651124029, 348319048, 2006664827, 2591989156]),
});
table.push(Point {
x: FieldElement::new([3804294600, 2849255272, 439892691, 3261839423, 3608318438, 2538348599, 2379180882, 798074310]),
y: FieldElement::new([2674801764, 1585625861, 1153327189, 19776742, 232363050, 3955595798, 2868445772, 31757037]),
z: FieldElement::new([1355525060, 521017362, 577437190, 2482902985, 1256328973, 471284922, 2766458453, 2435221770]),
});
table.push(Point {
x: FieldElement::new([4259447916, 3217244709, 339231693, 722266958, 4058246709, 477839384, 521478871, 1619486157]),
y: FieldElement::new([1583304987, 708667290, 808796946, 1274838380, 3741139438, 2435693032, 3024669488, 523701753]),
z: FieldElement::new([3166669080, 108047653, 982094514, 2475586097, 4104896348, 2197157842, 656008561, 2862091929]),
});
table.push(Point {
x: FieldElement::new([846162258, 62248540, 933431259, 3525603491, 4250726235, 2995369127, 2991356938, 584321072]),
y: FieldElement::new([141591955, 2879248375, 1201155261, 3077989906, 4168508509, 1276838824, 2703582009, 1482281029]),
z: FieldElement::new([3638567351, 2494482052, 3189748502, 59517532, 3508100596, 1492944828, 504745881, 1207239439]),
});
table.push(Point {
x: FieldElement::new([1358658367, 1138867682, 3495556999, 824349657, 4171663012, 1409081696, 3750242484, 2716861427]),
y: FieldElement::new([2037454816, 4089407815, 861603511, 1428104273, 1104360176, 183395657, 2807307729, 613249323]),
z: FieldElement::new([2821205951, 2571012988, 2880180536, 2242796342, 606904427, 3244955323, 1525433291, 2267489973]),
});
table.push(Point {
x: FieldElement::new([768556154, 4159153892, 2397523088, 957779040, 2973769914, 2845100290, 2275240194, 1634890370]),
y: FieldElement::new([3961014258, 3147756426, 2959696115, 1956811264, 3412669314, 3544580986, 1308729821, 4162823898]),
z: FieldElement::new([43928871, 895578424, 1785316675, 3491548255, 1246999802, 2543741510, 155229670, 929463614]),
});
table.push(Point {
x: FieldElement::new([2306092573, 1474449336, 2834872581, 2016874137, 4123932655, 154961736, 1851377307, 3568652005]),
y: FieldElement::new([1962814342, 831322449, 3891721996, 2985120022, 2832214000, 1690532224, 3254164248, 3833893256]),
z: FieldElement::new([4174183530, 3600745978, 2232790030, 87763764, 2014517998, 3023241571, 2144268194, 2782007154]),
});
table.push(Point {
x: FieldElement::new([3161698879, 1784118690, 4163027297, 3197248488, 3158842353, 4137134171, 3508642137, 1617306174]),
y: FieldElement::new([3313709902, 3425416120, 1339748868, 2139274656, 2699915119, 3087752877, 3326863881, 3088516344]),
z: FieldElement::new([1949231875, 141515608, 2705843603, 3314143999, 1687782848, 3630049937, 2463975991, 532446951]),
});
table.push(Point {
x: FieldElement::new([950792636, 3735634268, 2125130386, 4109737860, 3616064555, 3880897200, 1404378817, 3050755329]),
y: FieldElement::new([2296219329, 1130681818, 1266914888, 2194974034, 3004394363, 1873443350, 114169256, 4014904478]),
z: FieldElement::new([66505172, 1720914913, 4252507676, 1142336774, 2579791333, 4030947307, 3974216211, 807628762]),
});
table.push(Point {
x: FieldElement::new([3595207017, 3991560858, 2361568695, 3992943539, 4116403481, 814290927, 1687949487, 2699762706]),
y: FieldElement::new([1030088165, 3436845606, 2314675239, 3335614524, 965828345, 272966265, 3218273597, 2143402095]),
z: FieldElement::new([2845152035, 3089915918, 3090575372, 2373236696, 1429259491, 3586573507, 1276346494, 3538878254]),
});
table.push(Point {
x: FieldElement::new([4260013149, 208730270, 2147672327, 2169440211, 3571867091, 833225801, 3341875520, 1493973184]),
y: FieldElement::new([3884834288, 3643179554, 1647201967, 1759521336, 2494903893, 1384484211, 1069823230, 802267009]),
z: FieldElement::new([1410650440, 3987306396, 3289628928, 2359371176, 1873712860, 3196783678, 1497131169, 1470215799]),
});
table.push(Point {
x: FieldElement::new([2150233676, 1341360811, 3035352612, 4110975632, 3675779590, 1257743687, 3924363472, 3758035186]),
y: FieldElement::new([1284301276, 2511800247, 1758217405, 3575658092, 3334214790, 1110338612, 591575941, 3249126029]),
z: FieldElement::new([2849171744, 622434367, 2697820528, 1107344656, 726416125, 2149829126, 2884734852, 2768075811]),
});
table.push(Point {
x: FieldElement::new([1949874744, 2296763316, 4110842854, 3897417684, 955901535, 3370139833, 1825892118, 2700955107]),
y: FieldElement::new([1036795797, 3040622101, 3508635, 2384150254, 1694004201, 296606604, 2501989567, 3836018670]),
z: FieldElement::new([3676200204, 2353988270, 999137688, 127634347, 1568933098, 2056690841, 3720932789, 3811420650]),
});
table.push(Point {
x: FieldElement::new([251604677, 1462326491, 529729734, 1079901528, 2567081576, 3597799053, 3764339514, 3764774228]),
y: FieldElement::new([2429087698, 508923966, 513546451, 3544116696, 969866198, 2480318911, 1259676512, 2723364093]),
z: FieldElement::new([3285901465, 250315502, 1803673482, 810794785, 1293922232, 14765494, 2440719536, 3338405652]),
});
table.push(Point {
x: FieldElement::new([2665075328, 2368322606, 448073328, 1375475750, 786822737, 1249279235, 547652690, 3951617898]),
y: FieldElement::new([4258349448, 3312533394, 1043156784, 2597294665, 1487462763, 2172993630, 1835947569, 1897630803]),
z: FieldElement::new([313569537, 4266782441, 3337099891, 517525182, 1608728218, 1216938026, 3822867199, 2878954997]),
});
table.push(Point {
x: FieldElement::new([581861851, 1086555512, 2269832145, 906340154, 3843675251, 3108724398, 1729957364, 1193552269]),
y: FieldElement::new([3491763086, 1824981184, 2306423504, 1451917068, 4251629522, 3218083210, 3036912968, 2274298338]),
z: FieldElement::new([1863861774, 2478876328, 337951456, 1538130529, 240971773, 2535318068, 4013921359, 546565439]),
});
table.push(Point {
x: FieldElement::new([4262953737, 3492503598, 721061905, 2504484753, 277964440, 1866641390, 3773311487, 562824376]),
y: FieldElement::new([2806781864, 3977206788, 3586708686, 3481719674, 2670934562, 3189338347, 2459505715, 1838314026]),
z: FieldElement::new([2648406114, 311472174, 1371750737, 2009089366, 380017942, 2387959821, 3007031073, 2035260247]),
});
table.push(Point {
x: FieldElement::new([2899851837, 1767905586, 1010727747, 125396666, 2941327634, 168581151, 3663485304, 1483370385]),
y: FieldElement::new([3522151445, 3656100255, 3895987738, 1761520317, 3611327335, 3475982337, 434652114, 3113671958]),
z: FieldElement::new([2020824900, 3556795765, 4237559508, 1562419282, 2342005360, 1246357015, 3448460501, 1996664964]),
});
table.push(Point {
x: FieldElement::new([945365248, 1012646786, 1441993425, 1059966104, 2511714957, 941513587, 353595645, 125770539]),
y: FieldElement::new([2352283109, 1237942423, 4285177958, 3451433665, 3812874328, 310721015, 3655455554, 3425082229]),
z: FieldElement::new([2466564689, 658096611, 3082735266, 3554279436, 983293471, 3927564128, 1289264755, 3415373355]),
});
table.push(Point {
x: FieldElement::new([1830040134, 3432304660, 3978515391, 3517034232, 1959415849, 3120164226, 3704655201, 401243514]),
y: FieldElement::new([3283480153, 3662947190, 4133484484, 1684324901, 2539279353, 1885772093, 2665589079, 3330279941]),
z: FieldElement::new([623143961, 3361629987, 1860871402, 197849028, 1573330365, 4011383804, 2740065301, 2520219980]),
});
table.push(Point {
x: FieldElement::new([742562581, 3268374159, 1618498608, 1851129369, 111376777, 3398350475, 3403919222, 697053379]),
y: FieldElement::new([993897307, 3547088655, 501666926, 3912894037, 3265511056, 2046213210, 2993724200, 4174119279]),
z: FieldElement::new([1791047160, 760030905, 353808583, 2626104612, 40052598, 3779677711, 2779519187, 3397180862]),
});
table.push(Point {
x: FieldElement::new([2307816795, 3763949313, 1216599903, 1108151661, 3074803689, 3868747854, 2077557486, 2322189265]),
y: FieldElement::new([1790007395, 3452838993, 1420803874, 105808945, 266638981, 1103590375, 1303240708, 452529641]),
z: FieldElement::new([1247516521, 2316847679, 198915437, 865616986, 743182399, 948254915, 28137812, 1955010702]),
});
table.push(Point {
x: FieldElement::new([2845310494, 4254693892, 4153869797, 1844547766, 998592300, 3295174370, 3636727224, 1240720269]),
y: FieldElement::new([138841736, 4092265983, 4167391414, 4286723793, 2562163729, 830497662, 1862980204, 3961025404]),
z: FieldElement::new([2042805162, 24203383, 186934340, 3544732654, 877144322, 1803017655, 1286735737, 2097802291]),
});
table.push(Point {
x: FieldElement::new([761316392, 4095381645, 359537410, 745860800, 3484554870, 654329589, 2982457297, 3175938781]),
y: FieldElement::new([4165892523, 334428086, 896674514, 4196693896, 2446042915, 3409690214, 4106485774, 313922878]),
z: FieldElement::new([14116255, 4177828315, 2357012975, 3605501191, 4104546770, 687928748, 3986167966, 2737002860]),
});
table.push(Point {
x: FieldElement::new([1279076344, 3388802317, 699299562, 1429542468, 946410442, 251544495, 2298502208, 3913252744]),
y: FieldElement::new([1716859842, 363126034, 2662096713, 1875686951, 101387148, 312124244, 3614916557, 1691005650]),
z: FieldElement::new([606443653, 3481936256, 3165726609, 1558803004, 632906677, 2009397089, 2253877092, 3531313024]),
});
table.push(Point {
x: FieldElement::new([766927153, 462406593, 1529642225, 1490008860, 2191915107, 1462746703, 2304639899, 3666157017]),
y: FieldElement::new([1603251687, 1932836602, 3342202468, 4186616196, 2615699232, 498590580, 4080884216, 709664642]),
z: FieldElement::new([2309032612, 2238587093, 1413693417, 3029947837, 763985018, 1858162636, 402684055, 377603297]),
});
table.push(Point {
x: FieldElement::new([545246039, 1050321438, 3962148333, 1728850005, 560956350, 3790763510, 2079063453, 3295922170]),
y: FieldElement::new([1064664455, 4033358390, 1736313930, 1536491665, 1746354251, 383080193, 2595495838, 2585066711]),
z: FieldElement::new([3138369503, 2851475448, 2695534050, 2986627359, 98663216, 3356391462, 2065831951, 1172501560]),
});
table.push(Point {
x: FieldElement::new([423837550, 2471560448, 3920756828, 2634554877, 4252270892, 1877970027, 909182943, 2215867390]),
y: FieldElement::new([3034393722, 1661901700, 400276814, 1870804034, 3031870574, 2257942335, 2051580919, 3225969363]),
z: FieldElement::new([3113321375, 3872787578, 908371372, 3062120618, 3598489022, 1832578115, 1792908703, 336630090]),
});
table.push(Point {
x: FieldElement::new([1206446042, 451944063, 3102366974, 2497243516, 1749368288, 1096783186, 84363568, 2709331675]),
y: FieldElement::new([896914402, 4258304508, 325039745, 2304293389, 1581446323, 1714446544, 879749417, 1390883821]),
z: FieldElement::new([624099531, 1605259175, 3420314013, 673729073, 979320647, 3012438175, 3196197878, 3801849541]),
});
table.push(Point {
x: FieldElement::new([2007651887, 443629823, 985586568, 628669298, 224200269, 3942184181, 3480290845, 4266770223]),
y: FieldElement::new([1496530655, 3237592941, 2297021470, 393423501, 936157703, 3355836622, 3589427585, 2377470447]),
z: FieldElement::new([2365653147, 291764896, 2311600855, 2197016742, 2473026241, 1127616753, 2036557569, 1906222804]),
});
table.push(Point {
x: FieldElement::new([1619143073, 1639607284, 709612348, 3673728590, 3855653119, 3532231598, 863406025, 815769973]),
y: FieldElement::new([593822129, 1920409945, 4169912279, 1910262518, 1383095118, 4245916757, 333335229, 2990462655]),
z: FieldElement::new([2865053401, 1667175007, 98215886, 3635874558, 3568212385, 3209720369, 2923104708, 1209968793]),
});
table.push(Point {
x: FieldElement::new([2071979703, 951467413, 1065420973, 1611869147, 3189892258, 1344953761, 3410644631, 1820904128]),
y: FieldElement::new([1752364538, 2420085348, 3095365177, 2558329205, 3629933226, 3834261596, 3985884416, 3003808521]),
z: FieldElement::new([2291830904, 1110180676, 4215321845, 2627889248, 3363450231, 3578959411, 4290417973, 522916424]),
});
table.push(Point {
x: FieldElement::new([3460478352, 1016089423, 1435066556, 2655955653, 305601954, 2735774774, 2548332217, 3525111746]),
y: FieldElement::new([4281493431, 1454936446, 2419687316, 742407455, 4192500413, 2903558592, 3745756765, 4010917856]),
z: FieldElement::new([3008568829, 3203530641, 3697613044, 2919686636, 813086626, 91132680, 552860150, 2731547721]),
});
table.push(Point {
x: FieldElement::new([3304017262, 1303993391, 3166318413, 3818584658, 3798896916, 2973990253, 1336646244, 1569647287]),
y: FieldElement::new([1496594614, 552645468, 4005371268, 2160403053, 3054297760, 3937512816, 1201163798, 2310047552]),
z: FieldElement::new([475730425, 3162320070, 1552468733, 1757796085, 2069107161, 743405034, 1024350753, 1932812360]),
});
table.push(Point {
x: FieldElement::new([1353157238, 2035011586, 4189321750, 3664620508, 4278360630, 1545792042, 3434067416, 1333852971]),
y: FieldElement::new([1540087594, 922291174, 4074409406, 755509924, 1800984592, 3562710425, 3257107532, 2461090536]),
z: FieldElement::new([1512776757, 779286555, 1836880304, 2389432022, 1141231660, 1821196509, 1062755001, 2659611375]),
});
table.push(Point {
x: FieldElement::new([539668344, 1414702382, 165237077, 3347060621, 197480441, 3054990926, 3021410339, 1889753328]),
y: FieldElement::new([3603284899, 2769429113, 1800496947, 1572845078, 251004229, 99582892, 2872174914, 2413958961]),
z: FieldElement::new([3467198682, 224521816, 2180886735, 1163213826, 1051955178, 236166228, 3890217434, 1246301360]),
});
table.push(Point {
x: FieldElement::new([927734584, 37665989, 2564535129, 857062821, 330241156, 2264516471, 1833255070, 1874649972]),
y: FieldElement::new([3591437530, 426045709, 3725847560, 4166961666, 3427320840, 2952073228, 1194191037, 937820903]),
z: FieldElement::new([303062987, 18605444, 3986246288, 3471954008, 176759205, 1340621160, 4167845807, 4119398195]),
});
table.push(Point {
x: FieldElement::new([4014280642, 596434213, 227604800, 2678699054, 1180470399, 3072159411, 3846001739, 2319300701]),
y: FieldElement::new([1934833008, 907000908, 2686634243, 894749951, 858125551, 3980120769, 576434697, 3661212862]),
z: FieldElement::new([2653193631, 931594241, 1240875605, 617863046, 3341452655, 36216481, 3026010711, 3095375559]),
});
table.push(Point {
x: FieldElement::new([1051914333, 1604843635, 1623798031, 3136129712, 3451403929, 2085490508, 1719034418, 456876075]),
y: FieldElement::new([2101848554, 3165304456, 2548097369, 133218205, 2438467550, 3740701137, 3369581184, 2686600562]),
z: FieldElement::new([750988650, 358007798, 2269671200, 3387397109, 916076911, 3191907931, 3409352685, 109970971]),
});
table.push(Point {
x: FieldElement::new([2204348315, 1034281740, 898740207, 4037398907, 505924953, 4077878669, 4200818553, 4200519045]),
y: FieldElement::new([3883910491, 2580990054, 839150280, 1412780966, 3078248606, 3759556768, 1412295179, 1560579004]),
z: FieldElement::new([1546776619, 14227272, 4029039828, 735470685, 913576318, 3389914757, 1534470697, 1819210252]),
});
table.push(Point {
x: FieldElement::new([2252762496, 1530691959, 2077563753, 2330357973, 1204496023, 143656539, 3275816633, 3725001032]),
y: FieldElement::new([1827508815, 2978613986, 3588715418, 1541935595, 2398458769, 176284003, 2031059781, 1383102331]),
z: FieldElement::new([2333882547, 3808695711, 931561443, 3742298551, 1940501429, 169777432, 1182712227, 3868792928]),
});
table.push(Point {
x: FieldElement::new([1424684578, 2315905613, 4200891600, 3099581704, 1973337230, 3747063735, 550061199, 3192611343]),
y: FieldElement::new([1127398113, 1207207528, 143324688, 1047305280, 850900508, 3206501734, 1953281149, 2281726786]),
z: FieldElement::new([2664982384, 1962552051, 3133245565, 384077325, 2519903515, 1884743965, 2254594373, 3829911499]),
});
table.push(Point {
x: FieldElement::new([502093727, 819871029, 469032892, 3387985964, 777996186, 2529748191, 2507844672, 654822203]),
y: FieldElement::new([3604108064, 4140778033, 1616840148, 497126130, 29091218, 4128050549, 804708065, 3306555656]),
z: FieldElement::new([2966529265, 2798889906, 1301053716, 2707696524, 2223721560, 2493541336, 665356418, 891060165]),
});
table.push(Point {
x: FieldElement::new([2940441008, 1041100855, 3969435487, 2714490390, 4096095270, 2327650684, 1231169766, 2912274550]),
y: FieldElement::new([108426975, 3111348563, 2183487873, 3750237856, 181260339, 2424528015, 4201078157, 4229795467]),
z: FieldElement::new([2748015077, 357532412, 3669453965, 1237524754, 2826279676, 594942082, 3541030671, 3634580041]),
});
table.push(Point {
x: FieldElement::new([451612222, 3099312839, 3408728358, 1115380625, 3447712897, 3851231429, 1803777744, 3463647700]),
y: FieldElement::new([1568484654, 188869778, 1533998575, 915765565, 801174817, 2047958107, 3199624916, 1079820440]),
z: FieldElement::new([1684334950, 2437965604, 1046987923, 1142802196, 3806571343, 544868591, 2891172553, 3251243861]),
});
table.push(Point {
x: FieldElement::new([1819952394, 3127638408, 2459561001, 1486605109, 2942779357, 21251726, 817689158, 790021649]),
y: FieldElement::new([2670373524, 2721457335, 3803419813, 2992301509, 816241291, 3569030290, 3157933352, 1412858805]),
z: FieldElement::new([3169390302, 280334345, 4124561128, 3801197121, 58316165, 1655512026, 4076555314, 1744052291]),
});
table.push(Point {
x: FieldElement::new([2089393952, 648859261, 3207579979, 836976128, 1052773604, 784971498, 1853094685, 219797744]),
y: FieldElement::new([548559682, 276074920, 139918351, 4283703229, 2893672701, 846891994, 4861950, 467797395]),
z: FieldElement::new([1761116681, 128647988, 2862986226, 69060686, 3276904012, 2597579886, 2700665207, 744529581]),
});
table.push(Point {
x: FieldElement::new([1976264600, 861102749, 2497816728, 2746789364, 2980762153, 1462533225, 2490944588, 414944164]),
y: FieldElement::new([3686456657, 1852849732, 2390329777, 165189445, 1984106678, 135426757, 845256913, 3595760941]),
z: FieldElement::new([2480060976, 3380448452, 1428748939, 2685974973, 2013431546, 276340617, 1371677401, 3176567960]),
});
table.push(Point {
x: FieldElement::new([1465647712, 3537940578, 3491061629, 797058000, 2213482595, 170845016, 1703098777, 489960300]),
y: FieldElement::new([1334235333, 1583345654, 3945401776, 2547235787, 1018830626, 1159600354, 1726239387, 2501048860]),
z: FieldElement::new([2560186715, 1494944934, 1104713217, 3002942085, 911378695, 3287608613, 1886075430, 1347241984]),
});
table.push(Point {
x: FieldElement::new([113193459, 2707872093, 2653789809, 1210025123, 781057943, 533135419, 2515401329, 3113465412]),
y: FieldElement::new([3611389350, 442180459, 2486389651, 1077443052, 177914522, 1028824287, 2753092219, 2038864071]),
z: FieldElement::new([3952563743, 1070577240, 367697119, 1219616740, 2406143507, 179254352, 3011251211, 2369375829]),
});
table.push(Point {
x: FieldElement::new([2511947092, 4249735481, 4012674958, 855375546, 2957533948, 4056447992, 2388959080, 2412186357]),
y: FieldElement::new([2453053262, 4188454286, 2637192101, 2349237341, 3281728888, 3242791964, 4005898885, 511104438]),
z: FieldElement::new([1898868679, 1788984955, 3351719610, 2835911618, 676588025, 1262574359, 1914410282, 648689661]),
});
table.push(Point {
x: FieldElement::new([2746269444, 2586878496, 1506170458, 2932502002, 2826083731, 2272027806, 1899518082, 1570809837]),
y: FieldElement::new([288096277, 4045456538, 276615103, 1850167645, 104000466, 1584653669, 1521438457, 4200545662]),
z: FieldElement::new([911346854, 1746950191, 2042796840, 1697141290, 643745478, 673321491, 3003939327, 4015278329]),
});
table.push(Point {
x: FieldElement::new([3608571565, 3337091966, 1070627122, 1458258919, 1834976715, 401216973, 1491961991, 2291587980]),
y: FieldElement::new([2089104881, 3759484714, 1492566568, 2977659858, 2778145754, 3399320160, 3925166534, 1698885031]),
z: FieldElement::new([1112741222, 3347256079, 4191577133, 669380368, 263960239, 1563328438, 889621474, 956217800]),
});
table.push(Point {
x: FieldElement::new([3938756329, 2565811562, 1050438374, 1862040873, 3036676771, 3165954096, 118103048, 498506398]),
y: FieldElement::new([313224156, 4124604828, 145368089, 2099910200, 3007954771, 1980766869, 279192975, 1272463524]),
z: FieldElement::new([3862102971, 3563904873, 2776506171, 4086759107, 2404223795, 242823269, 577722922, 1452975640]),
});
table.push(Point {
x: FieldElement::new([879808250, 3966708898, 1362820174, 3987746537, 849537207, 3553830332, 3401641013, 3169906251]),
y: FieldElement::new([1153817909, 3416543168, 4078128539, 45819712, 42409991, 511584387, 1693106134, 1417392181]),
z: FieldElement::new([1347308207, 432898691, 1582586376, 1644093691, 4183083374, 2175122910, 3350585395, 2200333793]),
});
table.push(Point {
x: FieldElement::new([94626022, 2751614425, 370101522, 4137566738, 407190379, 2636216585, 1374652013, 2408835695]),
y: FieldElement::new([117925596, 1786764745, 1234612865, 4094165692, 1046629920, 259673404, 3714061978, 294117438]),
z: FieldElement::new([3674846476, 3844290410, 1794224357, 4219961224, 3296975937, 1664840659, 2260393396, 3847468987]),
});
table.push(Point {
x: FieldElement::new([1779602995, 2245255270, 335523767, 2915259623, 1471298803, 565539439, 3194100355, 986971502]),
y: FieldElement::new([2907637899, 3802258742, 1087268902, 2281441770, 4065808879, 340247860, 1484128147, 2690838106]),
z: FieldElement::new([1130683326, 757785885, 3867607323, 3904164513, 1708990334, 922657461, 1307281861, 2985071364]),
});
table.push(Point {
x: FieldElement::new([3651156135, 3557354519, 2233270086, 1010428949, 807934752, 2442278830, 4151271408, 909852710]),
y: FieldElement::new([2005615329, 1763177244, 774608007, 706694383, 257370199, 3600503645, 1651711181, 354252052]),
z: FieldElement::new([1224325527, 1218261133, 3539100634, 990902653, 1246238554, 1075721116, 2719599669, 3089103413]),
});
table.push(Point {
x: FieldElement::new([2995855932, 971264966, 3323395132, 3728979520, 1020068888, 2921736958, 752228615, 1204313937]),
y: FieldElement::new([971888055, 3306230183, 379883513, 153633902, 187203246, 1363348289, 1069823456, 1019904788]),
z: FieldElement::new([3709413651, 1540812736, 2197623648, 448845982, 1531389939, 2328230346, 32291469, 1004240535]),
});
table.push(Point {
x: FieldElement::new([1055113921, 1731155654, 3219169587, 3365514529, 1646417217, 2264809398, 1552324781, 2310539267]),
y: FieldElement::new([1785197028, 3877592429, 3626683157, 581428320, 780446675, 3259475933, 1552683023, 3521030891]),
z: FieldElement::new([1639589895, 1816616882, 1195591442, 1118777910, 3601835935, 2384136380, 87486633, 2772963020]),
});
table.push(Point {
x: FieldElement::new([3003386058, 251239419, 1200643489, 1696995297, 1402839115, 2203204987, 33376048, 3909354223]),
y: FieldElement::new([825497541, 2273732359, 3688463550, 681630539, 2060532325, 2600719359, 515056769, 79349694]),
z: FieldElement::new([767758378, 1615994183, 3965953884, 3694122475, 73840653, 2264375574, 870699057, 2475327425]),
});
table.push(Point {
x: FieldElement::new([3692869045, 2384758158, 874586729, 1696551109, 595439626, 1279785835, 105668228, 3862181461]),
y: FieldElement::new([3942614079, 1888207730, 3291858155, 1904335719, 1545025376, 1506479696, 4081054704, 139088753]),
z: FieldElement::new([98869266, 508281441, 1268586094, 987923658, 2046074661, 2960618677, 1230300097, 1880393448]),
});
table.push(Point {
x: FieldElement::new([3851716936, 1055494830, 2854965122, 1836855722, 3897442337, 390405144, 3130308250, 1204449274]),
y: FieldElement::new([4149492942, 3132015649, 3240472080, 4087130292, 193575237, 1054487962, 3749435, 1100572335]),
z: FieldElement::new([414328775, 2659255391, 2617987299, 3153243269, 463010369, 1672160503, 1644627054, 2624173973]),
});
table.push(Point {
x: FieldElement::new([463872443, 2592678467, 1068415999, 1560054413, 2893623685, 3844551855, 1195479101, 1571430196]),
y: FieldElement::new([387588116, 3269336325, 227637472, 2124572331, 1803326511, 561930281, 1101237724, 2004317657]),
z: FieldElement::new([4129229976, 1444904598, 4138547608, 139509457, 2410000605, 1429361597, 3613865248, 1113747205]),
});
table.push(Point {
x: FieldElement::new([1385299179, 3850438306, 1501336716, 3579225871, 1442478999, 3712939256, 4087640346, 984682093]),
y: FieldElement::new([3921475962, 653834429, 804349265, 740368131, 3386798215, 1705927626, 3931676919, 1974589457]),
z: FieldElement::new([2313906992, 1221809889, 3105759278, 3187626941, 4164574391, 1416009577, 82009753, 3098043747]),
});
table.push(Point {
x: FieldElement::new([1905374449, 615733820, 4285514329, 2634918192, 3794575516, 1199752611, 2832533144, 585873281]),
y: FieldElement::new([1635886013, 1694102145, 3164570917, 4128037667, 3323092599, 2491422862, 1590583897, 538705225]),
z: FieldElement::new([382029442, 1074534473, 3965242719, 1323523643, 2925199872, 2765230875, 838776566, 4198986926]),
});
table.push(Point {
x: FieldElement::new([3502560257, 2111978533, 1433656690, 724884796, 1637218952, 858202366, 1106937128, 2338125837]),
y: FieldElement::new([134347951, 4094960421, 1653444065, 3656149956, 1227466244, 2226777811, 2229456968, 3764720269]),
z: FieldElement::new([3109077731, 2781838424, 1398265387, 4053144222, 2563281242, 3109280868, 1269006453, 3489528020]),
});
table.push(Point {
x: FieldElement::new([308203808, 1725078693, 2779248428, 2720232401, 353587197, 2738413920, 4167409200, 2440778671]),
y: FieldElement::new([1839767862, 1628690888, 3765064737, 3192602064, 2193430815, 4271878592, 239290991, 2707960988]),
z: FieldElement::new([137435985, 3182364717, 3315246548, 2311476975, 3506834555, 4016232448, 2051965593, 3029100740]),
});
table.push(Point {
x: FieldElement::new([1586486777, 2984618978, 2498526547, 717894827, 3333498528, 1866853862, 1099370491, 2564038119]),
y: FieldElement::new([2828183567, 340219642, 3996532617, 555922502, 2587827694, 3770614823, 2341465675, 994802013]),
z: FieldElement::new([3997683217, 3086100344, 1067744074, 200566248, 2939770848, 1625312615, 23728709, 2836144164]),
});
table.push(Point {
x: FieldElement::new([4088416865, 1273565092, 2449275200, 1633580346, 2238563483, 924586930, 309006484, 641793995]),
y: FieldElement::new([3669066974, 1830633423, 2378801516, 2353930218, 1935866826, 2440141160, 2808771922, 3375946744]),
z: FieldElement::new([1309567992, 349631571, 2348791344, 1433143150, 2529537039, 913319055, 1823891481, 2835211541]),
});
table.push(Point {
x: FieldElement::new([2238690721, 3820436118, 3548078325, 205500577, 2223518223, 1691235507, 1792357850, 2688813646]),
y: FieldElement::new([1002720872, 1035873296, 365021328, 1721790887, 2876082997, 1261801638, 1277105221, 4067774702]),
z: FieldElement::new([1310675404, 1830094892, 395451188, 4222648432, 2684454375, 1685295979, 941737355, 695954187]),
});
table.push(Point {
x: FieldElement::new([3428806001, 1587194741, 1236234920, 1226400617, 1034359079, 1940743840, 2833940026, 114903715]),
y: FieldElement::new([1558882766, 1168370136, 3770657505, 393200393, 335679121, 1684652508, 3242550144, 1096835944]),
z: FieldElement::new([4019205743, 2022931389, 3694202487, 2029318002, 2997683524, 1360656947, 801628865, 3227006519]),
});
table.push(Point {
x: FieldElement::new([1145307276, 3917322090, 412219257, 2521790331, 1134536550, 4281296833, 1103997762, 1463973311]),
y: FieldElement::new([3553719722, 915940303, 1984300559, 4282189960, 136395900, 2831043566, 4119305045, 2801373395]),
z: FieldElement::new([2205259183, 1521844658, 4016331982, 2391590979, 1375190923, 3349053708, 634378590, 3273324136]),
});
table.push(Point {
x: FieldElement::new([651947491, 1468873639, 1881920394, 3848914561, 3716533501, 873011041, 1729865547, 1574762077]),
y: FieldElement::new([3785538061, 186599770, 967793859, 1731886218, 3593984387, 943797942, 2914263069, 2691469566]),
z: FieldElement::new([571554798, 2965489342, 2223238468, 2230899969, 188271683, 387066584, 105869292, 2686267096]),
});
table.push(Point {
x: FieldElement::new([621284568, 3310729366, 838490548, 1219734666, 1977706287, 2315848050, 1762715615, 342254106]),
y: FieldElement::new([816646498, 3798303457, 4015245051, 583354412, 3594184937, 139522984, 96930193, 1832705427]),
z: FieldElement::new([1530868838, 2354830809, 1007416766, 2433798118, 2928249101, 2636136307, 1164897668, 2079473678]),
});
table.push(Point {
x: FieldElement::new([1888658981, 3157524886, 1616929652, 1821584557, 4142737370, 1687095073, 1034407620, 573065287]),
y: FieldElement::new([3262529792, 485380802, 1394529856, 315496151, 1493511975, 1728444365, 2948966232, 60475156]),
z: FieldElement::new([2532211200, 2495333524, 1538169697, 2090972625, 1292064553, 1011238047, 2813836603, 3903345406]),
});
table.push(Point {
x: FieldElement::new([3305265056, 1805343097, 1900528395, 4224345355, 4103143087, 847000380, 738401833, 4230249364]),
y: FieldElement::new([739602805, 720878870, 936522336, 1196508901, 4257241415, 584170923, 57697666, 1008274622]),
z: FieldElement::new([1188704318, 518281382, 4237365772, 1027827336, 3860081220, 4013544041, 4773675, 1150021956]),
});
table.push(Point {
x: FieldElement::new([2125602114, 1429271813, 538942832, 83320726, 649468181, 2314086658, 2776501947, 421707202]),
y: FieldElement::new([3282760808, 2577016101, 290250185, 338393659, 3279978717, 881982353, 2701608486, 1331331560]),
z: FieldElement::new([1467346073, 377858742, 2650914591, 4278816397, 3692167895, 3694344219, 1686406842, 4085012547]),
});
table.push(Point {
x: FieldElement::new([3932175887, 679221984, 2252195530, 570901127, 1716379146, 3812698140, 4122477399, 259100246]),
y: FieldElement::new([3473206189, 2293786395, 2528223976, 1477543322, 1994827192, 3980146716, 4088060319, 3717615091]),
z: FieldElement::new([1191248980, 3550148683, 1237312398, 649036787, 1157587302, 4075485637, 1845890577, 333778163]),
});
table.push(Point {
x: FieldElement::new([693501979, 287915449, 3304314036, 2294936114, 2942118845, 858175140, 2353226823, 572125029]),
y: FieldElement::new([265982715, 4230535820, 3501921178, 1530854230, 1757718012, 1425797327, 2332259406, 2494519577]),
z: FieldElement::new([1213748080, 3583972166, 3932774359, 3620891190, 3160965343, 2199829349, 1009393559, 2516238359]),
});
table.push(Point {
x: FieldElement::new([2018820925, 2179126130, 3636460222, 476313800, 3980000185, 507202675, 1243562462, 1642528900]),
y: FieldElement::new([4234575510, 1900677309, 2453686499, 2768295973, 1014209330, 3284428093, 4141753496, 41613237]),
z: FieldElement::new([462645069, 1138486697, 4280194884, 1868289697, 2297519986, 2866651576, 3390239620, 3890136392]),
});
table.push(Point {
x: FieldElement::new([3576210812, 446495082, 486827752, 1262847346, 1603657219, 606251803, 3572035770, 1016528654]),
y: FieldElement::new([445282473, 3798620665, 1267505454, 3217617915, 2224922555, 1149185349, 4023015975, 3634959281]),
z: FieldElement::new([1341221089, 2873464184, 924959036, 110779123, 466752828, 2766038429, 3204178310, 1525200647]),
});
table.push(Point {
x: FieldElement::new([1467560436, 1250509391, 2039694580, 2285187960, 642716027, 769060526, 2769115729, 1588081383]),
y: FieldElement::new([2995226650, 377183841, 3931750616, 3961168837, 3325683071, 2448303333, 527206324, 2733634485]),
z: FieldElement::new([3804937575, 3868160755, 3734472153, 2520074328, 3865771537, 2476066448, 3552476737, 4065971403]),
});
table.push(Point {
x: FieldElement::new([501986198, 3110710124, 3985759387, 428084648, 777378135, 2787750477, 3112494706, 1984282207]),
y: FieldElement::new([3099667365, 1709687199, 2330821842, 2358853239, 1363919612, 1755892559, 3254714941, 639334947]),
z: FieldElement::new([3502307303, 3434471599, 2577708609, 2475624665, 203232898, 2849967420, 2834825146, 3272025459]),
});
table.push(Point {
x: FieldElement::new([1951588279, 949033097, 2772671407, 1706229047, 561748282, 2239442329, 4081654598, 4156070270]),
y: FieldElement::new([2001347408, 171235388, 2901539391, 3948752537, 820868422, 243087392, 1084749270, 2871677254]),
z: FieldElement::new([147839485, 538377894, 2140882883, 3439267480, 2490711407, 3577603910, 1197020472, 4143865488]),
});
table.push(Point {
x: FieldElement::new([3485796181, 2762237430, 2791271314, 4058434518, 3161002406, 3961613666, 4203211845, 2413249979]),
y: FieldElement::new([1153692674, 892646859, 902615359, 3169272799, 2083437088, 3290396672, 3460116627, 2511404786]),
z: FieldElement::new([1633014718, 2184128931, 2348839493, 578908444, 4136115042, 2995462249, 152013651, 1552528239]),
});
table.push(Point {
x: FieldElement::new([1749419493, 275709916, 3959169793, 3170997055, 3527633579, 1896009537, 3267922523, 2238793723]),
y: FieldElement::new([2959689581, 530850152, 713973447, 4188708208, 4253859987, 3788979261, 2840706012, 3905049185]),
z: FieldElement::new([2252546251, 1334905569, 1945212966, 371201012, 2127955942, 1743799674, 1709858279, 294822698]),
});
table.push(Point {
x: FieldElement::new([35832169, 1580943127, 2018511142, 3994717379, 561821170, 376879661, 3638555882, 1096891173]),
y: FieldElement::new([281588318, 1113958212, 3897108787, 369947234, 1685510810, 3006849676, 2709722779, 3468235560]),
z: FieldElement::new([1049348283, 3158258003, 1012215137, 4066266523, 2757106009, 2241736465, 1897669281, 4229176931]),
});
table.push(Point {
x: FieldElement::new([244050402, 20683198, 2381143095, 289502872, 3285442213, 446461415, 3381652520, 1682873514]),
y: FieldElement::new([2812587895, 4118482156, 980335153, 3982207426, 3403177480, 3871831248, 3978479059, 1148124562]),
z: FieldElement::new([1271846528, 520911533, 2126250009, 2664613710, 2282380866, 3873242659, 2337538920, 3988635043]),
});
table.push(Point {
x: FieldElement::new([630322107, 3590300823, 3931439974, 2632026026, 4122899774, 4034419368, 1640393940, 1780802972]),
y: FieldElement::new([683432775, 2130510654, 3989438216, 971678621, 3105582085, 1192006697, 3438622462, 847816898]),
z: FieldElement::new([2886286897, 1587597950, 1738596266, 4254391006, 339165455, 3043113968, 2557035046, 1744017644]),
});
table.push(Point {
x: FieldElement::new([3781718865, 3855480041, 1948192306, 2988802416, 44729392, 2947795586, 268373645, 241505364]),
y: FieldElement::new([1572793044, 213466747, 1300699132, 4229097389, 910534202, 225385513, 3695306542, 3134634667]),
z: FieldElement::new([2821334924, 3026574922, 3930682215, 1634788968, 4251093437, 1595138700, 2362091422, 288128342]),
});
table.push(Point {
x: FieldElement::new([2595511483, 1036345101, 4053315044, 970820569, 2155975674, 3225299816, 1665420448, 89165343]),
y: FieldElement::new([1501739115, 902890770, 2697479942, 4054291184, 300728764, 3233039878, 2965178801, 2556973746]),
z: FieldElement::new([168276959, 788158970, 3324356820, 3700352568, 4071801806, 35862070, 641153983, 773763890]),
});
table.push(Point {
x: FieldElement::new([2721959817, 3953658637, 1093920787, 1753996377, 411773491, 3434097310, 3295681352, 69925440]),
y: FieldElement::new([194292233, 1773196091, 1846523329, 2836337438, 4149143363, 2393592337, 3289375958, 1691365738]),
z: FieldElement::new([2957109896, 228633256, 598842590, 1035505546, 10119010, 3580559464, 672451293, 2610950315]),
});
table.push(Point {
x: FieldElement::new([166306327, 2754768260, 3971862541, 1039140913, 1166464482, 3538566273, 1855950456, 2718996009]),
y: FieldElement::new([2365955028, 3019588003, 2856587400, 55854056, 3139882652, 3455616308, 2207836550, 2749783518]),
z: FieldElement::new([2789122563, 2863705097, 2315118379, 606239677, 1754070202, 2317350197, 4191587694, 1769709223]),
});
table.push(Point {
x: FieldElement::new([2821121301, 3224514701, 3079654960, 3936093055, 3607920167, 3874697225, 3883227025, 330612519]),
y: FieldElement::new([880214185, 2894011349, 461268797, 787209670, 1744126896, 3855516896, 124764821, 1536379643]),
z: FieldElement::new([1426068798, 3552374665, 2256950781, 1444103487, 1792635354, 2774149392, 2756505913, 2190903374]),
});
table.push(Point {
x: FieldElement::new([3801571515, 4201852623, 1072240450, 3579599479, 742259486, 1143625065, 438240719, 2761445927]),
y: FieldElement::new([1456880299, 1334871581, 2329559250, 157724577, 2397220912, 1111577066, 2909717184, 778531543]),
z: FieldElement::new([375301729, 3076398894, 866983052, 1172583778, 1699053025, 1706497047, 2874146788, 2372756078]),
});
table.push(Point {
x: FieldElement::new([4260830656, 2652231771, 2995312506, 2827808657, 3480558081, 3366282060, 3963152469, 1747080244]),
y: FieldElement::new([1596365875, 1070849927, 1702496173, 2935995016, 909324978, 1503012490, 1040342477, 3543559517]),
z: FieldElement::new([3945354222, 4239194607, 50876664, 1109650233, 451328891, 1922836554, 3708317104, 1003951646]),
});
table.push(Point {
x: FieldElement::new([1540264209, 2905325182, 3258456350, 4238056009, 3018650828, 518592380, 790901818, 2164650827]),
y: FieldElement::new([2787693833, 697262639, 1773194236, 95389141, 3578045688, 3181094419, 1866404080, 3758923513]),
z: FieldElement::new([2550969195, 1546566291, 1747541675, 3747019573, 2173864441, 3105620396, 2339087707, 154756271]),
});
table.push(Point {
x: FieldElement::new([2846756443, 2920806834, 2950621846, 4022032481, 1268612297, 3983298522, 2687434202, 1989613341]),
y: FieldElement::new([3260650852, 3419747368, 3219881044, 2973186856, 4282316984, 933272138, 3705122784, 3755423723]),
z: FieldElement::new([641995736, 3908873211, 969747937, 3376666344, 1747817228, 557899840, 3079401038, 3094397208]),
});
table.push(Point {
x: FieldElement::new([3932471866, 3026037266, 1649975778, 1106413510, 1912769111, 3153315034, 1430174885, 2133738510]),
y: FieldElement::new([3274633092, 1738779251, 813203649, 1712562681, 851008721, 2467171651, 2069585251, 1083161991]),
z: FieldElement::new([4220000414, 1778824489, 2501001865, 3257242894, 1894749487, 1509390486, 4120744955, 2216297923]),
});
table.push(Point {
x: FieldElement::new([3751531246, 3983100434, 2983247973, 1107610608, 1589702681, 3772240045, 3335305617, 3617391562]),
y: FieldElement::new([1082626870, 2975396841, 3453604034, 143081681, 3471529746, 520576641, 2622828527, 51826859]),
z: FieldElement::new([2360691713, 641069056, 685682286, 1048367490, 951349564, 1183992608, 367069018, 1648055931]),
});
table.push(Point {
x: FieldElement::new([1568937028, 2081068071, 3288720309, 2519608860, 2070146259, 2811950833, 2738220088, 4143633227]),
y: FieldElement::new([2597210382, 1856222192, 3879958033, 1544265385, 2696933986, 3189778925, 2029918214, 159049382]),
z: FieldElement::new([821236454, 2535262432, 3613900933, 1036599163, 1263264810, 1300704344, 3986857252, 641252109]),
});
table.push(Point {
x: FieldElement::new([1746862094, 2224618952, 340957229, 1532720372, 2584152412, 1601389705, 2955098127, 3463725835]),
y: FieldElement::new([1864462082, 4232224421, 806401282, 1446038880, 1150308682, 1782402161, 3773507378, 3686141297]),
z: FieldElement::new([392611086, 1656802615, 3872930182, 3878498752, 364665158, 2384622509, 2863550892, 2260739009]),
});
table.push(Point {
x: FieldElement::new([1720483943, 3644897616, 2839905196, 2375509797, 1545900845, 3088779164, 252793193, 2482845425]),
y: FieldElement::new([3391183820, 2889918973, 1662884230, 587163580, 1207890053, 918434721, 3391522282, 2491610358]),
z: FieldElement::new([2568808330, 2160257060, 909860742, 980824521, 2817203716, 1015101215, 2740332764, 1142642747]),
});
table.push(Point {
x: FieldElement::new([2921261619, 2303713062, 462603559, 1760829993, 2171583342, 2464690004, 1489221651, 1532531958]),
y: FieldElement::new([192354148, 3387678031, 763736236, 3859783737, 1494857068, 1667849539, 3951128067, 3529883900]),
z: FieldElement::new([4116183955, 3205888647, 2991094712, 743985147, 1959525460, 2126501699, 129929834, 3153566141]),
});
table.push(Point {
x: FieldElement::new([1367198403, 3456553689, 3149975135, 2314128759, 2353053717, 602074661, 3495654314, 4149021780]),
y: FieldElement::new([2093371096, 660348621, 3296712880, 1891800912, 500033208, 3002737671, 2485723435, 3167955050]),
z: FieldElement::new([3050628018, 2348574695, 2652856202, 3983418885, 1157417131, 3049509567, 1588121685, 1314976978]),
});
table.push(Point {
x: FieldElement::new([312343846, 860481279, 2420974412, 4276036701, 361462535, 677309117, 797692997, 3803686732]),
y: FieldElement::new([2526025963, 1802610572, 334172443, 1543593247, 3254189474, 2836468528, 1468051653, 3386546122]),
z: FieldElement::new([229578338, 590137083, 1557342719, 4195263163, 3076194533, 2964395885, 2241194632, 3356809222]),
});
table.push(Point {
x: FieldElement::new([3888579050, 3755291187, 3624122493, 2743666898, 2854582199, 267717545, 783819664, 4108557968]),
y: FieldElement::new([1000445484, 2308506770, 1798089061, 1355847586, 296049671, 1689791639, 2284670412, 113021649]),
z: FieldElement::new([156282162, 427318753, 2518907156, 309274775, 2007668165, 3417367886, 292911818, 1397495365]),
});
table.push(Point {
x: FieldElement::new([1064384914, 2883256462, 907539940, 1513248332, 1270351486, 3797630626, 2956886896, 297861148]),
y: FieldElement::new([4099169567, 3878130335, 409559427, 539246750, 3387496150, 3533459419, 477974119, 1582324256]),
z: FieldElement::new([1918881468, 2986482654, 1521621454, 3541712354, 1532127932, 1691281693, 4010928359, 3326619614]),
});
table.push(Point {
x: FieldElement::new([1504684144, 1611076157, 2804140231, 1752821919, 3321016545, 1863156905, 3360020221, 168126093]),
y: FieldElement::new([1889667087, 2456644672, 2432700103, 2203717604, 2530201605, 2841582597, 1362315568, 551352535]),
z: FieldElement::new([364236699, 392812833, 1010119244, 2389327237, 522326448, 1233283632, 1763820289, 1225773730]),
});
table.push(Point {
x: FieldElement::new([2625445253, 905036806, 1185517478, 4084463657, 3320762069, 3752535679, 4049809882, 1744540075]),
y: FieldElement::new([2069145049, 293112076, 726602633, 236660277, 736051647, 1312695599, 2620836, 1673388213]),
z: FieldElement::new([1106207888, 3136204716, 1391485206, 4256401281, 621192786, 3497133643, 1898843339, 189195264]),
});
table.push(Point {
x: FieldElement::new([2164855698, 527514879, 629929118, 4118362725, 317854374, 1412772641, 2586966348, 2893039958]),
y: FieldElement::new([652780075, 972128924, 3406766187, 2657825767, 1600354751, 1392120301, 1305201733, 1908515199]),
z: FieldElement::new([1917138677, 1418275903, 144299579, 2381086868, 2929615821, 3794368938, 3986549043, 769420717]),
});
table.push(Point {
x: FieldElement::new([3808375669, 3500564280, 915196911, 4247573893, 1754323461, 620783542, 1271879191, 3424902417]),
y: FieldElement::new([1324497888, 982678228, 484048167, 3520907616, 1349663603, 2830965697, 282025705, 2475599264]),
z: FieldElement::new([997659221, 1595755627, 3898241348, 1446439435, 1740358708, 709922800, 4176705150, 451586612]),
});
table.push(Point {
x: FieldElement::new([3331478089, 3477422432, 3639772198, 1958123345, 4096340803, 2204447321, 170229448, 4258464326]),
y: FieldElement::new([984837666, 87313746, 3225334217, 3381749386, 1990902606, 819234440, 3786028723, 1255230119]),
z: FieldElement::new([670130722, 1597467486, 1633817522, 3889373992, 1546038001, 1026725072, 3628785916, 679974935]),
});
table.push(Point {
x: FieldElement::new([1214924961, 2443037584, 3018670050, 284286328, 4211903326, 1787950500, 3771583109, 2129171361]),
y: FieldElement::new([675484302, 3163975822, 3585917938, 3287622806, 2970897810, 2480634783, 3965268211, 2984900628]),
z: FieldElement::new([1132508929, 3333684044, 254581285, 3488185183, 1678501184, 3223174049, 1485687579, 2385663415]),
});
table.push(Point {
x: FieldElement::new([385769250, 2009117948, 1014378500, 82994133, 1487556089, 1245908283, 368973539, 1712458846]),
y: FieldElement::new([2792941404, 3607840463, 3927167018, 877244762, 2049772202, 1886664636, 1373186812, 2594625804]),
z: FieldElement::new([50815577, 4236003173, 4267331470, 637577455, 862988702, 2657857713, 1096075649, 1524005543]),
});
table.push(Point {
x: FieldElement::new([792461252, 1274658617, 3432639830, 4071348505, 3905979021, 2390069097, 2936641805, 3926007730]),
y: FieldElement::new([3653783698, 3997074892, 344573611, 1306139238, 3880654635, 1643814725, 1852427533, 1074802616]),
z: FieldElement::new([2046807123, 2472466066, 2424795527, 4020128248, 4025353066, 3352005922, 155157725, 4145698477]),
});
table.push(Point {
x: FieldElement::new([2862873343, 95107849, 1894850016, 415593714, 76255594, 1649073382, 1469234351, 1006019732]),
y: FieldElement::new([1761717084, 1725261273, 1561701838, 798560947, 2719474182, 3061559987, 1344116886, 2644135885]),
z: FieldElement::new([532153171, 3063963784, 2838019616, 1738077650, 4012099337, 3903068840, 3484329146, 1701547516]),
});
table.push(Point {
x: FieldElement::new([1472488338, 291854173, 3393796686, 688991315, 1767411397, 388049112, 1089316159, 4067047318]),
y: FieldElement::new([1946974508, 1914501840, 2380273711, 899420531, 1852991771, 2919472078, 1152807491, 1996136408]),
z: FieldElement::new([1199360680, 2695883260, 276121837, 762893246, 2426189494, 4053386832, 3982687866, 4110227116]),
});
table.push(Point {
x: FieldElement::new([1140159355, 4282549374, 3059807963, 2411057903, 1553173814, 1781257265, 2894802611, 2495009575]),
y: FieldElement::new([956848002, 4254982369, 3177385613, 2097987528, 2862390174, 3785474818, 3575969204, 2534580941]),
z: FieldElement::new([1549029583, 449859183, 3746425832, 1053694334, 1877692442, 2085504606, 2443044713, 84291683]),
});
table.push(Point {
x: FieldElement::new([1942163956, 108450055, 745402053, 341656741, 100422768, 3349968899, 2280224735, 3204758425]),
y: FieldElement::new([4118911278, 4183519061, 2638168760, 2375966528, 1869982475, 3911372628, 3512730616, 3591707535]),
z: FieldElement::new([1197427419, 2285561910, 3366828860, 1026103220, 159835440, 3699165878, 3592005880, 4052254040]),
});
table.push(Point {
x: FieldElement::new([499674978, 2528535764, 2662201156, 3210810650, 305395054, 1884367363, 3481481982, 847677391]),
y: FieldElement::new([3767845850, 2207062861, 3696284868, 480553042, 813351446, 2558711322, 2973418025, 1418045306]),
z: FieldElement::new([2556463171, 2695234083, 3700028182, 1301100602, 283603751, 830736576, 1453288504, 3329372916]),
});
table.push(Point {
x: FieldElement::new([1100726115, 3182152842, 787175852, 3088076954, 760725912, 745050428, 512897950, 4193502376]),
y: FieldElement::new([2996825951, 555041034, 142278808, 3869481848, 4247317585, 2930730675, 144141747, 2414414709]),
z: FieldElement::new([3860366720, 652277326, 4031211146, 3642930603, 4234340706, 743558915, 621944873, 3511922304]),
});
table.push(Point {
x: FieldElement::new([3081828031, 3258775480, 3506027501, 4107409101, 3994380175, 3491959277, 2180188904, 1193160382]),
y: FieldElement::new([367848470, 845272345, 1948402460, 4172394539, 3563543101, 3582448718, 2447735172, 1259431617]),
z: FieldElement::new([3252621414, 858256785, 958565062, 3026843800, 907492323, 2138829415, 2471782100, 3355355500]),
});
table.push(Point {
x: FieldElement::new([2351728502, 2288734114, 613664370, 1405191297, 4022049172, 1287391246, 1843225391, 2717915769]),
y: FieldElement::new([419343674, 3425331282, 2761113320, 2550567605, 885030475, 1691619394, 2977439309, 4175535480]),
z: FieldElement::new([4018554561, 2522005730, 522106692, 4220859790, 801191113, 2564032896, 517001403, 1179323321]),
});
table.push(Point {
x: FieldElement::new([2304019319, 3684008198, 1248077771, 3271658541, 3835423926, 843387832, 3930147697, 4274824736]),
y: FieldElement::new([697630699, 3716673450, 1710601895, 301154618, 1092162204, 2471695916, 640942943, 4040421416]),
z: FieldElement::new([1586068590, 4153254361, 3812345512, 821353959, 795720026, 3718191033, 2660576906, 1727626778]),
});
table.push(Point {
x: FieldElement::new([1822770335, 3476326761, 2801103839, 3841424713, 819174851, 899819422, 2234520278, 4094602452]),
y: FieldElement::new([1540204567, 3994664175, 1446742090, 728990444, 2485860359, 268047179, 3733972248, 4214245141]),
z: FieldElement::new([489098027, 3450259761, 279260904, 295867656, 3593657373, 1131125321, 293619886, 2036382340]),
});
table.push(Point {
x: FieldElement::new([2634254732, 4150843068, 4198453877, 471733496, 1870025881, 3452594860, 3952267203, 3891467555]),
y: FieldElement::new([1837263864, 2672687683, 377194349, 935622675, 1382929072, 2371335316, 1062991130, 335708834]),
z: FieldElement::new([2305253597, 2977199932, 126333120, 1856129445, 2636805727, 250406572, 826299480, 3750848536]),
});
table.push(Point {
x: FieldElement::new([3877893647, 3450367542, 1635356652, 1099469300, 3694854834, 1596003714, 2621082863, 426211413]),
y: FieldElement::new([1988694986, 4167553272, 3225594973, 552355946, 238225312, 17485049, 3303602877, 4262905952]),
z: FieldElement::new([445903164, 1687590134, 2457762316, 2583563574, 2044098302, 3297990267, 1781623345, 666209884]),
});
table.push(Point {
x: FieldElement::new([1977531500, 3719714935, 4167721355, 1460615280, 3375494762, 3713468948, 62043872, 1224343331]),
y: FieldElement::new([3507812476, 956304942, 401995080, 352097216, 3651711538, 2549260649, 1746543948, 2052544350]),
z: FieldElement::new([2162254591, 1447176711, 3241803349, 25084994, 74901186, 2908001086, 699723086, 2809421745]),
});
table.push(Point {
x: FieldElement::new([250050203, 1589363401, 12492376, 2022924520, 3353583840, 4270835776, 3869617181, 22228188]),
y: FieldElement::new([165004320, 319143176, 2045979238, 3142453208, 3151164771, 3920951127, 1997872363, 2120157906]),
z: FieldElement::new([3381018602, 1361668666, 3252153946, 4129072769, 3179552918, 2931476755, 2859027151, 1886932745]),
});
table.push(Point {
x: FieldElement::new([2125419285, 3505597653, 1171047019, 3340892605, 3381175180, 3405230782, 2154394172, 1010988539]),
y: FieldElement::new([195763586, 3463386645, 1017909659, 1949577900, 3505744230, 3365824123, 227183877, 1073108554]),
z: FieldElement::new([3031234347, 1615497650, 3779953940, 8719964, 1677153975, 2894426723, 3775534233, 3622791358]),
});
table.push(Point {
x: FieldElement::new([83269922, 2641970645, 4284254034, 850394269, 2206118767, 3861439695, 2552108226, 3305866798]),
y: FieldElement::new([3743181507, 3037676946, 2436861498, 3665400650, 2229257298, 2872637997, 3000759671, 3200775065]),
z: FieldElement::new([2974837124, 956685168, 1515403026, 3440836728, 1935538782, 3609289903, 3425235276, 111235114]),
});
table.push(Point {
x: FieldElement::new([1857336268, 3094838454, 3206540398, 715391236, 3658750297, 151628169, 557400668, 3905159268]),
y: FieldElement::new([750240704, 4114970495, 3136944003, 3232520033, 2816825533, 672719929, 1353845599, 1914900739]),
z: FieldElement::new([3388322595, 3403462421, 1656870448, 4035073547, 3782530484, 3432988774, 742808356, 2050462458]),
});
table.push(Point {
x: FieldElement::new([1869817832, 2733808535, 2485961851, 970462433, 3487828630, 964696134, 832429179, 657911457]),
y: FieldElement::new([2994124094, 2081276281, 732323079, 3982798350, 3600400484, 2843354894, 3298655109, 339038093]),
z: FieldElement::new([2465886290, 686088746, 664434633, 132048310, 634179484, 1868259769, 219559754, 2766921337]),
});
table.push(Point {
x: FieldElement::new([3843803799, 1196821929, 3682037041, 1409741106, 545315068, 2894682590, 1072467228, 1043175798]),
y: FieldElement::new([2950934261, 1282719849, 785931591, 2396696870, 4058685672, 622026063, 2947964281, 1362127125]),
z: FieldElement::new([2488285768, 305845248, 2259847161, 3512432417, 565050017, 3155530449, 2306102483, 3906004614]),
});
table.push(Point {
x: FieldElement::new([2248114397, 2072735434, 2989611647, 2014374308, 1910087171, 4148436564, 2692629928, 3604799996]),
y: FieldElement::new([1251004161, 2128760950, 3925849534, 2246617915, 611555061, 2377420380, 3625890272, 4161904495]),
z: FieldElement::new([563435953, 3522906333, 3792981148, 664564674, 2919718623, 630261721, 1023601949, 648876256]),
});
table.push(Point {
x: FieldElement::new([2028872550, 1869779136, 3964094806, 799897703, 3709169767, 2587386350, 4092532809, 1337099750]),
y: FieldElement::new([2778625897, 2058928258, 2753721034, 569513395, 2805621219, 3436382434, 3720841338, 484523658]),
z: FieldElement::new([4166451725, 500753613, 360497699, 602350171, 2623084896, 4148186553, 1907518993, 2069476821]),
});
table.push(Point {
x: FieldElement::new([602704858, 2950258442, 1589145896, 3320628690, 1036864658, 33219802, 2258648310, 1722968229]),
y: FieldElement::new([2683948136, 320707971, 2033584248, 2498536235, 100730247, 1737500914, 1643532210, 1049038061]),
z: FieldElement::new([218137362, 3604566279, 2030733012, 3586905773, 3635478131, 3756892399, 3031841112, 3991187149]),
});
table.push(Point {
x: FieldElement::new([3131538039, 4097782375, 3971267070, 3535778686, 2903470746, 389899081, 2936270631, 1330073285]),
y: FieldElement::new([2545057896, 1772563551, 3855438290, 2509143162, 269907981, 842849210, 3818706253, 1177751545]),
z: FieldElement::new([3118215822, 2072548573, 1333031378, 1017786735, 3289152176, 4045002092, 3894442608, 3183967635]),
});
table.push(Point {
x: FieldElement::new([2366003625, 2375058563, 3494107719, 1724118696, 3630187691, 1653930352, 3514092010, 2949987421]),
y: FieldElement::new([2446341321, 3763057739, 2250024738, 4047707475, 1220804823, 4183077304, 2054393934, 47663609]),
z: FieldElement::new([2369553962, 2951336293, 4283542903, 3118747568, 2257328536, 1045021517, 3448112676, 474527416]),
});
table.push(Point {
x: FieldElement::new([2879575527, 2161566791, 2775453063, 1321515078, 2695273961, 1148358955, 556263406, 1827783922]),
y: FieldElement::new([2786152113, 3650218748, 111848833, 269923550, 4137251108, 1485353521, 3169233007, 117601151]),
z: FieldElement::new([2541946330, 1072945133, 3001724118, 2814986990, 803249511, 131058708, 680746900, 1431378849]),
});
table.push(Point {
x: FieldElement::new([359623986, 3295048146, 3344406468, 517008163, 783794105, 3115359686, 762849228, 3858311865]),
y: FieldElement::new([612357787, 2504492512, 1856423942, 1030423315, 774192525, 273754612, 2317216624, 4194144503]),
z: FieldElement::new([4072892143, 1803871555, 3970699694, 14107660, 2076916803, 462588515, 3032830505, 4174879430]),
});
table.push(Point {
x: FieldElement::new([3036953884, 3494320906, 914727010, 1778386530, 2805211360, 714073504, 3722926178, 2970692083]),
y: FieldElement::new([369342352, 1396924255, 3230674655, 1578473796, 3581830481, 298514334, 3107386668, 1890602178]),
z: FieldElement::new([4237000770, 24257129, 1063080886, 3416830138, 2350095209, 500222407, 3147136823, 3865652660]),
});
table.push(Point {
x: FieldElement::new([3039173453, 2544318686, 2122683010, 1476026238, 1212770459, 3152195068, 2530681693, 2645382781]),
y: FieldElement::new([2469523689, 1498532426, 3550915681, 63933040, 3813469142, 692023360, 3579494190, 3536727926]),
z: FieldElement::new([3685121840, 1805450587, 3259174401, 3321787147, 2384777269, 2446777370, 2153828473, 4267880543]),
});
table.push(Point {
x: FieldElement::new([669889813, 640390723, 1538462586, 502973086, 657119125, 1285084486, 793680968, 446948329]),
y: FieldElement::new([3828229539, 242219284, 286677528, 1482400134, 483276855, 1029254127, 4164753652, 1924916416]),
z: FieldElement::new([4114626719, 2198505889, 3507991305, 1177534466, 3986127868, 816734755, 1457296554, 3173449036]),
});
table.push(Point {
x: FieldElement::new([3368341691, 943399787, 2865385347, 953376861, 2090566374, 514259036, 1308057864, 3695556021]),
y: FieldElement::new([3728599453, 2425834738, 2918193322, 2961879147, 382417697, 2485576727, 2662955259, 4210303034]),
z: FieldElement::new([1342686923, 2421188441, 2988432698, 3893237908, 1842478723, 3798030681, 1702587654, 3620893282]),
});
table.push(Point {
x: FieldElement::new([1603348082, 2251397179, 3694916962, 1072686516, 3234815476, 2711611516, 2576227700, 720225911]),
y: FieldElement::new([1947779065, 3998189331, 3248747467, 2729945904, 939105936, 4098361217, 181571114, 2207023448]),
z: FieldElement::new([4276247790, 3467800773, 3553790501, 4121501246, 2085793424, 1472934420, 1694059893, 462469022]),
});
table.push(Point {
x: FieldElement::new([3508629193, 2649939546, 727606611, 3224363077, 1624495410, 1416213219, 2279259596, 1861873644]),
y: FieldElement::new([2048014820, 1777555602, 4203262707, 4234212419, 1278841199, 3291046579, 3248128833, 1881489168]),
z: FieldElement::new([3912043914, 979694122, 3359329472, 1301247440, 1510257043, 2334438077, 3666438632, 3429802383]),
});
table.push(Point {
x: FieldElement::new([485058715, 1089792160, 2658148787, 2763467385, 2723110179, 1012613417, 169880339, 1612954068]),
y: FieldElement::new([1169298654, 595797122, 765616172, 787816408, 1141076982, 286163419, 4065683969, 1974435088]),
z: FieldElement::new([2906990618, 1219037781, 3337732426, 2212350523, 1839335949, 4036727459, 433519524, 137851279]),
});
table.push(Point {
x: FieldElement::new([3609948022, 1327165829, 3212083036, 3463249835, 1657057938, 1072621700, 252580124, 1193272141]),
y: FieldElement::new([1389153874, 1428165663, 3545372726, 3808753657, 2111262171, 888131810, 222847525, 1512190496]),
z: FieldElement::new([3492945538, 1523237305, 3122068675, 87429937, 3021095298, 3754891743, 2033204527, 3441106201]),
});
table.push(Point {
x: FieldElement::new([915368104, 3638810357, 3829566981, 3662695093, 1296573730, 3631033414, 4033379772, 1560170872]),
y: FieldElement::new([1015217475, 1216195353, 724793627, 672883085, 3941631271, 465049840, 2162065700, 2371827220]),
z: FieldElement::new([3242394253, 990059521, 2574872797, 2050711419, 1120395716, 3972815289, 2291601797, 408634709]),
});
table.push(Point {
x: FieldElement::new([3679536148, 1281917409, 3225362047, 2886692393, 3927238286, 3387020967, 2342229972, 941283319]),
y: FieldElement::new([1971922712, 1635380841, 3548828031, 2261134509, 1619161561, 4087081934, 3757037983, 1032990399]),
z: FieldElement::new([3037532518, 3074746696, 3658133640, 3934804322, 1269687057, 3126901139, 2082338331, 302115542]),
});
table.push(Point {
x: FieldElement::new([2466338886, 3675150098, 3810698947, 224355096, 338113606, 2749719268, 391456250, 57776927]),
y: FieldElement::new([892362791, 639276157, 1483174538, 2632954524, 1954155511, 2819466628, 2194080359, 572928946]),
z: FieldElement::new([2756609276, 1588789313, 1242911567, 2495149483, 309175791, 1736600834, 2757657396, 762829728]),
});
table.push(Point {
x: FieldElement::new([3102737340, 3063497186, 724057809, 1539193817, 382803260, 3354990441, 2975158339, 1295777837]),
y: FieldElement::new([1025739616, 3255717075, 875930412, 2077197723, 4079160405, 1217502137, 1549093050, 3818842807]),
z: FieldElement::new([1412762448, 142033103, 1155886951, 2695509041, 1686618495, 2071985302, 41222977, 2854082563]),
});
table.push(Point {
x: FieldElement::new([1696781580, 1874681336, 2986897179, 998147462, 2815760144, 725035272, 807057929, 3652474854]),
y: FieldElement::new([4244187710, 3590570744, 253788151, 1151312323, 2133119180, 1911493233, 3946483387, 892935881]),
z: FieldElement::new([45478349, 1841213859, 727763133, 2880961698, 1577007897, 994791392, 3474977332, 2617014663]),
});
table.push(Point {
x: FieldElement::new([1042710696, 895285273, 344637976, 1711704892, 143844182, 2008574549, 3033023758, 3165007051]),
y: FieldElement::new([2082103740, 3589477521, 2859999406, 204288851, 1480399890, 2965869557, 2597308258, 1915665815]),
z: FieldElement::new([2226655458, 69302443, 1852050269, 998263918, 827452553, 2879407042, 1974912599, 2679041242]),
});
table.push(Point {
x: FieldElement::new([3923822357, 514568199, 3863630486, 1496750823, 1043567033, 1374313467, 1760818098, 3091798890]),
y: FieldElement::new([486902210, 2835302923, 513943577, 319973016, 610396367, 1866967012, 3727409209, 3190850874]),
z: FieldElement::new([1893395885, 2437890942, 941428116, 1052292159, 2550866050, 2255880673, 2265218442, 2505869462]),
});
table.push(Point {
x: FieldElement::new([1422816208, 2702379480, 1957839269, 1449781233, 214797743, 866847801, 3561495173, 2883203194]),
y: FieldElement::new([1702371569, 853232387, 3056267641, 630839351, 2764996005, 3800652651, 3513113919, 1762882556]),
z: FieldElement::new([2211511299, 1640588096, 3500807409, 1907605435, 3662732668, 3167838897, 2756911792, 3837891972]),
});
table.push(Point {
x: FieldElement::new([3060286344, 2749451872, 4140721121, 1872993083, 3138860139, 1508709173, 2236451397, 1962591516]),
y: FieldElement::new([3355045476, 588948886, 2786753153, 1505617790, 1387712583, 1862770079, 3393090829, 2553688914]),
z: FieldElement::new([1540266472, 430222685, 3117263523, 25981089, 2086601192, 2155102773, 421613096, 3927171069]),
});
table.push(Point {
x: FieldElement::new([3757706485, 2523156839, 3055573229, 344064300, 4234066103, 1302368387, 3522835141, 441113246]),
y: FieldElement::new([2720283044, 3490708096, 36470115, 1384074005, 2468113978, 4215880173, 2794928519, 734914687]),
z: FieldElement::new([2642342711, 2557669922, 2690121489, 1185677303, 4185707824, 3067321061, 2144330905, 2045131470]),
});
table
};
}