# golden precision oracle table
# generated by scripts/gen_golden_precision.py
# each line: <input_raw>\t<expected_raw>
# input_raw is the storage integer of x at the tier scale.
# expected_raw is the half-to-even rounding of f(x) at the tier scale,
# computed by mpmath at max(700, 2*SCALE + 64)-digit precision.
226736120850379153218904456582190481776059936386286723313732229207582568965038197471572259008783829610117734508410397883680315475407775549984303555934992235461442424473586461192597668886504744496736602244185060604973903678593563305976025106525866608363025944209836702947895914644905028032347552757549674310	100226993361575343785679979603629585359997780716486079057452865081964441834737725232290253529688229762026837786189191224612796531895356677422778149217632997554014740096491678490499068376585314940109554961409461643506859074151112481597644249406244451991411723156950517478137008298946493217856775765758503570880
-99188788566893132538762149577147422144284106247009884711924422226181250093262644201044926107770314143115965742507439710969219593326702301294520301190755986977163660482443942208165502361817714114305851293318774977540057348635685491170510569209890711348455260398626015775141550354423544118729787937951596491	99900860387251683634798992626974604015733470783070392113070777028079257297073823445288255672480173112913062574323530786263772719982963042161106667809305203790436289195930615617308311687420667206509475472212935263224029781374515007371979854882739953432366647652102174705959777106318679478249860722401617070620
-58551656294351965537270239148877826925202698970908870152761258627936392187563296908456291402811717703744800162621125601575935173258093540952512847332158115756658173210438994139692691857835871372796537404142510819788572769452199961853075720628625921584161081184880288328906578503000552960783037905828979468	99941465481842871159154223741382638306202061646065997859077744561538778827780556646759836227962743602846316189616005492497995632418880569789211524204552768525249890089080030225291106867873579497627566953120489910654635994853604393115640715186353864081138585041670070864767797113192445160422898715307955838679
577145172526771276732208810037722854434160833530283751102025314254294351624217345481336373848193905981758846043952770720751638097371603208924624818848365732790689732069239520456168761048217902554590933412694424561424902757397990301985528135424722244234584221774006253256524770464159637293896932256474607548	100578813863990454141454564928286981077197330835033870082303019160246762485614105466837348559394906391708103208643362039979339580359318172130947630320197173137358103564941422646111439472010142015039499541263112376903025033228752082365135148810017904715999209445706075646104667994798476181180071565412338767844
100531141058279491130458922951340245095039750145317639562894388055983169733894831702705493921255184058343549733861167776689128598333542665945759980864696409834277309270515730923430324598045370073123131111123285384350802867616093111025850047302281131220108004058709913085479795247395076820147284241204796702516	273275815014112348531297069509107421453209673263466925318350372997954832267502983177889332764403388795726626181995418393648517807702570690287452413588432744887844571049516333067747207689252084487474456686428211563387875556528222768271502329932541505755268397216723524902660448001642886081010324265364433478037
100419866469021279634188788795417005250666946247228412605066622181322809219949152993925815362578509894161520686356436194700538998125200414917361053364456491955958200741280719251735268550038792079756816515808356307440700746561751976845702041411832888972176164523551206099713093464409418612754369785990571119112	272971897596201895406292298904837748516768500137057371553896786117764833486061127711589676077330384552387908632102937726536311656174314238038836197967999192480326822990604089609154996708871346332225405376484488491668654712146361990124874575885254473127379001837133959365221666478938067505149364920565807104171
100109068331164359257414121789085898825055441007748462181253204725209772844647536736059893739617354173124765933506295815989842239670055187097305241316237024928775746197805045958492582641587330966642458268592112326476985659498638713567228593464608619002633974187547657075581124063653685261271653467866710294189	272124823049422037714840242663405143339874247850980519109134751667042584770285200820981822782144477745762456659237700774560908690695585157893918520834608829210821772129900937147293512964496250173362977447761402330663715682630424123788136144294515961957265660436435721355306719480315516403645681815521316309360
99043907687712704356885372194622857516519927931528875082134780240461931532803537310524478576691047843239453848263611986318805230127571756014358579242996467736252919246894906228127114162575737805163674543801356894744714766961159237673411305015566113580702465145498297719401641346873455836906040476308947114152	269241639063450454705126592883658925713002416576736954641747121740050234186718841965572153127637768136005938474704023412482476632103655809652796500559154168598015754890913979831651190728444463686263586788724544012521312279161776347212430299660621200614792039436910419095277509563586771978995094210899490480587
-99781707234842950546400369805687803719321460441888491832150983695578489055026557592430823376481274520649377952636098841367732086450566450189343234676314116380168573904345788523912404840991085567034576709113489790929792193835740126960039947715085439408938856708110782092112738501770796074594890728141448539189	36868337251876446833576495359702153677419166710896070103788744433033334858595074118549949267784762180831275301358125654718896932685511786924855648179668286752621913103556954162266252422558338730045357882892677426440395061496002249401857830573043194235400332741768846360649400937095926617870611134363431192071
-99259901812027355904551103656435442033947116212358711282114891093136006140339853582031567759064122068344981231498302544367890314677366231139423209310695760885812474698539258763059303330232669482781917279412468688752447440598350914937065212121757225867400201912183670106174525800920233041539244896332592072344	37061221036327625427220315587907167172400687211781434627210862540705502504375971635793184192393645205268297556060610631848449136235923623510248852422022464907228682715379066319895868667541050500163512643368330080480770134449707216737564366784429666867648047321028709156946507627379506014398147423352716314035
-99183896632913081134574702069542823288857199057502238042360888447002250668930159700703524866333851630423600982714897511028787477717874530348576599043000816630637702524505091166661275406922411892099964558576487970511808065077628139822066277053734868275166645667322322030985013022369278295801988650475920105431	37089400191210252724464540758696158669473214301714129905230458018763509392607173594517713032326078338522189127385363886855517181633601098743403623646988488876676626791810492877559022399234655967845430569673210599750973719862445505590561334175724003976819475599831692950129922388113727342967493012149461564398
-99291438911703552772389916049576394195093659597954835619137306816027428566141347491953127268413285556203214619413283177034066932681057934063870086245565841440919199509842918132988524008716678276066989257552484717186171291346766516847313571830471585621209833855686835892775484238852732315538444861247431057247	37049534844947952966064875908747172653869109935170810728991101691542024525736933157502383396621572345305551662903328367560761944105266561663843067862280272058621668330620738537780814265907852318773767205190928624790457847038695563336431818674796962914031779942876795987506444082952750614972143580817115513898
-14507319467746673166637383851388660061448347756289554070096013467435832437920668965428119198675948970701129436670120135306146919158967262958421160174210021678138063595641004883354024571980577163366415990282785460249253818468193808352807367923751124387613579105293464388270539189698753965553539835574858675090997	98971939161726203858039587856781215505730542358147735823701777976910491258738699071778264232069872948362879104128435665065298220838982953494549843495875389365067186627934442072536095512379104936152058487849271063546007446075154198518005035802445
38517843860240929535703112458020705529073992759153372897188589691019958521783919309007764815258800641729443345315489515476442796944941555807331827521863740416544311451403710394464185160530201190173811647615075293829459515815648273291229588876177311586131493384839860980296298614505754405327203249573599018627142	19092835603608032191277403420059181737619654219840711431321917832664311141735841520805787226066518333120263920161047474457863453161882008928438266071379425350620721716803065683552678307934852596201641906238554963058945347087553396880093827048535654176197773093755576937797325825403334420187615451567007980853363566859588072643015675292511552170074770701848674949929229398154794088818884250432327349925853746269964245982910332367088794227589795052050495080344282483284071671954
59952260948703545786624131274915585907876120585765076435450125282127162300429615144320729495544565678751759251071416043741009666420937673942349526746972049200623478641444936984100251467147604089720942336373515411083709326284220083891182306251930112480437489937517777310776298997181170545472197044236233379871177	23407825781923384846244723573321522892934728426359885811282941667182490966291891664499782001244382837139930541195488683642855461102346681950797964310748418024008582447864871301516331183526116520404940810036170144299222825087791634615418757556337122160879443578895156984042273602322900922120105558663096015877655992900130280853300953848034281378994564852619098131363100782931340167104048934703324105332539508731226375171243788881035541447124697742294696601473119308597424262411614716886010848365049125751570858031827233582765525400911051707706628114365801206291989305860
-52375623444264596313929259382214861618699643092720034119433010101326219673056976092383716591973453287100493464216700860111488021792916201617411066309509606762097391747317388565268679814368290446770453635877172070676640387392095752320066869876794300742179493062660371496563685032752779439998853320278241984328770	343208092192236907216307381999831087720322821042640271278529818495185183012334821
29472562493554478663174611621339099474487980487305234514590565054635303253208080198214280985540756701351013815054589748553738220853264297644292810409245607343801759093592604572390592871209855994809639623325264373108927163645109933952604086913197766711861851881895407687283608522591115509644960256225205515515038	9947468784615301349658964157765545994105518883866590603628744307169290926560863146735550514080918389424646059377178441041425375542529186112785590263648265770364819630593194614861819616834614438783370378569177371436790569421368567883579370209370554254118754728825762381678787426882070229646273766578188231792720668432686187110510882725837695622893888529248222598281262025950248458727226212667241563766266446003988501647812179787561730225
24209989149444274342497304376633702202058267875764633942082962800450073153781759094748462827393281221173560194441569233096625336942993232336029207513567654076298381825430585601378316322517806085541992348153555921174415565873077892083203810412843758901310494232764428255347253310402175706203842315689246238469139	138882314474483904454001222908104565977104811021965219178450907321427372139577557002314478136050715085927970468671655981214601711358842504841829017099036832879885514449074418047033546112290936508241794658416304360060386139941647230621290024593102639281749097108026886652378281317081843189756709607286712187936792697783947094011643314457815140266223646879059224378743774644545891882810713844850213556977744354414845
-55635084287978145027034821851394376529681134826055581520350202459044742510976925173324366018951936394203430076533383016888802629123498868724595574587362310848336630898185145051742457086190510679739652351280621881108689268374472912850665188480489915817264447852461584882434395159189197504370056590234364088931806	2398274750215648551663254489263161889738621282261986216658868690977
23651912983011858975601601089955785706676869175954026400000323463540774750874342151154179636733073328112263182735516635221415189871208242355482447938505566352159891777087159618577747487928269097830935310190090108254124065502869948433846926807432696422368565421671611071114212309131830082079518610571758467789953	523543714286250374651876651672634479241885887909578532330343192328523875441825086319176653718674869522608904670336833639919507026086049392071845933008195364671098898920360001686988856775782471408308202449640413332444932065288862959710922149448682691213210196200620731250741041790989752588748939431461404486964640967311373716271254568544572234376122260592945872916780258687023584318603001498314295775019201291813
9341063172582551267311699007347911506901834509775964109341584079372026885149618411442394491305502879537363957716522831183234195950798860915174035510540062264518104429951356273151134183540846647942065450056731300512215569812927273244091285604767543510202309308672564977368191289757825443523511042551089739724896	3695914447032760782442368840705180719149259012911894091864616481290293911489163316794911873286547590453965734213459554425772163051216428243831311741385612736759957700398608474324448392529844676758862881421341613649397804257047233522965329908321126210390857098446575898225590956501152168778847528155540763735833280263917332276076457662053683876191654
-53554013559234190000683490743980735388138602645010026879024690462738326617148822994640400661782505044216409146518692044348576600937370096447269080266606896539356303640792573236688853824852651976504845472364002261882340759489209611526168590309930101702354401594133835403254475703369000884919134020455733314165199	2617425170692319641937554833481971215263068893360326719458161282149531212083
-35455112901569064580711150294982907821064331831975405487518949362366487318602436075011437681303163221135310209582806018595191059162897426900432802891899382809397058078272187084488038999996792004876298112168747604849477199004061561445049463979105395825868695686761661529881200971961095957607122121252917639647714	10480961264374956817049552342558462451725946340229057400450239096764510460749033209329879734932585619900355085523197159942151204028908784367562456982280515
-10086171792739649542030433815243042933601182492654080755812980257211063584789385729510145856318389752071172328206600506967640820883627077807678482418666105369770794865863971729226956678818027904721720155470522780839130771053921152228024252502814456904878549885037911899639836504586594088799348483931376596949430	1571493065120996787803552763251952370874948095294449899025773352284856450663300512837168498589853267968034747270829535590848095918994160263859048129947880238616968628103181680837730483442174312429875599699549108456808397443618599987214081946445365010202386725423732
-42844806806874624136642214074155146071633444325663496167490841306810695297742221139653727418731977351213325781041782512435003359233366836226216598358669568860277999467052939215488288264196179310071399256643435082861496873366206328641770935198862596784689315220041677700361612567796961147553326873348797123981232	84599589481371568109367193834908558776222689261537638056935049343128111347412876582351177001529928695400630644336129040278
49309697700662741238979330079613649899643835964926114382259001019169537834896103803943371552207991555397308996603857394791859476409531086927130480805292698377471935331122609957802221336246589946390383159522554937072865233963735723056700478607599412336582573434846164445859042144177937159105741422845532316623335	1410250158319874300841639885776076125490146137504433518789721815774859242473242594509209569007638385709073705378871459067965530670454212188018337604472137866746278442006854926904703395451493739533391440248731330828886415717340560884588933324974797135617017131687303142867384316010600592829285847932235656088619088733500413035746971137493159276159266380092870672365712508318035752126212378414885556705701900921933157177549936676722284728903290373720021637807433750964491909486041370905259005642791916768406910023807225606645
47363051475448519474604041598706060908532151496878206590088825362734154019883647928984924710502865409057934076932929454418996611736752697909696290634203297203580109453404012801709652162487299963065079137085906897087733170665236757202541741666077701270324893575071985363578093872457319713040767892982530201559052	4955859880690164703571261715167399062287130397193701157261614892943496480974996060843206863815464935158847601675654340351746442068079301362067471313086907327598618536639186093910878725165607561977195215032823218393678465151938609550739506484636195828093403266487388132284603164646903417088592248567070638596862993042443340918553303284645523609033657842673914044722316987474443679861329656242077748615151154092265708744162361228285965702926244247359776149565927041100921861586142779003618895536572350247769929654543
-55092682789864640510101422816081698498390899023247936925641394593949341006168217914573824463142792111048662481808059832870849032820971566363562329260597834286800078656495248961352576526886181127061956415087469460026584901659344700764251270739769515209450717025028426768404766898954936495810895869188374841379028	543899564599377940070812632194936642494668234125970944751993271652871
-49944015242699773816085782395378540608453569060643079704434944315619245629515898022882896153770288242591309732246898264946358585414125368159496061281112611551556624130306538729024222043586737986698523877472570188360835701212188358882340879921158323933364809404604675350488055029859031568377519145786735379309840	12470898944973370049596248396418711559842326070104032104836135210604625440559345054158801203
-14593819592886063607676541247423018001398364714649093026624439223663776447163866097603768242624312883598295776475424110176704555582906498176315828539232788451305369727076880934474029050913563783751261639038475083779849452527594262656175495367068060368339139104027964220288603588003970552423902488243173621809131	41672236502166218234328055002328148351964029318889253618579738247178710877832158587334587646499523349847124277042375418717488499099878646689343312804634296602923118745435071659529993491468685215245563528926802960388357476426574548531763636189626
9926607326204481624474002746779298284860438322738406184677829998689935974784720185063201529649437136746197926743274892616744370916455660418844774877038357784400835341781023611778996554083678982139783746570100194558742875960874152145465572465750309493340573636063567173786455253004952011179612390331253452951612	1290350985695954105615404255204776282834435932330465503142275384566695548627132949700270931523305531225367737932727809712213885451908494955364780177393811079069882616019895020612064512898851597096510547161370262874214556604357342696090353358167914038827214573643416465461917528730997043338242357342995248706850310567149151273835822969673595747565462712
-61771780360694914143186002631345052535226430696612483673426867636519317099955291405053110988890892297826766224512366244031733327584423830218142027162919736106243169707713794363341989194637071202065014575692518604380219211242612991552683345843291389754381366475580101388666608858877000439619846629143561190182481	5352621326318303438074395515203964790843
19037527461540323945318456285725809072749222609050156804650711462116730501655526555131063051056201005047753793047549887779670119929766148882414425066141770444555207555437076082820529964138713003307937659233756063692081229025461113149195923082480577958384702387926863863694630292329401079522910030388035222034795	4774536923659139446380778677862324921039458695294582833078079562157610478637947764733473620258321627253482645140072083557736857388399645106626716795455814619280690404029032350680286826460841628347440860027284604648608140360592680525492260120139074920773689189771979749259417907038521105937549147316605501219443069224025663391873390434009735909470852489138958881239150693670633679815407382084
-52967551323789452418958460520902567854979709513877989831840946952804729683619038108666557576657546061894231757924304178610698217981730533198223699441540588348201363079440551167775162682698836588925449157927908670622543671891799573997215546429046395922799091430645734654289596253259741449137245075711895364805271	922247319245717519124010559933911878092458717470558409359951458626883300160239
17413789148371108714397424602415476404210981600033785369041443937782614501752460899200183017781394881787577195535336275143933158302917413063033917015842574713087842601235543992824248057212110835676862967520617275556235550718994503031096576633755099353297243168727150801606856135803597441201637683254065315765467	423765270721299965651140336396407492987567563079372226247927365506307644280993713090369706617788756226758586890515045006955711181921230940294267124793840616525824319160159109025777601015409562490057714141333615288161392670679562314055371880534168472857363094965888244529827170670904343997980724873045783303958335508742049807514035730891043143485385241544380634081094255025747781853691
25670947944361851032727567473108070366309403543096389455380535316667240049616268543030977588163091308855677348799237827260655105097293566798268666423044537828165084719979148728614063626478862546705077969234529041622973918665970354129954013461574103785161112688471938313662597970011264059767834012247842202212349	307263076476128754964686354133815973240525183758907856826662094549624287797954642736581728358657889108997476390373408450623486333571105106363105043924735616788557320201289529361962239156470544937625977570070527121447563755781702256495674155462535434029401715428750202461693643036425062812013356830708440481790657718802812588957356806758481217231209091610047988637979699013049141654143096754316944652225979384663971112190
570911505268131866073657980060067867207361289383663388895272222265610524775696150126247838487703225131750309221720806817461633159834635033484408447278156929119164399545191470376654479565387174776683655937565183599204482302659818750667114094880920935377540295851904396450328597408873707808157908833171302829740	30160404645787601071276868239965681475591161613089954589075151082665796352973535384837353707177860085334486600697542957545699971902715042529437226238896549384455831467647132606118138779768104580191346944866425444333346215421544129625272259575165698492169031263797820211567804676940315186621165744155907612502203
1144177824480989737286726831161146638946051313879404399227475781147370994683280579140109581147309298210324632955022519254808923050858719238424464078604028055442769242634680606175730142433833175162141901234502628878073521653031339048125790170461067203995555716058373939281629913991223949942744756620526494006408	9313247722521435037125463669178660247809413436459256087727348353758534237891647643821254798121917703518625143681890926409918333714715404243838214200438193509138629228342167931223189913876263959081715439144204949203968022603540951527739523086678258602849824879392211224665516806495692312514951580376830307615953644
810243851723779836046793245213534474871219842117031241303231723185388949867849866172265155807969264165015757953299780312293642338354625582244149142431710737917296341590664856177674317434807284307737063698119913559463469508975377435592018605379192228480755814937177597031879130878162464668941152892214093518953	330251149549845960865279851888628283440065498863567265347065646935891243930148500550853344229528381620124557209739180921165534204514140082269592505343220306352649174045201666207624019068393178266742146697489601142097159842890734645818364634978281960998137996355400556430270432141956860596707099780905663783998968
1417163683438614694736004893884499745485916786357136968057428522627717461160226881669558495054186428267151731216868881532716440782174401834142460441086179074843281152521425301229912798059894171402318825798755193373620404510352894581005942035593794428806718764483335984861187922873884690998308212714619770347851	142778783281948307401774830754219761778064652933938831044230485296365605214416920663227777180085004369447955119328935466170003604669907678236545903624714932893625714911515890779686662009935693911403755225351821337210383088719862402215311932534638348003432211774273485531252809011961177869399832868546624868113940598
1359326582600607534845388314195564864042998934246152645973391264804946734387354629606355510023100196240954678827743471637855533822335575508636290824884093375869513263706782563078273704620180437877030618782675030117020051104881897946145748147306311844533303114344474863463992917022720715565836294080233612956537	80071937873214242841924044932437627009299521380828958108331663814357458026318160123034283766894996481315567465282185174532204750939996712008281447165561961231329693645076730654929335371974495923202867679736118644777519500753062411578189491682260978652828772995892390499721217047304992325396854115467225871900161860
-1454317663637972334482818713087774328515835217818349793980443988506287595404306163065942686428957371551703116779699497503211637964656306386084241243910095445157488960789929806290050617580762043211387602637726897676820106287107814797449242556423212957644792800722687328451650544802777339998043942051869129643491	48303504143057606339382499285720869452937909749174338235165551607779887517008051635587695811834502297485833958210801562603669181545875054130088829368824678491677669521647983236533576379528488207639809503076673245942652145430967170710212680697560731492614606585606491717823906505718318035533609828247708
1621074102244414029802758348677362004868137973025251622473358772212339578726491967736253911177162673260743993861610258162343923608880499057756498782933240712261564828444879186679460831453568164311421818005075426441503622634128937297827250683763945793909371261288260157313628903369739668012729340407602392790183	1097072613044531061047561871261908246616185274396610621502160190278739326944794322176272571909451929559946795902787301741900509038680944637444759511860611161046030915420689157391769418301013985285200824938013648776644351863093450153021458736664395586875427817703546633499715532852659101233332932100838433293739613731
-385627687934273397521303625980475602269627907532731511510691032706744497079144209069418509387657065647802510898108536015246345082404157657455521443296895613081511273477223486214301137137562637151123603105107448365529511456714887250914619448350381102750363135499096928400698841021971284380456668782326099462378	2114658442703644216944674004272316779826064940809119522296060702036060077321304080623307540227975721970796647303018837438687055209726190812636790063869498020571307207030005614523784191955740991014417904330550670988404457011312583962463775839257116269479039527221293563700251211736621766804401312803655567712
-932944129186343025205997071180164635076381539208804013123314135871662068560895915881436425211427135036444681310036428544281393489759964975030453925511116934412621942471510307780405302844233794269676779184341016425817720120754608941745485187267182625522381817953105255755570236940617330252777467893057681548123	8877182078197305598547910642518104457044556653462972971551185784483474954969713276286373377438386297708899109122675279141200787003900542045348986604917427708818661860576456008726407055926825301728113442322704585295405408072226186810836557128506267516304785236938002645014530334737538067894501905025047437
1572732563879167535557473846988887682911283465188082833111483979025645076092490262759714027703832769720663563959184739073111766118104939446477638209884536705346921410864818621466857304016613079741317086531091270958497722918526189722047090864115174736742572826130598569589590371520975702933316316826046892648738	676535733135635244699754398925752026307219798524339722492044575673574808105331872319780453339723532258736693055705398750806954358065953927783674514087299459413133396400359365701421061540107807648693697137359103631081913117356665240141676430374014858601398058726612598036540784735128937266609718369689058084842121260
-114230657076976388610822769871929403008612975823686518899694174128678330421722894642622690266255765459674290896377799056622684196553781967537715510044094945340576454867980581090281599505200722988318578323854280514418453867121597867377300887971471750001767042922952028843809853815867154074068651569206427901743	31908218671679928448169389474814639593994825244728827231503865862167012320903937080374322959973729154249468865319159335700210575111201248506936078177178608490822996038001201659460811431180480450116996649262258750794279484881549631460144883351217970811202914872664811595290005701516484856762923856443811289645
1096710658079807556640064666852297815880285327843573341515705857019202872355138650600279455475773705968711062267101587184067041569463514290857813074451231659640512335228767518178015001997724874796535272658101703780082942669088196241442623239107265674405740191784774606739870989335311355277064271890354332829850	5793671544406857821047437808816960842189296861820654948428229788035145229584160328360300317324241787222781943084945524986299846960765131480753223933646826438544903347226081056391880022759148686763906348377551790047837867973973016607592549417684209199085014510403404049959759807557031876927477839487400144084282379
0	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
-1	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	271828182845904523536028747135266249775724709369995957496696762772407663035354759457138217852516642742746639193200305992181741359662904357290033429526059563073813232862794349076323382988075319525101901157383418793070215408914993488416750924476146066808226480016847741185374234544243710753907774499206955170276
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	36787944117144232159552377016146086744581113103176783450783680169746149574489980335714727434591964374662732527684399520824697579279012900862665358949409878309219436737733811504863899112514561634498771997868447595793974730254989249545323936620796481051464752061229422308916492656660036507457728370553285373839
35300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	202279611964083162253996566524603654485008007994909753659705943719921005014002772081448963950826157809637246727326753752489740965628130106654035102578137772410232459177475514544759136560392408840356959034851001776909950278579772585541008139957194953444003678179267150252265840980289021556840036406850768904288701651911077147062487893375959289437221178587501873409078283683579223404459901017362195017937069725971246519495642647795459827283191019528895198164621730
-35300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	49436519592372974558238622315517116924631411811772542966107720293782516249049187803114546823840847268965254727172366601451369750717110610257325300323988526
50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	164872127070012814684865078781416357165377610071014801157507931164066102119421560863277652005636664300286663775630779700467116697521960915984097145249005979692942265909840391471994846465948924489686890533641846572084106665685980008892498121171228737521497219551197160903409111561979986983996064265509175457463
-50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	60653065971263342360379953499118045344191813548718695568289215873505651941374842399864761150798945602642378979403952517653780808556294653334117982294767742470758124651684794127251589884790055524438857185075313848684419931871568453157532089010759765268911716273449065255985797440521450982249951538533171327284

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
-27363638232058636751123041853067808269171415828536085884660002328060819866720006408481350824103096508732546417311317225772115895753133489748676875446399861911277573850564282514263264231863562891387205705973801615677859566995896835769482623536139528068216063416959961139012600939145801020666162130900379278895542	1449536348589548721661424765579590024334693938739622966157450512280413758727781690988041008432521665066971345021010980247391125406962028106527724066486894737376700984572375167854795827662736
-2893017580102308345348374347442974337614550238698346049457526692582388431389460144796079728563984506248195866763633446048305544788779069849751060592068481836815826521514561205348836793671909555415239796836135491253490688529769222222032713256701077771744469756783543002237617712332377420379881407810425057505892	27276226561810878641200024002444171723889247121357451191201439591105489015451892418944063985776491930701341006971391317969965390136835685579606333226025847898529328796889851614140387129437741140219629575877102237174284468648561663674160449533018394703233725927448353771983391144492176744960104966
5579546649942237017120279551306384679901262601190180286327852247915674744714800810136762569534387983991541568954544477390876134016254443648584307602052755985845859575321625220633956729859045143147096180213588682208550705484393356390417892358241011942802088979253172182147428299263323304983121203816312162606336	170475987930487506227153978680983916562225036744487617006115296949041722261433893262830696593950207385844383119464266761272257514228235982876454163367476396673802955930596624323553830749231152354356068502370464911323795418055277752046728166551890946022147652426012149294328206329660314917413885923913493583868008684521037746208049224
10562581603259742182101911497887853979774072216102377347857481908790993551690655572218436798873413993643054162559062889192317539414852148373616504265003827031083978607136202848600247710605724805978134108344067155227046439649516958153981820991015236756411901536424816494296986887137091125716358340620018490056168	745948851256235012163316577958445778385969573700913190417570979948239532194206828102212189561586457950783139520590918703921521683678730216758784728042648163429989383982120884153202823679577679585701257528651455823286051403300969458310627843673672844905288429419823389962506177653963598949781355954170219224478954490213869545184633677905694557944192618096
-17331790272920142905776387470428706969186880462646674223130633892622653737222576844748965023060519343561162650745917169100607438684602073202611772439603896818463950200454919674189347878928641621875942546462053506251985230974344574666077160170425556592900380026002892064763292860449657520344819455360744213127103	53578583750559662270676664775187634635275996106141356475648131936677133616209095074868593380049363029102306875201909369454780557506119546324824421394689850305747204793179199297027909685754072303170496910724904754945288035790365235443
-14257679249925110732990677121325062719883255416467197834530237447269732849800170423346088511155631900394422223185159497024027214831518224431125280404357656607651605744927082046522580561815882904758253602265622231747388058210307906315713432208548856469172978777102843951157368992029667345030201765248880027611474	1201394861558074120534388923774735674124440847191496788027553578551919861126346547245011863603286189705403141661098440570054129108820883784016090016203062246145285854676219237847961252728170276745768145923439776886779323841358129183702233629002764
23114713583657282494453188778074445190370310116763642005414575080171956734827713477271236238911769093212250986508683028270727553549138886599361195430691888973488372398071569749998477151110589242099477966374685447450222686220301641456471385571592429687264187665702864662682467478333396400241788868179890655397217	2431787386986652620971700666257184170362892936648882495449793593168374825884444175976556189749285882976325755290509039443420438121860996531121856641804122596575385289066395902728810057965361666324671355470945896941468615324582881122902217932455829237029670059548371911877334782306687331734151998591283349313023725341856713313183771071205160800656091489795810694823144645301420665470984435005412796278494703278
-18632306100616282914767288450569461863955035377512892494928310886169258183634916298210568117976547361134685037324402681302579562169425232516222438233940249256193813313310660961969911839768562830152138358862202036064746768550872614456505619002519760479353903061136954722760423436183742191120339163648609690635249	120482162429551263220429332873367119159282318514392434786072388034261429932016781233329918235781648641854370114029385008666993912187327510338747836473139758098545223542194249758419670417468911153635267372489857014868662111878312
-25545539493704062908056525967421677826694895170214357217180404111912655599735536314161078763824517714606427959910941873471649974159499401101620844211504883968152998218948150564618908671506628896416970820295795635677718657822644537084387562649498965631499734662467302185724211719857727865761340434142500176701524	114059537551298982538836713774031025175410301368548988506346031632607252647646772672604265200383661933404932938073132326975867146433734173139033844091666454327948329014684585101801258541118882177736
-14305256845499329515822492598174718975923032879318168720838601727432159181312961657029839974528531765676247836832045676794075104591202877721844961478938859754465079001566853986963942275229064703969359568877349255819003704088718074184659010907731812020024748995968780761549370817787996368951606746166884570673140	746549996750268919350759311879506241198922922268210749382991004469290959953287569606683590968002468373535335998787513693889127905044019600130770130173199682557643212906581175030114691133277521063999525190286717733053599200337786353603662653643781
14741469859140580205950178157634046250622689573203627164038337024274241841161662491270356630679780586738568872555613389379461979254657443974459386920518547495601205366846585719645234472946309350562116843501877146055900070960686717700009537008703047607400833612675439897864608573359160488515557927119903675427036	1050485711704571678372607510096752647471742619775345097946657715717110005037177824510847763314527973007602381573073681688035867548270855606251606050420875693702944971256708170427810473507603538846351010797118379181802892244302760347309172012704187461339678443302756857550663018321512367798168710246319033956739766123357882141332276653099682077929494867726835173925825668424
10837096767108797567795420627736712354493142579727212438295431449106730661062558373196810714894077212365047972715972184275640332672613456115896082293052625710594903658195091982825096769180369303790215618422893524616211093085741113037215213387522109578895342791323120823513310087777664218503934608154028659547626	11612166600875611778997413518994192152964578050170450660558640773734995880112977176642862635426995660978237724755347665975632796457384057470869006147112436086655161604175119537950517647691265431517084040946075654620174609428524572182468534460411663726737559151811583544009852164418543166173055472926895399844743027734903027352043463644823570396770570062754
-28696105922981612999606888800850915194382572020877440862438256733263857025076531586415836506539663949370376228773639823385720260880891139741920480304588055726049011715205743825780538661483901840329422286380876407107515251178239456858509352249670345459838164939999638924770946300066180350037643484780724117126960	2368075013313508501786565393909349783011073267951811584513787400989944880182956897662034145359267511386171249119312951177799255497267559302222126423907352427172545314409360418416446755
14261872858135388500996543803849259712314281067971076648762367246036502558377380810033010547386216266801050999538929996790368778414470252976035278722276583701946339970309499844766831653847844541034055887600552126169577467814296405884690047957159867185100167346425929358479211097767058142409019648271124275482216	8680142179953660541884774273522491835891192460536580817449434494995155461078115135236835376216499380723912127333303551687042832915096642923332175102131265718412126032228271234192707434144956689665723385065799024682114972287770830087289623470700157929726263344999872658239544458159640613896701166719846445348671645637358624317626719653628594309332572929511326078500833812
-5147313064229225915754000514826538029983323676777251274751751233514119569762199425598992986968344051775171664395450655327696470458160461828010755927938754908738481799991716374068882160811537515753029759614925506054210194636127451723450341409601387290080299426926461130290169975388277546849574471998392092197960	4420825735248306620085171714290658777661066574795532083436434381748258616115843020053649536223145511741767173378232935107902638958483499296691972485589848518902851610387516202750253281125969507065726406623219322996973271045762009800512466316066229619007024079507235017802225614335469636
## category: catastrophic cancellation
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000500000000000000000
-100000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-10000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
10000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005000000000000000000000000000
## category: range-reduction breakpoint
-1386294361119890618834464242916353136151000268720510508241360018986787243939389431211726653992837375084002962041141371467371040471516261114065341503270151923861455141656742870380614077247783346942246700230728995910478240950345363149864130311049468279051765900906014190652733285308208478315629904087480860771005	95367431640625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1386294361119890618834464242916353136151000268720510508241360018986787243939389431211726653992837375084002962041141371467371040471516261114065341503270151923861455141656742870380614077247783346942246700230728995910478240950345363149864130311049468279051765900906014190652733285308208478315629904087480860771003	95367431640625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1386294361119890618834464242916353136151000268720510508241360018986787243939389431211726653992837375084002962041141371467371040471516261114065341503270151923861455141656742870380614077247783346942246700230728995910478240950345363149864130311049468279051765900906014190652733285308208478315629904087480860771002	95367431640625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1386294361119890618834464242916353136151000268720510508241360018986787243939389431211726653992837375084002962041141371467371040471516261114065341503270151923861455141656742870380614077247783346942246700230728995910478240950345363149864130311049468279051765900906014190652733285308208478315629904087480860771001	95367431640625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1386294361119890618834464242916353136151000268720510508241360018986787243939389431211726653992837375084002962041141371467371040471516261114065341503270151923861455141656742870380614077247783346942246700230728995910478240950345363149864130311049468279051765900906014190652733285308208478315629904087480860770999	95367431640625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1316979643063896087892741030770535479343450255284484982829292018037447881742419959651140321293195506329802813939084302894002488447940448058362074428106644327668382384573905726861583373385394179595134365219192546114954328902828094992370923795496994865099177605860713481120096621042798054399848408883106817732455	190734863281250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1316979643063896087892741030770535479343450255284484982829292018037447881742419959651140321293195506329802813939084302894002488447940448058362074428106644327668382384573905726861583373385394179595134365219192546114954328902828094992370923795496994865099177605860713481120096621042798054399848408883106817732453	190734863281250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1316979643063896087892741030770535479343450255284484982829292018037447881742419959651140321293195506329802813939084302894002488447940448058362074428106644327668382384573905726861583373385394179595134365219192546114954328902828094992370923795496994865099177605860713481120096621042798054399848408883106817732452	190734863281250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1316979643063896087892741030770535479343450255284484982829292018037447881742419959651140321293195506329802813939084302894002488447940448058362074428106644327668382384573905726861583373385394179595134365219192546114954328902828094992370923795496994865099177605860713481120096621042798054399848408883106817732451	190734863281250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1316979643063896087892741030770535479343450255284484982829292018037447881742419959651140321293195506329802813939084302894002488447940448058362074428106644327668382384573905726861583373385394179595134365219192546114954328902828094992370923795496994865099177605860713481120096621042798054399848408883106817732449	190734863281250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1247664925007901556951017818624717822535900241848459457417224017088108519545450488090553988593553637575602665837027234320633936424364635002658807352943136731475309627491068583342552669523005012248022030207656096319430416855310826834877717279944521451146589310815412771587459956777387630484066913678732774693904	381469726562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1247664925007901556951017818624717822535900241848459457417224017088108519545450488090553988593553637575602665837027234320633936424364635002658807352943136731475309627491068583342552669523005012248022030207656096319430416855310826834877717279944521451146589310815412771587459956777387630484066913678732774693902	381469726562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1247664925007901556951017818624717822535900241848459457417224017088108519545450488090553988593553637575602665837027234320633936424364635002658807352943136731475309627491068583342552669523005012248022030207656096319430416855310826834877717279944521451146589310815412771587459956777387630484066913678732774693901	381469726562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1247664925007901556951017818624717822535900241848459457417224017088108519545450488090553988593553637575602665837027234320633936424364635002658807352943136731475309627491068583342552669523005012248022030207656096319430416855310826834877717279944521451146589310815412771587459956777387630484066913678732774693900	381469726562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1247664925007901556951017818624717822535900241848459457417224017088108519545450488090553988593553637575602665837027234320633936424364635002658807352943136731475309627491068583342552669523005012248022030207656096319430416855310826834877717279944521451146589310815412771587459956777387630484066913678732774693898	381469726562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: inverse-identity
-70909620864216607067754136804278417594113925849766207661826499349801236378062456391268713916759627588932607748502416457909013384324550448105321650968242476036073542016427084169989036760647982514674519963516133634164968461831679646461105172511793544958211650692850446775507176900133257572277655526840837132796584	1
-70918620864216607067754136804278417594113925849766207661826499349801236378062456391268713916759627588932607748502416457909013384324550448105321650968242476036073542016427084169989036760647982514674519963516133634164968461831679646461105172511793544958211650692850446775507176900133257572277655526840837132796584	1
-70919520864216607067754136804278417594113925849766207661826499349801236378062456391268713916759627588932607748502416457909013384324550448105321650968242476036073542016427084169989036760647982514674519963516133634164968461831679646461105172511793544958211650692850446775507176900133257572277655526840837132796584	1
70679362354917202499352337658809981173353815700903330364223166559704479117094721143245114196250667759098410970098187833045672431778042167429655022231332597867125251295594528701904656771165359194821680612985237096391705577215343024232335350523118890591464210268523010260002283468639318424315715086818626622625166	904837418035959573164249059446436621194705360980400952056257317055779965344248361012503446036090457238478745314648318497748908161238790095189279431255724839931852313986011570501243966610503944906627380753793717746158247003320891036068751171458867978877474041981331076677378816987844615654577627862648327586649802246029660847418682914387767391287465186279104344983166427820132295846340816097894637858051190502486108570442661819783383676159908892361988428794773459814939639685553120805117848193955153785898637645112586008418937903272731045150345615195111173359168648449850879723224070241000915057801965385219567337465
70688362354917202499352337658809981173353815700903330364223166559704479117094721143245114196250667759098410970098187833045672431778042167429655022231332597867125251295594528701904656771165359194821680612985237096391705577215343024232335350523118890591464210268523010260002283468639318424315715086818626622625166	990049833749168053573905977180036557772079081253837466883878745293147727168745295018215530779383810992963333729409724483888348345836489260894054841711872707825857944728370213443140260199011176548438880124939407023294561071031440822488235362341046643541037309283108775582428924906998370814920532131480754283085609615929363688286519258275159405835908019001448347147395948833493910676127115160052136999432730887224404308337273989600434277025641389186331717286910125861726109388195210940742038497507618150893497874633814855283712770272471097385053750267362061073768999743347910323752829436836768345935303028637223752493
## category: constant edges
69314718055994530941723212145817656807550013436025525412068000949339362196969471560586332699641868754200148102057068573368552023575813055703267075163507596193072757082837143519030703862389167347112335011536449795523912047517268157493206515552473413952588295045300709532636664265410423915781495204374043038549	199999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
-69314718055994530941723212145817656807550013436025525412068000949339362196969471560586332699641868754200148102057068573368552023575813055703267075163507596193072757082837143519030703862389167347112335011536449795523912047517268157493206515552473413952588295045300709532636664265410423915781495204374043038551	50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
69314718055994530941723212145817656807550013436025525412068000949339362196969471560586332699641868754200148102057068573368552023575813055703267075163507596193072757082837143519030703862389167347112335011536449795523912047517268157493206515552473413952588295045300709532636664265410423915781495204374043038550	200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-69314718055994530941723212145817656807550013436025525412068000949339362196969471560586332699641868754200148102057068573368552023575813055703267075163507596193072757082837143519030703862389167347112335011536449795523912047517268157493206515552473413952588295045300709532636664265410423915781495204374043038550	50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
69314718055994530941723212145817656807550013436025525412068000949339362196969471560586332699641868754200148102057068573368552023575813055703267075163507596193072757082837143519030703862389167347112335011536449795523912047517268157493206515552473413952588295045300709532636664265410423915781495204374043038551	200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
-69314718055994530941723212145817656807550013436025525412068000949339362196969471560586332699641868754200148102057068573368552023575813055703267075163507596193072757082837143519030703862389167347112335011536449795523912047517268157493206515552473413952588295045300709532636664265410423915781495204374043038549	50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
230258509299404568401799145468436420760110148862877297603332790096757260967735248023599720508959829834196778404228624863340952546508280675666628736909878168948290720832555468084379989482623319852839350530896537773262884616336622228769821988674654366747440424327436515504893431493939147961940440022210510171416	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999985
-230258509299404568401799145468436420760110148862877297603332790096757260967735248023599720508959829834196778404228624863340952546508280675666628736909878168948290720832555468084379989482623319852839350530896537773262884616336622228769821988674654366747440424327436515504893431493939147961940440022210510171418	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
230258509299404568401799145468436420760110148862877297603332790096757260967735248023599720508959829834196778404228624863340952546508280675666628736909878168948290720832555468084379989482623319852839350530896537773262884616336622228769821988674654366747440424327436515504893431493939147961940440022210510171417	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999995
-230258509299404568401799145468436420760110148862877297603332790096757260967735248023599720508959829834196778404228624863340952546508280675666628736909878168948290720832555468084379989482623319852839350530896537773262884616336622228769821988674654366747440424327436515504893431493939147961940440022210510171417	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
230258509299404568401799145468436420760110148862877297603332790096757260967735248023599720508959829834196778404228624863340952546508280675666628736909878168948290720832555468084379989482623319852839350530896537773262884616336622228769821988674654366747440424327436515504893431493939147961940440022210510171418	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005
-230258509299404568401799145468436420760110148862877297603332790096757260967735248023599720508959829834196778404228624863340952546508280675666628736909878168948290720832555468084379989482623319852839350530896537773262884616336622228769821988674654366747440424327436515504893431493939147961940440022210510171416	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	271828182845904523536028747135266249775724709369995957496696762772407663035354759457138217852516642742746639193200305992181741359662904357290033429526059563073813232862794349076323382988075319525101901157383418793070215408914993488416750924476146066808226480016847741185374234544243710753907774499206955170273
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	36787944117144232159552377016146086744581113103176783450783680169746149574489980335714727434591964374662732527684399520824697579279012900862665358949409878309219436737733811504863899112514561634498771997868447595793974730254989249545323936620796481051464752061229422308916492656660036507457728370553285373838
## category: exp stage-2 reduction edge
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999731564543	271828182845904523536028747135266249775724709369995957496696762772407663035354759457138217852516642742746639193200305992181741359662904357290033429526059563073813232862794349076323382988075319525101901157383418793070215408914993488416750924476146066808226480016847741185374234544243710753907774499206225487051
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000268435457	271828182845904523536028747135266249775724709369995957496696762772407663035354759457138217852516642742746639193200305992181741359662904357290033429526059563073813232862794349076323382988075319525101901157383418793070215408914993488416750924476146066808226480016847741185374234544243710753907774499207684853501
199999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999731564543	738905609893065022723042746057500781318031557055184732408712782252257379607905776338431248507912179477375316126547886612388460369278127337447839221339807777490012289560741075370239133094755068208658182026964786820840422098225523487574246254141467992812933188807076330101933789974072998696009530330749548597232
200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	738905609893065022723042746057500781318031557055184732408712782252257379607905776338431248507912179477375316126547886612388460369278127337447839221339807777490012289560741075370239133094755068208658182026964786820840422098225523487574246254141467992812933188807076330101933789974072998696009530330751532081882
200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000268435457	738905609893065022723042746057500781318031557055184732408712782252257379607905776338431248507912179477375316126547886612388460369278127337447839221339807777490012289560741075370239133094755068208658182026964786820840422098225523487574246254141467992812933188807076330101933789974072998696009530330753515566533
299999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999731564543	2008553692318766774092852965458171789698790783855415014437893422969884587809197373120449716025301770215360761585194900288181101247935350669023262178447725050394567710006607785181222904788438394025815253470935262298146553842455569773351510815011840475493383849784317767607091377286249178734939603782273980098430
300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	2008553692318766774092852965458171789698790783855415014437893422969884587809197373120449716025301770215360761585194900288181101247935350669023262178447725050394567710006607785181222904788438394025815253470935262298146553842455569773351510815011840475493383849784317767607091377286249178734939603782279371768713
300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000268435457	2008553692318766774092852965458171789698790783855415014437893422969884587809197373120449716025301770215360761585194900288181101247935350669023262178447725050394567710006607785181222904788438394025815253470935262298146553842455569773351510815011840475493383849784317767607091377286249178734939603782284763438996
499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999731564543	14841315910257660342111558004055227962348766759387898904675284511091206482095857607968840945989902114129280827066632605290992623769454818278044911243542477722369787450840974393799212355166686324188559697667222321326562343238300977335818269336264147206486163090372862499494025622234109352700227083970372930009632
500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	14841315910257660342111558004055227962348766759387898904675284511091206482095857607968840945989902114129280827066632605290992623769454818278044911243542477722369787450840974393799212355166686324188559697667222321326562343238300977335818269336264147206486163090372862499494025622234109352700227083970412769363821
500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000268435457	14841315910257660342111558004055227962348766759387898904675284511091206482095857607968840945989902114129280827066632605290992623769454818278044911243542477722369787450840974393799212355166686324188559697667222321326562343238300977335818269336264147206486163090372862499494025622234109352700227083970452608718009
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999731564543	2202646579480671651695790064528424436635351261855678107423542635522520281857079257519912096816452589545155550109245783665242329160652289516622248013772897287348557783784727519548061009588141705588865792731723616840119269803517026492504110175750255676476269610754381793196083404440493423668245535761488770177492519
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	2202646579480671651695790064528424436635351261855678107423542635522520281857079257519912096816452589545155550109245783665242329160652289516622248013772897287348557783784727519548061009588141705588865792731723616840119269803517026492504110175750255676476269610754381793196083404440493423668245535761494682861904243
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000268435457	2202646579480671651695790064528424436635351261855678107423542635522520281857079257519912096816452589545155550109245783665242329160652289516622248013772897287348557783784727519548061009588141705588865792731723616840119269803517026492504110175750255676476269610754381793196083404440493423668245535761500595546315967
## category: tang-lookup band edge
2166084939249829091928850379556801775235937919875797669127125029666855068655295986268322896863808398568754628189283392917767250736744157990727096098859612381033523658838660734969709495699661479597260469110514056110122251484914629921662703611014794186018384220165647172894895758294075747368171725136688844954	102189714865411667823448013478329943978214040244860806806039945873204787836260774633780284033477256386380144775718005331496571041931405403445173380784963039855804902481739475254364315202826181002928859711056892668346433821929069646192418919991865329880625296594483581793596781337417943624562224689466546233083
2166084939249829091928850379556801775235937919875797669127125029666855068655295986268322896863808398568754628189283392917767250736744157990727096098859612381033523658838660734969709495699661479597260469110514056110122251484914629921662703611014794186018384220165647172894895758294075747368171725136688844955	102189714865411667823448013478329943978214040244860806806039945873204787836260774633780284033477256386380144775718005331496571041931405403445173380784963039855804902481739475254364315202826181002928859711056892668346433821929069646192418919991865329880625296594483581793596781337417943624562224689466546233084
2166084939249829091928850379556801775235937919875797669127125029666855068655295986268322896863808398568754628189283392917767250736744157990727096098859612381033523658838660734969709495699661479597260469110514056110122251484914629921662703611014794186018384220165647172894895758294075747368171725136688844956	102189714865411667823448013478329943978214040244860806806039945873204787836260774633780284033477256386380144775718005331496571041931405403445173380784963039855804902481739475254364315202826181002928859711056892668346433821929069646192418919991865329880625296594483581793596781337417943624562224689466546233085
4332169878499658183857700759113603550471875839751595338254250059333710137310591972536645793727616797137509256378566785835534501473488315981454192197719224762067047317677321469939418991399322959194520938221028112220244502969829259843325407222029588372036768440331294345789791516588151494736343450273377689908	104427378242741384032196647873992900878460312966271332201799778475432173514477866389528658624675843934163527433966037123396799643571843523204929006171337690583106733277487371978367491449938949796416476740509108835571348553188982165315991391258676322688598975569725036475034519965183537051316183285974439483724
4332169878499658183857700759113603550471875839751595338254250059333710137310591972536645793727616797137509256378566785835534501473488315981454192197719224762067047317677321469939418991399322959194520938221028112220244502969829259843325407222029588372036768440331294345789791516588151494736343450273377689909	104427378242741384032196647873992900878460312966271332201799778475432173514477866389528658624675843934163527433966037123396799643571843523204929006171337690583106733277487371978367491449938949796416476740509108835571348553188982165315991391258676322688598975569725036475034519965183537051316183285974439483725
4332169878499658183857700759113603550471875839751595338254250059333710137310591972536645793727616797137509256378566785835534501473488315981454192197719224762067047317677321469939418991399322959194520938221028112220244502969829259843325407222029588372036768440331294345789791516588151494736343450273377689910	104427378242741384032196647873992900878460312966271332201799778475432173514477866389528658624675843934163527433966037123396799643571843523204929006171337690583106733277487371978367491449938949796416476740509108835571348553188982165315991391258676322688598975569725036475034519965183537051316183285974439483726
6498254817749487275786551138670405325707813759627393007381375089000565205965887958804968690591425195706263884567850178753301752210232473972181288296578837143100570976515982204909128487098984438791781407331542168330366754454743889764988110833044382558055152660496941518684687274882227242104515175410066534863	106714040067682361816952112099280916260689221257400463068994229351860886236989226338147571595373389947459615012627778944578463160667523496866835346330467882958723762352105419869372612583258563971888060597161167269817449656023634516888030593650729553096734948191000706873376533177672516117577756334069172304777
6498254817749487275786551138670405325707813759627393007381375089000565205965887958804968690591425195706263884567850178753301752210232473972181288296578837143100570976515982204909128487098984438791781407331542168330366754454743889764988110833044382558055152660496941518684687274882227242104515175410066534864	106714040067682361816952112099280916260689221257400463068994229351860886236989226338147571595373389947459615012627778944578463160667523496866835346330467882958723762352105419869372612583258563971888060597161167269817449656023634516888030593650729553096734948191000706873376533177672516117577756334069172304778
6498254817749487275786551138670405325707813759627393007381375089000565205965887958804968690591425195706263884567850178753301752210232473972181288296578837143100570976515982204909128487098984438791781407331542168330366754454743889764988110833044382558055152660496941518684687274882227242104515175410066534865	106714040067682361816952112099280916260689221257400463068994229351860886236989226338147571595373389947459615012627778944578463160667523496866835346330467882958723762352105419869372612583258563971888060597161167269817449656023634516888030593650729553096734948191000706873376533177672516117577756334069172304779
8664339756999316367715401518227207100943751679503190676508500118667420274621183945073291587455233594275018512757133571671069002946976631962908384395438449524134094635354642939878837982798645918389041876442056224440489005939658519686650814444059176744073536880662588691579583033176302989472686900546755379818	109050773266525765920701065576070797899270271854006712178566764768330053084884184033821114049420311989145161926291809001034776902611608725532027593058270136445935603377184958072509793552467405409688916300069889347622446063107633645646856359101507348994819199886253626912160882512482621492252036764416663221475
8664339756999316367715401518227207100943751679503190676508500118667420274621183945073291587455233594275018512757133571671069002946976631962908384395438449524134094635354642939878837982798645918389041876442056224440489005939658519686650814444059176744073536880662588691579583033176302989472686900546755379819	109050773266525765920701065576070797899270271854006712178566764768330053084884184033821114049420311989145161926291809001034776902611608725532027593058270136445935603377184958072509793552467405409688916300069889347622446063107633645646856359101507348994819199886253626912160882512482621492252036764416663221477
8664339756999316367715401518227207100943751679503190676508500118667420274621183945073291587455233594275018512757133571671069002946976631962908384395438449524134094635354642939878837982798645918389041876442056224440489005939658519686650814444059176744073536880662588691579583033176302989472686900546755379820	109050773266525765920701065576070797899270271854006712178566764768330053084884184033821114049420311989145161926291809001034776902611608725532027593058270136445935603377184958072509793552467405409688916300069889347622446063107633645646856359101507348994819199886253626912160882512482621492252036764416663221478
