/* MIT License * * Copyright (c) 2016-2022 INRIA, CMU and Microsoft Corporation * Copyright (c) 2022-2023 HACL* Contributors * * Permission is hereby granted, free of charge, to any person obtaining a copy * of this software and associated documentation files (the "Software"), to deal * in the Software without restriction, including without limitation the rights * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell * copies of the Software, and to permit persons to whom the Software is * furnished to do so, subject to the following conditions: * * The above copyright notice and this permission notice shall be included in all * copies or substantial portions of the Software. * * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE * SOFTWARE. */ #ifndef __internal_Hacl_P256_PrecompTable_H #define __internal_Hacl_P256_PrecompTable_H #if defined(__cplusplus) extern "C" { #endif #include #include "krml/internal/types.h" #include "krml/lowstar_endianness.h" #include "krml/internal/target.h" static const uint64_t Hacl_P256_PrecompTable_precomp_basepoint_table_w4[192U] = { 0ULL, 0ULL, 0ULL, 0ULL, 1ULL, 18446744069414584320ULL, 18446744073709551615ULL, 4294967294ULL, 0ULL, 0ULL, 0ULL, 0ULL, 8784043285714375740ULL, 8483257759279461889ULL, 8789745728267363600ULL, 1770019616739251654ULL, 15992936863339206154ULL, 10037038012062884956ULL, 15197544864945402661ULL, 9615747158586711429ULL, 1ULL, 18446744069414584320ULL, 18446744073709551615ULL, 4294967294ULL, 10634854829044225757ULL, 351552716085025155ULL, 10645315080955407736ULL, 3609262091244858135ULL, 15760741698986874125ULL, 14936374388219697827ULL, 15751360096993017895ULL, 18012233706239762398ULL, 1993877568177495041ULL, 10345888787846536528ULL, 7746511691117935375ULL, 14517043990409914413ULL, 14122549297570634151ULL, 16934610359517083771ULL, 5724511325497097418ULL, 8983432969107448705ULL, 2687429970334080245ULL, 16525396802810050288ULL, 7602596488871585854ULL, 4813919589149203084ULL, 7680395813780804519ULL, 6687709583048023590ULL, 18086445169104142027ULL, 9637814708330203929ULL, 14785108459960679090ULL, 3838023279095023581ULL, 3555615526157830307ULL, 5177066488380472871ULL, 18218186719108038403ULL, 16281556341699656105ULL, 1524227924561461191ULL, 4148060517641909597ULL, 2858290374115363433ULL, 8942772026334130620ULL, 3034451298319885113ULL, 8447866036736640940ULL, 11204933433076256578ULL, 18333595740249588297ULL, 8259597024804538246ULL, 9539734295777539786ULL, 9797290423046626413ULL, 5777303437849646537ULL, 8739356909899132020ULL, 14815960973766782158ULL, 15286581798204509801ULL, 17597362577777019682ULL, 13259283710820519742ULL, 10501322996899164670ULL, 1221138904338319642ULL, 14586685489551951885ULL, 895326705426031212ULL, 14398171728560617847ULL, 9592550823745097391ULL, 17240998489162206026ULL, 8085479283308189196ULL, 14844657737893882826ULL, 15923425394150618234ULL, 2997808084773249525ULL, 494323555453660587ULL, 1215695327517794764ULL, 9476207381098391690ULL, 7480789678419122995ULL, 15212230329321082489ULL, 436189395349576388ULL, 17377474396456660834ULL, 15237013929655017939ULL, 11444428846883781676ULL, 5112749694521428575ULL, 950829367509872073ULL, 17665036182057559519ULL, 17205133339690002313ULL, 16233765170251334549ULL, 10122775683257972591ULL, 3352514236455632420ULL, 9143148522359954691ULL, 601191684005658860ULL, 13398772186646349998ULL, 15512696600132928431ULL, 9128416073728948653ULL, 11233051033546138578ULL, 6769345682610122833ULL, 10823233224575054288ULL, 9997725227559980175ULL, 6733425642852897415ULL, 16302206918151466066ULL, 1669330822143265921ULL, 2661645605036546002ULL, 17182558479745802165ULL, 1165082692376932040ULL, 9470595929011488359ULL, 6142147329285324932ULL, 4829075085998111287ULL, 10231370681107338930ULL, 9591876895322495239ULL, 10316468561384076618ULL, 11592503647238064235ULL, 13395813606055179632ULL, 511127033980815508ULL, 12434976573147649880ULL, 3425094795384359127ULL, 6816971736303023445ULL, 15444670609021139344ULL, 9464349818322082360ULL, 16178216413042376883ULL, 9595540370774317348ULL, 7229365182662875710ULL, 4601177649460012843ULL, 5455046447382487090ULL, 10854066421606187521ULL, 15913416821879788071ULL, 2297365362023460173ULL, 2603252216454941350ULL, 6768791943870490934ULL, 15705936687122754810ULL, 9537096567546600694ULL, 17580538144855035062ULL, 4496542856965746638ULL, 8444341625922124942ULL, 12191263903636183168ULL, 17427332907535974165ULL, 14307569739254103736ULL, 13900598742063266169ULL, 7176996424355977650ULL, 5709008170379717479ULL, 14471312052264549092ULL, 1464519909491759867ULL, 3328154641049602121ULL, 13020349337171136774ULL, 2772166279972051938ULL, 10854476939425975292ULL, 1967189930534630940ULL, 2802919076529341959ULL, 14792226094833519208ULL, 14675640928566522177ULL, 14838974364643800837ULL, 17631460696099549980ULL, 17434186275364935469ULL, 2665648200587705473ULL, 13202122464492564051ULL, 7576287350918073341ULL, 2272206013910186424ULL, 14558761641743937843ULL, 5675729149929979729ULL, 9043135187561613166ULL, 11750149293830589225ULL, 740555197954307911ULL, 9871738005087190699ULL, 17178667634283502053ULL, 18046255991533013265ULL, 4458222096988430430ULL, 8452427758526311627ULL, 13825286929656615266ULL, 13956286357198391218ULL, 15875692916799995079ULL, 10634895319157013920ULL, 13230116118036304207ULL, 8795317393614625606ULL, 7001710806858862020ULL, 7949746088586183478ULL, 14677556044923602317ULL, 11184023437485843904ULL, 11215864722023085094ULL, 6444464081471519014ULL, 1706241174022415217ULL, 8243975633057550613ULL, 15502902453836085864ULL, 3799182188594003953ULL, 3538840175098724094ULL }; static const uint64_t Hacl_P256_PrecompTable_precomp_g_pow2_64_table_w4[192U] = { 0ULL, 0ULL, 0ULL, 0ULL, 1ULL, 18446744069414584320ULL, 18446744073709551615ULL, 4294967294ULL, 0ULL, 0ULL, 0ULL, 0ULL, 1499621593102562565ULL, 16692369783039433128ULL, 15337520135922861848ULL, 5455737214495366228ULL, 17827017231032529600ULL, 12413621606240782649ULL, 2290483008028286132ULL, 15752017553340844820ULL, 4846430910634234874ULL, 10861682798464583253ULL, 15404737222404363049ULL, 363586619281562022ULL, 9866710912401645115ULL, 1162548847543228595ULL, 7649967190445130486ULL, 5212340432230915749ULL, 7572620550182916491ULL, 14876145112448665096ULL, 2063227348838176167ULL, 3519435548295415847ULL, 8390400282019023103ULL, 17666843593163037841ULL, 9450204148816496323ULL, 8483374507652916768ULL, 6254661047265818424ULL, 16382127809582285023ULL, 125359443771153172ULL, 1374336701588437897ULL, 11362596098420127726ULL, 2101654420738681387ULL, 12772780342444840510ULL, 12546934328908550060ULL, 8331880412333790397ULL, 11687262051473819904ULL, 8926848496503457587ULL, 9603974142010467857ULL, 13199952163826973175ULL, 2189856264898797734ULL, 11356074861870267226ULL, 2027714896422561895ULL, 5261606367808050149ULL, 153855954337762312ULL, 6375919692894573986ULL, 12364041207536146533ULL, 1891896010455057160ULL, 1568123795087313171ULL, 18138710056556660101ULL, 6004886947510047736ULL, 4811859325589542932ULL, 3618763430148954981ULL, 11434521746258554122ULL, 10086341535864049427ULL, 8073421629570399570ULL, 12680586148814729338ULL, 9619958020761569612ULL, 15827203580658384478ULL, 12832694810937550406ULL, 14977975484447400910ULL, 5478002389061063653ULL, 14731136312639060880ULL, 4317867687275472033ULL, 6642650962855259884ULL, 2514254944289495285ULL, 14231405641534478436ULL, 4045448346091518946ULL, 8985477013445972471ULL, 8869039454457032149ULL, 4356978486208692970ULL, 10805288613335538577ULL, 12832353127812502042ULL, 4576590051676547490ULL, 6728053735138655107ULL, 17814206719173206184ULL, 79790138573994940ULL, 17920293215101822267ULL, 13422026625585728864ULL, 5018058010492547271ULL, 110232326023384102ULL, 10834264070056942976ULL, 15222249086119088588ULL, 15119439519142044997ULL, 11655511970063167313ULL, 1614477029450566107ULL, 3619322817271059794ULL, 9352862040415412867ULL, 14017522553242747074ULL, 13138513643674040327ULL, 3610195242889455765ULL, 8371069193996567291ULL, 12670227996544662654ULL, 1205961025092146303ULL, 13106709934003962112ULL, 4350113471327723407ULL, 15060941403739680459ULL, 13639127647823205030ULL, 10790943339357725715ULL, 498760574280648264ULL, 17922071907832082887ULL, 15122670976670152145ULL, 6275027991110214322ULL, 7250912847491816402ULL, 15206617260142982380ULL, 3385668313694152877ULL, 17522479771766801905ULL, 2965919117476170655ULL, 1553238516603269404ULL, 5820770015631050991ULL, 4999445222232605348ULL, 9245650860833717444ULL, 1508811811724230728ULL, 5190684913765614385ULL, 15692927070934536166ULL, 12981978499190500902ULL, 5143491963193394698ULL, 7705698092144084129ULL, 581120653055084783ULL, 13886552864486459714ULL, 6290301270652587255ULL, 8663431529954393128ULL, 17033405846475472443ULL, 5206780355442651635ULL, 12580364474736467688ULL, 17934601912005283310ULL, 15119491731028933652ULL, 17848231399859044858ULL, 4427673319524919329ULL, 2673607337074368008ULL, 14034876464294699949ULL, 10938948975420813697ULL, 15202340615298669183ULL, 5496603454069431071ULL, 2486526142064906845ULL, 4507882119510526802ULL, 13888151172411390059ULL, 15049027856908071726ULL, 9667231543181973158ULL, 6406671575277563202ULL, 3395801050331215139ULL, 9813607433539108308ULL, 2681417728820980381ULL, 18407064643927113994ULL, 7707177692113485527ULL, 14218149384635317074ULL, 3658668346206375919ULL, 15404713991002362166ULL, 10152074687696195207ULL, 10926946599582128139ULL, 16907298600007085320ULL, 16544287219664720279ULL, 11007075933432813205ULL, 8652245965145713599ULL, 7857626748965990384ULL, 5602306604520095870ULL, 2525139243938658618ULL, 14405696176872077447ULL, 18432270482137885332ULL, 9913880809120071177ULL, 16896141737831216972ULL, 7484791498211214829ULL, 15635259968266497469ULL, 8495118537612215624ULL, 4915477980562575356ULL, 16453519279754924350ULL, 14462108244565406969ULL, 14837837755237096687ULL, 14130171078892575346ULL, 15423793222528491497ULL, 5460399262075036084ULL, 16085440580308415349ULL, 26873200736954488ULL, 5603655807457499550ULL, 3342202915871129617ULL, 1604413932150236626ULL, 9684226585089458974ULL, 1213229904006618539ULL, 6782978662408837236ULL, 11197029877749307372ULL, 14085968786551657744ULL, 17352273610494009342ULL, 7876582961192434984ULL }; static const uint64_t Hacl_P256_PrecompTable_precomp_g_pow2_128_table_w4[192U] = { 0ULL, 0ULL, 0ULL, 0ULL, 1ULL, 18446744069414584320ULL, 18446744073709551615ULL, 4294967294ULL, 0ULL, 0ULL, 0ULL, 0ULL, 14619254753077084366ULL, 13913835116514008593ULL, 15060744674088488145ULL, 17668414598203068685ULL, 10761169236902342334ULL, 15467027479157446221ULL, 14989185522423469618ULL, 14354539272510107003ULL, 14298211796392133693ULL, 13270323784253711450ULL, 13380964971965046957ULL, 8686204248456909699ULL, 17434630286744937066ULL, 1355903775279084720ULL, 7554695053550308662ULL, 11354971222741863570ULL, 564601613420749879ULL, 8466325837259054896ULL, 10752965181772434263ULL, 11405876547368426319ULL, 13791894568738930940ULL, 8230587134406354675ULL, 12415514098722758608ULL, 18414183046995786744ULL, 15508000368227372870ULL, 5781062464627999307ULL, 15339429052219195590ULL, 16038703753810741903ULL, 9587718938298980714ULL, 4822658817952386407ULL, 1376351024833260660ULL, 1120174910554766702ULL, 1730170933262569274ULL, 5187428548444533500ULL, 16242053503368957131ULL, 3036811119519868279ULL, 1760267587958926638ULL, 170244572981065185ULL, 8063080791967388171ULL, 4824892826607692737ULL, 16286391083472040552ULL, 11945158615253358747ULL, 14096887760410224200ULL, 1613720831904557039ULL, 14316966673761197523ULL, 17411006201485445341ULL, 8112301506943158801ULL, 2069889233927989984ULL, 10082848378277483927ULL, 3609691194454404430ULL, 6110437205371933689ULL, 9769135977342231601ULL, 11977962151783386478ULL, 18088718692559983573ULL, 11741637975753055ULL, 11110390325701582190ULL, 1341402251566067019ULL, 3028229550849726478ULL, 10438984083997451310ULL, 12730851885100145709ULL, 11524169532089894189ULL, 4523375903229602674ULL, 2028602258037385622ULL, 17082839063089388410ULL, 6103921364634113167ULL, 17066180888225306102ULL, 11395680486707876195ULL, 10952892272443345484ULL, 8792831960605859401ULL, 14194485427742325139ULL, 15146020821144305250ULL, 1654766014957123343ULL, 7955526243090948551ULL, 3989277566080493308ULL, 12229385116397931231ULL, 13430548930727025562ULL, 3434892688179800602ULL, 8431998794645622027ULL, 12132530981596299272ULL, 2289461608863966999ULL, 18345870950201487179ULL, 13517947207801901576ULL, 5213113244172561159ULL, 17632986594098340879ULL, 4405251818133148856ULL, 11783009269435447793ULL, 9332138983770046035ULL, 12863411548922539505ULL, 3717030292816178224ULL, 10026078446427137374ULL, 11167295326594317220ULL, 12425328773141588668ULL, 5760335125172049352ULL, 9016843701117277863ULL, 5657892835694680172ULL, 11025130589305387464ULL, 1368484957977406173ULL, 17361351345281258834ULL, 1907113641956152700ULL, 16439233413531427752ULL, 5893322296986588932ULL, 14000206906171746627ULL, 14979266987545792900ULL, 6926291766898221120ULL, 7162023296083360752ULL, 14762747553625382529ULL, 12610831658612406849ULL, 10462926899548715515ULL, 4794017723140405312ULL, 5234438200490163319ULL, 8019519110339576320ULL, 7194604241290530100ULL, 12626770134810813246ULL, 10793074474236419890ULL, 11323224347913978783ULL, 16831128015895380245ULL, 18323094195124693378ULL, 2361097165281567692ULL, 15755578675014279498ULL, 14289876470325854580ULL, 12856787656093616839ULL, 3578928531243900594ULL, 3847532758790503699ULL, 8377953190224748743ULL, 3314546646092744596ULL, 800810188859334358ULL, 4626344124229343596ULL, 6620381605850876621ULL, 11422073570955989527ULL, 12676813626484814469ULL, 16725029886764122240ULL, 16648497372773830008ULL, 9135702594931291048ULL, 16080949688826680333ULL, 11528096561346602947ULL, 2632498067099740984ULL, 11583842699108800714ULL, 8378404864573610526ULL, 1076560261627788534ULL, 13836015994325032828ULL, 11234295937817067909ULL, 5893659808396722708ULL, 11277421142886984364ULL, 8968549037166726491ULL, 14841374331394032822ULL, 9967344773947889341ULL, 8799244393578496085ULL, 5094686877301601410ULL, 8780316747074726862ULL, 9119697306829835718ULL, 15381243327921855368ULL, 2686250164449435196ULL, 16466917280442198358ULL, 13791704489163125216ULL, 16955859337117924272ULL, 17112836394923783642ULL, 4639176427338618063ULL, 16770029310141094964ULL, 11049953922966416185ULL, 12012669590884098968ULL, 4859326885929417214ULL, 896380084392586061ULL, 7153028362977034008ULL, 10540021163316263301ULL, 9318277998512936585ULL, 18344496977694796523ULL, 11374737400567645494ULL, 17158800051138212954ULL, 18343197867863253153ULL, 18204799297967861226ULL, 15798973531606348828ULL, 9870158263408310459ULL, 17578869832774612627ULL, 8395748875822696932ULL, 15310679007370670872ULL, 11205576736030808860ULL, 10123429210002838967ULL, 5910544144088393959ULL, 14016615653353687369ULL, 11191676704772957822ULL }; static const uint64_t Hacl_P256_PrecompTable_precomp_g_pow2_192_table_w4[192U] = { 0ULL, 0ULL, 0ULL, 0ULL, 1ULL, 18446744069414584320ULL, 18446744073709551615ULL, 4294967294ULL, 0ULL, 0ULL, 0ULL, 0ULL, 7870395003430845958ULL, 18001862936410067720ULL, 8006461232116967215ULL, 5921313779532424762ULL, 10702113371959864307ULL, 8070517410642379879ULL, 7139806720777708306ULL, 8253938546650739833ULL, 17490482834545705718ULL, 1065249776797037500ULL, 5018258455937968775ULL, 14100621120178668337ULL, 8392845221328116213ULL, 14630296398338540788ULL, 4268947906723414372ULL, 9231207002243517909ULL, 14261219637616504262ULL, 7786881626982345356ULL, 11412720751765882139ULL, 14119585051365330009ULL, 15281626286521302128ULL, 6350171933454266732ULL, 16559468304937127866ULL, 13200760478271693417ULL, 6733381546280350776ULL, 3801404890075189193ULL, 2741036364686993903ULL, 3218612940540174008ULL, 10894914335165419505ULL, 11862941430149998362ULL, 4223151729402839584ULL, 2913215088487087887ULL, 14562168920104952953ULL, 2170089393468287453ULL, 10520900655016579352ULL, 7040362608949989273ULL, 8376510559381705307ULL, 9142237200448131532ULL, 5696859948123854080ULL, 925422306716081180ULL, 11155545953469186421ULL, 1888208646862572812ULL, 11151095998248845721ULL, 15793503271680275267ULL, 7729877044494854851ULL, 6235134673193032913ULL, 7364280682182401564ULL, 5479679373325519985ULL, 17966037684582301763ULL, 14140891609330279185ULL, 5814744449740463867ULL, 5652588426712591652ULL, 774745682988690912ULL, 13228255573220500373ULL, 11949122068786859397ULL, 8021166392900770376ULL, 7994323710948720063ULL, 9924618472877849977ULL, 17618517523141194266ULL, 2750424097794401714ULL, 15481749570715253207ULL, 14646964509921760497ULL, 1037442848094301355ULL, 6295995947389299132ULL, 16915049722317579514ULL, 10493877400992990313ULL, 18391008753060553521ULL, 483942209623707598ULL, 2017775662838016613ULL, 5933251998459363553ULL, 11789135019970707407ULL, 5484123723153268336ULL, 13246954648848484954ULL, 4774374393926023505ULL, 14863995618704457336ULL, 13220153167104973625ULL, 5988445485312390826ULL, 17580359464028944682ULL, 7297100131969874771ULL, 379931507867989375ULL, 10927113096513421444ULL, 17688881974428340857ULL, 4259872578781463333ULL, 8573076295966784472ULL, 16389829450727275032ULL, 1667243868963568259ULL, 17730726848925960919ULL, 11408899874569778008ULL, 3576527582023272268ULL, 16492920640224231656ULL, 7906130545972460130ULL, 13878604278207681266ULL, 41446695125652041ULL, 8891615271337333503ULL, 2594537723613594470ULL, 7699579176995770924ULL, 147458463055730655ULL, 12120406862739088406ULL, 12044892493010567063ULL, 8554076749615475136ULL, 1005097692260929999ULL, 2687202654471188715ULL, 9457588752176879209ULL, 17472884880062444019ULL, 9792097892056020166ULL, 2525246678512797150ULL, 15958903035313115662ULL, 11336038170342247032ULL, 11560342382835141123ULL, 6212009033479929024ULL, 8214308203775021229ULL, 8475469210070503698ULL, 13287024123485719563ULL, 12956951963817520723ULL, 10693035819908470465ULL, 11375478788224786725ULL, 16934625208487120398ULL, 10094585729115874495ULL, 2763884524395905776ULL, 13535890148969964883ULL, 13514657411765064358ULL, 9903074440788027562ULL, 17324720726421199990ULL, 2273931039117368789ULL, 3442641041506157854ULL, 1119853641236409612ULL, 12037070344296077989ULL, 581736433335671746ULL, 6019150647054369174ULL, 14864096138068789375ULL, 6652995210998318662ULL, 12773883697029175304ULL, 12751275631451845119ULL, 11449095003038250478ULL, 1025805267334366480ULL, 2764432500300815015ULL, 18274564429002844381ULL, 10445634195592600351ULL, 11814099592837202735ULL, 5006796893679120289ULL, 6908397253997261914ULL, 13266696965302879279ULL, 7768715053015037430ULL, 3569923738654785686ULL, 5844853453464857549ULL, 1837340805629559110ULL, 1034657624388283114ULL, 711244516069456460ULL, 12519286026957934814ULL, 2613464944620837619ULL, 10003023321338286213ULL, 7291332092642881376ULL, 9832199564117004897ULL, 3280736694860799890ULL, 6416452202849179874ULL, 7326961381798642069ULL, 8435688798040635029ULL, 16630141263910982958ULL, 17222635514422533318ULL, 9482787389178881499ULL, 836561194658263905ULL, 3405319043337616649ULL, 2786146577568026518ULL, 7625483685691626321ULL, 6728084875304656716ULL, 1140997959232544268ULL, 12847384827606303792ULL, 1719121337754572070ULL, 12863589482936438532ULL, 3880712899640530862ULL, 2748456882813671564ULL, 4775988900044623019ULL, 8937847374382191162ULL, 3767367347172252295ULL, 13468672401049388646ULL, 14359032216842397576ULL, 2002555958685443975ULL, 16488678606651526810ULL, 11826135409597474760ULL, 15296495673182508601ULL }; static const uint64_t Hacl_P256_PrecompTable_precomp_basepoint_table_w5[384U] = { 0ULL, 0ULL, 0ULL, 0ULL, 1ULL, 18446744069414584320ULL, 18446744073709551615ULL, 4294967294ULL, 0ULL, 0ULL, 0ULL, 0ULL, 8784043285714375740ULL, 8483257759279461889ULL, 8789745728267363600ULL, 1770019616739251654ULL, 15992936863339206154ULL, 10037038012062884956ULL, 15197544864945402661ULL, 9615747158586711429ULL, 1ULL, 18446744069414584320ULL, 18446744073709551615ULL, 4294967294ULL, 10634854829044225757ULL, 351552716085025155ULL, 10645315080955407736ULL, 3609262091244858135ULL, 15760741698986874125ULL, 14936374388219697827ULL, 15751360096993017895ULL, 18012233706239762398ULL, 1993877568177495041ULL, 10345888787846536528ULL, 7746511691117935375ULL, 14517043990409914413ULL, 14122549297570634151ULL, 16934610359517083771ULL, 5724511325497097418ULL, 8983432969107448705ULL, 2687429970334080245ULL, 16525396802810050288ULL, 7602596488871585854ULL, 4813919589149203084ULL, 7680395813780804519ULL, 6687709583048023590ULL, 18086445169104142027ULL, 9637814708330203929ULL, 14785108459960679090ULL, 3838023279095023581ULL, 3555615526157830307ULL, 5177066488380472871ULL, 18218186719108038403ULL, 16281556341699656105ULL, 1524227924561461191ULL, 4148060517641909597ULL, 2858290374115363433ULL, 8942772026334130620ULL, 3034451298319885113ULL, 8447866036736640940ULL, 11204933433076256578ULL, 18333595740249588297ULL, 8259597024804538246ULL, 9539734295777539786ULL, 9797290423046626413ULL, 5777303437849646537ULL, 8739356909899132020ULL, 14815960973766782158ULL, 15286581798204509801ULL, 17597362577777019682ULL, 13259283710820519742ULL, 10501322996899164670ULL, 1221138904338319642ULL, 14586685489551951885ULL, 895326705426031212ULL, 14398171728560617847ULL, 9592550823745097391ULL, 17240998489162206026ULL, 8085479283308189196ULL, 14844657737893882826ULL, 15923425394150618234ULL, 2997808084773249525ULL, 494323555453660587ULL, 1215695327517794764ULL, 9476207381098391690ULL, 7480789678419122995ULL, 15212230329321082489ULL, 436189395349576388ULL, 17377474396456660834ULL, 15237013929655017939ULL, 11444428846883781676ULL, 5112749694521428575ULL, 950829367509872073ULL, 17665036182057559519ULL, 17205133339690002313ULL, 16233765170251334549ULL, 10122775683257972591ULL, 3352514236455632420ULL, 9143148522359954691ULL, 601191684005658860ULL, 13398772186646349998ULL, 15512696600132928431ULL, 9128416073728948653ULL, 11233051033546138578ULL, 6769345682610122833ULL, 10823233224575054288ULL, 9997725227559980175ULL, 6733425642852897415ULL, 16302206918151466066ULL, 1669330822143265921ULL, 2661645605036546002ULL, 17182558479745802165ULL, 1165082692376932040ULL, 9470595929011488359ULL, 6142147329285324932ULL, 4829075085998111287ULL, 10231370681107338930ULL, 9591876895322495239ULL, 10316468561384076618ULL, 11592503647238064235ULL, 13395813606055179632ULL, 511127033980815508ULL, 12434976573147649880ULL, 3425094795384359127ULL, 6816971736303023445ULL, 15444670609021139344ULL, 9464349818322082360ULL, 16178216413042376883ULL, 9595540370774317348ULL, 7229365182662875710ULL, 4601177649460012843ULL, 5455046447382487090ULL, 10854066421606187521ULL, 15913416821879788071ULL, 2297365362023460173ULL, 2603252216454941350ULL, 6768791943870490934ULL, 15705936687122754810ULL, 9537096567546600694ULL, 17580538144855035062ULL, 4496542856965746638ULL, 8444341625922124942ULL, 12191263903636183168ULL, 17427332907535974165ULL, 14307569739254103736ULL, 13900598742063266169ULL, 7176996424355977650ULL, 5709008170379717479ULL, 14471312052264549092ULL, 1464519909491759867ULL, 3328154641049602121ULL, 13020349337171136774ULL, 2772166279972051938ULL, 10854476939425975292ULL, 1967189930534630940ULL, 2802919076529341959ULL, 14792226094833519208ULL, 14675640928566522177ULL, 14838974364643800837ULL, 17631460696099549980ULL, 17434186275364935469ULL, 2665648200587705473ULL, 13202122464492564051ULL, 7576287350918073341ULL, 2272206013910186424ULL, 14558761641743937843ULL, 5675729149929979729ULL, 9043135187561613166ULL, 11750149293830589225ULL, 740555197954307911ULL, 9871738005087190699ULL, 17178667634283502053ULL, 18046255991533013265ULL, 4458222096988430430ULL, 8452427758526311627ULL, 13825286929656615266ULL, 13956286357198391218ULL, 15875692916799995079ULL, 10634895319157013920ULL, 13230116118036304207ULL, 8795317393614625606ULL, 7001710806858862020ULL, 7949746088586183478ULL, 14677556044923602317ULL, 11184023437485843904ULL, 11215864722023085094ULL, 6444464081471519014ULL, 1706241174022415217ULL, 8243975633057550613ULL, 15502902453836085864ULL, 3799182188594003953ULL, 3538840175098724094ULL, 13240193491554624643ULL, 12365034249541329920ULL, 2924326828590977357ULL, 5687195797140589099ULL, 16880427227292834531ULL, 9691471435758991112ULL, 16642385273732487288ULL, 12173806747523009914ULL, 13142722756877876849ULL, 8370377548305121979ULL, 17988526053752025426ULL, 4818750752684100334ULL, 5669241919350361655ULL, 4964810303238518540ULL, 16709712747671533191ULL, 4461414404267448242ULL, 3971798785139504238ULL, 6276818948740422136ULL, 1426735892164275762ULL, 7943622674892418919ULL, 9864274225563929680ULL, 57815533745003233ULL, 10893588105168960233ULL, 15739162732907069535ULL, 3923866849462073470ULL, 12279826158399226875ULL, 1533015761334846582ULL, 15860156818568437510ULL, 8252625373831297988ULL, 9666953804812706358ULL, 8767785238646914634ULL, 14382179044941403551ULL, 10401039907264254245ULL, 8584860003763157350ULL, 3120462679504470266ULL, 8670255778748340069ULL, 5313789577940369984ULL, 16977072364454789224ULL, 12199578693972188324ULL, 18211098771672599237ULL, 12868831556008795030ULL, 5310155061431048194ULL, 18114153238435112606ULL, 14482365809278304512ULL, 12520721662723001511ULL, 405943624021143002ULL, 8146944101507657423ULL, 181739317780393495ULL, 81743892273670099ULL, 14759561962550473930ULL, 4592623849546992939ULL, 6916440441743449719ULL, 1304610503530809833ULL, 5464930909232486441ULL, 15414883617496224671ULL, 8129283345256790ULL, 18294252198413739489ULL, 17394115281884857288ULL, 7808348415224731235ULL, 13195566655747230608ULL, 8568194219353949094ULL, 15329813048672122440ULL, 9604275495885785744ULL, 1577712551205219835ULL, 15964209008022052790ULL, 15087297920782098160ULL, 3946031512438511898ULL, 10050061168984440631ULL, 11382452014533138316ULL, 6313670788911952792ULL, 12015989229696164014ULL, 5946702628076168852ULL, 5219995658774362841ULL, 12230141881068377972ULL, 12361195202673441956ULL, 4732862275653856711ULL, 17221430380805252370ULL, 15397525953897375810ULL, 16557437297239563045ULL, 10101683801868971351ULL, 1402611372245592868ULL, 1931806383735563658ULL, 10991705207471512479ULL, 861333583207471392ULL, 15207766844626322355ULL, 9224628129811432393ULL, 3497069567089055613ULL, 11956632757898590316ULL, 8733729372586312960ULL, 18091521051714930927ULL, 77582787724373283ULL, 9922437373519669237ULL, 3079321456325704615ULL, 12171198408512478457ULL, 17179130884012147596ULL, 6839115479620367181ULL, 4421032569964105406ULL, 10353331468657256053ULL, 17400988720335968824ULL, 17138855889417480540ULL, 4507980080381370611ULL, 10703175719793781886ULL, 12598516658725890426ULL, 8353463412173898932ULL, 17703029389228422404ULL, 9313111267107226233ULL, 5441322942995154196ULL, 8952817660034465484ULL, 17571113341183703118ULL, 7375087953801067019ULL, 13381466302076453648ULL, 3218165271423914596ULL, 16956372157249382685ULL, 509080090049418841ULL, 13374233893294084913ULL, 2988537624204297086ULL, 4979195832939384620ULL, 3803931594068976394ULL, 10731535883829627646ULL, 12954845047607194278ULL, 10494298062560667399ULL, 4967351022190213065ULL, 13391917938145756456ULL, 951370484866918160ULL, 13531334179067685307ULL, 12868421357919390599ULL, 15918857042998130258ULL, 17769743831936974016ULL, 7137921979260368809ULL, 12461369180685892062ULL, 827476514081935199ULL, 15107282134224767230ULL, 10084765752802805748ULL, 3303739059392464407ULL, 17859532612136591428ULL, 10949414770405040164ULL, 12838613589371008785ULL, 5554397169231540728ULL, 18375114572169624408ULL, 15649286703242390139ULL, 2957281557463706877ULL, 14000350446219393213ULL, 14355199721749620351ULL, 2730856240099299695ULL, 17528131000714705752ULL, 2537498525883536360ULL, 6121058967084509393ULL, 16897667060435514221ULL, 12367869599571112440ULL, 3388831797050807508ULL, 16791449724090982798ULL, 2673426123453294928ULL, 11369313542384405846ULL, 15641960333586432634ULL, 15080962589658958379ULL, 7747943772340226569ULL, 8075023376199159152ULL, 8485093027378306528ULL, 13503706844122243648ULL, 8401961362938086226ULL, 8125426002124226402ULL, 9005399361407785203ULL, 6847968030066906634ULL, 11934937736309295197ULL, 5116750888594772351ULL, 2817039227179245227ULL, 17724206901239332980ULL, 4985702708254058578ULL, 5786345435756642871ULL, 17772527414940936938ULL, 1201320251272957006ULL, 15787430120324348129ULL, 6305488781359965661ULL, 12423900845502858433ULL, 17485949424202277720ULL, 2062237315546855852ULL, 10353639467860902375ULL, 2315398490451287299ULL, 15394572894814882621ULL, 232866113801165640ULL, 7413443736109338926ULL, 902719806551551191ULL, 16568853118619045174ULL, 14202214862428279177ULL, 11719595395278861192ULL, 5890053236389907647ULL, 9996196494965833627ULL, 12967056942364782577ULL, 9034128755157395787ULL, 17898204904710512655ULL, 8229373445062993977ULL, 13580036169519833644ULL }; #if defined(__cplusplus) } #endif #define __internal_Hacl_P256_PrecompTable_H_DEFINED #endif