use crate::algebra::curve::AffinePoint;
pub const G_CONSTS_BITS: usize = 4;
#[rustfmt::skip]
pub static G_CONSTS: [AffinePoint; 945] = [
AffinePoint::from_raw(
[14484022957141291997,5884444832209845738,299981207024966779,232005955912912577],
[6241159653446987914,664812301889158119,18147424675297964973,405578048423154473]
),
AffinePoint::from_raw(
[16579338270530197941,14871336892951089215,3671963027188217691,303614983685290334],
[4730811233056735121,17303316361454032079,7329634750254030090,393536509256096095]
),
AffinePoint::from_raw(
[9677368674205009747,1237185810904996813,10570686728730285751,68251857589430300],
[12568601912800526317,2334096892141389936,7992790409806204213,72186196818065199]
),
AffinePoint::from_raw(
[15510977573776195642,342058344322715380,18175319704875795184,461563964092740434],
[837277918279344478,13921264321821506639,2607112507073636825,356418544596184868]
),
AffinePoint::from_raw(
[14550844478841523218,14152762116707184343,12054410108623211959,564726373564327764],
[11313128866029454968,16167986460935886791,12066367539283504103,423465839745817657]
),
AffinePoint::from_raw(
[8585059897164389195,18322736686226862052,1757761543826479530,247679696304730207],
[2568478654999560335,2189655547166603481,10582989650875013395,241384328473666135]
),
AffinePoint::from_raw(
[18314287663079747553,10765181956341573402,3056257135917482053,22466741598355071],
[5201639516252809995,16730885320340175404,8925941304673297733,459269933134230963]
),
AffinePoint::from_raw(
[4537430410809690294,4312539867968831430,5951578249055313305,44325964577998272],
[12436590524276347150,13719681688707294951,8955254978494043657,107769073593491341]
),
AffinePoint::from_raw(
[11758056215436656110,13258877747076026605,14370839043115725425,227010745623372116],
[2113182043286512023,884261567367006214,5331083166672242479,83714354471123887]
),
AffinePoint::from_raw(
[6062882294265901082,12363752716905130716,13116534112538980125,163482794955359394],
[7834707731288738711,12145958385436547526,1780590365614972090,308460128171832119]
),
AffinePoint::from_raw(
[2085280871957356947,2833269294817993408,3353144859724974613,205155699240495231],
[17218151418091770270,14313667577140418353,18120607609254994296,549425931036984613]
),
AffinePoint::from_raw(
[2001015643960997631,8618695365292802916,3488040257942910830,272121293873216510],
[3538975966858820526,3710574875328665750,8935418054795640242,140137135891542689]
),
AffinePoint::from_raw(
[16084342420913107612,14231725055872876064,7035663859395697231,523651523986885569],
[5535249102172152176,11883135917893183553,8542913763622989615,370952678939125447]
),
AffinePoint::from_raw(
[8102969304050513089,6463507241502019991,1796629974456065821,144881991297294960],
[6541044434718430615,2173463551859527221,14066228855301393910,514250582454136223]
),
AffinePoint::from_raw(
[7378642468159207072,5423320147004054072,8960730781825632146,245523795392601813],
[11090425537141152147,16343804802507898012,1969332036787809610,103205111244308614]
),
AffinePoint::from_raw(
[6578024514721326817,16796830107718839207,8040355453926651947,87512912161126893],
[11245589741612304468,17117238346756941976,5367266861909171862,229041149008149913]
),
AffinePoint::from_raw(
[2219262817561846193,17966208160587709399,8316528800341668450,551691389865599853],
[11828613813027228506,1455629968968781960,10635800400405609553,83153113554582284]
),
AffinePoint::from_raw(
[6770998536270085112,1166056239477959567,12422300461439116362,259533762449402957],
[1964902759990309914,12689012985529669161,14982512511440106405,199979590421640476]
),
AffinePoint::from_raw(
[2620290557253106862,5496631839637218523,4321575912679484535,113835741899952801],
[6801581843860286448,13320381884065528341,13094113147231150227,283706113678386985]
),
AffinePoint::from_raw(
[18354366871179091457,17731891925969770534,926776607051226704,482466946837540597],
[10818834172761300503,17594520648147724803,10544056012932459204,210241688126112515]
),
AffinePoint::from_raw(
[1220867593289296444,12442015982527814812,8453149391720812030,462527138512575318],
[1643347982263582544,5004864998151481359,755673356711591756,160362716316883809]
),
AffinePoint::from_raw(
[4708303647879185881,18106223661048721721,8004870735884988357,80003435578612420],
[13716282051464590529,5484445967022044449,7589485097291665496,61342301190288409]
),
AffinePoint::from_raw(
[15039419904228099602,9049393860285531814,16406050708172196064,250056459631063666],
[16160123229559086480,4015124757363458155,12967617341010950338,285140373543844889]
),
AffinePoint::from_raw(
[14889041693940765320,9863695056216274326,13334461556602123591,481902486695139429],
[9986234830392469222,12225501140302064474,2622338855582139484,281219360964071580]
),
AffinePoint::from_raw(
[6460022956906468617,1632394252395205472,2176556520563595064,488784192511044181],
[18281730128062819868,17430284730801502763,791211983645392420,380035782899604290]
),
AffinePoint::from_raw(
[10674952690306396525,4680299331753962521,9235823749643677723,278151762967843113],
[142906588359769186,11631025784277992471,7754652656198145462,56426271800708272]
),
AffinePoint::from_raw(
[1269691326258240092,17303170525171254454,10007807158510812991,527989405955175771],
[6985740461300848147,4279125166931394758,4587996315187673132,520232147219032758]
),
AffinePoint::from_raw(
[14388344969287632484,7653063603744884603,4237599633969525784,326819872537576629],
[9277361369507150994,1487757453390957184,6353209191162540484,231815732939017856]
),
AffinePoint::from_raw(
[16151279787921277116,12153695376001379443,2963241055510662622,34886249612268668],
[4671325325164191269,11581072297652418845,13572061852399211721,525113651618196672]
),
AffinePoint::from_raw(
[2066997431538410654,16593361172665398986,7009150358644083759,405259040373260051],
[17808950866341270746,10943041804256374154,8749455831109198632,461809272862976460]
),
AffinePoint::from_raw(
[3118506173348667808,9982285978106075324,2361347036578222753,338220182262900178],
[11326046062117333225,1337160963122577888,9100824856569524398,441850088077328718]
),
AffinePoint::from_raw(
[6743216969610750811,2495806942793881690,16617132275137794573,313492181399044096],
[6297069101479141990,4941114424355890922,15187626136402321147,70818680345624693]
),
AffinePoint::from_raw(
[17589954825329270098,10468770746139277953,13479345371737884189,344399840355497814],
[17353856287178265018,11422096261393157200,6441540651322598889,369581799451407142]
),
AffinePoint::from_raw(
[16023259619713933260,1765110018735368086,14608758486024434728,375905249193393537],
[17494342133869371791,8973968174509533323,5372581166891478760,277677448377100710]
),
AffinePoint::from_raw(
[10673878797334790059,15495567879155951593,2228234985480916840,453997301903884230],
[15034635710485003843,4312061983840419452,9341979844571686724,353678843273956250]
),
AffinePoint::from_raw(
[5858787691607800827,4327352441367444244,17950981108745055456,124364773162705235],
[11609915806202494166,3577052452807530807,15975150531097826613,92990765773794573]
),
AffinePoint::from_raw(
[3050146097859112016,17784727954147656267,9153706964395697696,451602679669819717],
[7651552818785154443,4315992991546432182,13715097186645898148,526898801001806798]
),
AffinePoint::from_raw(
[4391402210904807387,4855049601854273418,3344231124045825229,119987348540874242],
[15440360456667180695,16628744461288526333,13110863648062434557,283391750202749432]
),
AffinePoint::from_raw(
[12939910126294961645,16154700244305804326,2773978576272030321,471223273128924789],
[3651112805793672318,14012069023152886959,516133230531224137,380242472476681434]
),
AffinePoint::from_raw(
[2196963251562867924,2908860285073921712,3646086334651723037,46829891044021343],
[17414909729024901105,3018341013073987860,3794849814997413657,1144546633762489]
),
AffinePoint::from_raw(
[13548149519544647853,11872680626792642626,14761342747808084860,487241759836007511],
[3120235941991376084,7356103451399779284,3289099031950156756,495576666904204217]
),
AffinePoint::from_raw(
[11759003551663880510,8398162646351079632,2866065747342761555,409324148810492629],
[1733643807269142,17912791631027214285,7670380656575891590,124419794453986055]
),
AffinePoint::from_raw(
[18110647038419252340,1824231918299217919,7051054736175194670,457126445453483232],
[521112746346744611,14731441736155112187,101350898182196165,67480880596531671]
),
AffinePoint::from_raw(
[18384873408979035804,835054850137864484,11822258204578253532,330284893078544862],
[3155207274602227133,14821684250521848563,16759994393800478118,193788325837693220]
),
AffinePoint::from_raw(
[18163954134468410496,9278874449086506868,13831660033159745914,442152865737659232],
[9742932898762808834,1766235786086445305,8301411999688158439,24842633365283733]
),
AffinePoint::from_raw(
[822424658932443443,1305261525028107720,6888666044304271453,442043773275896398],
[16476004131059812002,2838486208179537018,13652292618674977385,102959554541197643]
),
AffinePoint::from_raw(
[2728070875290861145,5172053927269582182,13193977752003744319,201118681998861721],
[16463518017278649754,14036729680437702344,7028669678979227314,205084135044580762]
),
AffinePoint::from_raw(
[14166156285978756129,10311899058234585270,10991473568523074326,64620454162908276],
[6327476559584052903,2244487671300091394,18024514962464881227,454832377344102809]
),
AffinePoint::from_raw(
[15231684443920404939,15206297071347006045,7597402698384628898,265687738930356450],
[11572405335994650598,8794478149629540062,13583321312846057951,456343824057714966]
),
AffinePoint::from_raw(
[5040589102772540199,9154017237199527280,7000947922019895264,431410149525386524],
[7145763405492999322,14993833381234723589,13605005560553834860,413363836715986106]
),
AffinePoint::from_raw(
[13140193378753131892,15997293845603297105,10598178477914867250,406270664378814368],
[872677126904836186,15458092967405004784,11900667575757564341,362909051518497029]
),
AffinePoint::from_raw(
[177317209140499626,15477565667845857177,6190039161296031738,209149492381190926],
[11846488619290887597,479080134239109626,9255452806077131543,539910408533213161]
),
AffinePoint::from_raw(
[15389898481145776656,15176728107603925135,3435921594807713803,359003444020975086],
[9110642704025598356,9980162160795989627,12228368781691626932,161989293430522126]
),
AffinePoint::from_raw(
[9441285427456657830,10270160747685556421,344219467303899873,121843750825716981],
[10440208846281289265,5121082098568396836,1900871049236771992,343319286825974707]
),
AffinePoint::from_raw(
[15297046180233255059,11530351346187801699,13186685936457967027,408718962603854065],
[7994057720581596423,14902650525184004447,6377022088176346482,504752684213297438]
),
AffinePoint::from_raw(
[9175433706835429262,14954344059403824779,16103937338430070492,532105318936449884],
[14739559397894631921,11416509076040917133,12431942780894924145,541704632434840719]
),
AffinePoint::from_raw(
[17437651676445291859,625627622053113334,18193953076190057957,259684462402050199],
[11801285181154976725,17099030245299440730,14289534657453256104,419736228823949084]
),
AffinePoint::from_raw(
[9395611973412910967,8764334739441875687,14163040884400410683,415755429992726213],
[14622980548752244031,3742880941359846387,2185619118118677757,448826615503000454]
),
AffinePoint::from_raw(
[18067539219789961838,12424773116305904916,14041106344493868738,174505306593831827],
[2332675321405119759,18111362302288429804,16520339895246347662,513152144035030264]
),
AffinePoint::from_raw(
[13989685368085664460,8460185890837038093,16668627480880621289,171421514053536676],
[5085719025608638620,16503283508689316293,7216510739226239456,320667218839702732]
),
AffinePoint::from_raw(
[17498543193956046433,16091198814111440830,10272087983482053010,35245286272748093],
[11961432101460151013,10588711262980241019,13770938406034753323,364357361287486893]
),
AffinePoint::from_raw(
[15327845849900636980,15007452382988167957,249995815453245601,291302711290162959],
[3936780437438887800,5010083549089750068,1774063163168678717,368237619916021235]
),
AffinePoint::from_raw(
[661170223544290970,18238875989597589691,15167377568895131558,300931383195588232],
[13841072252696058878,4168045441575579363,4726716445772148898,521537119053447571]
),
AffinePoint::from_raw(
[16282554191443817383,17262894758870420977,6038229299581905710,68221803609154187],
[9598450202881443629,15804119535322698737,13536573745015740834,253183124996381494]
),
AffinePoint::from_raw(
[2009605273087003727,13338913558479954721,13977708330897424216,555418641717521675],
[4357015001534585401,4991795386804751796,1960596408371246612,222328751217530959]
),
AffinePoint::from_raw(
[18210494357278338399,1177253938793925705,15186050709484981480,135571725668559485],
[2815592022770735020,10539901555013608131,16590481474851541844,355118395136130023]
),
AffinePoint::from_raw(
[16239767378053568673,12390175806078595097,7769898528069132504,437988530634601095],
[10564773591620667393,3068328202716879197,7665375010027621847,259917637378526736]
),
AffinePoint::from_raw(
[6865921045177581471,8421790486271703721,8970416763498059387,282906675978595750],
[1208715741139764244,15730179103306285722,6506303982861500118,45953861141340059]
),
AffinePoint::from_raw(
[17184400515279270640,144179373617086626,14997056830663180687,556094668842650833],
[15333435628120408086,7910938047852573904,3814202093316161048,525284363214732892]
),
AffinePoint::from_raw(
[9176635705871631065,9066380674910377953,1878796502753822663,155076576895887366],
[17667613196730002130,2711275501981108490,11704302498086322011,332981587737643661]
),
AffinePoint::from_raw(
[9248169970641317763,11474592782850612098,10803592015410774555,204119158924960763],
[13061629386133463554,17982437886344053070,15261629223501514099,133273789502765349]
),
AffinePoint::from_raw(
[14493715879037986037,13309741411944349189,6057885160540863230,418924685984435434],
[4322867016721621999,16415284188001654931,636260937208155010,440910646340777785]
),
AffinePoint::from_raw(
[437076624511759252,9656029671441645251,17548754984303485659,2356903627462376],
[11083566653647141414,17099931617202225104,10948545444932403083,146309249780482331]
),
AffinePoint::from_raw(
[4602308392054918102,9849926031424929949,4734134329085579315,157145018417056517],
[15947170229174834936,813140707801319591,14441973529158544243,97331836431646007]
),
AffinePoint::from_raw(
[15089192100048274229,5332378879580503777,3592136450679974381,566192325521566723],
[7111975122877879862,4279884833558357233,4002818788911934052,269075607965986786]
),
AffinePoint::from_raw(
[11486810800688898888,11970217441649441556,12433959920193703911,545679484238069403],
[1238597839069151328,14322357982944392586,18119551510898399294,467892539897978170]
),
AffinePoint::from_raw(
[14527866064525653788,1567785061252252802,13554406380533836527,430280419915081867],
[7209879196067101155,13825211059394608110,10703028028582532714,307783007062139230]
),
AffinePoint::from_raw(
[17026291429598689715,11785944229364981047,6593626687055899581,549979273326667422],
[3783793803277499604,10914243945811291797,16048723759463350296,358461406715849034]
),
AffinePoint::from_raw(
[5969577389867556624,16881025877672429933,16358849567465402723,113757901368191321],
[1660789858119895714,13565197341279032634,5691287441946571979,310688608095420631]
),
AffinePoint::from_raw(
[12311364555963508693,16893183732670570484,4384323251448177686,123240826534457685],
[15244428097334039678,1174132016413779239,18351297975172337193,193216134821365093]
),
AffinePoint::from_raw(
[9325546526808104396,1878029699840461028,10272755845953310260,366974504392727732],
[16147302743875801004,12838523082999422831,7808126257007745187,216375636529259200]
),
AffinePoint::from_raw(
[1283201267785657730,17844116082933322013,1222445267778791490,101325815468962379],
[15661853874013266109,18143781167090571762,1698397216678146587,277388892574808407]
),
AffinePoint::from_raw(
[12804022808148427660,7993677680775538525,8139871061827373003,559419050688090990],
[8423474458242105822,1814503568387729882,3296772806353188172,212933996066505349]
),
AffinePoint::from_raw(
[6871120659404689470,4675741001682405474,75396002611665768,190926577312073709],
[16323869082246056567,12392990120816519898,7836357186539881355,275039047347583717]
),
AffinePoint::from_raw(
[17754225199598964058,5902820993451635790,17536012716664868,229115660261738666],
[6314339285598264455,3876713972751570619,6820704444705904915,98277321510350381]
),
AffinePoint::from_raw(
[9640602750153675272,6009739005441003595,7680819195055641843,568091017405517173],
[10704811709572381722,5144791613878053085,10282412482153138341,312007752074631955]
),
AffinePoint::from_raw(
[15409225435737969881,1681343953759754641,17210646737249000669,314979261945975069],
[6174376591310348254,7296865163600023402,12027708041923343469,352016594573951533]
),
AffinePoint::from_raw(
[5501255775288696133,9920063627985287815,16540316682797590312,297515887491727842],
[1113286478523368459,16714133205782992380,16942111178403851613,99617857172257960]
),
AffinePoint::from_raw(
[17425901820774725582,1312860257293901544,12992330767146065556,420371019884877784],
[1589686167217266339,6132691015478407278,16437996482425014002,535196759792595090]
),
AffinePoint::from_raw(
[11955297944000587770,15497027825929453458,4238459669244365934,107884090395766951],
[471483806746749605,7112264174099487399,17317527719551312019,193704490139242597]
),
AffinePoint::from_raw(
[15726280597629404285,10368164482348023646,5923089223984604613,258240035212612571],
[3109527005876224255,10736674951861036978,18070014747910338394,483682725853122983]
),
AffinePoint::from_raw(
[12454456904650043257,1891385452827263531,10744525340733279164,448341375197732926],
[16846056335991107603,2964691369892575189,9379958801084595184,105631972955148862]
),
AffinePoint::from_raw(
[877891045146681896,13710743719468393512,16229064094065664002,459103299046637529],
[9924933390693151197,464290209684512763,149156136599939293,543631499089296970]
),
AffinePoint::from_raw(
[11099568367975706112,5784348070773701973,1175257097927415853,491087667783317745],
[12754541635885517650,8728197577526290459,6580123971087812593,363098115148886733]
),
AffinePoint::from_raw(
[9324704842965220206,1921149835436151357,18404521567729997617,18500925548201496],
[14758461328536761843,6382940713758179993,15537980573568046181,403470720885482244]
),
AffinePoint::from_raw(
[8410139171926127703,15138005758397497265,6996130701516873262,118286617634401729],
[3908577775860785408,2342174850112369068,16951385197432121312,301879408199090905]
),
AffinePoint::from_raw(
[5146315109750386335,16512339348383641492,15309576060734169905,171865812376290540],
[7726310094789584493,17888738265382410032,10326693219421249949,433183014250024940]
),
AffinePoint::from_raw(
[608266133832806109,10732610768438440867,17968907752008218527,128347999864637775],
[17746510316381238037,10465544580165809015,12997084459048247361,460211783725151335]
),
AffinePoint::from_raw(
[17637034854249134133,14360310049013559578,13298916788342868354,78965948630388439],
[15195444009994229179,9181479294759387995,16539866357540600700,107116791542573639]
),
AffinePoint::from_raw(
[7327742610529213439,7519651106634398958,13008529188299297359,46722010824258540],
[10270113481741913527,11618419971647423752,18292974883189369183,272184064499262813]
),
AffinePoint::from_raw(
[11337235756114502025,10070067015922579667,13334135381789173263,271928768682524730],
[7871799300160427603,4077654148972469286,6461822636028066194,279991720552313896]
),
AffinePoint::from_raw(
[17204834512549438076,12200087239129127466,15676872845268110306,565357372620089524],
[12933356262663247983,2025794114868476471,4406928406988788892,407842785438281120]
),
AffinePoint::from_raw(
[16212505299233986215,1354705789063414516,4029010827117434103,439906212205021194],
[13621021800508610090,17192399014452986198,15426491258222877930,134986355444732168]
),
AffinePoint::from_raw(
[10528567592007567128,2963629961181636255,452068475004894523,314647468572445308],
[5332263633795235719,1640363237469689273,9783350509518177017,375235249931675807]
),
AffinePoint::from_raw(
[9097737188639041375,16367354900788354237,6431569869206802701,371307530394855390],
[8118345678829424546,16098288314898307773,4309760079800578339,99115073051628816]
),
AffinePoint::from_raw(
[2214191815855976286,320182239643416628,8030046425096670563,407468268893584318],
[16866520989141253629,11543939790165241740,337049603875927689,499177621967489095]
),
AffinePoint::from_raw(
[6626445001227530343,498144529196326321,5424304953339166409,509525369687134673],
[15469329970966488166,5079518969602781215,12092317227747037601,162980698402862185]
),
AffinePoint::from_raw(
[9611069873040923475,10118911058026994372,12613983715100140892,8445001915427434],
[2385954170360960858,1528417501653041596,13479258672475879215,441236404987042606]
),
AffinePoint::from_raw(
[10254905260995913801,3537920058913848340,3537491342098481203,325760242943382844],
[1112055281076866017,10765997735319728351,17797149892723093548,282013178920415046]
),
AffinePoint::from_raw(
[8138941228810987092,9953577254308906784,9229024314914289994,446917740508233667],
[9561426654572729273,6637761510282016252,3582218862433133314,341300078225684921]
),
AffinePoint::from_raw(
[12484564907787620221,17519448125617670931,11718866813454078657,258210240555114968],
[11773110140572842511,13879642672300970778,7912957140520446205,393734202324402294]
),
AffinePoint::from_raw(
[129479733017836351,6913804273987251980,9077217583587182533,84766921805684044],
[10722418950366236044,12689051706846858050,2090573267068083305,276625625956295199]
),
AffinePoint::from_raw(
[11064329261131649826,15266322297160035905,8581744108943796086,535827007603360332],
[6908952272497379064,9191341132827063681,8774720175318779350,113097955006327178]
),
AffinePoint::from_raw(
[9647285037823642344,6333628674237472243,11981884397055672744,16998861322880763],
[13822822813090856604,2626419338162406090,10738850691515286207,253576839631081686]
),
AffinePoint::from_raw(
[18142234894042329725,10180285133761365096,481187797728254685,356863544788044655],
[8238933881720081924,1090778995100944644,3887814783356891886,85288284530408281]
),
AffinePoint::from_raw(
[12472489842146514922,240028759746538346,7067947086501373799,55798129844555855],
[457912678849558363,8822481992668889865,12513488493177586786,249054982838423865]
),
AffinePoint::from_raw(
[1955978915356484107,4158481232662849950,4364692786801485762,305238217097193010],
[4876533763535640680,12719042178910637065,6958382546633488681,31429591949997493]
),
AffinePoint::from_raw(
[16243527659441539560,12647327102851011471,1824818814609242149,185349280317303894],
[16244827448599649817,13573001029192407206,3188012282569726452,350856501039912919]
),
AffinePoint::from_raw(
[11668049480914434281,2212447893494437043,1363951075695686560,480612895077108292],
[11005825346184598952,1317305247026119628,890542678647937048,89999819764221333]
),
AffinePoint::from_raw(
[6404270370882055272,2642474160595650320,13438176306356656662,567009600025283743],
[11756889615782304106,12237095382220583336,15380395090878597286,567662228962644780]
),
AffinePoint::from_raw(
[6471578521636444783,4275567500113344822,362703405749475973,574562929475092843],
[5843434847109487762,6704206327350206892,2755453563774785631,174946930339257882]
),
AffinePoint::from_raw(
[758166610700185177,12624829285808329366,13126207741537998082,6462021038025245],
[3756016431943096746,8299072344430640168,3137783369564254673,74205779581556093]
),
AffinePoint::from_raw(
[16301881696499765569,13109505401285058813,11187073883597186611,20412766055506857],
[2093618248972164162,4721817983406142444,16488072924199246885,217861040359766938]
),
AffinePoint::from_raw(
[9388568159262653720,16765762348222664870,10489518806485454491,9794532580232173],
[3198575671011549922,7353411249219966177,15620156363239773636,461703567208733657]
),
AffinePoint::from_raw(
[12161479022080216427,16320937840146874207,2615361338549046164,123994799741480391],
[3189996508077863110,907964730680085478,8151043668740942818,411597629991178511]
),
AffinePoint::from_raw(
[337389580895342186,2165473025226342778,17109340856398497945,375603095868258873],
[4803075032684507288,9388593714295615009,6006041002425460768,402566677930059524]
),
AffinePoint::from_raw(
[4026445097637610883,2176798330592431208,7994604015746079002,104163357788268722],
[5186462222078562269,13540084384882278528,11288158135373433735,19805062926896312]
),
AffinePoint::from_raw(
[15266208678630263637,14472595077398579374,4861156961801321814,299365611446328315],
[16551085761355101492,12797368891217558728,3873124660329777956,150548984816114434]
),
AffinePoint::from_raw(
[5207924665164921898,9788297453088075313,15152550330040781241,258041035635868272],
[8426049180123412443,3814156684612275476,13203418690031909629,165673049101210806]
),
AffinePoint::from_raw(
[14186849982746246169,5651463265223096965,14922029217179686444,244352641723171543],
[13312115410798102526,16092116012365798806,14540125499848284692,293827241706251346]
),
AffinePoint::from_raw(
[10760416958443983665,5207929535759045497,5279720536145072455,73057802070487162],
[17665915074793396660,4808742834929060352,2631458347422303190,130463728220030702]
),
AffinePoint::from_raw(
[7901434680878192989,6076693545327730088,10953632235898198841,113618906727759010],
[2573306566530443253,3001278639547075252,12370839826862231111,231387162283638298]
),
AffinePoint::from_raw(
[6418873025085178803,3532062944271789661,14333230142360823267,185671040870246384],
[2717472469560609838,12008975508123119826,5780512012638050370,395816669168434669]
),
AffinePoint::from_raw(
[17022773250385218531,4969237897114812563,17814996289074239041,544152392105510583],
[163077059371679022,709859974860596423,15228420333970163476,61449546304198104]
),
AffinePoint::from_raw(
[49786541403700234,8968356055974867853,10153203760073908840,348960110995287952],
[17490786505172122470,17684578034961882708,2837221755729001964,383884919152473832]
),
AffinePoint::from_raw(
[15960119606806440817,1685208504580740054,15707970819994376946,116474899751807999],
[16845588516672607605,17263750672604065058,7071721842807301092,164292828299268879]
),
AffinePoint::from_raw(
[4208552685765307188,2572138467240425430,9646106803807453023,271572242946426270],
[18397423190683473112,13916805176872970692,6684059198582501262,120890958769874389]
),
AffinePoint::from_raw(
[16258493676289964556,7136815238323650649,12679989971965380442,404348152543540504],
[11623224955724008030,3549053593948488221,398459687925351353,205834782296340894]
),
AffinePoint::from_raw(
[13284930363780432039,5828814353349670151,12398033299629306367,390426757333222157],
[6014270039531366847,4539546065944047109,11404638198548155029,145324017587769050]
),
AffinePoint::from_raw(
[10635411680447437714,17446854605924498556,14819084516200136308,51204450549661709],
[9106676495099315191,6416527149532080005,3795682970728327026,211667320604550748]
),
AffinePoint::from_raw(
[15337930409359076661,8125640661070623031,7260517469445177510,135620032622763222],
[11534467311861533083,5222935499736547193,16280624159451431293,60791866090047609]
),
AffinePoint::from_raw(
[14761464206678602050,14125074198529621587,16289255673601096473,188340063270166192],
[15803982231219441126,1652413030043730065,13249025283622978501,122143215539362704]
),
AffinePoint::from_raw(
[15336728151019042962,14573954078461853125,14831856678386518660,386361355480357000],
[11131988178362686942,13020409606014192992,9678693952631142075,9562797564379540]
),
AffinePoint::from_raw(
[4573162626170716886,9246201503239845297,14879073639373481420,392031166280793760],
[9329904540914547202,2852356443642541641,10601930452321586802,243081443217393627]
),
AffinePoint::from_raw(
[17991794069759413421,10775652438198741244,4245395125068599915,108167330629878247],
[3286847238345569653,2807885528135970923,15644495009640120935,449672516568900008]
),
AffinePoint::from_raw(
[7985333206875139153,15663955378061768377,3722640955006446202,62212438475900664],
[3181910754330619935,9302830121328775240,15317204915447472605,401462814079693052]
),
AffinePoint::from_raw(
[16246751475257729185,13169226079839694706,11898969358183201952,61934883043170011],
[13086695390585479965,11772444690201965561,6275659603439350793,311858954782292546]
),
AffinePoint::from_raw(
[6224284705864334483,1537980917990132855,5054574894555567970,289041254300435723],
[2118118839918636449,15026841974616017780,14085028677881254491,466019927504301044]
),
AffinePoint::from_raw(
[4376809698794320932,18415154518062978165,6268633809424271213,247840164348082322],
[1206519637576086397,5469002843839495964,16901170497731993587,411371058160980883]
),
AffinePoint::from_raw(
[1570004705771628787,5912549151144990792,15730523169046711427,6414818200128243],
[3909833493043612967,9401663863681193871,18042704903714793637,452533665686762594]
),
AffinePoint::from_raw(
[3109061047479993389,5843441540558577615,7889926470200916478,318495312420110076],
[3661182406348056162,4292539250590637320,5840802889050302276,305776142784280168]
),
AffinePoint::from_raw(
[16310661743283585669,5940913548816878391,6542256315107085895,438166361156646499],
[16951878891607534623,6762134265706785578,8674004669388376738,537432767319989524]
),
AffinePoint::from_raw(
[15824441673288345825,5296942513960293458,13898162323553182481,73315396102614240],
[2517495751484207668,14942982643831842035,11966343485293487453,363648880920511982]
),
AffinePoint::from_raw(
[14521864682963371856,13316718445016718393,9595119931619816133,273925031314460718],
[18239797036470394985,1417390166229046021,17644278871822447231,195379324278461453]
),
AffinePoint::from_raw(
[3316720970196042781,12344652864701738973,6017960833467210866,421574935249279298],
[9652799231666101740,16187465689527502597,14765400666624475146,176930590592347687]
),
AffinePoint::from_raw(
[1501632504062108174,13357499876721114447,6921792924726066019,561541462974032110],
[7365981725039927619,5602533342182185471,13094666024090290506,154249898850399216]
),
AffinePoint::from_raw(
[15532306981925155834,9400236077934672397,1816582472411908220,548802217142976735],
[3786950136464193052,14920211829583904745,12668478386473620383,430068308909917444]
),
AffinePoint::from_raw(
[2759910768568248970,880260885338959986,1564241890400650687,324233196914906381],
[5797332352523796439,17305944416125641657,4191907493483531552,222594048664908971]
),
AffinePoint::from_raw(
[9333621545194011254,18135551473769409139,8965587770039093597,112864827453778719],
[3835094174430813022,16912651187103067820,18171531668886991693,88499338943908346]
),
AffinePoint::from_raw(
[2295912442250542961,6000195324130434163,15194122240389350779,329309212379001177],
[14842664547192492687,2684336520848085639,5661332433264285769,281987730823633096]
),
AffinePoint::from_raw(
[13585725257664034687,3742671022432359698,15404068954413342908,36554231713309060],
[5874353784151076481,10552198181615748995,9182683055289390331,210755061756239987]
),
AffinePoint::from_raw(
[15966885330608119293,478238000271180314,18216370535153346791,310896193530442518],
[17337713663629164128,9792681068211283511,13922476103259995877,419579454572518742]
),
AffinePoint::from_raw(
[11835009842458183913,14145088317539027239,13621650296394507095,433191750547030037],
[13090324032774368402,11952168626160563481,10462371816911852310,471639505821656874]
),
AffinePoint::from_raw(
[4986656280507993033,15689762256210154116,1838343874391344973,369338507914735493],
[7612974361528079991,12342321212618559438,15086163100400294776,247139548676878977]
),
AffinePoint::from_raw(
[14064554302115900824,5019755771670652046,5260829156301600279,444673494365850015],
[1691172982440341042,17226580241034720140,8025433894889480681,505772231798118085]
),
AffinePoint::from_raw(
[11763096121572235085,13229237604637213046,9581555206703488958,176460066159517892],
[16931328455068338636,13344457154278217309,15994237356693463891,339218779643412385]
),
AffinePoint::from_raw(
[16526521433705149615,11873283794584728855,590829137389944025,304038068281222051],
[11176839763924436719,2381987414660455180,15778794430420347426,397151260914040974]
),
AffinePoint::from_raw(
[5001670017769364393,1072275836919276978,17543706158877245682,429249916573289612],
[8641005479788628949,12715190757296533982,3212949468829959823,166900524955916991]
),
AffinePoint::from_raw(
[13817800003054195722,5550151077154519790,17416695527040940351,547457669456530082],
[7016797986166260192,10533096050815510144,1769261487993993506,38735627813085605]
),
AffinePoint::from_raw(
[4325550667716266292,9442876210393901728,3336032657763113350,384607004523023055],
[1621381625169137602,4311079242720145168,1945448270825968081,43363998021287043]
),
AffinePoint::from_raw(
[8161797880260674402,7794474652050218698,2674004438810981564,532181374579714492],
[2146000256375058937,10177478720170256757,2945562770286705635,410334322797888308]
),
AffinePoint::from_raw(
[248151258559054196,2463331639800629503,1137485701683907267,317117049339407561],
[7137781457942069194,4074417002908920637,8466979341403934478,346304929685422082]
),
AffinePoint::from_raw(
[2297766419731301966,12117947997165834862,1579032691183644255,59433963248779579],
[10595870606372943111,15959773932011932266,11030511074086326424,343790006733522224]
),
AffinePoint::from_raw(
[11077701809145414872,2235393920255645123,3016430806836677748,478764851880274791],
[5705399681243562823,2227658140455739084,6861644593851301605,344457646671479460]
),
AffinePoint::from_raw(
[13875104173116885382,4931400931582218789,15740075769197373932,61573896380573497],
[16641340379271008774,16278907081273812151,2513745182156882920,123690801406351016]
),
AffinePoint::from_raw(
[16101600440133986366,8737250918101116845,14464766979814230865,498540623389331676],
[5234363256152054836,8901645475848380644,10384346744355156750,370766872967126025]
),
AffinePoint::from_raw(
[13853614279088644569,7721628856616308385,17829587575263690875,328853847947636041],
[11488650432884490782,2960425979629385577,18063181693698324089,40068244035926024]
),
AffinePoint::from_raw(
[9065355865427303078,14029073478196016854,4007613741961935436,245815114357181417],
[8348381448497262990,6411348437763007756,17378273960444644089,13328187185607316]
),
AffinePoint::from_raw(
[1937265027958768175,10242516554900575171,5748366492767960100,323405470353792928],
[18350808054131400507,11642490846978357909,16577768472511129689,503476036867075482]
),
AffinePoint::from_raw(
[221683723067320405,15794601658718375809,8933889924022101747,279415105515097822],
[6852057932180086473,6441702637885667281,6600465532830532285,475980064967411804]
),
AffinePoint::from_raw(
[3170187982070892521,11664604551565887640,14370022453705953968,369628523244712674],
[10641379570528048170,12494812704791344172,13707796733567826429,158429604940865672]
),
AffinePoint::from_raw(
[18384407278651335665,17981755295101393673,7292405183152883447,93896625781699023],
[1963561463008333635,11102222590239720274,16711200517581324180,178148527957961978]
),
AffinePoint::from_raw(
[15929880539026033358,11733344377335932710,1821182318278710077,124935141212050821],
[1064748363464039074,11408913304711766916,16758055590568112427,2793105929677977]
),
AffinePoint::from_raw(
[11754304942101574095,8040345964710052708,6375143804468631004,295442570366957359],
[252585509745319558,3741189272784120065,8594879946085771276,294831860690624965]
),
AffinePoint::from_raw(
[11451628412511340741,5338631110525959435,15749545392939659149,465101644688450485],
[18255240202914382941,7621538212122230230,15887790794521339406,532950741608247632]
),
AffinePoint::from_raw(
[3357806125190414174,11793382281388942148,15207436335647047484,470020293461485687],
[12164432837909546787,4812114569034931455,10526309392190347848,110676575460329469]
),
AffinePoint::from_raw(
[4087852050008507202,12395085376653520383,17096581076923833398,416702278577081914],
[2649256759266867648,8612853210638370893,13089956308576485719,468780912543543645]
),
AffinePoint::from_raw(
[3106106129978796148,15759181047413457575,4667444366782669442,271582843160839189],
[3559059443018821027,17915368778707331899,9976169099188605789,324826654746481513]
),
AffinePoint::from_raw(
[17688458235425464337,14378712469668259204,16557156577508293427,124790292531285577],
[4234823545847835660,11765610674592994829,14392053438032677460,148539887236734168]
),
AffinePoint::from_raw(
[11073531761552290391,15338513205042293065,14799739508976776827,386863916280635498],
[2584808761643343580,16364637833786564988,17875604103771983619,364104863256604879]
),
AffinePoint::from_raw(
[616540039478794077,7668580694764378463,5170648077638384354,51686394983224649],
[15255553280145277875,3325415441824570156,6442038715538301232,18244053286035137]
),
AffinePoint::from_raw(
[3422053903575692860,15345312910317496537,913264376813213902,94674367821709270],
[10832312744857032382,936868363246387316,8887705383300836588,214018166339315847]
),
AffinePoint::from_raw(
[5558686670228227331,14420962402027864191,7173031991792074894,361998827857360180],
[2352631422482793604,3491482358625172620,4879551718817541934,357597190713958836]
),
AffinePoint::from_raw(
[12104702228646095918,1984140655885467805,4249083376937211711,138326234693334803],
[15991633507096292255,12858316671381912158,10174277419374628573,480116970673240768]
),
AffinePoint::from_raw(
[12480839993807133343,922639150840759225,10655153103560566640,118357922589140792],
[10163323661866111740,7059169480930407850,1470437329722126386,241048340120308559]
),
AffinePoint::from_raw(
[8302368530548502275,12886212381095255761,16232379076059384364,300942063324125352],
[6872163354602772819,1751253144555881394,18165793455625541249,498424956716835354]
),
AffinePoint::from_raw(
[14983883454354327854,1761281589309624181,16924160425336438545,343343635952956819],
[10965247684170680845,8475159933796471294,17441263857505427770,267492537119147547]
),
AffinePoint::from_raw(
[11218059747905140372,14110867885260830695,2629858633673857114,245056048443620503],
[7359897709832725032,15758100345274629754,6878239067290118580,359628746402140591]
),
AffinePoint::from_raw(
[6685585952058448425,8955004849713518786,10761650138469368196,39885801542143770],
[3469077270692192669,8376990681757758366,4947339233208731566,318727060947435198]
),
AffinePoint::from_raw(
[83048337520368448,7097752787347090501,17425428446712650511,1495360740532796],
[12306539441575135275,9911677887812102467,5656799256202417223,556576367072504832]
),
AffinePoint::from_raw(
[7578916147865493379,4867341640298918245,1833446114484836736,200146695126711097],
[10596863053156898053,7776849409701839235,16618428015992979848,553553772626354644]
),
AffinePoint::from_raw(
[1112235023923916347,3071512851799581434,7291677272322109836,485202141834455616],
[1352354937974348017,17586803035016291283,16355942185483142020,161453620607696408]
),
AffinePoint::from_raw(
[2227764666352042306,6182701097356138763,10564432713948184208,134554431264976259],
[12771702130633931682,2084816293641936588,14283811677024920874,108626176394570263]
),
AffinePoint::from_raw(
[13591597331259345764,14486033054458440177,1473982921882722590,111099258243733658],
[272293246703318774,13096988658597088576,8603764622995636174,207799294353311335]
),
AffinePoint::from_raw(
[5040001329765497219,5994315356136436433,4158162354715587088,89588424579093245],
[12887649923177300294,5598966041076599697,3512071113650379418,356523213304238286]
),
AffinePoint::from_raw(
[7412772119951885349,9401934092717502118,5416198872860929619,221863194415764231],
[10372479550903593081,8678860522070736800,2856165879180285503,128115723282183716]
),
AffinePoint::from_raw(
[17342951872502517612,6528758989684443088,1041035189718740475,371420704596931922],
[14104064894008709939,14736654566315039332,4983978325067717448,412684449374084489]
),
AffinePoint::from_raw(
[2761212037069956924,3037010383275747987,4953574311237640042,395360844113885219],
[17469403446546079446,7871546479554386002,13580904250058007250,178832093414403121]
),
AffinePoint::from_raw(
[9389015225932473765,1063379051277613381,9997789558333745435,330726130708089091],
[11484162319040045147,4758180761294143006,1523429981509031777,136221310437828379]
),
AffinePoint::from_raw(
[8621575959398159373,18192657557906630318,1057647258172166446,545277080399259178],
[11133865356714610147,13703907165451330476,14438695401109232764,574270953194369237]
),
AffinePoint::from_raw(
[13015355878419353649,15818228893134792004,5631884108984324357,10489994217264014],
[11614418348692204883,11281628806694471894,15779557008341876283,248321091309523426]
),
AffinePoint::from_raw(
[124381379083467899,15606287907433030877,10005018788192965526,306895894068254924],
[6883394991867893391,14112997349500205334,16077019354023537500,466540375120537907]
),
AffinePoint::from_raw(
[15219788478442176120,14517142385595800406,6981571531811616725,150872616100097273],
[14371188413297056879,15019831401582327264,5793894075833159262,77298962875544358]
),
AffinePoint::from_raw(
[15862150266336994670,3347273536269997361,16482627444269708546,21891503236735209],
[2678358880786544384,994151505810095752,576711737888849022,81051260881872895]
),
AffinePoint::from_raw(
[17333241256726445990,15096687712446453136,17335469098158797630,508754945703449737],
[10402911762860173338,5302072036682239078,13073492503177042384,478541143875792142]
),
AffinePoint::from_raw(
[17086718269785074977,9347319182079810339,10298893112040492244,256794531589179638],
[11760787139884047791,14923741786309960166,17954666462377795806,158166918867651894]
),
AffinePoint::from_raw(
[10419379832452632779,1186250469981816488,4269404531673775831,233937663900566887],
[13353886062400442207,5595790283166395572,3975734763659943595,69945010986403791]
),
AffinePoint::from_raw(
[16512150841244287622,13988449376584831346,2942574460643643069,517823076342215675],
[818892554598728162,10839523697944144241,5558313027274716350,140630618654572483]
),
AffinePoint::from_raw(
[16388611372969301097,8395728805516895037,4685992719851317888,556903437872448750],
[10533426432768430899,6681264345241645774,4181951111044145047,97060047180064647]
),
AffinePoint::from_raw(
[290596801246495254,10716768713863097823,5121654786945337157,97031934239013222],
[8960171728069088443,13002655957513358115,2902601592025711270,358154176274211047]
),
AffinePoint::from_raw(
[11497454468617601539,2499230681600007180,9565177794843007496,44567865593802662],
[10181100397785912813,18282005011902179502,15323436024970690273,392874709646957662]
),
AffinePoint::from_raw(
[12220116730514691969,16841006521262193880,7235580341282195868,474519099985410901],
[4961933636123318114,4430244986599543060,17845834216788990296,191392868186756900]
),
AffinePoint::from_raw(
[10310035810307907375,2072170649299108871,7681190186118441682,23119149104083854],
[12052566810677248692,3484994536545693182,8074158881827207208,274433629510159910]
),
AffinePoint::from_raw(
[17548171192992354127,5366124136122240938,18195402518339218912,272995891801403722],
[2483647493286182866,8534979239832952695,3450407872293664267,336999238805105344]
),
AffinePoint::from_raw(
[8514258668610615989,9681742875208071564,13833511541635765304,25092047902880435],
[4708970769518833242,9432691609940332057,17342884008422864707,196320760655270951]
),
AffinePoint::from_raw(
[10022060491048259613,14156646902539130179,8687547348532945855,53479816841742655],
[16115038108936045542,11551908224451146208,2316449723091308786,513605533577181538]
),
AffinePoint::from_raw(
[4749699339055676254,6846670299308314307,16910824467437600914,487190747420507788],
[3661108665329142252,3093345310093138427,6460955732962954708,114558507208085153]
),
AffinePoint::from_raw(
[11682320110193491089,6112823071363282940,2721592469585259728,3326022648139015],
[185571695726609415,88810398547573143,3525224847225509074,368967158845513546]
),
AffinePoint::from_raw(
[5493004618441313682,9714441544057876967,13648440511298740387,338990858607656548],
[14247812649566416560,9744370994381103361,13909300257139156950,220393768921092334]
),
AffinePoint::from_raw(
[7907428608731733268,6372446608866759292,874583567757267141,59853880910226789],
[3726578656852572660,15970374569590452028,4930773602231303567,105209836542637431]
),
AffinePoint::from_raw(
[13023835926990087421,8852834498817171675,16420562725087813305,344909025093550658],
[18098382076782512547,13073437228947079112,489499034079656687,23176809176235082]
),
AffinePoint::from_raw(
[12919786522558808335,7778801733596367688,5014404531949667862,395579740924222134],
[6301128890939174647,12735799899393512702,10412640452032235318,501016260185552425]
),
AffinePoint::from_raw(
[17281280965017731654,12410813839669559887,5834105657237119645,353299915547548068],
[16552741879817384236,6748837300743442627,12335591742415591785,282124020327620546]
),
AffinePoint::from_raw(
[5078935601881698074,5471313625743567744,14136204864229954397,304665773341081675],
[11645056539673637708,394368823741415172,16598806345985242114,478638126377824245]
),
AffinePoint::from_raw(
[863688345705040093,10421478140121056636,5366164704503353895,434020717898148749],
[16144753310644805696,7059904007339928013,17453331083335339185,572973925421874052]
),
AffinePoint::from_raw(
[14535180503973719630,12668705191098686789,14726935972423494419,244580061029562225],
[13419221896648446012,17906919356144334618,10983911343142970307,576100298203550761]
),
AffinePoint::from_raw(
[18132104180790947285,6534806994439362664,2668551877413790110,1058391305741615],
[12547930322393454224,4971872175961585486,14317657487800722956,413208175820071004]
),
AffinePoint::from_raw(
[9637868834919416967,11618819659782844437,9319398481237431602,31340008056128245],
[13087708267817198454,14410014690293066383,15833068330092498300,494119879861664067]
),
AffinePoint::from_raw(
[2186590397012380647,7784873594011732977,4919071657083807632,291781107823758003],
[2266046348860644163,15422745369561422573,6950351801184906538,558386762338939268]
),
AffinePoint::from_raw(
[3149676569357119712,4667605086694292371,16190147172910873145,282221888807158725],
[2776985075183110028,7767911794206645851,13740849517393753063,497163006807680203]
),
AffinePoint::from_raw(
[11875564543429828139,5771949833149777228,3250071209116714100,554872098280405724],
[10516321136639329622,17378757391511113653,1339788432875255451,256509859231614326]
),
AffinePoint::from_raw(
[5172300469818180381,14715309389171637772,3124207982033299948,28959087733285816],
[14522867269908927293,369272583655337545,1822533875459102251,235608459113385804]
),
AffinePoint::from_raw(
[16342807173646947684,2991454053176251125,8225420082189019012,392394918541118588],
[4513833863802252997,458843264431031880,9427050802047345569,29106272928320619]
),
AffinePoint::from_raw(
[10868189228577450058,13964296923216968339,9803971275066626283,71457293514274178],
[2947138265336822708,11864147147128935539,11009241510537060072,535822383636538240]
),
AffinePoint::from_raw(
[9541156623063766552,4735971088896662153,5293750062390985613,168185699635835462],
[5106305362542124551,279481413048552702,8750121686984788518,208300150151755335]
),
AffinePoint::from_raw(
[15966869674425485876,9387014807079633189,16081511615825881190,463530778011042095],
[7804394861732088909,12049927459746826502,6855124430979920417,258256339808665868]
),
AffinePoint::from_raw(
[9804081084241375616,9227757178296364359,6290179510570662198,139806629521726219],
[226292642014305729,7500028486144751086,1773063451188826431,88666023107114931]
),
AffinePoint::from_raw(
[11580737606343920024,13139270148881460376,10275589065045525377,213894925466744087],
[12209868130092199693,7949490478767257679,328594987536968721,36615939033581865]
),
AffinePoint::from_raw(
[18273892397724613393,14755966642572757083,16698200611151639749,433910026200049940],
[9269370614883475383,4941084134518307726,11757612280060973643,130956455912963295]
),
AffinePoint::from_raw(
[8824440519402110325,2453664019899349357,16008290970640419027,69247465034852362],
[16037003820882361279,12454939351348830013,8444456564163413198,69472336972204673]
),
AffinePoint::from_raw(
[1544527660446100692,11861981818177524063,7465081022906779331,562396212461470533],
[5065565009418052284,16930618247651549992,1152731989916258675,568514112346313818]
),
AffinePoint::from_raw(
[16372568060268196190,3782126308878145640,16138329093606327179,9672305698400963],
[13167397146603336411,4592589342808759832,8663257194775270757,103786020849576936]
),
AffinePoint::from_raw(
[2842938089658721080,1695782690594049840,5670648840745343615,176526570020701301],
[3430201362090833975,7033341941691569326,1841309109246260992,358189227441478535]
),
AffinePoint::from_raw(
[11628389427788648520,3398142416708265542,5433956890269184495,45019960664840634],
[14962095731647959221,1210981420850618380,12524883315104434856,474925394680094176]
),
AffinePoint::from_raw(
[13801905588434754331,68354677377191728,1034657168986126491,90919769839876782],
[10954616614219257874,3218830820270030261,11885667969559058836,522346962754510378]
),
AffinePoint::from_raw(
[9444631524186901000,4192205398188511162,14005676774426698506,448676883166871444],
[12927688152901974149,6349730454203968283,2940379417351966471,129911435013951003]
),
AffinePoint::from_raw(
[12264688351725891056,8468807965654098334,1432069691586583937,559214373173434302],
[2865739699725234520,4240576722125856605,11045261546035608992,193502226269642197]
),
AffinePoint::from_raw(
[4468208429797297566,7440987099984046778,6704685003389063565,410084520266782813],
[15441989850638488159,7914749203062473507,8671767488905308065,558226482738657181]
),
AffinePoint::from_raw(
[3083099937822823456,13081196446013018464,4520476616128493681,92020666614871115],
[13434783351377587027,4708155747799448387,5416473417361085549,469447360122534006]
),
AffinePoint::from_raw(
[6638447455075976570,254723072414777291,3192109403605919777,356445908669919552],
[4731472178353839002,4434206854605628699,15137664848593633551,293815376476788663]
),
AffinePoint::from_raw(
[9725480963505344813,11039555891630876970,13465736590097784553,70322454228375959],
[2859874180236217270,10792097328348953195,11751473171208365344,386472940345096410]
),
AffinePoint::from_raw(
[7765757530603146400,10394937313651138230,5229627268316156529,455156776670722734],
[1292697525655311636,14176272965715232834,3674317360333451037,364566914604804651]
),
AffinePoint::from_raw(
[8051840837245511431,2335506042545809655,6950465291252558725,117123182469487351],
[17057450016385124983,4317906058746800593,12043655386685114898,111092058036984951]
),
AffinePoint::from_raw(
[4584293109985338587,7069436869794803801,667659225815435256,70340737645407080],
[12608759526252953830,13431400601460776765,12559880354219134566,575312808415231584]
),
AffinePoint::from_raw(
[3432875421104168416,13885533937008635243,1693077734062464958,13022571103491173],
[2095094918194209063,17401019685845992039,5477268369263708323,496171653270697050]
),
AffinePoint::from_raw(
[14563579965153242204,7819678335423231900,17479901544926116427,193191252196101290],
[13683614938279330773,7043617274777239375,14757078553037762264,276727694133329818]
),
AffinePoint::from_raw(
[6590864688309901341,13941640195006851410,2457736558789681441,495225865120032644],
[14677593647829983494,8958029472108429494,3484669336166111204,375261795733690659]
),
AffinePoint::from_raw(
[4369141859586588921,7943793285637198804,14563931936870884150,548888206482687921],
[18399510887419273657,10649821784783529454,10929863990939816028,218333105243343878]
),
AffinePoint::from_raw(
[16066119798209109419,12472849896848315827,7003565461599869429,13411880447398586],
[18240561761011646770,1670534266428942868,248723379724266407,409877512525619878]
),
AffinePoint::from_raw(
[17805800481960582212,15064970406699809366,7606307787473625241,364424582355904252],
[8737465909761795247,17002147983208364470,16475830368492314626,365560904077966336]
),
AffinePoint::from_raw(
[14170709653422303848,2109291074142428650,1092035828698834603,211842499879393050],
[3121022417962634810,1548927652501708720,1457668903386686384,11287530532117977]
),
AffinePoint::from_raw(
[13754645076784280290,13558485065860097758,15098258295276861123,45355124598016289],
[1707219810612133651,12982617255628838690,3245550706349201608,368073272033777440]
),
AffinePoint::from_raw(
[16881866645439615101,5883714149988682352,7122705102982668754,148145192309399658],
[7882316460341024131,16371466759576130483,16530948189432289891,89865414524370064]
),
AffinePoint::from_raw(
[479830782847059211,14546990897371517798,16578555218010319588,305413985015895370],
[15812255514187654592,3180535233106028340,3279817110201352106,398128247552936776]
),
AffinePoint::from_raw(
[4845205322715899734,6593381857182240329,12168220016626903928,365503596028020094],
[9636392097670041465,2220202792113388026,5999298472511001796,212066198260145051]
),
AffinePoint::from_raw(
[16796988111703641971,17216452955221912069,12953948193248884038,42196243933093145],
[12433077662934800235,8212208064464425608,4528718792462708523,122601154242347896]
),
AffinePoint::from_raw(
[9487532041539940433,598583334340846071,3679087326981219444,367383674415775313],
[4519395641395374798,7323775545682204841,4856856372157290387,238782923700423013]
),
AffinePoint::from_raw(
[2419353465135754459,17022700070827539372,17218647660246519510,34731152392440603],
[9853404215056542353,9046429273594542516,3627188793127235226,101594460989584812]
),
AffinePoint::from_raw(
[7974433877460702381,13985715972768894428,11687000754342348049,263585466225061404],
[5560767331033839321,3214111174583057678,11544720643185001471,268332347113351963]
),
AffinePoint::from_raw(
[116266245023467696,6668286330075577625,9296193140927504678,462792472628129586],
[7125227775914414798,17037037048321899606,7918309005841013863,268009458784817919]
),
AffinePoint::from_raw(
[1044042625819092751,15232272533212890680,3025214377446801629,253667996967277596],
[7104056760428243920,16667924646252133955,12084682980453026169,129489150567792822]
),
AffinePoint::from_raw(
[4540899342009968908,13586132747539663831,15535520573315791024,518955956180841711],
[12669179516381423835,7723389003536722340,10095002396907410972,253505035467484311]
),
AffinePoint::from_raw(
[2930150583624760480,3731356858628631038,15924233388825787778,137460940492232675],
[17206201008823003401,13835532217272504021,11364833100435633785,534121268180591344]
),
AffinePoint::from_raw(
[14099646455988381596,5458758835042862176,18187793728905797674,307760292277954673],
[15458928210063433999,8728947262684003833,3652417947506145073,412408808585593065]
),
AffinePoint::from_raw(
[522870280285073589,185983738805524495,13193401503575817148,84657634250767414],
[17234133200063722859,11959631528269752796,132173116197086458,44738516613010332]
),
AffinePoint::from_raw(
[8416210274786952627,12549276309901895364,1642192160706544912,476804498044421780],
[12362648987073820019,15487930722986473438,9113371225787439663,494328563120933087]
),
AffinePoint::from_raw(
[368238617521023682,11736851640695220576,4298330781616835398,26909421742470535],
[10756004410765605855,10302943495213261838,17803482568687891531,186297694984337279]
),
AffinePoint::from_raw(
[6739451641836446277,6108696822377395269,6085872398187498464,76847913186793215],
[12506126510537868949,13754302444691151701,7787705300658614305,485021130126620803]
),
AffinePoint::from_raw(
[12303415945421940124,6989454490547897690,3880727856508277882,175438981345712453],
[15340023374066265441,8448259896736137405,10708288390725077710,355992649940313161]
),
AffinePoint::from_raw(
[14861258541589505982,9836630199614050842,9234529408175905073,547472147788464650],
[9306199049199835023,5612411684779493678,3436888572196451707,195268342063654529]
),
AffinePoint::from_raw(
[16006728633102394975,12267877346473032620,14991544643665691692,242256336247077886],
[17630605408176464082,17208835975699986443,8823849594396971730,351895693795641035]
),
AffinePoint::from_raw(
[13885339765639011241,16719784448975749666,18222279078360247769,339628221550524524],
[3800766201387412242,14995823788535406480,11550022711867698941,919643833098813]
),
AffinePoint::from_raw(
[5050644613109723186,8808656936234892366,3247800062886775555,49053388255329634],
[3883421687782077316,1938323849246706328,13227987476058698098,92021986854068208]
),
AffinePoint::from_raw(
[11615378365821562064,16670452244885653602,7527963652929302980,447888878804669362],
[10480136734275001029,4991132299081183629,17826204567758251670,143178080742488948]
),
AffinePoint::from_raw(
[5646878913429369130,3043693712499629282,17927732399448866587,79403123563695159],
[6991959900353966643,13312711059936497841,1066913125561017542,377070805939942328]
),
AffinePoint::from_raw(
[10608573858655862092,4705774182851268343,1118588678184194080,273484056813345551],
[12150975923648701594,14464071621139593675,15038883268171911739,7418889103801572]
),
AffinePoint::from_raw(
[331371966591934686,9297936803260800744,12875591896112865499,454581231501167211],
[16698938011829721190,17832459965872538152,18254750513068090307,351266164188849363]
),
AffinePoint::from_raw(
[16152911253179068548,12263124749008335304,428021340624849451,190383739778930954],
[8644325463118221746,10830400612176652252,5046686890600666909,458625669204250359]
),
AffinePoint::from_raw(
[1154904709734253444,12781111967448416679,5179050784791847543,234234883968958697],
[6100201862528194977,5345933482617559862,5929215321817039223,256596123172778469]
),
AffinePoint::from_raw(
[8407362278514888857,3149538156103926946,9404466592521348216,473166582938160870],
[2301486782971886850,13286915078113712171,3899369496898713979,504720531117569328]
),
AffinePoint::from_raw(
[9843202722446663511,5006323206618252663,16277885858361248558,48431242163134946],
[3900212018089029452,3956934969859144837,16779183752280686066,179614399450989085]
),
AffinePoint::from_raw(
[10527012257104260150,13757714531394823487,5262979084338306889,556747207268611199],
[12370064035636185273,7693384964965767781,15910266589599238693,2479326802801344]
),
AffinePoint::from_raw(
[9741824191891831753,15242681537247172449,4583966316121018101,168192964367223620],
[15186979337692298615,2446667605283911122,6427797624874704504,120268513605598646]
),
AffinePoint::from_raw(
[970517628853420362,8397893151774873927,10345024037612006090,96515820912602484],
[4621100364085082757,14305403396956579964,14874376970897642504,128231868408479191]
),
AffinePoint::from_raw(
[3829820578548742664,6973647494074018891,17707682896417861590,346100349943650983],
[14680641938040330324,8844560009391620875,955884633553854560,464578545986450478]
),
AffinePoint::from_raw(
[11277106145577367037,14382046787531595457,10380174524078073352,24423800650397909],
[17352302452519592715,15406458464832207563,16877394725825960320,389103256888531147]
),
AffinePoint::from_raw(
[13810406328279508564,11189363959974632326,7400358575690457130,175121543281407795],
[8366149100671166581,2858106733715891790,8855324463593826731,461750076068564575]
),
AffinePoint::from_raw(
[15376324318765558646,10705137108776396727,13910136116605753443,109597582215400975],
[9522500888644731358,17518567360103277319,18228665542886918578,122842642056582230]
),
AffinePoint::from_raw(
[9927756177807941276,6516022578752641669,3031482187482994080,134573649159114365],
[6845957957008772838,13528096134749353499,9784621179277274696,305496748269921825]
),
AffinePoint::from_raw(
[15746247735638280530,7261193857508272677,14555227694958663524,116197437559317225],
[12540657002747875849,3749488419142681519,17052316071553075060,166743468543320459]
),
AffinePoint::from_raw(
[1494919605712218281,15408000307569014250,6848515159062472840,16881333106414345],
[13886854720296477799,3518842078778363051,429544948086883289,458103241382345382]
),
AffinePoint::from_raw(
[4954451408151859724,1042062220433175524,398878074883952122,397224375358055830],
[13330489309691845427,16982712770169273976,13368490092732069867,562728514823413963]
),
AffinePoint::from_raw(
[10078763873609044790,9414739027273713272,13928483077768007119,393935901873442299],
[11800078279213427379,18175099242966652324,8342666789303341716,196051447277771927]
),
AffinePoint::from_raw(
[11810762549910548024,5370924027454926447,293273602077519951,397219153859331786],
[9254809527774130395,10116600322597982655,10111754503312008261,280260400911853712]
),
AffinePoint::from_raw(
[10859900395114428310,990611832942103938,12803194698380503690,136707064240472029],
[14470997714063119097,12773007190450248543,7714862187037582371,304514037561594550]
),
AffinePoint::from_raw(
[11224769713969698649,16245030051692096807,15384957823966663019,187203987887878104],
[4269871456376255079,8249677901448480060,4153050724469143992,311548270859403187]
),
AffinePoint::from_raw(
[6356931418550516397,11837121840831107537,2269232913320424771,554020696530327104],
[4638739989114449518,8326761208314392371,2920626475800499161,377311186664646120]
),
AffinePoint::from_raw(
[4206592252796550185,854334726841773239,4035043991354857925,364056359737357082],
[2344348591628787791,8914437357929370854,14290367052528423278,389689127474111334]
),
AffinePoint::from_raw(
[17276641727650237407,15376659645119682400,8425517473468537084,157498624371977971],
[14779787240410352683,11415262125402289896,7727914771448719298,321251225545011234]
),
AffinePoint::from_raw(
[5156500968683488511,10041179890374691804,14686115696819649719,95787496686532979],
[11965842939173850791,10164696562340474755,443053775751998791,397463648012616198]
),
AffinePoint::from_raw(
[453605740655471700,7373508032509913820,12322212712712085217,403859928230208333],
[7778765190146372673,5885996580756555738,17747813781743902379,457629484282253335]
),
AffinePoint::from_raw(
[17785960629762840014,18156117954970633104,6065937229823627696,266377916128732913],
[17715795991536204894,13890307902204785108,5599044595670118590,361761890219339435]
),
AffinePoint::from_raw(
[4165282835834662833,1735593898665203896,7358104126913156671,493077767800716377],
[612290071195447483,8575501121114647889,9182693114474307778,351749751138395619]
),
AffinePoint::from_raw(
[4831712598353749946,7643239571788585,13799443126724142606,470342446563015489],
[2437624169826805553,12698154110013842759,12366054714916771807,444875415776735152]
),
AffinePoint::from_raw(
[4104375806856434029,2490800909310779786,6361221031771392476,157936033926340550],
[231119251679761085,13299437897116589255,7438015360237614557,344105838144591191]
),
AffinePoint::from_raw(
[15407279186945828035,6242057359903160206,390670923860679243,312300922690942086],
[10121475455455197551,6349146566279672157,1702195366872714191,210478515872506277]
),
AffinePoint::from_raw(
[3843431055341954705,498851138113784788,16037654940385586316,575536576985580221],
[8833923117483885531,7727577907175733485,15172646942711732436,59340782265278438]
),
AffinePoint::from_raw(
[18021009377719241751,4266592615163453793,15507865583325421366,225103588102459368],
[8748725734930999094,2651453292595894041,17211832046546165645,541644509912826886]
),
AffinePoint::from_raw(
[507845824316289576,1118634463111704686,9201560687503002672,292682741313612108],
[10269301052662689677,3192451293441011005,3828511498490625833,367626980561790056]
),
AffinePoint::from_raw(
[15883682709704932297,3068639040554640969,7389687734250365688,456745650526975161],
[5363047296427308050,4484000563065825564,354261485816117485,536440811826384933]
),
AffinePoint::from_raw(
[9864961804036989152,7240140176647504879,5477462910755502057,75091806922257716],
[15676873591575399896,3234671714910449913,14031053039763196462,43274105333753494]
),
AffinePoint::from_raw(
[7859520350890246431,2146227697608833383,8565694095955577048,533063007553851056],
[2169738243329231916,13915488688420972012,12418406692939920973,302989286289748983]
),
AffinePoint::from_raw(
[3724560611896259071,11034589098870651403,934166328061101239,19307383175741470],
[17579463908789264546,13593979336550554056,15081830617125372277,35445010301314408]
),
AffinePoint::from_raw(
[12746962373866400755,8321207889610831463,7739862650069965316,213882649233585018],
[8080499027830790746,10827763274893055051,4151270127479037486,39345022063272021]
),
AffinePoint::from_raw(
[9092756128463315894,3202633324028788959,4574037064517169698,433776815068877973],
[8791088084148885613,4072870445912354229,738297204054527418,249385543933854428]
),
AffinePoint::from_raw(
[10885975677385316968,11486449831089580815,11512921680620204665,91993752360604555],
[6342018633902317102,13055672640016762640,6052837943340864564,148202905378147580]
),
AffinePoint::from_raw(
[2587736483583931732,7534994812342684245,3016750637123439732,525463702367271708],
[7453539374720096609,17254726616500935437,18306422486369665688,265729891505859392]
),
AffinePoint::from_raw(
[12956695380664023889,1158655462846530485,6735634818035901264,89197428578997030],
[2073887571614593870,5307324835392546201,3972161620556905173,519025710249248575]
),
AffinePoint::from_raw(
[5426087826063409017,16617688918379649366,16424808453936895850,231639919011772284],
[11175275400180719848,7982587775055674848,10323589278438962002,473683970563093941]
),
AffinePoint::from_raw(
[4000678714578878567,15678396399133147310,10976083844046941779,295504922006114704],
[8757646920875723940,6481673322545688772,8295502535814962836,570109716944124452]
),
AffinePoint::from_raw(
[801247716175058643,16779792696291668598,4182129865031749031,433950152970983136],
[15153816073933549139,6272768516207987993,16847779088445549664,402936521379622691]
),
AffinePoint::from_raw(
[9873767564935491952,17501663072613093695,10778648107171755757,237002681761615225],
[17843844165507220607,4632565635161679645,12511493083575982334,519455887505986413]
),
AffinePoint::from_raw(
[6897064029858056143,13883369153023026508,16787142666077497949,367890976005880050],
[790596537117672546,13501531572617761332,7639035378062494552,419873561088671353]
),
AffinePoint::from_raw(
[8717839821542854048,4524191842669277182,9394182543962934873,393269216924030713],
[13045753921955844579,1205250057088294504,12021886838457117899,135883795055308722]
),
AffinePoint::from_raw(
[11833321198884956467,10478542556530907757,4335950017329836968,494369894205563287],
[9739930885375368682,13328555955826930610,7630789448743757381,178884893656086265]
),
AffinePoint::from_raw(
[475907136600339388,5220402313188041889,2624502046281223777,235208818880474365],
[16377391694684641508,2797403797400782185,9702841796609665982,467925469062421006]
),
AffinePoint::from_raw(
[3599231128821197221,1129516337504543469,14580358834008353132,299826904856286649],
[10047951601948269250,7185349513482314238,12929231738945876674,495849031547163566]
),
AffinePoint::from_raw(
[16525278327285334203,8404442452155179216,13057311114678622851,435909237896209370],
[110946964650909128,7406990742212037016,13695083690950482891,198883836625143731]
),
AffinePoint::from_raw(
[284760339194155380,12598169028225770035,9214849967658160407,138762729511619410],
[15648968647508711983,1699882453766823305,12039819188309317123,220794696969171084]
),
AffinePoint::from_raw(
[12776240080660397347,8836460134108734756,10482029559034967785,399470428564292522],
[12330776480813246689,4591170501653317883,700903697412075632,31388303162963597]
),
AffinePoint::from_raw(
[7900504848453151639,11796105555179406473,6548201230573243746,242298324059613165],
[9846970411378564019,10915981541635901999,14227850808990518893,163765217149659188]
),
AffinePoint::from_raw(
[7204519442417683578,15751927664744262919,10062709611088095679,321260128347341390],
[14655454017368607606,6037735936871649469,11510801057376974457,521176465419443837]
),
AffinePoint::from_raw(
[12371137676904374952,18018067400199871542,7684446909138832196,165595660070613425],
[1445336803678272013,4043757254978556452,10926440132065071274,481082617162420027]
),
AffinePoint::from_raw(
[18075668705314550759,13180057121122600565,15114443704536170758,161524308845390418],
[2022654480296233984,16785450008807011775,5090463155881790985,13288591426786229]
),
AffinePoint::from_raw(
[7298621621102447433,344975995787473656,12163034146798871653,317858159705426878],
[17891604794075825873,42566093320819632,10552567989765555748,261062826470006363]
),
AffinePoint::from_raw(
[7074255445416923448,17911035531805066154,13645493239765064327,26670959400775212],
[9080199902646611880,536462976442660091,1599263608083402599,57333183479044854]
),
AffinePoint::from_raw(
[643068243574395020,10390112996190998390,12926201919220516139,365399023069191051],
[11402817233845580035,14346673584460974650,14925368825932457097,219637935400332898]
),
AffinePoint::from_raw(
[14745899519497503826,13380477105820298524,16813645667386201360,75943751283247551],
[7585277000078989158,782931891609451611,5682443674241399762,5456862732522583]
),
AffinePoint::from_raw(
[891009817364138361,1531800453873429666,1252529357746363132,115907607627830779],
[5251479835092354206,12377533186312410223,8632168825627384855,401329430540357825]
),
AffinePoint::from_raw(
[10624764818563807286,9449863665347766436,13045259388778085730,233614888543533688],
[7448024953572961015,16820962492419532474,17130761808115738308,209346915749434102]
),
AffinePoint::from_raw(
[17725095670096031198,17895749594617450407,10317664596712766983,113469353318243674],
[10761315331355556778,12677455252687186869,15247956712184530062,218273889901652364]
),
AffinePoint::from_raw(
[13385387597762457507,9370502026138602178,12025699564509669468,289901920783506941],
[14230783142122761982,12239243051048419976,1458662907350134951,564756089976430078]
),
AffinePoint::from_raw(
[2809410144453802689,1260073164496514439,18254085735969140299,280647120442626267],
[13972402354294122788,17399640548150837494,12331629642929169898,405587095442613971]
),
AffinePoint::from_raw(
[8512548630511506932,13273620773907991449,11477925034305800510,536092258794719968],
[14315293137965549184,9932226394984982005,8758710038125774090,69543045344810763]
),
AffinePoint::from_raw(
[6593719217952131836,1685812532732776392,67897199624469885,130756362704513101],
[3186874213468970286,4106250442649518558,11034118463235708749,271361528871650042]
),
AffinePoint::from_raw(
[11410460024977839924,12634884507945796005,10436860590455686397,471795460319606565],
[2703398770675698314,8127300897526905180,1192307481780329481,392070692190049787]
),
AffinePoint::from_raw(
[15097081155282767312,4559147678765770969,9673510617761627574,359069816882324900],
[10019213719381239192,16811140785929731372,14114739762778200723,281512121940637531]
),
AffinePoint::from_raw(
[13087289970125745311,16839228020286181140,7471306025209552995,440255589470720966],
[6582075697064012918,12411322796171061714,13366562235161072754,283654905627096576]
),
AffinePoint::from_raw(
[8099844122086596043,4346450266181245866,6649295606235522445,81921798904471171],
[10404768220233896885,1891947279791745207,2715142179794938512,415635893417947171]
),
AffinePoint::from_raw(
[12310519941592448031,9698809620811605557,18300785090323020306,455182277135476416],
[10154128493451960704,3694109143856198391,254257353660079656,219452252283569011]
),
AffinePoint::from_raw(
[13323817637665557985,4808216114098249570,2349570983806611447,168331463623477544],
[7806011926611907195,8430590285239107731,715212580166621773,470016639946897772]
),
AffinePoint::from_raw(
[7521812620724374380,8960833463697888395,18314400082006005043,155915120479041915],
[4974598978420330552,11485878558030425164,11268781665940767890,200656926990957169]
),
AffinePoint::from_raw(
[704948586481945634,2423354036059468494,8559322141682548452,224948182781555307],
[13848298597562937089,13390569953058438950,10254169266208557155,573814300175147024]
),
AffinePoint::from_raw(
[11573592333498287066,11594401024697714776,16192623884035028820,74937459013487408],
[4091875118893834611,2522278065266277627,11245785488009795360,399696368867655810]
),
AffinePoint::from_raw(
[7842267061925889619,14546135658629421442,9729954597877736113,335821311797008379],
[3583717857547442038,340780134620841144,5527899106957734586,455659619963690194]
),
AffinePoint::from_raw(
[17585632280777129226,201924571768367614,18417627978496886907,404609761534379968],
[17867920030990965878,18134554756397207952,12065825809417989700,515753487945527376]
),
AffinePoint::from_raw(
[9153097915326316131,210204107522776876,4817737846454798216,480656601025371947],
[3772744862980716245,1588908078106449474,3902587219737454424,216814731754997135]
),
AffinePoint::from_raw(
[13395763666599485044,8361296042375809291,3833314308087675932,236771668580431863],
[17967372671701659780,9424243594920767456,3996708181785809077,455444696004753358]
),
AffinePoint::from_raw(
[1710810526983816768,16092979074300179134,9597524839944710916,324717812981562162],
[84151537933885562,16687384933214356990,6747350480458937947,207168157337348697]
),
AffinePoint::from_raw(
[10526383553180865878,3417398375644253524,13944417970261470850,71805549551602923],
[13345215080698135880,5221671964156067749,9432522161645370679,397240945361102019]
),
AffinePoint::from_raw(
[510222679856417083,10019710470358385391,1235937226336739489,98356868364614915],
[3775596063198070801,744434634813253008,10496978303341427897,488986181407728240]
),
AffinePoint::from_raw(
[18259234502604475232,13362061338091727833,78420839162344467,137956274791734662],
[8666735013767339455,1005093600146773824,3004741192553339958,575903320309955684]
),
AffinePoint::from_raw(
[8445374567150925223,14600545299285857488,7047083081836361692,63914460672130498],
[4996334806177450524,975254287669442693,17540483433806778134,366819825082258996]
),
AffinePoint::from_raw(
[14832487118055897706,16511681977918221006,18343429964971813275,99839834824596603],
[10380981520464228891,12083740415805811852,4472481498138267706,514660336424567865]
),
AffinePoint::from_raw(
[15145314530020666283,11737590344656639851,919806492232700942,428299581974891980],
[440300132503316341,15943382372060793070,1072767348032141543,155365849126007628]
),
AffinePoint::from_raw(
[3973418119316697445,6929222200752563813,1102172740163610402,297852044320407750],
[10457919312931264232,12689735469721976270,15789259589346843279,516937339309009755]
),
AffinePoint::from_raw(
[13492690025732757410,1468249471184140257,11035796368896927053,139294738412949881],
[15331312012859921816,8436408528701950335,8519594039102693704,74191982726884171]
),
AffinePoint::from_raw(
[1777196216892159626,14212559533735407545,6298876448730792407,189647437643948575],
[4761393080230411229,4823675796657009440,11490835635408964677,489498003548952016]
),
AffinePoint::from_raw(
[9682836662177856966,1651739970209978883,3914773572441543350,208084075283161737],
[4604845188033878287,2418091432970153977,326942567465720876,150324136108502628]
),
AffinePoint::from_raw(
[5258894183311605698,13086917111133060461,11561011876162664303,120085526149146498],
[1855760918582326327,14486701678934460562,10561200028566137216,489265625154359341]
),
AffinePoint::from_raw(
[10232444541692118411,12819854626345744276,10345501323002648454,508542803545218670],
[15729007717025275143,16948960407752178089,9400048725890200099,141424648035275599]
),
AffinePoint::from_raw(
[7499957326198246844,16933304729407372080,7599756596438789259,204965383646996047],
[8956257696251969692,4772942659183959687,8468609507522766973,355717116429874341]
),
AffinePoint::from_raw(
[2055309137359244491,8798151366274270178,17932270440444120255,220516196710710409],
[6552490239699727585,10661824170832456111,5491955484905086663,129196785501788637]
),
AffinePoint::from_raw(
[7500207072052631065,7877795211784641877,18015595970915344667,489716171592631851],
[8208514465656704431,11880783333854532844,10342252637080708391,302534351558202041]
),
AffinePoint::from_raw(
[13337294542947595645,6846219475264436573,3501022998988296278,384623188550624232],
[6802865364581112677,8517754291063374532,3472487942581463851,569375376432199148]
),
AffinePoint::from_raw(
[8397898754533171063,16585317384092140656,17451355223028452474,424650078693704498],
[9147488870069997410,12768759854949373310,10508773080839310002,301194339728913389]
),
AffinePoint::from_raw(
[9863516266654726478,1163130401475719764,15247532919191566410,174823021044385976],
[2907927192647471072,1406613283025592462,17653709827098725908,83053790093925913]
),
AffinePoint::from_raw(
[10680622895656574063,9440030741997326637,5331689074570744716,515561151722301103],
[13281066653451951442,9471404575719800248,18040190651284058197,414981286557371043]
),
AffinePoint::from_raw(
[14737558069990670581,4448552613108549793,7566490632040346388,390257748694112291],
[7726105655801500892,6739460297377638030,10078148613487072134,242858811953224352]
),
AffinePoint::from_raw(
[3548792743475128565,12990134853021917164,2429969639709119541,191912998868259842],
[13207658880952813595,5875728334598660315,16550480784952555883,111911273974336975]
),
AffinePoint::from_raw(
[2151297891997564905,2382142879967142606,912354672084044957,174302299667454749],
[5748760781210774053,10310613831017683440,16511660914484945758,312914332245443869]
),
AffinePoint::from_raw(
[16539470413148671174,15934862278382857843,15328534602405595609,116558102909283534],
[14422853327756434188,8313513668985987273,8054930438601068554,295071914886709200]
),
AffinePoint::from_raw(
[4700007300700926663,13115018423403244299,16200149056160599850,427870204591795454],
[710169916911025493,15780742194984607104,11625467482989115151,37370272000942140]
),
AffinePoint::from_raw(
[14315437375746619883,9712895755108289338,14120257368832839977,36991966181711402],
[12549806801300445203,7154088383209368937,16320353584982067668,131395816311060920]
),
AffinePoint::from_raw(
[11129965545422881011,6182935457914980239,10799690555402971414,256155765977319196],
[10895373857606815573,8471763352200683446,14427370326527850248,484966547375529377]
),
AffinePoint::from_raw(
[15028905992766766089,14032884747833881229,1943209948112650451,129784229356268294],
[8228846963695934761,7233588796803243809,16019705962458048296,100492233563896573]
),
AffinePoint::from_raw(
[2448223430586759705,16122001237987170260,1014228476229343646,256484057598595038],
[17542289422085334384,14613326529146705556,17675679971283172400,159250741807480883]
),
AffinePoint::from_raw(
[9380404922543665902,14120435631665750304,17872991824469343474,255610356574491958],
[2473020256677228922,17226157556373721488,630798224361496145,512620197277910847]
),
AffinePoint::from_raw(
[10143420279208710624,13863657028581608569,8469696275322133776,269460610290748951],
[4201427544054653740,15436039066396320496,3580126881883606539,273656649493743598]
),
AffinePoint::from_raw(
[13287792550881208865,14370170733407486102,17066100793904214300,393363186110761344],
[10737378644782271702,13374977913921441393,2217228908682643767,518579697955112290]
),
AffinePoint::from_raw(
[11750755579460023969,1180377306330481256,16105431800376343363,398850506179372673],
[6877553683261514448,4342958978314977424,3242517875437726491,276281128874402652]
),
AffinePoint::from_raw(
[2866014466055009439,14538932993256763562,2790807962856594609,462003835794514143],
[3015902248726155903,7580333518092336057,979425238717671829,281148743428385860]
),
AffinePoint::from_raw(
[2398080285607699295,980696683541286943,15172467504039419702,72149958925004065],
[11158547637057542053,10747032297546092333,6630941079531252420,228795958773865201]
),
AffinePoint::from_raw(
[10621501559794408054,13742111282332586450,9481654706945127784,478581869661683484],
[8811032828608375333,4347456493104233273,16661389281577011704,130263454593690014]
),
AffinePoint::from_raw(
[10892636025393680640,1889933614388070287,8989803577183573126,527276367435824492],
[14837373673238389483,8037198445940459634,7319591552300625690,167400988105490327]
),
AffinePoint::from_raw(
[11719727457155736885,4007709495083823932,16647826263234300480,106364706012637640],
[3633467269532908350,2817485374649588155,1608457776737257358,531288785102292898]
),
AffinePoint::from_raw(
[18111262262249155524,12221442491984542636,6384034641281016798,48779200959401908],
[12114720973113953925,18317598397825136794,11745426369058012620,232443390783605176]
),
AffinePoint::from_raw(
[2757723654755203053,9698613465228909225,8601872115708839051,460946350433913112],
[10911483350724853512,12777285412190278584,15139559044337611059,217820446269191528]
),
AffinePoint::from_raw(
[5192588088159259140,4378014272298217256,6014630281965165426,369370260452532805],
[1797764842568094196,16472490378141462816,9711727787093627672,124270071606870378]
),
AffinePoint::from_raw(
[5753493801341461945,12517421908756253034,3631616954285137613,153338293313568073],
[4222249143185468305,5593607323891941128,2346635026597345638,89031254677650951]
),
AffinePoint::from_raw(
[10705800876528687218,16136008102388423237,15657942935626809756,249648990517574277],
[5616439786465248978,2052453637863427256,13789231437063445860,85166244738624155]
),
AffinePoint::from_raw(
[12113237003371721801,14054893024237422041,116862148894933411,43358167233179552],
[1260001480063530677,9238565545433365192,16139656967564175387,74856495880791959]
),
AffinePoint::from_raw(
[17365879696632555924,15781465673653007739,17275564652924167599,320627272528593369],
[7006940383038972861,13347464101028609192,18184573861735036454,328064152086880264]
),
AffinePoint::from_raw(
[3617714444139000983,9904480676360974271,218903509623356938,409026733345114319],
[4689146083991911200,14863452758664096757,2385345862385102980,261260614820528370]
),
AffinePoint::from_raw(
[16645443397937284344,16671063032505456193,15275686859976619939,514055555961469551],
[13015577952839800201,15773027357741842481,2618042612019946916,386086431247008587]
),
AffinePoint::from_raw(
[17518359891912665125,4276388436828094197,4529507159714227516,230404953612270554],
[10554236197085030561,9127635730666920181,16388493247761613034,229015701826057255]
),
AffinePoint::from_raw(
[8608868256141258541,9138018341216952027,8935579651948863736,178050984033301111],
[3944684456535180651,6086867145763777873,11884304770993150827,116560453706304832]
),
AffinePoint::from_raw(
[17277459311197696836,9519845991095573787,11437401433276014165,328048097278343184],
[14663839616782923168,10271331575980274696,17261783584565919499,134313892189654095]
),
AffinePoint::from_raw(
[603629679151405910,17669608326046355820,5101229595965340813,398343513913226311],
[13159973126941276392,12453848811404974553,4854462655492590585,52697409230941753]
),
AffinePoint::from_raw(
[1425351441887891197,244324910364820920,9177949887320948708,252031170145507086],
[3604883341385608784,15656087876384439943,907708279657731360,289291954388702857]
),
AffinePoint::from_raw(
[5700744939787727518,16479269379556468924,11389710470661645680,214816024919092621],
[7026592787297276429,518380673053778167,2959050540519054947,156195261824019798]
),
AffinePoint::from_raw(
[10620480413926898974,16371247060348956009,12504940633405421545,305819701565599699],
[8102446388957154123,17391695212257127757,15312921270449464372,436073795478973172]
),
AffinePoint::from_raw(
[11977897235057574632,16161724698661247742,6216304053721837756,193247954148193577],
[17599009507856704980,5723891702834495750,11813551992123979832,499885593769876723]
),
AffinePoint::from_raw(
[14912310249767219175,6535107618844458894,15063524337244695618,492120843155480293],
[16977380070289894190,17134860960604982740,17387449432935257506,454913882761615146]
),
AffinePoint::from_raw(
[9077444194539012749,3336311441583816764,8081686639626752372,449175142271154596],
[10847503710460247072,15136674694856627965,13636467535249011870,347062847556593982]
),
AffinePoint::from_raw(
[3965458734920741586,4624752535956113395,8048690949332163740,320362785031343070],
[10064820175083910803,13539558088066742981,5298416549225338371,386342073325054878]
),
AffinePoint::from_raw(
[14026240906293306499,18106272175429019230,3450453169208351538,71379456564179088],
[4755406550096375283,17539374664537887647,4658185218715151434,38611577291103962]
),
AffinePoint::from_raw(
[1520730663266495573,8928508856356486490,3409639538589510868,273851640668197407],
[5844061031641312797,4693161604683500002,2631811736742148982,27229359392453511]
),
AffinePoint::from_raw(
[17532357449511505603,14699364748005435333,17219576105927758696,217929794188256822],
[9026228144164435822,10607977535507459893,6615706638172253973,339083596816410204]
),
AffinePoint::from_raw(
[7075208270839905825,8446656941794157097,3890201208021480369,148328284046505209],
[11896806358473305609,9816036776489122551,13660170822613395804,17110444532842108]
),
AffinePoint::from_raw(
[965704553083433109,15396382663416173416,10380659461695164596,265097844381033133],
[14789047522882312200,3893260462333824501,8251370861552285153,158070785999177261]
),
AffinePoint::from_raw(
[1883944234163055194,1825659904015840499,3853708427289704390,245127263369232363],
[16088043577887981596,12595782442044343331,13850733632554209603,416378488253266563]
),
AffinePoint::from_raw(
[6018722038812030153,14588467610649400736,11891478996403415184,564632065390048474],
[1928849079542767776,15920601527197067956,9091841760449150500,128831566402455081]
),
AffinePoint::from_raw(
[8210556522768093902,3369609218676903558,403329177735818113,133313400547302623],
[8540263349500083003,5301485916093085888,3724678612411014857,294181940152535689]
),
AffinePoint::from_raw(
[14295208238483792055,853100980965647413,5696286457564780224,437327615187965099],
[5650178014376544836,1902286288931601575,1286441983785538759,8856220412752306]
),
AffinePoint::from_raw(
[1044338852706696595,10409329761348230681,5090850295908267137,99630081776844521],
[1103886798280266326,7339447696900725908,516355860324860535,130067660653317318]
),
AffinePoint::from_raw(
[7942814747070604078,12469057376126913891,14458210338635134330,116469340366690173],
[7591108894470016224,11901310288039155863,12756034683553114538,159946359309484904]
),
AffinePoint::from_raw(
[3408740448221518611,264077132175459506,3235255415293268021,370659522622921432],
[6522788787183970795,17183908281660254674,587546011812502441,206035502923933929]
),
AffinePoint::from_raw(
[5748367619430891164,18015001187160330663,15483282096207411322,253151151447772561],
[7231242741551764613,6231343050711534307,16425582147939306131,488156933546003144]
),
AffinePoint::from_raw(
[15895663070714184250,15921732376284763487,5762623985005498515,249470771632214351],
[3145049009852750077,4252439969064501640,11161296258803648421,397449835411315243]
),
AffinePoint::from_raw(
[1261972660393655257,11510394518347954680,5563026475506484523,319349349187329826],
[5910695909589295483,3475158362071158743,12913650054640799887,159195664045910399]
),
AffinePoint::from_raw(
[4222400651630642575,10967921430673293141,10181080271980473221,486452087310186433],
[8146218316378102163,14886040889261468053,10643202695223259726,425769268789255899]
),
AffinePoint::from_raw(
[11256127755063932706,11024601398075243428,18073817543619690442,349327518138519610],
[9039041490214222185,6750296824512537588,4498403826909567093,337311404168227609]
),
AffinePoint::from_raw(
[4574914576575042613,3091954383842157692,10666133975891482100,382280208175141682],
[12389076666288333434,4999271510141224154,3614115502458883104,218852289307776305]
),
AffinePoint::from_raw(
[1946503448670506855,8790162117258242297,17803260240666045406,189373894475757612],
[1574186647947386709,11793085628823322585,3651753033188571670,486059671766241843]
),
AffinePoint::from_raw(
[16496296830499015372,473194676118328887,15223696713320270631,190122468241672215],
[10499059197150349128,13973618745547138411,10549633491526724371,34445023120790704]
),
AffinePoint::from_raw(
[14539442639754035347,7942021990125516194,9932301147433238394,109545976538512787],
[14306327795474101091,12906801782691119466,12067257369697007985,116366818029151821]
),
AffinePoint::from_raw(
[2526074393981571479,15497440179092634285,8410500965151300151,195179435480539765],
[17014766440785890901,913959916352215461,3245931415245815553,534700164062712720]
),
AffinePoint::from_raw(
[7410327695042757342,22697610555229594,5689150865790700445,453760589153872752],
[17191124157684188666,12152128193958142104,1114306646863579192,336738908815313087]
),
AffinePoint::from_raw(
[9391920750269348935,10396295401894533308,2764881520887571000,57876149566631308],
[18169981172371953337,4781453815496194720,4461097432667627234,51267107324814978]
),
AffinePoint::from_raw(
[8474534143757339090,10308454470427377784,18339999884131048631,394694699240557162],
[3126822067771088623,16972478804049822409,7439508765302762132,485895157536354469]
),
AffinePoint::from_raw(
[5768147876021013855,12092363701879971797,10198758759922493754,160759342141531827],
[5031976999583502172,12148385691496338002,17610127418780548165,454953595568405197]
),
AffinePoint::from_raw(
[840952528920781759,3686030569260269950,15451123830535368857,31000408885488237],
[14433118077031634809,10331709864569909241,13961109218943209875,207911461605498754]
),
AffinePoint::from_raw(
[12150395328312262659,4595514163155758882,16769644936164603819,81368788505994354],
[5450203713819317687,9569997620882405582,7839052591100128821,126428023466924575]
),
AffinePoint::from_raw(
[17779081232944315908,11622442818913355560,6167039803574204249,232948292973121042],
[15555361710262306242,3178231590545356441,13284876833319760183,346667684548113642]
),
AffinePoint::from_raw(
[4484125527935727506,5453023471478063664,15521138213403072572,429618971250933534],
[2639599157327128522,13800677295677499296,12945392235564578706,429717071023554411]
),
AffinePoint::from_raw(
[9739089795001727635,15476917703980443864,3886269394581929781,350583132885942132],
[1417169376888756459,580774863111655830,15724500096779186575,570407986465822545]
),
AffinePoint::from_raw(
[11646879167761283953,4571022143458685004,18313319875979736133,204211348270420012],
[5443036091052367144,6455454513800298835,1010058500739874451,2243467344208015]
),
AffinePoint::from_raw(
[8840475608428074091,16428234195516867322,4850804559350184997,359556243150298271],
[10826215352618200471,8777396475647882783,6269531594850890856,200772935525401918]
),
AffinePoint::from_raw(
[17965446746691911745,13791067474389593445,7101495821842255882,483427310935884904],
[10308713387587458267,11089589850957710717,11266523106368327853,140206272142466536]
),
AffinePoint::from_raw(
[16151155169924862756,7655251505074654615,16767256023934369686,523594768669154981],
[8001952639060925897,8925824650698202777,8107391398106676926,490741249338063235]
),
AffinePoint::from_raw(
[1618016116529832549,7818535907644114066,4923737580475831513,373296997060562614],
[12891733626783359738,17592971903469732841,11442776515215205522,278852872144870556]
),
AffinePoint::from_raw(
[8401357034245993078,9016309914179535239,7005644207529210057,210339134067145552],
[7726294730288410706,3290008895602093724,2082846070255810931,517240098297848346]
),
AffinePoint::from_raw(
[10630351079033911712,1626117852303638129,13161370021934709177,281403723289877763],
[2529071517495032862,6124172780643190093,59976401865838691,14562997884985813]
),
AffinePoint::from_raw(
[14312877188333353607,7636565332287430030,14627832829110796669,27774779097823711],
[8053805050689929567,8810329933577033442,10064271779061214668,506697547434648457]
),
AffinePoint::from_raw(
[3736203055272843550,11673667694940901744,17191261896203020987,481401976940823932],
[4638736177841112554,3789167937871670380,17656413615251698846,203369856792900820]
),
AffinePoint::from_raw(
[5959488478329820197,17326559828777363031,1159513350817638347,348356188941800536],
[15234056540637114189,10344900741749362729,17652105566727734381,246311335077524030]
),
AffinePoint::from_raw(
[18284239525679604036,14529703414110167359,16297145331238231744,404919611471190731],
[10307825598667012735,1092201960141804918,4713172464670752800,352134483517491568]
),
AffinePoint::from_raw(
[407097655996696532,17825012006759503168,12641692856739713771,263917423292397151],
[8172388741696905333,15429529656909836448,9568274575000769123,39229685138922552]
),
AffinePoint::from_raw(
[17427332803539296993,6832088838550925623,3690800757126242845,274831088074068701],
[14010893756890688912,12286733378935085666,7717204821014404172,94601630907980160]
),
AffinePoint::from_raw(
[11447868386182478567,16419521067385801727,4289045021307507262,357193533065813451],
[4873506195663309852,1453692061888464168,2175640963344758054,195057887817927391]
),
AffinePoint::from_raw(
[2094199281261271001,5058570038420401997,15559433923105522190,257594937252919832],
[1430835688552492475,11631470507980105367,8593078652479529873,13976925969277228]
),
AffinePoint::from_raw(
[7721320692456427692,10174351886017785442,10628501120230577911,310824514144885050],
[3018033710295146187,11499569650029732381,6591622924144259863,259980418220038569]
),
AffinePoint::from_raw(
[13734295952193095092,1415372244212634100,4384137443287985701,454983702403740666],
[10533233820259402426,9629402835828453831,8154287340904315470,534055107297734179]
),
AffinePoint::from_raw(
[17896536537576917098,11930669223796051395,5958318750798600295,181972144961170250],
[11293258105750141010,9377411765951723005,12747479915032348061,319179216565795208]
),
AffinePoint::from_raw(
[1710643911722939700,14877110548366985493,5360638580735981626,426506643725904975],
[17793338275620686685,552480728050797418,7136141386537039173,259085314882287166]
),
AffinePoint::from_raw(
[9453936239743147739,14463803338916855590,10091724289245575177,94431230830244874],
[4572872915282114383,16983754859725739941,7381405871687748545,135604269335709532]
),
AffinePoint::from_raw(
[8587586709411873336,7753688553521871542,6692567284966823628,238274668053912167],
[15835417345811004001,4057030831857060670,1960887553523466677,461378649622505174]
),
AffinePoint::from_raw(
[4504828497653231580,4956910854969039898,742674420973364116,413894080380236287],
[4141664259346905537,5066551024278857673,5717717364715189605,217726770803075048]
),
AffinePoint::from_raw(
[4332095818213875369,4982338608514429533,11561813257876490943,17680448479513317],
[2870776751218597691,135544161188653311,17174087357452956414,542082181464852516]
),
AffinePoint::from_raw(
[6270689879745667167,10704754201189439674,7977593593860264149,38968111720153226],
[1020549820855013503,8457905218128094663,7917126634954105226,132288639245788998]
),
AffinePoint::from_raw(
[7341462866260187998,2069835658204074136,15785024864226154513,198461411431309992],
[2592767123978040977,16468535077767684290,2465362429148721558,352719418875631210]
),
AffinePoint::from_raw(
[11486264699692701854,3265822796446002073,8269508146398303075,360812845949463334],
[11170520384318118387,5588990258703983849,18080328967439207441,4883201710071045]
),
AffinePoint::from_raw(
[13741200204166721264,14680139918664646257,13073977733567702193,48774419754185737],
[9248194297815214452,16460939439640270736,16869296746014159802,260994733184776700]
),
AffinePoint::from_raw(
[16998210217287705500,1444863056555265155,10682251806020509222,54017584120951499],
[13938819509783960259,11669573667804892962,10899108184839957909,351417516824897665]
),
AffinePoint::from_raw(
[17016901515216892072,12021868907784859479,16256663796299963672,133067924568744801],
[15158872912698769685,14517749536181801063,738267913999998378,265066347483814364]
),
AffinePoint::from_raw(
[9635423370035091193,1962898825644068099,43608287808452287,470846613459590727],
[6250735840947419169,12290267524988666466,8412351465976199364,119603787831080041]
),
AffinePoint::from_raw(
[13400089040255921675,6211155833593964566,5062319234242862418,189345169741915198],
[533581092117504866,4088764904311160921,12103542862561278135,304341618052058899]
),
AffinePoint::from_raw(
[12308405114886385661,10161427282031525161,17705132779404224866,384989789933274465],
[15747043538824850768,14721701722564544897,13791908787850730593,89938135606088249]
),
AffinePoint::from_raw(
[12544731441382358793,13933428898106841693,13580556933268923693,284445312724902365],
[14354325116340289824,7181041878358153815,7144902222312236179,162391832109737306]
),
AffinePoint::from_raw(
[1180938727365528104,12271244493916760376,14476949533332812137,364398342469013075],
[14349838327248411332,12149131426011429771,17174696691789429444,127256588867812059]
),
AffinePoint::from_raw(
[15825911096826747835,9278983983476209062,315710332323134429,19858445762679212],
[4319053339395912577,10609949202016627590,12771324387554852502,60634017791639825]
),
AffinePoint::from_raw(
[4629377936295045041,1307748191184204057,5399308205211091535,93354811591289963],
[3570075148625785116,3272962100291337635,5632686282699701895,177496288719482830]
),
AffinePoint::from_raw(
[15645610735632017419,13951186649673949365,15727191979300490153,284274703919538346],
[1353335742154958387,3747296397346792377,18181993116118142213,101070469304365888]
),
AffinePoint::from_raw(
[2596449471374795621,2094125446523917062,17874724621557246129,138007353082497499],
[15993792996255515876,15358247836853948456,17327019727762016473,258075180650247242]
),
AffinePoint::from_raw(
[15507326013478866300,16829017422175648910,15632843662540316001,506007505591778446],
[8180884928422191748,11746490641545692185,4407359774308817846,387907229669477876]
),
AffinePoint::from_raw(
[18067830600143547448,8355043112349587098,14627031425670282471,424177260538711608],
[7704549686571346455,3796970524157026030,13039961585331824801,4765670935457457]
),
AffinePoint::from_raw(
[18218075229134648281,731163516598278264,12408786734012977716,471339580440654123],
[11396944416602729778,7941684001755575522,11900024657790657999,79242475357602372]
),
AffinePoint::from_raw(
[10298885817075942937,4001214628011751471,804640090885422037,178651303084168811],
[1779520486617569094,11690525570698271135,16256734114028880257,543189833634714573]
),
AffinePoint::from_raw(
[9683206890329853339,9263211446232784287,10163797667010542644,429326455819557071],
[9811607149403697783,9949549801778494072,17592638304409857993,110771461404527055]
),
AffinePoint::from_raw(
[17550246092170059607,17440888985216746765,10578123696652223101,117240752870465343],
[10670937530760400837,6597836274425115307,583950939623792285,176820738847030938]
),
AffinePoint::from_raw(
[18032560454831769456,16466069861699352326,10408903453211137957,31904563422862707],
[15966411705833447400,12592936420149806005,7375863409347070710,85200869214428896]
),
AffinePoint::from_raw(
[6366708879193301903,9239974299619528465,12376424724610932075,131924842488072940],
[4821273899051149973,8283530267423370747,11582519862947685852,35388428182019928]
),
AffinePoint::from_raw(
[12393417460919197163,16990019651442003520,7362181268422938439,502731617112654433],
[1041598699540303395,6297165746543877429,7170247396677772428,189985640139153389]
),
AffinePoint::from_raw(
[3193758711557926863,11853892748499593846,1287916061046964395,193304953649649098],
[6833686821763236783,15165215950624327504,17601632891355974208,9062189538837280]
),
AffinePoint::from_raw(
[18182209282129432174,4177821442615747653,11633032433477718080,114015266156831901],
[7428126329644426903,424899423718557359,9242043952105840330,334875977253026225]
),
AffinePoint::from_raw(
[17041879466708444056,17574335423304629625,13921842001806260865,191338516961949394],
[11758940517062245634,5263554125527250547,5505173818510283192,42880864207087169]
),
AffinePoint::from_raw(
[3181424706304309985,18345426305074717292,9332431162683570417,549366999073972127],
[9661018898593734815,12009110137430851114,8101282808297074039,337388455161202787]
),
AffinePoint::from_raw(
[9590638777586109222,5334314987815634712,13061033581222945142,491394670431636921],
[15871189693918770725,9671942313616614506,10221753975809777220,452580864567370641]
),
AffinePoint::from_raw(
[15593686797802603640,11950483228434145046,1636258482863764378,21036422120183272],
[8037072144078675782,2587977262113950201,7622818810322243439,39865791459417514]
),
AffinePoint::from_raw(
[11525369476001735253,7412209971162908205,367181216646274373,89969033529084231],
[4060972035669939645,17429443960957986645,15021016170009332121,6898527564997704]
),
AffinePoint::from_raw(
[1659040545505403196,4917562630549096601,10955446365999245073,85895220568523355],
[8002361059882623037,6199744285000626056,14299586290941723131,105228489390197175]
),
AffinePoint::from_raw(
[8947937286460843239,17882004312618466900,8408259505798116182,203364168692883670],
[11531719155149592125,15990848999493489987,16059581916369456147,51785540580547605]
),
AffinePoint::from_raw(
[2297618413005308843,11316632386505569100,12138000508190102748,267795336181401971],
[8756589323030921953,15207121248637293819,17067487697215060994,389236592620850076]
),
AffinePoint::from_raw(
[11871752793796459020,12106275828409538674,14480442404198177775,426795439856158586],
[6539059906702498322,1625622953636155412,14596874562788796575,138692546952522844]
),
AffinePoint::from_raw(
[9962199871268608084,931446839538819211,17146564597874347659,78748713295105744],
[10063798638424152429,5105163125134808755,10460814493502793780,15102118050194110]
),
AffinePoint::from_raw(
[5583183211531801590,15495581629260813919,18243716558914042080,236870824627762082],
[268712864117910975,4912038902048640795,11003354264956225772,349203157669177324]
),
AffinePoint::from_raw(
[8966904266358539528,7714667492465227418,18327797319025847889,367897377945464003],
[16139727321250971119,3323090986095447314,5782692200308773229,221620533242335221]
),
AffinePoint::from_raw(
[14031364822759525316,4588627560183899638,11113687389124815298,533155576803068485],
[13284584248194510323,2072600853172894265,10759960404983218532,119953530047369358]
),
AffinePoint::from_raw(
[13072606196589284011,2966113271683710410,17633989618948271216,239165246775703971],
[17093353533553874010,13436235730103711489,7071814306960691881,79924871958762081]
),
AffinePoint::from_raw(
[10021976660144936704,2836560331222320632,8895580547370957777,60484697094361883],
[2204292728775590613,9837273241450465577,8266484847995268945,506890474988682003]
),
AffinePoint::from_raw(
[8419802197533400002,12405273825290371382,15907100819744492987,533782619682016707],
[1702328560289277329,11089837396838680787,2767553270038009622,387004823166645283]
),
AffinePoint::from_raw(
[8042579450814117263,2742552841192205686,5135365779339449802,346919650615345318],
[2468393118241044026,4199796040761659387,2544658840040954698,269807219640548048]
),
AffinePoint::from_raw(
[4222559505588298691,6958694923989818145,3877992007758648748,289245649733364100],
[16331323308646660244,11239269859283503496,4266919811995223616,480919586515784983]
),
AffinePoint::from_raw(
[11331591620042943228,12495098566825803270,7745441188429727474,225757037497737768],
[2238451960924806523,10371629014040777740,2956563688613003902,115437194938567762]
),
AffinePoint::from_raw(
[7654708446590077790,16925642952656422151,10102458600588844718,36628937632514701],
[15707270229658985342,3704898742326117433,2820536885531263150,407315742639511279]
),
AffinePoint::from_raw(
[12222880385672438844,5888765142785761639,13044586531332725670,352746267435232618],
[15885442665424359840,3899603755672746726,14689112701592463574,500262502439949016]
),
AffinePoint::from_raw(
[2270543078408195468,13706194570841998041,16974664287199567596,370678064473255702],
[1817358670423672167,15048783855919570304,11829370434080600653,310913326766908817]
),
AffinePoint::from_raw(
[11507076736417144391,8832880809600098672,3221428486788678765,80967645646530037],
[320706289295400254,9945845980729037597,10769234546489849000,419873338814383689]
),
AffinePoint::from_raw(
[2674632338072214501,4181011933454113837,12475750468501971798,411589679378225068],
[13349607725137488290,14881308768770345086,6297324171353975540,403643582579490456]
),
AffinePoint::from_raw(
[11401962172874849282,17051141962932683444,13594065756127385234,572177658105566533],
[7839199067175957127,10899178254052001533,4611032228791648427,516442440272358721]
),
AffinePoint::from_raw(
[8785681952902764056,6070253398377631243,6854721315628192115,378936323364568969],
[17501425155729648404,17197836089653965161,11784793999440301604,464942499786912992]
),
AffinePoint::from_raw(
[15047478677415609801,8307553192970957191,10717017617566211641,495164100649083088],
[5944152760930442723,2188170747120093515,361855123589172304,342574419660215527]
),
AffinePoint::from_raw(
[544428015086324702,660360015958137135,9620214387793432986,268723336841898440],
[9404512444551336542,1327667032254992172,6308125814019388803,325627583384387826]
),
AffinePoint::from_raw(
[4331278662030857202,5888617976448858004,10232727346676154049,310955301772523189],
[11710316993023800001,4404564362130017934,4979275253136173580,441235175974259049]
),
AffinePoint::from_raw(
[2607800423766298895,6077037461769538292,16907914854178131416,365939707296772759],
[4257857814722362622,12403840903128822554,1315835419568540691,281444128362157141]
),
AffinePoint::from_raw(
[8583959172557064408,11974434974156569748,14640873413578154075,522164204072538246],
[9230643939455939003,16057611882762476398,14674599457667998812,525907091462619266]
),
AffinePoint::from_raw(
[2363615405216948966,18229659193209803193,1869349997038636959,546330831859549184],
[10544500297128615229,9329490715161239781,13067982460595928790,553730290767960878]
),
AffinePoint::from_raw(
[12663787329852227856,923430531819535865,5951596140112086937,267647991427448038],
[9508515759320261357,4865422348693558731,16641556746484884717,547949195648291423]
),
AffinePoint::from_raw(
[18325185680038989065,5818490570131115951,6464990268323843117,430873268925945499],
[1347350871658541477,2342201558838722929,11205453903541235739,121385914995560350]
),
AffinePoint::from_raw(
[15870749706620627480,14568712167780793503,7757245975219823316,224233246805397644],
[12885030449438463441,13148174169896333463,16044121857079665851,108158796917174043]
),
AffinePoint::from_raw(
[6624106059698360709,16862740051204538688,7470780634088780359,56086142585143203],
[3040801271991798302,5720857894086011481,10040404036072408007,280774197315816745]
),
AffinePoint::from_raw(
[16834802750772144539,12739563884180945829,7877868295496313793,530264204430535856],
[5836859857112423234,531111099278545859,6450584493408986546,555601849142549871]
),
AffinePoint::from_raw(
[5361537351100547209,16190473419889505280,17822289173032702693,551823506162178660],
[9041656008325417129,2499525175544668197,9796918213996331243,56793117180956436]
),
AffinePoint::from_raw(
[18311142370466795297,11390530599087741604,16814843998168505528,26106408057399145],
[13398620793730127154,17126324074001314504,4203771215878247966,141082315326632252]
),
AffinePoint::from_raw(
[18041966835778370381,1751926968972899634,2042686484035854708,112606183322710778],
[8175136111831924048,10440963425033375582,13850813616887314065,19065876723519116]
),
AffinePoint::from_raw(
[3558453670202641649,4689600701838308197,6889514597001183264,262690306751734532],
[17243455294211857944,16403830794284600921,3584954631919262453,50798932686356738]
),
AffinePoint::from_raw(
[108083719437818674,10432708142842935989,11604957084409911040,152605328372239420],
[8439785093440789209,8377809217146135272,2761169342818380657,283399713727460745]
),
AffinePoint::from_raw(
[6359441986159306911,16751424277610979085,10551422316043792438,240189764262386914],
[395368696155218645,10157592404704245318,1313407842867748956,470995893788264308]
),
AffinePoint::from_raw(
[17613670321856694719,18157397015627773058,10777825736386385162,573113604923679116],
[12911519437440225187,7767827301492221188,7174597037585072518,540503829232073669]
),
AffinePoint::from_raw(
[17973653897429676451,15274223160086075823,427450690148143963,129809942697321044],
[8617035324573537723,9128293874232803193,2300225214180043433,179398948668803801]
),
AffinePoint::from_raw(
[12832075301607400348,11856196566565469041,4274302964996450549,61678113161796897],
[18033682508876462924,470600314748982736,61325110835012727,215789520617232932]
),
AffinePoint::from_raw(
[1011233091009518303,10365589929808729333,8778543620128952186,365646225806652602],
[9323200768473330489,17396112227868039413,10676413822024939065,158481100225528207]
),
AffinePoint::from_raw(
[2189918889604969102,5325798560372113428,7578864789715502515,297033318734022533],
[15759164234289791960,14557343946585924223,17375188260143255621,250610120006786865]
),
AffinePoint::from_raw(
[7839866653897220631,15498733480014307068,13221061069908426141,225663957658760366],
[9302438904434248250,10856600968438139933,16150738027374086178,115813477715522252]
),
AffinePoint::from_raw(
[10330163368158209834,5260190016066640405,6515646616173338069,390275890485996194],
[3604662486202134331,8698790340050216476,12723195795414854608,102832987227524896]
),
AffinePoint::from_raw(
[3233725264934531146,10214648182003439289,16006371546044290035,62645621055337727],
[2994518008283633469,6469392311277062007,6919043313950315725,146604337919232668]
),
AffinePoint::from_raw(
[8766963273531308075,1076101547256203775,2417463339125426269,92264876264804629],
[73783273985457392,10802686045686859584,4037817052830797544,393140694511092475]
),
AffinePoint::from_raw(
[13821763661112733360,16688861766204079654,9529118490068403257,31808477108430646],
[12054476780581333857,12069350607856008452,17927659564696716914,421536223763338893]
),
AffinePoint::from_raw(
[8712731081867894816,9339460821323387403,13129063774833645442,115491982462825629],
[9494221056422650390,9047201220012080871,4548903419009219270,262230296851646621]
),
AffinePoint::from_raw(
[8378319403291057398,17090926016379554655,9527272590946334345,332195703263479981],
[17453308220175455563,251627509903416682,93948652724579170,271835237954100193]
),
AffinePoint::from_raw(
[13222389482740096031,69108002239188444,7979684555526101493,313232122036419271],
[11241933616897705932,16919162488991716940,2550063743225903021,303350986389647262]
),
AffinePoint::from_raw(
[2375676755995607460,9224411110231394670,17187044863314270232,17531709539220442],
[16210773798244227493,13063306790834169459,13311587671781939733,288094553674194106]
),
AffinePoint::from_raw(
[2973181997293594819,1874095638421848552,8510399075174373644,24010371938820576],
[15306171067010889501,14218251232946621545,17938296698443057768,488982218484015260]
),
AffinePoint::from_raw(
[13714385240021183246,1919278858592834540,9970384114108297874,256813941263405089],
[7124793541431041351,4603592926710387187,6500833652313686345,218372943378229559]
),
AffinePoint::from_raw(
[16189405584065545585,8547464777467203157,16923502994664684878,45693714275773243],
[1532317295265471129,7389218077950841494,7251078939972754762,431723249179402305]
),
AffinePoint::from_raw(
[12886855953341255768,15336233668802478786,2336954166673292851,141869926451558792],
[17422612771445774131,2847263427896044841,4610462286829635429,120575558633910158]
),
AffinePoint::from_raw(
[8068936900850605669,8081955436235788235,8830022483154763117,38571796356648498],
[11419189294836464858,9696109651574036006,10772292598419349285,148790719793159904]
),
AffinePoint::from_raw(
[6048836007285970140,17986890849405617935,294805615715425706,468372129280984244],
[15436661914263738899,2352047594042402702,16473846191283336103,315933448248259068]
),
AffinePoint::from_raw(
[4371980727266857925,13822422993842297449,3269666758189070245,111674045092615878],
[5440608235986280146,1435303759610695639,13023399263682052402,339206374072825831]
),
AffinePoint::from_raw(
[6676942135303650997,12928781381163948192,7967285955797209977,476651788902458289],
[13602134572305397122,4556259261288295948,5017270560692422899,368899957108421617]
),
AffinePoint::from_raw(
[14826844870561669509,1177126854196567539,11248112314679706036,344505701734482645],
[5639130759542271456,5664497913339927009,12754714687592771344,20362586660855594]
),
AffinePoint::from_raw(
[17422985156207670476,14223508015551186795,5504679003604267760,259037975329951336],
[12132016129430219641,6802896329685554218,15979428535476592421,269530658695321760]
),
AffinePoint::from_raw(
[10696267787657451359,13458630966808332823,1156756972679937821,479375401483517653],
[15265996630604917151,13451412836098095203,8922489480287803090,362052912413037641]
),
AffinePoint::from_raw(
[12262660049146227946,12592135698512856490,276428738802859712,312788140017625343],
[7302677678970207019,15568274117073201186,13710813106947139347,469535811035575627]
),
AffinePoint::from_raw(
[13696869950509640567,14455268395568656527,4416465318464730436,395006664873600819],
[10629867855672809541,1203570796691095023,18112187853120635474,154525060202694992]
),
AffinePoint::from_raw(
[6692930787090241606,8168158476182981839,1905206696633457820,69637130992047024],
[338685442976715588,4980102118717313371,9979577675822219487,307494288332733848]
),
AffinePoint::from_raw(
[17585431983628406145,11461882046490049313,3416033184092390324,424958264327379089],
[8796692926567822606,18156472980892297878,12256060236773694637,199520666411980151]
),
AffinePoint::from_raw(
[3217538130643837806,4399827240185985644,3480526746811712486,284650852104818500],
[6608893788960540439,993983890206933293,7193700724400711668,201822343701172262]
),
AffinePoint::from_raw(
[16193764683045533852,17756601400354385595,2839569883974050605,535502062952501745],
[15722606712562234136,3385890864867284801,3709575262969592354,519723761615284434]
),
AffinePoint::from_raw(
[3158779919460198712,15457129621831523321,10098987546652237087,25035183051085921],
[7162309387371412567,7072305447250554603,1566106551011116438,388264538362936831]
),
AffinePoint::from_raw(
[7183430382943780685,3110584103941994749,13138872833957671843,414482378796222776],
[11056661731623399430,14777333339299368711,7868509168332020578,442738185281917588]
),
AffinePoint::from_raw(
[16250738692528649337,5800377403346810488,858085734150725493,290120028292725402],
[12933489469496736932,10308024910678270375,12144890621329336364,540509606551790607]
),
AffinePoint::from_raw(
[10260036902357453010,495131961291087947,17775822623928354922,481882092651858363],
[11403332621748102703,13572279554402016801,4134200533047721334,143406962559306949]
),
AffinePoint::from_raw(
[6238094159739379515,4590375861865895378,14311214809218710379,510039397654623100],
[6256557403492651945,1097591945580915192,3930666327436295075,196564258341313452]
),
AffinePoint::from_raw(
[15090776870188033290,2517729480316785400,9849616071409692321,119283371425714512],
[8487256290408932117,10457218525029210824,11717745992108033551,550678198722744117]
),
AffinePoint::from_raw(
[875832424495552101,11717595649379071217,10969215493744013777,555026236014581068],
[12101006371076458102,8703500263542504529,5594149939051691363,27169350565956385]
),
AffinePoint::from_raw(
[14651746361094056022,869701414592108471,10788231752134263399,79614671376820945],
[4277638315638908131,548332854172634539,2328099526638078008,233575049759464578]
),
AffinePoint::from_raw(
[16300602949021985529,8659522235234004532,17179138431045170384,366027555352126657],
[6360790594336814825,12043454253791730789,4783037901129964971,133761137576891828]
),
AffinePoint::from_raw(
[14026203458170924945,12683681485758449640,922997949639599717,232648747365301332],
[10159942098718113508,12330020765502832918,6524805281680541792,554073452918311392]
),
AffinePoint::from_raw(
[13097620745404184392,11081252618376294263,2148232508056875783,298125483367854249],
[3846143199029411326,17307065924394934013,15035509072152066132,137222012026129010]
),
AffinePoint::from_raw(
[1318036057111172842,15793074300635737960,16619729735568289174,487696773354559502],
[2320622232513178972,10651392558006644910,6506344621048061708,4901305130408496]
),
AffinePoint::from_raw(
[10479835153531861580,5523413280033044608,8827817363212634729,392766576732777226],
[12771242402363532837,10506099952386603161,10736230806666739043,409435920584656183]
),
AffinePoint::from_raw(
[9771694181949300464,13526402814924630351,6379027414282580103,191691184233514502],
[8235806405166839122,2622953727759829675,1810062472801360894,55775787984674318]
),
AffinePoint::from_raw(
[2043827749061185651,6399805721021011240,6749395206578663640,276111944316073636],
[2284016648211740923,11760445001008550251,194604331361144355,13214535496661325]
),
AffinePoint::from_raw(
[12090669213697664261,6679863034033852525,7755941016887328311,537826841642943898],
[11728874956648509824,7814671333519082242,18166492836327096594,154461710120345585]
),
AffinePoint::from_raw(
[5434843208136353013,16820444420899615836,12255797468978585521,344478388521803385],
[17863121319485344845,5115209322363159956,10433841497689063612,183818282535299519]
),
AffinePoint::from_raw(
[17393734527065774078,7219586068229697283,10065620131083589496,505573957568206969],
[12504403534167207777,242223211152202162,5353557085874275501,307112718001978698]
),
AffinePoint::from_raw(
[16018877842321067228,53860487445346058,5494923417381214093,31156055489633667],
[12120281769700126452,993006765504261739,2471648450466438334,290048065574929736]
),
AffinePoint::from_raw(
[16303487275320501986,12098839014561707775,4544699992470899520,485607725766790027],
[10204991189790871196,18099091316761591683,4344542052963228622,402088026938742233]
),
AffinePoint::from_raw(
[15027586338028048652,2981195289226313036,14939908740810387849,303477207549663528],
[4335291098158506163,13521367201428685972,8428958946178966199,415141110809964079]
),
AffinePoint::from_raw(
[10648665451041115230,16020279121554737592,6512683835953065546,254980278577763452],
[7222429595131932353,9647477957329834972,4539745884117229475,74036983097764208]
),
AffinePoint::from_raw(
[15635617898242544183,1442952811212999756,10423017346869744752,336309658927691843],
[14246240516733366403,13209303363114909582,9571155672780631726,73066616308836105]
),
AffinePoint::from_raw(
[15980625381716271485,1584638698762233030,15937411465504077584,165129607113328606],
[6289183743305414169,8060147385133475927,1100240293794802992,402055302507130316]
),
AffinePoint::from_raw(
[6119306032363659209,8013208608050991413,16414876332268508918,66173973374438883],
[14491734555899405055,5624449703769895067,14421572272381947436,532598612890174257]
),
AffinePoint::from_raw(
[13572181478689505993,310489126662886708,13183724939947901335,561912445244633612],
[17751155576501397653,17506031093286121728,7080842807605829696,358555962606627547]
),
AffinePoint::from_raw(
[494456477874379153,8472619430113322417,7623811436104520091,181153681219998329],
[3568383661620708124,6511845682471185515,12127427550883437084,160833346333620502]
),
AffinePoint::from_raw(
[13704447775322977928,1620206939246391277,13750211313971244898,237233663667626066],
[15275771095033959413,7951274824536745089,8808467146827086296,339302486117680026]
),
AffinePoint::from_raw(
[12219325435606689687,3487405794343894992,3569376908052107188,498713393726423231],
[5578026771229626307,1161954464781040693,11174101248776969833,167360707905412158]
),
AffinePoint::from_raw(
[2804113983465515334,10496234553369817443,8640323129757106809,562173384540878878],
[16368058228555376051,7156030529363831583,10274301298101153545,46110711313362842]
),
AffinePoint::from_raw(
[17495884023200384822,7576520508677888907,16269903913949690568,68667241759181122],
[767156653738378215,7787109964531292362,1768918769324178355,393614561732658667]
),
AffinePoint::from_raw(
[3966737705796921154,17271935466224776643,8008566637428579488,438895964074959046],
[17150742538397959762,870012177249718754,14009552710237459112,432424646789963845]
),
AffinePoint::from_raw(
[13347615170727093809,7389104803941714635,15132915011547206825,182870810505325404],
[561345121674027065,8756861944678916866,12222528630208442422,83616389965280618]
),
AffinePoint::from_raw(
[1349012013705433138,12231357628690387229,298644812672288552,493396817654848119],
[13617041093830624718,1292531871019974781,12959211796742519197,461485957055240392]
),
AffinePoint::from_raw(
[841454369716053082,8984828163284570216,6493800109665122870,413349368511621498],
[16205206753556421368,1692738098940665884,9486076849306839439,54658233571501931]
),
AffinePoint::from_raw(
[5136177218393798522,4113079391347417085,14855112388833256023,190019963979211228],
[2414550832982468390,14512297396028360334,16815277293423856287,434539506166969304]
),
AffinePoint::from_raw(
[13556558316379511889,15432991751963503473,14068592067530342272,99737987951771798],
[15342134574378459967,1448771930933215584,15599765019131474513,195506627068071448]
),
AffinePoint::from_raw(
[5220664243541874779,4887007057745162635,12326918454379609552,196270714802207118],
[18312505126690799048,13850480704704462510,2444948883704568388,38870805465225469]
),
AffinePoint::from_raw(
[3786952560371373916,535025028331603809,10621034331006952111,445276432347688932],
[6913237809350995657,12654733233058584916,7325265764262196178,451004348426613582]
),
AffinePoint::from_raw(
[1919722536029039131,3978686532911948489,15312502967436087436,311275083846325842],
[9629558392635569862,16852260451533414511,3523307262099581427,166336454035098170]
),
AffinePoint::from_raw(
[5313714350346589768,15653985961897737052,6028262444544928626,233008673760173637],
[18091436279218288540,2973070999930747155,4589143690974637197,324100696893055379]
),
AffinePoint::from_raw(
[16510089098235236693,16214028486397934078,11442520808219617168,111553817467001351],
[11495424608588107294,16262000876396749395,5026766599602432703,355221394428665002]
),
AffinePoint::from_raw(
[17290545409567178563,1160744668680441583,15629445639149426051,16664806501894636],
[12016363441360371423,12122692961925825931,9128223338476632172,19885099914700582]
),
AffinePoint::from_raw(
[16392826603795834444,12479053932296590284,9883190409236006822,534173621335705018],
[17917692136487407332,4482200877627867793,8434399646605233876,363033890392227304]
),
AffinePoint::from_raw(
[1653844669400535952,7879917701226448329,13187839418654634474,321366180652807460],
[14414875758950865421,1294887186098264452,11190678744196566149,59661490466882393]
),
AffinePoint::from_raw(
[12416445894898387999,13802993363065677338,9687608015790269028,276305265767408098],
[6330368193117406633,2948070077902116810,10837710810208013289,396827449288676977]
),
AffinePoint::from_raw(
[10915169250285352812,9126107219043336533,4428246655243801698,435807153311418828],
[11856656966988009242,3930062788139482745,5405749219668615104,45599871741971787]
),
AffinePoint::from_raw(
[7120214258946225464,15233612455262215550,4097560618342307077,220052063512787716],
[10077911063239364852,16454079145650287153,3208014100164562913,147767232255721508]
),
AffinePoint::from_raw(
[16081264197261357981,17432737758170166684,7109297205719963566,200064762638027312],
[14069454890754681679,8124192349458165757,10023006453033847340,473661193076222259]
),
AffinePoint::from_raw(
[6230733715812531769,2405957838558683714,8433696010935952150,394656916628782185],
[14821968349653340647,8300146217480185205,18402948540851609838,204964760636511130]
),
AffinePoint::from_raw(
[14699582281751888409,9277435340557180707,17262329365445290399,73673516061357409],
[11122523004831742805,5343980888944449591,8418145427807650991,468959316195384600]
),
AffinePoint::from_raw(
[5331322455692970490,7919208353031625093,16636446111897763339,548395742077388131],
[13551815368018727704,4168334934563211099,14866329524127500360,174716824780199296]
),
AffinePoint::from_raw(
[8969865286442748152,11438012996446513575,10371417326946265382,463292370137269894],
[16141080405965108607,12302245818108930146,6604066568516939343,268270769953578485]
),
AffinePoint::from_raw(
[13399265210157469239,2606708030322385147,2374717033067533688,154621960078616867],
[7632891665663785578,13528602380610237246,17527183697130510577,526952980909996713]
),
AffinePoint::from_raw(
[8539760397280693055,8703875767277397598,9673843539133547115,406263007810303293],
[1617540296888861824,17260751290370431943,3624623183561663546,290717495530652560]
),
AffinePoint::from_raw(
[1870030339778746036,2060826420000579221,16688319599524199936,352884887572367322],
[16635352960461394505,12568121152492343151,3933815182574312210,137133452471513525]
),
AffinePoint::from_raw(
[1370018866993187542,328838437108905933,8062562204812107452,370128885019962008],
[15252511130098477650,7432184327799668346,9580747276004060390,447935971178173570]
),
AffinePoint::from_raw(
[3297749500211118029,706468718530552094,12887213949918440302,311057121393032983],
[17323529513188407733,2447527944124397741,339384866798360576,534018042204806776]
),
AffinePoint::from_raw(
[13385736568641311366,16879414960909594456,11756568791634296176,158987230118827553],
[4014348284068537717,4947572368005994956,10912958467818960618,222271299559265469]
),
AffinePoint::from_raw(
[4996853743417989382,6493631407469539211,15924045259998457777,317006150475543280],
[8382586989786631823,8103470469017112124,17176074246303099167,213956082017140740]
),
AffinePoint::from_raw(
[17192890373523916037,6631895390674499429,17121970606738209872,454437769967460219],
[1497390045158504816,3947254944829943552,17399127703846877941,304823490793882486]
),
AffinePoint::from_raw(
[15994298732146427996,6080759564449394126,10266481890125198763,103144642327435929],
[14862929160298877646,13280163694807490118,4385207347344506033,472211216610803698]
),
AffinePoint::from_raw(
[10625511926714452033,11462358035796964279,10627402785313616957,239166717177066890],
[16934566002132069284,17560462520914972274,7018462967256744563,242428097861061292]
),
AffinePoint::from_raw(
[15242053403427811270,11891532831495247533,110476640687457306,254952089957398350],
[772264131638625640,17299092548631637391,17950478250468591728,401935019975335781]
),
AffinePoint::from_raw(
[12333425862790205545,14881140932469165890,14874714230563115018,85722150126696791],
[13706293314436566759,15575873934587293450,3946806705364503917,468978115494327774]
),
AffinePoint::from_raw(
[18092844438825728511,1839107546395690282,17791360312475821642,181529727065655985],
[14635859543911865199,2446014925249911471,6618373026297233754,132089999903033252]
),
AffinePoint::from_raw(
[18178746990633132302,7184702531391261803,1414202517000513066,258084641607456401],
[8694072483300353793,10018677497825824636,8522650941483183621,334128784713744800]
),
AffinePoint::from_raw(
[17968495705461263255,8383306670579289795,8314683039733483290,188116016412106349],
[16805477706713737432,10070566789017078076,10316338780543588461,334757596826100182]
),
AffinePoint::from_raw(
[7228117315326045093,9466035298640047429,3669515013062175158,374804333049564461],
[16109427921329728838,16640253944287223866,15957158215929363279,420183259518336965]
),
AffinePoint::from_raw(
[18289808788249764757,17492032375177317683,7466811830919659044,50039440947604947],
[7856345381727844548,11889001166626966989,8634762595961729036,385036504619388658]
),
AffinePoint::from_raw(
[9674830359906552844,6627282420701951868,3546083902701551857,79720436609503110],
[1663731163717185712,16031516751008917864,8874069577868963974,491531534316647554]
),
AffinePoint::from_raw(
[14194816607941733407,7235034690320086127,192670214162213137,575773671025724021],
[744658307859326799,4100049107465565044,15177210252924822826,496041771497037271]
),
AffinePoint::from_raw(
[7675227927128214966,2210516163980701053,10155482362661012759,184827454384043851],
[4775110774729942458,14137443154615289109,16654018778099398125,101818629421768842]
),
AffinePoint::from_raw(
[6942588986767935807,15936142419862685005,3411247986931564165,6198244819235904],
[12903985483255265345,4310020352655716682,8479513634253704369,495266547834532612]
),
AffinePoint::from_raw(
[12298207086726396867,8521845572185797800,11545234739718613725,140862800964301188],
[10024577699968807954,7686589503172816313,14861105674511977694,30670750363938930]
),
AffinePoint::from_raw(
[6859565003841996461,9101020947165408970,10612656723738208216,441182243955901958],
[18193013358998954434,8785742046713246815,4958568834065966662,268113632527450027]
),
AffinePoint::from_raw(
[8931856614261097689,463593501802545266,6775483870192739841,267811814263829990],
[57587500374831509,3917837217918904289,15415604507164997942,518543483155352421]
),
AffinePoint::from_raw(
[10144510536328423053,122716295073685130,7086462853166708668,146068282993610881],
[6454259311847755106,4240551759533526578,15932204547916475768,63639462007915119]
),
AffinePoint::from_raw(
[15739012279082279940,10428759488665614847,16609569390567804988,127572461387594262],
[16608389176826445608,10759881413004152798,2494075693294231239,133974324448481035]
),
AffinePoint::from_raw(
[583357946488133644,533572767519225579,2918343983660249459,338802352479613020],
[7084596295534635602,6429761973104350137,12446618786842481941,106282474500166568]
),
AffinePoint::from_raw(
[17250033166610311161,859693020204950405,3519095669076234929,394430182708414089],
[18255065532503007062,18232780029062044387,11301274361621308661,398121159301745900]
),
AffinePoint::from_raw(
[793495536793488051,14646865415362949951,8199943460093735399,144961537989578995],
[18294246062120892151,11641681405497804441,10631563618987743722,436897760516856000]
),
AffinePoint::from_raw(
[6586421690665440768,5252544049087369618,9196351533950502753,544723108233497058],
[10466912741894415974,16895156974429349106,15210599459431432198,296837899591250829]
),
AffinePoint::from_raw(
[14305457108645855078,9211018577040675004,3906347133350205616,17629205487976519],
[5323884703762303733,7037691631553837784,3400991868906736253,384765280238207812]
),
AffinePoint::from_raw(
[17406284363247450283,5865591389412199868,17164800827705153526,562721311356888021],
[5836329632321597649,12874015555476550857,7732106833402469533,532970680274778028]
),
AffinePoint::from_raw(
[7208999087865876051,3878657050842296893,6604547912110660750,169882259874364063],
[5968349373383103189,4109330530707423863,9584950871145276838,119287814832770474]
),
AffinePoint::from_raw(
[7673020779282104865,2375568127750390831,13987643464667311362,147492933348214043],
[2149957720276246724,12891339704918183596,9254825787882796791,449247259189116988]
),
AffinePoint::from_raw(
[13609222582232984749,142191351186539676,17202141608933019949,543811829505473179],
[16433971910558906340,271327512796192290,11499470501779854564,224073447736659022]
),
AffinePoint::from_raw(
[18230513880496775802,12085906786442993092,17963282393276901954,524438448766433946],
[11990518948661188268,15895029077155315208,17780306341782905236,127787116130764805]
),
AffinePoint::from_raw(
[4890254626563470202,5205851419321535636,16913227024599403824,134613108493913070],
[5350381272875587022,14148475317842289693,3166597018090600716,491446702578188925]
),
AffinePoint::from_raw(
[10362829050123942736,15241620539367300230,16553819541461852498,359872406094441350],
[16007182088062257450,15620123940724578988,4482369293144592372,402738832591349694]
),
AffinePoint::from_raw(
[6096113080336913795,2658521518787985604,5240354183568264754,521929430903576730],
[16789506659045928505,6925848449538187802,9480487800028191332,149082740034700226]
),
AffinePoint::from_raw(
[16720903161017913575,1052097443952434062,9254799525215431053,96694286621230817],
[13017725322528991607,7878183778560928175,6199862729410951910,111718242751479157]
),
AffinePoint::from_raw(
[3853207094600375286,14593352847186400018,16577726156301321780,37447989257138518],
[9282808323650286130,5975421628948408998,6231830623925202919,160222446420549095]
),
AffinePoint::from_raw(
[3274827173643729811,14005838737438001677,2568816778660264136,50944278738292216],
[6036570145269566508,14071968144283873962,1904798623656133359,419233847250477543]
),
AffinePoint::from_raw(
[14939924318082991277,4026120896143973702,10126023723424564495,309399876339654170],
[8855066100276578845,16339650504463703078,11558232603561721942,387862484586331335]
),
AffinePoint::from_raw(
[16972567225707043267,7593328196621670042,4859170483617909640,286929965254221818],
[15561641210828522089,8082714758224993591,10680471255250842305,484580083259288384]
),
AffinePoint::from_raw(
[3789051608449391365,5740157336325612221,5178750335198366848,197880162546274558],
[14145314054727971908,3574825238351739136,421716533949998433,107738096977006843]
),
AffinePoint::from_raw(
[13841253359838847711,3611895949247756194,1220898464929913667,257196179666374995],
[16955988581050284423,2174618464013918204,11185926668725196982,179701028228825297]
),
AffinePoint::from_raw(
[13512034674939628662,1811388313419402583,12596549736140020048,445870689782134335],
[15099311140058694143,488151239371385006,5914772316172820061,180071688008685185]
),
AffinePoint::from_raw(
[17147108400188597598,2126772433139200599,11626502446341268712,117749072186139007],
[371794909968450306,7066291253268088135,10576678599221078082,384135478735458696]
),
AffinePoint::from_raw(
[10806095775692137792,11469320500810347732,8357227734030736898,352851202536110298],
[16022479065257289999,16834495930053463892,1451312046458384271,91372257364634138]
),
AffinePoint::from_raw(
[15676846987832516699,10091831307974402331,14464990053727653910,267951245686047608],
[1889425144753446899,4250880031858661239,256180526097413917,60384210536749195]
),
AffinePoint::from_raw(
[15831661311832030120,1782937808903004773,2771342769854049604,218007043780523697],
[2417122647697498859,10008677391209639509,4422303571086417188,305104318227077193]
),
AffinePoint::from_raw(
[6805105772027753058,11012915375889259426,13702641210345724192,412050154515081322],
[16310506995747137520,9434662972693259406,7158205327228339134,348558008257475670]
),
AffinePoint::from_raw(
[5527616011327779991,9639332126444070293,11662390558161688989,551572809112356236],
[11276186675598836081,6222928477254869959,10869422382934945394,358971022118440238]
),
AffinePoint::from_raw(
[9995435126306301463,16249150752317344731,9750249365891157485,407481906711108215],
[12212242624519706663,7915908232052460769,3367780340072166403,22484698039475598]
),
AffinePoint::from_raw(
[7035267753334661723,4032479506166022614,7779014316252608820,168498558423121134],
[6481531563874825662,1383726882328844403,568314395994163956,107967825914057267]
),
AffinePoint::from_raw(
[12462441260062043462,18095647314270831782,12517250253064952973,167335091291892909],
[11673973293035940682,3898929414770267126,3998631948530986191,10982735310407286]
),
AffinePoint::from_raw(
[4985399744403403979,5005136361451427172,4763762384515475129,489788751030627859],
[171307002067907400,7768705716055188232,11522205760750649558,377362459053060425]
),
AffinePoint::from_raw(
[6537996964629488583,11633431903293465963,9035069157485034439,475249082965689847],
[8679782874162771197,4474938860897907060,10444645244386856869,532895885669186110]
),
AffinePoint::from_raw(
[5602246451528763138,5963659383402506696,17503024683589228385,16231058039151591],
[697776291767799278,17287441604186699685,2344610756047382491,19651024973198157]
),
AffinePoint::from_raw(
[9299158687637667223,14355636013414885531,4680168433146986759,452243285198832294],
[9033808541241148770,1706809710083941151,2562505465352213151,208285459234626775]
),
AffinePoint::from_raw(
[15077432030727143389,11598035040626378106,2795040381556593229,162868823905291738],
[6633243027798689424,5367112553741484886,14019425614515135682,546187452914035806]
),
AffinePoint::from_raw(
[3882733223305183373,4373132675463659033,9381727661045138572,535807606142637632],
[5055816557773719782,525726898539839320,13522293802081562184,505785445156278047]
),
AffinePoint::from_raw(
[6256703482817768254,3921993717518002902,18086533297923520966,21921244401257362],
[11233522143689084186,13134680445396362819,8955514443731889458,340361581647539271]
),
AffinePoint::from_raw(
[1056397476809078861,17470883770266148148,2488040924897026965,275352154385996930],
[1423640600414616739,16264673153924007693,9398157768383672804,53354511232923458]
),
AffinePoint::from_raw(
[8888933799119147964,9210244149821393632,8447534316985005172,83430245654646609],
[2519660513538745564,18172935292153224032,15194203477344736593,334816365437671301]
),
AffinePoint::from_raw(
[17478338462396516270,16498358275795933361,8340503649961131076,241259692378744955],
[4415591239140457037,3229853995984810585,285462707235510229,484437763470365100]
),
AffinePoint::from_raw(
[10077996668464538981,18131430250854629622,10321585427820956230,531650632047115466],
[17574477325507445617,6144477031493999879,3216715110495244238,376931458625151887]
),
AffinePoint::from_raw(
[15151358450582938392,8253455304362813718,15623672356063493328,492921120087876744],
[16292279020263990882,13273607283390333774,12365997663931691783,178517210958602475]
),
AffinePoint::from_raw(
[1454287113839002838,17315523939608191324,12095926078166571941,361755606776220735],
[17267475192430492678,6829967912976937117,418644459539140365,358060003250136940]
),
AffinePoint::from_raw(
[13939250968129949021,17459764265652656924,3123557066850043845,318823701333864214],
[6068820175865194744,12728131240436263366,3428314520097029642,366074695021539829]
),
AffinePoint::from_raw(
[3091763927771853450,853714516430242670,17484943824830262020,536350078584463148],
[6438042258053470904,2866994258509933306,854623303000468528,184109035342607348]
),
AffinePoint::from_raw(
[12315654950238907150,7568561760342255688,12719881988027026282,330230410596303589],
[13376754319167809109,2829756159847456872,6670034186854707471,423874715013808586]
),
AffinePoint::from_raw(
[4320232791616113364,7208625571404078272,16266522178733669,38256465388696079],
[11072823811402635972,1385362959726403175,10460724624777047930,403598646015129205]
),
AffinePoint::from_raw(
[11794210832077465539,5591883974568918906,3669904025679618625,183490135639237475],
[8946680613316025820,286248352723640966,1987950723333049307,486922675790414638]
),
AffinePoint::from_raw(
[17143118855794211402,12393211931163768624,12779142544959455553,570842390009773185],
[13731414134550407862,960012431468821890,4314615023990181615,562094875541411466]
),
AffinePoint::from_raw(
[232927233721283896,15549242933499961563,12386041976451579547,101601675962342960],
[7146500375092458383,8151675525716202942,13353829814616807732,64424898966335375]
),
AffinePoint::from_raw(
[14260995766090036349,8844909687518730960,13516209590587938521,490559807177109363],
[7084862918693619822,1468344436601719850,82689306465126918,386599021604764689]
),
AffinePoint::from_raw(
[16127237270037940244,11467924737446419297,15530968284751533666,311727439252364001],
[7936343882813075826,1148436247787633520,5551495369768312164,407665480153056396]
),
AffinePoint::from_raw(
[6913206341759683507,9173740829610671468,15537155135567028391,56217238710990798],
[14792247978803888059,5297608628982484794,16574421102939451448,48309379425370736]
),
AffinePoint::from_raw(
[15461470617588902850,13863866696114011582,9797738849670670830,471391354595256213],
[5978208002211518697,9279109443977547730,7950914098288647834,276201277335215969]
),
AffinePoint::from_raw(
[830663043186311082,7428713209105100872,4650884645298321578,451798910876645675],
[17452483175478851348,10655011232573026171,10288260109055137894,501317970345823188]
),
AffinePoint::from_raw(
[8576727921313893930,525733410788886710,10294240394201502743,1654545187428696],
[16492224675885301117,15811631232873627114,3956611100093508257,90628284851307509]
),
AffinePoint::from_raw(
[3582506796360814882,8428967950436755761,6888400534542072416,561233389679236346],
[16846205841934168240,3854702251464445980,4348075994310007797,70204669534355532]
),
AffinePoint::from_raw(
[3717633161793604768,4863184006234259837,7733956549096770840,571244068458813494],
[6306502778048684533,16455522419258752717,16586711355373411357,233867258220631472]
),
AffinePoint::from_raw(
[18041353993709652576,11390644554589057142,13875194991791552836,230517409502646448],
[9076778197031867861,16238470641825279233,2226818880349138031,358245905499146476]
),
AffinePoint::from_raw(
[4535097086719203211,1825559196461515071,5195978720737231739,229547826994541597],
[11539925430952873298,17806626465930900121,17123866301825658778,147588461321387382]
),
AffinePoint::from_raw(
[15488356867616821388,14913528199801302853,2773919801029782142,567828742911293774],
[2402786904735779848,3413916712951538165,12573563703402773916,401504060510616823]
),
AffinePoint::from_raw(
[2466847719456647318,11196096404053255589,9193813310809520844,307089359408737399],
[5547750791341694750,16185936378573956596,7924118112519957550,89389543305191661]
),
AffinePoint::from_raw(
[13343336613925073654,16390245937303069051,1222892645816184264,17268774731878019],
[14045998758520115494,15301108207730441375,5652337960367887747,359279020109124400]
),
AffinePoint::from_raw(
[4498790867877647339,16798611679481810588,11817611752888412385,222345010574812002],
[6827644257423831796,14217591268071302759,11494558687510361345,391585975998750909]
),
AffinePoint::from_raw(
[13360010423633727751,10969736873798669114,17124836248536587712,452944694751923489],
[11555597370608153236,14693334291953406374,13165464171853578380,5634971953771361]
),
AffinePoint::from_raw(
[11951476433256656205,12694879353452699221,16268529224473130509,465321476081147761],
[4695216024920126512,14304824152026729704,12758444246824624812,503565729420430465]
),
AffinePoint::from_raw(
[1274685952485942628,11463160581021146394,581896502415903774,193130049018725299],
[781029742375997057,2281728494507520361,16666473607281885386,372600046446824900]
),
AffinePoint::from_raw(
[6915583226539173950,18197620776233744258,13140494429778367668,254280765016272745],
[4967986641851603292,8942091337875313633,9726873481562218354,97454039436725706]
),
AffinePoint::from_raw(
[2387540681833222082,17533557884219992093,9148203265308206331,117905842975618713],
[17135672898716453758,2779460760802345018,14940560366256952975,348390286687670456]
),
AffinePoint::from_raw(
[2585123167326700490,15376233956008763078,10540641866762664196,532817676857940476],
[17343112291503439261,15259278032925213191,12252828602373170480,154814391961139092]
),
AffinePoint::from_raw(
[2919572280424885338,14746599569439637635,3963399096591464141,242430523788086862],
[16120782502654437316,15572103993967415802,12777278612012932849,411672710293336487]
),
AffinePoint::from_raw(
[5654236091554479414,15174239569152793868,5039647319566867232,142839041207871051],
[18153119977092381551,983722340040305128,8770876993096961199,484202913476836690]
),
AffinePoint::from_raw(
[16055714468149572438,1208968592913729547,7869091179726406117,232481040462839641],
[12462482405318814261,15839207828388840683,12306513990056341248,88280329721533503]
),
AffinePoint::from_raw(
[16245015933246078415,18116119062542748728,243667703094679714,23865213406601682],
[7122609340039763598,7344693316424105635,9236894262742251917,323401502387087447]
),
AffinePoint::from_raw(
[9066827760186720605,13472468331133066561,1726852126776575181,32390145797788017],
[1305997662565500175,332292820780672894,13186213898408771942,453122417124262861]
),
AffinePoint::from_raw(
[1947013958793491333,6668901473030631889,13118496706968767132,238748921161919436],
[6901410920224693174,16654119854628048563,9390859845369127920,570726570008985772]
),
AffinePoint::from_raw(
[18073499576935237771,16800396554803387956,7344878709708521688,574785286030569518],
[7749187597265630615,2920745403615092748,10143054098163372137,256137974042340283]
),
AffinePoint::from_raw(
[13011028441741087360,18384244034998297979,5900837403057672593,450961383284293894],
[10018061245679654149,8767688410066490963,1409543904092549647,442826984404561918]
),
AffinePoint::from_raw(
[3083112556572480600,3177070073863919843,2720992788789256787,154776666383985119],
[17276414048383728855,1035426439652150638,6047073359536843741,268131036829716754]
),
AffinePoint::from_raw(
[4927324289720413819,4040022112192273441,11858541439284238414,346029334930535972],
[6916690136204921724,12250172507535199558,8837420935503109145,568137565295969251]
),
AffinePoint::from_raw(
[6471737524917018505,11077988452795838524,14662316151927431848,218701735450261104],
[2049907794542447142,14150565219188911865,16985270456794314460,474245178759064567]
),
AffinePoint::from_raw(
[17872732719204076942,13525581824199063059,11076984965272638353,361052279101917712],
[12618578844297679240,15368877852039986066,3351120301809603598,235892603593675193]
),
AffinePoint::from_raw(
[7948326529365039618,10199107915490740206,9784362210539466478,469301667179830535],
[4412653660270302332,18338335967616924604,18038201707327900913,519059862004806781]
),
AffinePoint::from_raw(
[11051853548415540401,4125755011491178620,10852342225599023151,15044640011703064],
[5009267202902030510,13356432995031343128,2628690250831726097,137370280145802071]
),
AffinePoint::from_raw(
[16633037292693734768,17011543681454408107,4721091317286925533,200475831445882287],
[11435753632969605718,14206778790788003259,2482737593732192050,574864502661471950]
),
AffinePoint::from_raw(
[7966122928761384890,9587468549784777652,2895351050413544391,503461675518316156],
[890843865969607274,7207450454933779781,9641699727503797313,20244565728850298]
),
AffinePoint::from_raw(
[6434248264392920601,12658807968748682345,3073067821435167061,343974960479849209],
[5204821005698873731,17475832411400629834,12631368563785846815,112588097556461424]
),
AffinePoint::from_raw(
[7216346301620905862,5417913324104070811,15896273218310486263,190248238226439225],
[15310561962914609056,7683732342861102148,2632186513261716429,189754210859438565]
),
AffinePoint::from_raw(
[15228525756325771325,1558588464900343420,9211875126334109589,549367260747603810],
[1965559983352661521,16052822500797932955,7808573128498583015,13929474065896837]
),
AffinePoint::from_raw(
[6874337389203693188,6133810577207564106,13097084433773741069,493650174748500026],
[2903469832657076083,9343821459988918110,13447565809970997608,28325950148068351]
),
AffinePoint::from_raw(
[14191638411201258114,9696261371067870807,9405052101825340653,275431246077252777],
[16094808972964983542,10153223827702727088,3402758857231864872,255661352061530650]
),
AffinePoint::from_raw(
[10420599948662750973,2287449702778159039,16047612909492670069,549998318691184643],
[5196129276923371020,5412253356073704242,635590435244409418,287244950657175688]
),
AffinePoint::from_raw(
[6481760229178906246,11520602555109748486,9445761155801370426,539928151807756197],
[13862680447918374049,12942462812430066812,18047756035277615695,458327036644931085]
),
AffinePoint::from_raw(
[3071040455301242928,13932797931437040239,1230892490290383925,561675421051772143],
[12218238306578287319,3880274942641550461,10658053190571158654,569648116698394454]
),
AffinePoint::from_raw(
[4932028960559162150,16622206279115521529,13560326575627078720,1660466925231059],
[3004155801234196525,4536742696097743101,6167197882044486680,477202620391280211]
),
AffinePoint::from_raw(
[3451737680898906919,1620586395656561334,13096629216241932174,550325103876006758],
[10493659700010288995,8876250120121588111,5115190129657051463,437767395637761989]
),
AffinePoint::from_raw(
[1274822853511715111,11166281610044547887,17524534675190621929,490132648472796421],
[10911361390687398493,3171994753674641462,13660254870311395294,493238679926237561]
),
AffinePoint::from_raw(
[4130414448672482920,11946240269005975588,6883670297454612543,306419402071451658],
[15543251372778544864,8402468519717246581,333983386473354566,465143453738796245]
),
AffinePoint::from_raw(
[10905778114271349770,10698320742540250613,6341715194082458134,111965416600752688],
[8979281738574206717,7693611937102507697,18286685341600345553,542613521137412730]
),
AffinePoint::from_raw(
[18110784274454591072,8996193897882176869,16755441602453741691,278030715408215541],
[13446449128971528074,13407825903529448154,6565814541337221914,420502021944611848]
),
AffinePoint::from_raw(
[17085161610472053465,9405377108936162249,12264838872036643674,90916921075735731],
[2239749078073959177,10535902493504143070,17488071686342843106,453395026473534540]
),
AffinePoint::from_raw(
[11581005333819609560,15954991815259059150,15190592522580980149,483672708383999469],
[14796745587028308357,1547624918279772919,286008091548204560,476540106615774146]
),
AffinePoint::from_raw(
[4883193647285414597,11941671093293192639,16227284002359107696,186587551181047375],
[8176798657536577641,17609347022358623809,6630080922294995456,212461805560259123]
),
AffinePoint::from_raw(
[12736576300679265243,9146813176347901288,5917413570990573090,461734063187278816],
[9386200581398885202,3724577143956713186,3952370730160139183,523358641960173872]
),
AffinePoint::from_raw(
[12689990458887854370,12759686889864883207,621307737548683762,161529970937186842],
[4628966560371129077,15532911545113250416,17748939648309030489,23922863831806689]
),
AffinePoint::from_raw(
[4154349044990154615,11857079774539222063,3296807243157453974,91008069798587755],
[10269705503756328960,6041655291797326449,10390846184362579289,196753734548975002]
),
AffinePoint::from_raw(
[317160722660658672,162227190671195532,7620328760743564933,525659505481554094],
[16648586643533768607,1227679293630994995,800522496098914150,574707662385831566]
),
AffinePoint::from_raw(
[15801701577195138110,5551745698444907477,10123427082982815980,344280218109921491],
[2137976180758880869,10367227987534128743,16533293481325920200,365339394962854313]
),
AffinePoint::from_raw(
[8361712607706356104,12196978231254533777,15361469069170162698,173001721201100248],
[6789919032647392664,5585605666547460395,3468385111517569722,204655323291732697]
),
AffinePoint::from_raw(
[3229055015455870292,10493741860934358730,17790920431596829580,547558117557950655],
[6454820217964978863,13618158078695790752,7779609047745727799,161347902005134110]
),
AffinePoint::from_raw(
[849502543495128796,9811754517322778895,9153408594518956106,253125856677100026],
[7770684534161647847,345452129522992376,4460368549117370176,489975624312293948]
),
AffinePoint::from_raw(
[1623317702637422927,9610487533410789545,11673778410769700550,296698556309622133],
[14490331791903624606,10995826556301778835,10583263385651261539,243405315422127343]
),
AffinePoint::from_raw(
[2895279437642421063,2087026180228614591,13308193283633116963,394487852341139413],
[17725644261428121798,12653807136160389022,13253218163216932804,523188407976217687]
),
AffinePoint::from_raw(
[9172318234145568964,15017467524460524465,16273555361161751656,457151429417293267],
[14421641123263641170,1852941340477814831,3980427214769830764,7203874416936383]
),
AffinePoint::from_raw(
[16053032198824518422,6500060001363546037,15500530532608106325,256247886358291908],
[14451643462666345972,11287963357175851573,7375088516684441058,532748892282523989]
),
AffinePoint::from_raw(
[18414712643455119193,8902967062231851444,4021572640571362337,539839175295107091],
[13437204989271741651,6003465725841526050,5036112440528775041,454774511311574706]
),
AffinePoint::from_raw(
[5833312033192104920,3394868067969790845,6019871605612180571,303716342216083608],
[6140389585422078923,13222670081484719323,11707013600463935866,301780151899719002]
),
AffinePoint::from_raw(
[11902571410743372026,12474049309934506753,11268366663446976999,395848891426411841],
[11084252391270953854,9492166144719238609,18261237722079128040,371293255385151069]
),
AffinePoint::from_raw(
[9049352127939441978,7519750750252094273,5328291668250738276,484294566420377612],
[16455025776620064305,1974818662659603623,8377692143495352819,158893720981237392]
),
AffinePoint::from_raw(
[2585913456952772470,12095804898089283560,14149681878156407675,158100091656003980],
[749081227782873726,1672104563538346698,13184912805345421090,7130595562897650]
),
AffinePoint::from_raw(
[7964875891404001387,17904475082595360307,9725189779368269108,267562424019450090],
[15824757299163662964,4796340830110821832,2196384251435018503,239616705566573964]
),
AffinePoint::from_raw(
[11800716580136877749,12863388429487814925,5046578168991102682,283335369987711348],
[8724500391639616597,18217403093637091034,987735027015203455,295567703391911359]
),
AffinePoint::from_raw(
[17548536208340159769,5212768464589503343,15754345246965299705,538050196178470415],
[11721477403861310765,2523847603395342669,9547034419668516506,75626253379085055]
),
AffinePoint::from_raw(
[14657979593557764153,14719700594643778765,10199100460054375495,18650193762188629],
[4667653693580464792,5985782328347285498,14929471754373154963,308335750194507341]
),
AffinePoint::from_raw(
[1279311790035890982,3820336427099717546,12140690929087864756,526441900293144612],
[15861497069747588832,11324066029928183893,4788298308766726961,420001201666752203]
),
AffinePoint::from_raw(
[8364489542083659263,18136269192027526615,13842703340028810944,291079207886226687],
[11443817163186031750,5948856413721564677,17054016798311812408,303067671112374408]
),
AffinePoint::from_raw(
[7724882964586508349,18186276217922604615,2949215834825639135,550410911213923555],
[2646030064567194836,5486072232717823978,13507742657739901851,9350075176254674]
),
AffinePoint::from_raw(
[231457098181851173,9221173081601160706,13702967188454647205,232845842090896517],
[10542767669314765128,17357012941590569895,16926630944080420437,296452465411660862]
),
AffinePoint::from_raw(
[5954252725929389913,14811547690074091580,11502673433349027924,156404645164181175],
[1489475671674632547,18171716910884751168,11269265372297759956,335881700670676105]
),
AffinePoint::from_raw(
[12488837113435485166,16563666678210919117,8971484718313469775,480132832906751440],
[3950601829451237529,1490889248778502608,3428829194700175618,575875529591406114]
),
AffinePoint::from_raw(
[15843746302090361809,3477164868652377712,12527189504671736067,462389476442997480],
[10009079702581191709,2492652540206533621,4860537262419281855,478040358763486002]
),
AffinePoint::from_raw(
[11205298889172652627,10751375519551944098,6498312493016630397,294684634521592093],
[13638460259416851641,11178431761816584448,6732013461327949261,435362696907202236]
),
AffinePoint::from_raw(
[13343966015120640115,18417322986447217019,13877406000728566694,331355884474277114],
[2965986014717339085,14383148531091064515,1844718081505092351,138912243110450609]
),
AffinePoint::from_raw(
[9863293257076623835,14814405999337664354,9126654875414724319,66662140968374860],
[16985236157029883571,15803467544684160165,534882725770122708,535430301793921308]
),
AffinePoint::from_raw(
[12017140839508214117,12853540841057234551,15403125118480287535,245052165139416922],
[17021518578087660527,10649476310717289330,8373612604875192330,303889238698971278]
),
AffinePoint::from_raw(
[13236981577627496259,16081517109128315151,2783726682791102331,131129063227071815],
[6386119969054631716,16611911745614444194,18210886665731119311,488043345987348997]
),
AffinePoint::from_raw(
[7686628769206949084,9761633602528441871,629892530460891973,56084612467227442],
[2608236850260445119,11076085029015276271,12591308068824954910,91017238329488717]
),
AffinePoint::from_raw(
[13926707568601404955,4385757453001486269,853366651422456616,182906887232723979],
[17663817010899971906,17465345338118838186,9720153074584163665,533408194899688077]
),
AffinePoint::from_raw(
[10415549068088127662,17929515034592999010,4768580919345526987,264976284840206024],
[18227237852398073528,15425521293054097393,7551190555040880671,67867921264432431]
),
AffinePoint::from_raw(
[6399555112815744054,16697273804652463365,17752237171827589076,151023126058659682],
[15844468720343995109,1578687550795057141,2092507532189979555,66768439399369949]
),
AffinePoint::from_raw(
[7548032954293802374,13641427898192754002,4585952203533405760,135840175817808611],
[8861936152834942171,10962056898641398653,16232478536111473486,207357969182295247]
),
AffinePoint::from_raw(
[6054142227592638035,1392745946864434541,4973177210168226889,227167973141433765],
[18241476772110204272,6342459274404786064,14224379942044463059,302911323530533862]
),
AffinePoint::from_raw(
[2413992714806396798,12994442906551526832,7777672440159101240,99373068097644040],
[2162765291980814293,7530070270877478124,13157341832375016212,148368310207601208]
),
AffinePoint::from_raw(
[11492408347587879534,14561603534273014406,3333637418545856626,306380694334653698],
[369346747959150435,2564887766434923952,10003844044319867734,37940873223649131]
),
AffinePoint::from_raw(
[11063815224087296174,12025209790240797993,1042194021900517987,349715989676503119],
[10580611069635217453,1331350473138757018,7200508016723265059,428601826763642247]
),
AffinePoint::from_raw(
[14814337535971390413,1916218962126852470,254821235735560521,64909063931044937],
[10804684969100490139,17518427504817126151,376546630398032790,358975324009055199]
),
AffinePoint::from_raw(
[9069257952786817763,14937769708117207941,2520008394685835899,378941035459607971],
[4521053733665938433,11128686449089319685,7586568612555326008,12249569907959928]
),
AffinePoint::from_raw(
[17063498682199121532,14335957680203883450,15781984984038657356,214941607614703089],
[14214137594137638974,16582872941460709574,17848023591794328113,249121145962158014]
),
AffinePoint::from_raw(
[8201518040907443185,12573088852066617092,454834452381760502,375160173701009725],
[3852855023294097652,17334015772458465425,9291813290848973282,150105199279255542]
),
AffinePoint::from_raw(
[761696737379883988,7934896691269668131,14694474034991483512,247667219892237832],
[1013095215891245239,3726000729509248342,3343294196486665276,542891232124456663]
),
AffinePoint::from_raw(
[6556568042582035574,5102897004501269264,10262250217561114342,289005687072602977],
[9547314822419247045,2968830682726417217,609287980579289790,298156592699156761]
),
AffinePoint::from_raw(
[4271778120014742796,13399444892120845854,5001444953090699679,115794970068878285],
[12670400866723870437,6573194981521272550,4366237257885897460,412094418611889634]
),
AffinePoint::from_raw(
[5834109220131234422,17620600513655629381,1064767720397404962,361734729104431833],
[5987357673382483795,9364226326153035692,6326860748028831975,25278712692525194]
),
AffinePoint::from_raw(
[6154168877607093269,17954448719817806637,6048050544907097704,253631389350883209],
[15896844485033435265,10238330678283031799,3081470865474609725,338548476851149376]
),
AffinePoint::from_raw(
[9754688867756183286,16018631807997168387,16808588438036581843,9388376027383704],
[4498575749310688907,17801882826263891213,18061742826157904686,413378343178613682]
),
AffinePoint::from_raw(
[18131847548660043559,9892342930562099667,2855465187115790007,391663256802881599],
[1116796014166854040,15000916024070071198,15920705654988672797,330094854783191094]
),
AffinePoint::from_raw(
[11646569364845279494,2572345065740823997,3851244956453876252,47182761842375080],
[15556136427027684214,16795158129192778495,18255471761928406582,532864279847546374]
),
AffinePoint::from_raw(
[18167814277764120712,11300770813053014366,6918164135550808388,60957594530631123],
[18282142790100144995,13721316605462691055,8550426821522464095,136272596838872894]
),
AffinePoint::from_raw(
[615649142581108116,17402465347886446861,3032761085908998154,119967756883134007],
[12575052923676820158,3128968739594512886,277805856227428869,491823462218414697]
),
AffinePoint::from_raw(
[14727450989121184195,9635941859848934783,5810972912065491845,402769705066704480],
[5697195690788918343,571054147606549919,5776854692602346719,203457769148421024]
),
AffinePoint::from_raw(
[17438587928209501781,605838613095744446,5140066889978756956,203952334443453621],
[12375404051682451189,8783691270719980079,17222893222490448553,156665216364948136]
),
AffinePoint::from_raw(
[174345382126418313,8821882940847945453,208862663505444566,344575435648163208],
[1366647031795654481,5837164234668397538,9545458141456375018,71197505668248398]
),
AffinePoint::from_raw(
[13607232358182384417,13574867808975681176,6847789006897479255,462917244878529191],
[1955803546929639264,3366080241280410474,4191391658916665800,290923416794902890]
),
AffinePoint::from_raw(
[11117520810785463554,4454843059651157800,3933882458981473969,467223010702121369],
[8741248797895906622,9743964857996148228,2380972703387102339,315115525590990509]
),
AffinePoint::from_raw(
[16408928874828365818,12234973292619856615,11314965707131750957,528840403155587985],
[10400096527504454665,4826183744381011057,420537108603584099,124382339108123483]
),
AffinePoint::from_raw(
[12270248607846050453,5910629647483608983,118419074389970534,236641397747446349],
[12220524454541175441,9600525255129094768,13343467943259563255,230964427523905855]
),
AffinePoint::from_raw(
[9153094813931285362,9013609212830953624,10739142979181216674,305074810411267924],
[17620411509128559894,14013355958216389742,15304850497303926696,542465406524855794]
),
AffinePoint::from_raw(
[12020160757150023085,17822752115693256024,14899294070722352310,38832530327421736],
[3428512795959550628,8044148203986547670,1029179593094026994,367461323383431001]
),
AffinePoint::from_raw(
[5394163418975332538,4099237621196445667,6299764258694393585,236303255002962912],
[5120597985006492225,7315039705923676910,11211308776478756238,13422846085664780]
),
AffinePoint::from_raw(
[6928697157251260130,16480172065110631843,2787622903126205545,530686896183002497],
[11248098707303826046,7436610681800355563,5757997976881199269,30663551038342620]
),
AffinePoint::from_raw(
[18346819123725471975,8059436111768029855,17908842044643958679,142724019589964388],
[11231634931592027524,11310875883542535966,16031460660826404239,150697640568172636]
),
AffinePoint::from_raw(
[14720734496260287551,17661050507914703143,5029669388524267525,126714992958653368],
[5344334915748241666,4495689977712666521,1994500564025564928,241511125285592002]
),
AffinePoint::from_raw(
[12358262517591651608,15554357629099776240,6668750313125143589,57001719932083113],
[18203550351403296089,16830170113559708327,12519246405560352756,536202037465851710]
),
AffinePoint::from_raw(
[7265886473786130373,8990887976200326386,9842138047553624539,298709468227344671],
[7891645193933672674,12335134043555814488,16129361330233235853,127321514571198200]
),
AffinePoint::from_raw(
[9384128066781809955,1160703246637100631,10660361338611629061,153488070023129292],
[2846312482588778577,8410671615852735494,17042176237797906977,480657597898083000]
),
AffinePoint::from_raw(
[3362088185649160746,3492488627594879304,6837778776480645204,215928561074572386],
[17249998940368754065,15385026168833105158,15956168361920278675,72759646036699595]
),
AffinePoint::from_raw(
[7873033989397923268,2143146104557303909,16265395645589427134,115956205612412760],
[918693254180141401,16401748797735253868,11783577729096592864,190658206988805395]
),
AffinePoint::from_raw(
[3279666205380490004,4737200511089360108,12724204700352683420,42298355661789025],
[1257034853642408667,6172867911666487042,13466845615711398389,439127036527354095]
),
AffinePoint::from_raw(
[11514723181758023302,12772109096304702888,6879809304192877985,191831776358432866],
[16074844561675737665,1272960004500291805,9980665949561621714,388479487770250330]
),
AffinePoint::from_raw(
[2665359794449225518,2624902467378212807,16614417816281044454,308523922491573785],
[17741832140849073180,13501404467779202690,11021183717371201529,248404326642252602]
),
AffinePoint::from_raw(
[8689121019237690447,7605787940329490105,13529799952839269586,96636771071234404],
[16421286137378655651,2454926610711528922,12258327937241541283,432677439774349226]
),
AffinePoint::from_raw(
[12963366820586051711,2114210207430044846,16788647562771328723,406073917408489898],
[17559798523658816739,4858960583396479549,9111983503343892683,274944876153519338]
),
AffinePoint::from_raw(
[18266161521439251737,12381297719450732792,17703790552647984859,457937931821659307],
[11620215592946783994,11817172173386376820,7421094170057345751,517990764520026132]
),
AffinePoint::from_raw(
[6469401180319931383,6494472018764615728,8363819805338671931,217137517264833479],
[12250498251603584373,2674549332948354018,3043286384263684010,473935285591288856]
),
AffinePoint::from_raw(
[10619301173457997423,1408896416742694149,12821679599464706919,285544277007872967],
[12024101521141648828,16363292092476165361,11575646236993249444,99642070821838188]
),
AffinePoint::from_raw(
[7965148463322503805,16081875879907077896,7716174335431575611,169042632060952253],
[3912753003829724405,11861125367557575146,14599839123386901785,476945355038201088]
),
AffinePoint::from_raw(
[1285893531459082468,6444870402998071092,1917935590899747839,503051344195980827],
[5103877881402054663,2257688976540989757,14567761274955089491,458882623534955249]
),
AffinePoint::from_raw(
[6155384898005651532,11554552134749665285,15139055487080001446,123233547972603214],
[16122925054925734115,13445732778178544929,3212634634007638641,40165182113512379]
),
AffinePoint::from_raw(
[15352114716637399334,10621432459305689024,14911482618347011853,442711268236686990],
[11638330734131148165,10201374166534987527,11274399866359298163,573602845317070521]
),
AffinePoint::from_raw(
[9972412756673967716,12071143229404750293,16087388423140634291,286496761588140674],
[16381041268297906348,16152969759476683062,7769134997388012311,148527450370385038]
),
AffinePoint::from_raw(
[12170074262189202875,14044028477000593732,17658120051886952223,137889901523381027],
[5033438134312718132,16982360669006944439,11435995884934245726,77546564522227008]
),
AffinePoint::from_raw(
[6330615567355190104,14543323925943112892,17385153302681438538,412967548990897307],
[16682729090933089762,14231000649166707929,16665044279620663410,126880995659164651]
),
AffinePoint::from_raw(
[16188480527222441154,6110385497687753651,380139053996274964,92721301941155141],
[1566386899494090013,884927972888342963,17836345993548736892,392663097577768107]
),
AffinePoint::from_raw(
[896413670719535941,5539373512843792744,2924749777407080781,491836541128209818],
[6360795523180493797,1555359154373467894,18119352292024608530,453712857560294423]
),
AffinePoint::from_raw(
[11931986289902368409,12437456769177266666,8918771149024557211,445864406031304899],
[17508946348894641036,17765877251261038302,18070985169157452106,97776910294079054]
),
AffinePoint::from_raw(
[2028064001163040172,4918821098705933916,11014268346435952371,137926530686447225],
[1954152753854293672,14820016651014732735,16671931969674282079,20947668567294273]
),
AffinePoint::from_raw(
[1480320220863821836,5698337026409106483,8270321567458530588,561999340967516402],
[17062451032528049967,1502123638226545953,6639702681215803326,230919093644096557]
),
AffinePoint::from_raw(
[3916584007101348543,11641555551147842406,17589733389738204786,160300457266341030],
[15015146587155986002,13636845822250217652,11679216815002032848,443430802015295702]
),
AffinePoint::from_raw(
[9359806346784563932,16822849321888685611,2457065811196708447,204314080495523756],
[7916786677871665020,1243533074886109655,96908581770196495,199364316383857528]
),
AffinePoint::from_raw(
[323899728394953640,9037875316199690599,991775904881331314,307733653697050925],
[11559209443089575790,15066441375234118439,3531374053527065418,154051096959922324]
),
AffinePoint::from_raw(
[16197153171534359805,11739132036108644647,14915680887533370732,256520238505953142],
[10196899895900828065,849812416121890540,5770960379432023965,268084070167505532]
),
AffinePoint::from_raw(
[16306727838668730785,433114286378637643,12756524117670042277,208990447688772413],
[9130169464339137024,13483354171579408065,721204806537266235,350653662394448955]
),
AffinePoint::from_raw(
[3403535265585010606,13590240605129625293,6005478648938899515,153281723799043690],
[2414654920786859566,8858203047455490107,11941592782767658639,269963387157136187]
),
AffinePoint::from_raw(
[7528476894497856900,6619748141124016903,4547386530592151671,292805280525320812],
[14551774529864840711,2504683788005233755,13375072011442871237,320550401166111885]
),
AffinePoint::from_raw(
[6604103896182882474,5292714844384805357,4806290614886955469,160694463277836444],
[8812590391308739785,1702848621825806444,12731769675947357064,150247737471781496]
),
AffinePoint::from_raw(
[4275200810030430215,10791901189877880135,3959568096650646182,61927916555756730],
[1892084893215725907,2521374968166077638,1818972225794445695,480981614039034538]
),
AffinePoint::from_raw(
[6846713462113532625,3952879032475670871,18250291143020885777,125786431602868648],
[17477715423302439368,11301167448977869452,10948533579667635615,470459750861229950]
),
AffinePoint::from_raw(
[5894410907400985475,15655082188650827291,7222844239629172592,217538840321336316],
[12716349910569830232,5583201882003207074,10814918397983706654,160224479568820497]
),
AffinePoint::from_raw(
[9998175658699176070,2693044393529114328,3384636033798606466,530755562622331303],
[11372843442617411798,4093386427910732027,9002665228329819320,95807598127461711]
),
AffinePoint::from_raw(
[7673972906173354618,857845217909940206,5208210629389577550,351115617227079836],
[10221625205905832838,14899550941279398624,10399231983731815573,28579073026385676]
),
AffinePoint::from_raw(
[7197838527008114475,12764166564953153536,15847363133969159547,440106725707654929],
[17531450093536472302,17183498559689682997,529707305614042900,369819166157984788]
),
AffinePoint::from_raw(
[312181229956978805,11740849070317778836,3233724605884234081,504666460639068716],
[5037419443472231820,11531766916450878683,5714216827697495803,43134947283674406]
),
AffinePoint::from_raw(
[7189912917350681037,16092878830425290707,6060181691847268713,273326133937222116],
[14260791556968032410,12017562257036055795,8447488631936504548,325610504816519647]
),
AffinePoint::from_raw(
[3773963621885013170,5875060513969078625,5548358894511371191,312518200987948218],
[4872147105573330937,10728017180931131079,5005796375320236796,380463662329164020]
),
AffinePoint::from_raw(
[10149130346097777304,2283649553740762047,2779364039202628290,154040834826838089],
[2988990778700568184,12443529217741867845,13785940766902375435,409680727241411583]
),
AffinePoint::from_raw(
[1490087495758138120,14309966772993364530,8492556772041483049,476358244950694890],
[15389054638952582103,17636650162983636605,17469779891897192298,23535368137764913]
),
AffinePoint::from_raw(
[14401779575691328686,10139362589751682479,12471413449171994012,81046948123441134],
[16034139622153998465,2533482435229868402,8087168778312308530,137226653788395688]
),
AffinePoint::from_raw(
[7844786091668551389,1044235388305897418,16909008507796381005,196001113364599999],
[6578541857924976633,12607069045414314183,14732790028957977161,170836308348959675]
),
AffinePoint::from_raw(
[7956740377368223022,6487020227961461892,13985484723019696955,59879698792749901],
[5708844106915211963,8785561881774486966,14708285961950024059,280134902887178552]
),
AffinePoint::from_raw(
[7023203973361959712,6152932354324280884,3349154515639608180,396012485086086296],
[10094720817802101936,1412815102971445826,1922103906078955130,383226048112661287]
),
AffinePoint::from_raw(
[15058342621137911145,10010932648285650943,10875464790545065775,347403866505654456],
[16359605989226222663,97202817609608811,2109109330557168659,251076655565793311]
),
AffinePoint::from_raw(
[15038724195090263352,11998528725516688609,4197051484741027820,453212452569847427],
[14949729039307975330,10924069850604232385,15233983954429455941,319943058284151336]
),
AffinePoint::from_raw(
[10079293047793347893,2652017199178060142,11306995612665271163,411001320579979009],
[4479001464913704161,1270669992970810463,9869244019757787187,253816416385203367]
),
AffinePoint::from_raw(
[7575445224150264776,16508031513923006607,8032196182115573392,178190260617505511],
[7156647213844826064,2835857306749726748,9878410188498680907,257074277755057565]
),
AffinePoint::from_raw(
[872681158428951354,3336675683519896848,6321148692086166038,80839860499394448],
[12578431425615472471,15920150636980193155,13541984653245994949,9233260021662163]
),
AffinePoint::from_raw(
[17400567031146781432,10822638308127401560,9268518175304050403,419954123712990831],
[16083050045693223583,8809567839763642483,1089164704895704109,384645312463089066]
),
AffinePoint::from_raw(
[1172612197885990862,96194998101814308,12102282232009728629,312174969968832454],
[9327173934155207857,15258587062149597021,665285089406172626,451429702233434141]
),
AffinePoint::from_raw(
[13960755832027933510,15832995365320942405,1605889632779682583,558532627511463206],
[11340489539537632385,6388916971320997036,8179579848477003095,334724983407966497]
),
AffinePoint::from_raw(
[8414241127863210433,7765863881062528722,15177495723019857191,519875139124435893],
[11211973361763547835,8775471527283956647,10086954980971136314,389045298652380691]
),
AffinePoint::from_raw(
[11970793863111720356,5819328454389421389,14249817934159735174,267524341210523068],
[14365306914502967285,6100744282545119095,1130038964739254365,150948578357743037]
),
AffinePoint::from_raw(
[5076349589463631112,14949702536744763373,3605500172853177841,488716473924152014],
[14114668980970533394,13012068996649241378,5931384027464481855,90196694508994564]
),
AffinePoint::from_raw(
[4953469484072048378,5630522708875049246,13431774753754024956,509427232415871428],
[805878010004871764,3208015445469124414,16233223400874529524,150121142152813244]
),
AffinePoint::from_raw(
[16742815560808595344,14108194913971626852,7387698610073406517,10868635082758402],
[17807280683978326701,7073565927432604592,8008925479080376487,462583598714933317]
),
AffinePoint::from_raw(
[261096824711097615,13747136439075120052,11456649198908678679,30045602370095412],
[17479632212478073265,543629752328482184,2025413942380848064,48628573438911057]
),
AffinePoint::from_raw(
[5190160932741214308,3120831677683884434,2111316701930420523,508595106839297008],
[7453828100717039280,1655429350256891604,5895376790232251383,23136066763622896]
),
AffinePoint::from_raw(
[6965419003674236010,15151633273610480386,13245943044693829048,107475093280165162],
[3622564253499693230,7062920251146527852,11174366232191959174,574638542419178469]
),
AffinePoint::from_raw(
[14075422263258501,1950779089938632145,15829939133030299924,23899832526571297],
[6734211526347413653,939249741518394037,17318389593634706577,22550693368382349]
),
AffinePoint::from_raw(
[1709504249289401470,15368607381404978948,757607094784755877,347727093197956790],
[4229089761429205786,3091403124909326935,3675310663333566673,400890026271014642]
),
AffinePoint::from_raw(
[11601055502434084264,16351065953537559009,51693676337470220,565028682911294238],
[11659846622614222310,16332470247592134263,10967295452534146590,381208950050097290]
),
AffinePoint::from_raw(
[8097864006063212072,7001319363180154664,1117680472769432836,19518119833156627],
[2991555462505784568,9849790214837946195,420184525263777402,186385876301836693]
),
AffinePoint::from_raw(
[17183259051381629983,9326989877903287254,14008229189894553067,251023016660179726],
[17361670945350418502,2857003796796935566,6083670940986466475,53860678923324180]
),
AffinePoint::from_raw(
[8592277749308600656,9745503354148442684,7242539475904191626,306180555237719147],
[10306449457102525557,1773928889374274218,16568234461016079711,422290569653054295]
),
AffinePoint::from_raw(
[16722222105561502529,8545656001959578493,18317518862398801846,281478165467125935],
[9379447025809998354,7095814615777843904,2505936086669040002,262972139668684264]
),
AffinePoint::from_raw(
[1647139949310274242,18356583154704034145,7485006423650320283,428318936436418418],
[781830826305665021,2679205028151776278,5219886384351472390,556977092064065977]
),
AffinePoint::from_raw(
[18117879418041564880,16465008183698564891,2594181564044460697,574577609920447273],
[12368944549821416811,4072444133007159842,9675990716362073570,27062583855572976]
),
AffinePoint::from_raw(
[2344840958595376944,12619931694656450712,9473734691739100809,292043324677139207],
[8455510219194255090,17635023634493393109,1476661265338747218,3528423632609304]
),
AffinePoint::from_raw(
[17397247279821608826,6263176476544149680,9551643161743040174,281620439678857711],
[5865106647335942502,9303257760477731732,9012451341232819101,182321478676422559]
),
AffinePoint::from_raw(
[17293894811128735073,7058781810750313765,11774383908271756507,224309517814582742],
[8430456967420292150,390889357059310170,18258307162140116798,326543688846504854]
),
AffinePoint::from_raw(
[9453355971147834644,11766227072329153403,14465767266957170638,284192771156905157],
[3814662695775084944,17841816673419594288,8317704739955333402,537616283361821317]
),
AffinePoint::from_raw(
[8449303892658227960,10972859239457180202,11920551089262753778,418509332246274378],
[3287781342439945360,13498863051804818294,7303475826997970811,546566856483899297]
),
AffinePoint::from_raw(
[13312842728507390589,4655628926681944362,13109946480474415364,32407873881473280],
[1076971486185152352,10868031553247855525,5738691628612614180,343939706148654213]
),
AffinePoint::from_raw(
[4944524277766197844,17171257843540881442,9463752012158944071,27295805042499033],
[9148347050578105694,11176786015413516626,18303734805753138725,271878059651937454]
),
AffinePoint::from_raw(
[7277943382384694989,9152613018966828325,8507227794599405874,14987244884596613],
[3969263590800204315,8495175015350153098,18154022366755682562,174511941283106064]
),
AffinePoint::from_raw(
[978376383392678917,16293863779903965039,18356751860918189801,388170604293662334],
[9851136817620522983,3020182292870434663,13025265743611503948,443793089244124380]
),
AffinePoint::from_raw(
[16545298605852245605,11298489859724846252,4732185467745589825,503664474930556410],
[11141359341437757767,13585697631620196887,9693609061671206576,39452467541516308]
),
AffinePoint::from_raw(
[58478253000926848,13028253477873813627,15044334684180536032,400468787473113014],
[10808288445494182232,2116839861512003165,12824852963268136328,371396854440661855]
),
AffinePoint::from_raw(
[15351642423458341208,1184654417247349029,5168301202427290420,280794327839119785],
[4838177945569664510,9233891258991575174,5935346353674410882,329227482145062672]
),
AffinePoint::from_raw(
[10071381219949065838,12197747730753789335,7801727571236636145,511021290679646335],
[9086018142699096115,3640002379129592408,4809536791326500462,11159016535360439]
),
AffinePoint::from_raw(
[1129511179968760472,9429127851482048886,618112118792256103,290123773680347594],
[1088917157592887854,4835799552022805466,2467840013869836406,521721114102299279]
),
AffinePoint::from_raw(
[17450206624733694387,16824974838971327352,15790732711137757989,126678887841292306],
[13144082469466150215,16537189012801712287,14587757320245679153,477946699160037925]
),
AffinePoint::from_raw(
[11312325410330114284,7620749247435868446,10127033340370697528,143767939718137986],
[18295766979539210190,17479729345953550220,9055714033789381894,166188707158485646]
),
AffinePoint::from_raw(
[14227878680683314094,13117499927949970677,1729097151451223021,148910086413873946],
[4700479712831901680,4418209199747477217,13876049224430276965,234218272633301014]
),
AffinePoint::from_raw(
[17514829049341316428,11290332184081590012,17813053720220093267,49472545906146351],
[11335560726931488669,14144057195799116157,15183986723670519282,252455775591074402]
),
AffinePoint::from_raw(
[6115388451004950507,9931242809024361233,3574702151033922763,185509097268089650],
[5076012232235426024,18292287866895209118,2813630212418743947,111729420563700218]
),
AffinePoint::from_raw(
[13883918016888356696,7949292966501706882,15385209519752456226,49615851521606081],
[10035016663707769167,17721047302914776919,10557608813830605703,472999550005435977]
),
AffinePoint::from_raw(
[15716398583496674802,11365439041514853482,11852886627157586662,546568866578894219],
[18446281303836618521,6656848445463018516,15360783090663637159,522111973998275787]
),
AffinePoint::from_raw(
[17825087767000872206,17090532841469995412,7855119029107280611,521667638505770276],
[4282845962705322355,4070344377592283589,2418360342798072291,395851327036957167]
),
AffinePoint::from_raw(
[8224962332693287835,13635492649349310303,10094440574739317709,128598146311631537],
[60489045896481912,5246064152355872900,1889981663700200446,313432679366931102]
),
AffinePoint::from_raw(
[7867585354477982352,8981729537184955491,15910892467944289031,518384232215606912],
[5908476687070642618,790641548108014744,9206988004623912697,502872008381595799]
),
AffinePoint::from_raw(
[17718035836369637299,18435578676659527940,13379484058680844990,239287804944181981],
[17602194310926973676,2083733471064826882,14312173691459395088,99411345103613694]
),
AffinePoint::from_raw(
[10275587764260865560,17440550716567167978,2631641310118964404,502983557461174601],
[1258212215263417619,7739339947104885032,15155493665805531136,415998392441929238]
),
AffinePoint::from_raw(
[2554365914226082193,1184484268516857563,15928397366582879882,196377152927209890],
[12137005925537130217,15364883211085187277,13167320420076578761,394881966001206405]
),
AffinePoint::from_raw(
[8167983928851382287,292233857079404801,9624461446020815900,36330423124634513],
[2502988507683498802,656008426746982407,8569209295430430417,126507166129886160]
),
AffinePoint::from_raw(
[14367128195082504023,11653806453671496416,10545166538353918806,412581847707844175],
[3931133064323605808,9937572980333409383,12808083587664547541,228072201670920796]
),
AffinePoint::from_raw(
[4357520485352960513,9560307290984256606,9359416896024926459,271426275065707276],
[7508873609783367722,1207379502915317731,9249718516782936037,484438008156811370]
),
AffinePoint::from_raw(
[7203915020244790444,14670803879342886101,15587239599571034813,477675805363551214],
[7439606905675105914,3564799560486593944,5430904143724194746,263679783569273354]
)
];