# 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.
99808989908376619305759618792844730103371642530729346083565521630526010339396182025411262404880861316996305828902674898530688298148984392511855269509411573951021420186799011054042180509138768708958489723579888279703986233626032669270974230058290057761565116500816631162705764428541891232302131457843732787654	-191192748531369916643094893770352909737046333264678719116714242802730648930540183597408801301590347865338819509071189627375061220946872814778410406277709647063932249523716567998254889310457542291706995660168758219556244004204046692577375246854794250818343059859426282737064716126998964735061328240203061757
99165080235544676864661891733014525930656443040137686719404303069905735189497434453233070464900954664516828257470049369023931807216587476329895490765617832608883517173743138325191051499390869512742236374545402003338315222118964667586182086242103754648952448496621590923989762294948734690101411360903654195924	-838424742323953363702970925341804749750612425773965492985807130814987252500701010639733889270195272542183265819568868778045279865967901285219433845694552550254629213736289966488683998084209292987507571201285099069307855848580127739051937293650053958965934277069851515152218488455044072187673084329041797556
100888785275265894948902270349441700094032014779723652866240842374002241617137922738068893655716868050559331552252300245402145349066882632987006115071054793367958405698179705355057314450529948330720645472621924955128339410329645013069767599604181047274683461758287674508570141179002350575797812570672698340224	884858826917879903558568695243925412990864577243640331270432333326787121892220742407371027069611317104792285760070912604181150758459256986577708046193419987534496687981145559838560378418312729850528065733201605692648105895359156640683220845016141978158869890996792312593125785138288419819480480318358868763
100616902854941637840186629017585894454927606847300405327265335180567536767029146759107138656893882844226451777368311099038786518725965096863893536826851443994940218731713432066746314655244468763549072642615310849459796364671291996349783328850350955404273784174236133194654602988153005246209614601324455534467	615007799055171177169704255833211378954088244372317650621755007214719800310183099315292504441289934519639411820515437490336359017682702805280176802641930898602530470206823631294672441200358407840979243158476221301901182244888267970464910648525234788087936296500809347712901043293758852928380662016765887990
100073450343292042966247062563920000044605767994525981124339438209931649385000945234354954560710436636956664421076625998999985134680521252628137687617006691588654549951517427376554636619327350149275784385801580944273981967915811610582446787325983615845196100049203394071413401304645967770390979668993906270588	73423381728827089576816804531730962754162172080988839629061915041441368614453794096082614317005416031247765029237951729459125142464252257824717369974335084964259545890631613772690533930403169875311392703140529011231976260077809042078681796270800857796001983081635297783343465840363393753692954798653402156
99389044013689315635718032372213730616930995110434958320341025496600002452551697812808654735134387880625262216769939732671211260149839052021221857057973236253710571704830400060667568505799838938964773699596024166210268066149031653422353064296241535447840750062990671921829251933541310243275899324156834490715	-612829959061312508139248421395773572721700678453270679769645659796131462195524585689436068165309585426138770064221342113231433880664743990863776269725263175211909088126051669716366635043663354517890608396115726730329503865951664902953056252896356620563286625765061947116972030369914362241149302719870509849
271354428651769732040434874747797346679118973988032668180066793324078295914391942968639765662193935079221324318265635785601529943901509985880597390184509628088220290802566300107924161445375104359846522983646371363027150608913513484552726251530328211737149975894252976307164870948640060341073848340204631526472	99825563519805190325974437298037221366915466139781685867581239800423774780845167238340218133631332319011099943366277992858489436444913872488408037649288159877917326468369498417445012045778081472244996664672341562046801000031077408571500848451949180879700832302268038384063911528176617239530073221580603021480
272680227065368710027949071597602340958242636763363454695309671265145916440400539914502167714833984998250796377955518079103912656692422750797142477035840472703900146669308108030524363744275581363745597424395554036985278874656930537419917441403602371914850709211746031563759387049120406016321500870846097590846	100312959322350271848155282240953774789827192410868025302017705973884866560169331024611272638099170487763127960386032032372522929918265667981860482315646527944527945801907725803583735830457549091445950760221179069995714293021581213368714641514115271146364395594064448424522375834414175322290596232928236621807
271413580867523218743295495016571977688714642421354546161596617729024295100137425687686368651314100851958945980850621437790379205343338357456419886895184668322938217564847796863285490714434968526174941968899858122056910274304032735021347782192886603363575546387301726448232848023689624127462243031778623899694	99847360020317467255055880429446918175427146866632464642261122082342269076056550582719693218514205431721402701146788862605262809083065280425838920127465779397431098844186123210112045547621891894417939899829285592230801106456148403611464085455014373027020143573676904127986730611905473707836513742421532141179
272781368260703173767259916688858345636580598113967118902358577410395766670694174742550732096831182004921995897782382572935950675443920949253562881077388046781789732329750619757280137532682148415276247273941993892580505907930739344499782413657201445376679403973595795165350627282291866902243821825640158680028	100350043948421201419519589425630885949289615627022211541850316271369788533431210501223973905604464279825516756677812249083860106023007947821463231232025471752129676072475499159291390991387365244507725531348342451990024934930072009212581302460154527473346044213330572667750054764199411510578252460163946163702
271818968734197489670332807889677190423629449149074355713268284715319953904384315861627601828401124030964949833113559917184249194135053661464664644253663133736047277419711959112495521657702825111987924199303062415450029367610909449902037111043968089844930883982982694359783536463165198689321432654950149997830	99996610260283297550667484518147168898215102167446457851421518820692954229570124959078352382926809207822397704089539789592042507570193030037475363749024200577896435178118267057762396588743866032117048363628350921572491525711901502688003434296855856693691526652162451842030944144415497560693151473217806171667
272495359158413988508369371703639227211342289583959075332080994346942199157570863292032697273775219199133696254529896257496801412501724307487787810887055185250576149939603138998039140002108419184586312377515819813008644468302326085026853161653566279086729823232464801462807842385941829119123539719617479432922	100245139735886007711280578349222491982681848428168478402633677828997327109845628667952143713441470600506495899467471083526198186358954983722421759225450478553161897007908559483050374983719835799424934778140302527755479868876062521358321672243921130758211516613098971489253941823155355293000986046006570737381
8785840227796094262825053778734086831615451396449742043874076592080265308489070501924799136842674772056149490344098874744922802512685148113375218737158628938452360137411232813364607652164230900543619367037736956105636470799218961723373014878080391683174036944345600166557410427310115169311815675790212491350701185233	1829123701148383554600591489911129911513088807667071364981499876248332382265036227320586095507935156637638365738845041522191549710879885245057194213843961669369710235415332028475063044116594445122276613406803324774685262949396303000514524821512062141360076578458324017566662134632518048616646835465356737380537
7546739391438737289969448438839335829652476471852012355479582085293440395397028527667275983410792732602210667827287124603721506871942074456859343993175941708868461657662691126861735431034162839947209401474587169874101532506524255865724250018595533084316987318354409123341412913210352687731000711369865173165517664824	1813921125225350417037466218663510151543509539514484891817308713983262121583695871873045885278156554621085822210905781002906195808424236457447929982368224289924188893573174295495203078078509929807107303603208826408875734465769194556833338590266395814864318220242281271447460644308690528946136972452122771799297
1642245456044208207496878635606920539374834020131904946985428857677480194691436246813891482083214315002531647339257815568128877279450421794054796312092751995591819255917905957876226375965874852790538253638213551371283471831815979608028195101192057965486090548406172490131332921308067826764619394816268954189499136757	1661416013683624981700302685700052874363072137229521209835038245150642623877671539427218393863592249605504174049551187200363803160196207791372679961315337640080386530118675662597040721412249836214127842121651316987778640166600639908729265306040378195087687774510431552379524691463292975396203380701386493532222
6210026375178295674084168490943390626203431224154175363843313553170182034506621822487142255795405331266315042581377661905081105859935900557664875637829693225817328494916091828055779694961836164390765316084831958263768426479214984428703289443332258927564822610203425751680832801221901581434609569021004312331318774608	1794426079410536344325656791431645181823951434126104052580131393219565395880830056384886588949707129464678738023963824471784167746738310409737017094415130001315411008579582279739188333376281402074004318350007840145081767307208368897056110098114827799884599011021507294259883950833753538345815633817081696821743
7780137287059457659025047451746507123087703978761060314522397274094142105361472569125403102715978837437993753258570528606468030672767063836430117427743853709087209897480140419599303544426010494172714192091371107799746920797029252769877458686068559149934812116691080897417165929899775641086595505427649304385723478921	1816966963514452976227660611785591386297390937910465445418537440650897545173138967824905624134788354848861583968514577995349475511922876838921806090799643420154432931700315128570092743778994872959378347570596218697368229433862340212418698276839474945457021989350794780812654308102308297320524499523703987337223
1979579477547571288192463993077009627937366750262559731312631363754092159098081028879911790909250970124175977278326974244533434982752351906554817624213885928341638093533074525533389529873153154364635184645741181199262415055660767590034258377510808078238295017806767906451477992467618077025444469981795120842360085394	1680098008803087510590695464301499302240956081479989605840689860785283996614566906743062907040685646272829219601271343890300789397568907900416219970488026435960225855621731179475258846703121966084032351280945547287678464810869715230440245722063176174689556867461873896525784883910020571227183052801880374120099
981944269690027937163700154963383460992205004202497583864886344850344762078509294614620937795621582919085737444227029411613315253494671531257331049987217158817123321810210178783957122742601315088535583959653749747409162253914355037746754550483593369278265176940688993429047115377606550704381658868418033988169827935	1609987492687705310283770027332692690219108985213015629818528203749743408583175077044095146401220190830724663229839093463936856789923788236095011826383682428012653469479455038504806374519954635700477961927068598098941426508000071298131657533878746460361727188458819185203402153448279084610822001892708748266917
9067483436430834923570330979372087964713412210151179927078713630306774247848016208406350331547153898548199540064407687468693456519091022459613702174990878006934032110698978394164804248656317137657293274672489695000821974370970717913383952965440938442395860487602061180770015588864962084208639338812132941985675190382	1832279041643522049130773357866880634591977460444204959415747731533848707202534319972116080965319604359014535811277471830016759909021874043263036877005860569050257551934520329645909718627332372124960784383757208644054244763631602495241982890762634901627430336569153984675027997383988188821249213534547120315573
4358662783979549106212653854775491167590301739955905039972346887561455674669190589580755688268202837415725962481456822690871205218570305717524741019146537344197560945046577183513063579637493549161106601278412462168190395827479721378126560451844235369569648715055364217464627026260784956070203732851075106170296529121	1759026096035479429288698843612288565587282344735941864425708671052879097660203493966815844651892057203243844683036708728179311026549430507301199063613236143056730167325037122645541066316640014194395245943740013764937884656290969911495984085418780273365659287849938609779386931200202829418762308385052933368281
3428253310666647073323091761424218757601335426075434549247710284654231828680079695359938994944555813194564109640333281664015196951738409661600922845598343715559125971818828065344657099627838869604166277804625280322526509824342246001835316415121461126199529661690949622463231926510348849544525347868982267249147151922	1735014654355731981075145386630122953219628206770981289622903595569817199608128942730272471968338707395027970341970828966342643402092979792589251536913462204784772293652783411000304537968360110017576408162629544798875060483173619634660949885086484633850625013552705217223901922550155749806946805914034706470256
8068505967693314583404344275198655817598920117017443276663706228274635950780845734930624137039245223192088540571038671136479506148985212330029269275015318331690437872824448314009373527188952861080329233588769711198359259234105871846835552315782821640878264830257447398911901501098926704245470490757762451948704174329	1820606398198591064514578407011531847286910370216922903780308462829371182033019232714274756404350255746825134442989330595226167055467042151523327142622529514127029515210279146304339586503048767988216766089284800747485172385454225267075132415364737225844353878505518506924736800243655202877217014782824166085920
2654590360437021459235275031635816150249572038897575370417933137930151350134182870295976943412444556597073493561560875330402058339347081635748594280826918612173874645002135890944173820244685405483948547420275263772618392809639380979319228763933976071040878164837708531504928467214943869045684766377900170384472918148	1709438600389408872932941012563008717188930849281895486017626512772215423027346196604673400559568176332096618767732632673900263409655087755233929262826191582703294250224780129281641294922379200951111208998397967263660421071970928467638064755536555534500930760366389137533146748649899703086599063034165240739179
929545653401107216202164922854008377692724375315093626750570342377424340470089077734669037521851713416495234701849458661417846044277335107673354916534149744619076244550297734860038014155994692221048355845812983495921469020888260531760712606630639968118869793089808765890816080596680188728195920649363278936017070718	1604503629401663330835041042728093495223554570270614258089565849067541649113343688679051041602284533173356460747759921038751758474924908946260996681931291000227521912658501960145511542715519715969275744735086835302415219808059200060616950319344349712916894451079719551006347700695564104836322530680439370605891
4820795765629439151838731677500230259137483625981249633778767691003743134941923078678630827270798100787611454054695512437722354437051846446723726469352297556844419638712563776482811745367414036346682278761517961472168268348009385324998168098205586967006751559765930245760249805273193306914422627040180560662312466719	1769103466199750236401867703288228473911545010339509183085424518387825989773778942444080166632351500753895013034533576681255016682402070920622344880289035086110611514266249661618081522185789094143034151810986395695304012328292697461502017769132211605105794315215599587356509259077349670567879430959933758285398
2069849865060696077899747450522422382853552566688527695525062987121750432805082137457217063854235402994280109961387903378230870863977293836869644014141895409325352465745530238970904951844776900249513030548823057635653983304369822659342962971985895124404472931737141064352682380149086863714634920208789942055882587580	1684557172664906009617476987604252130761748561430573001230436301292337683742917615257209961113890849691830887234489094121507268792757765724274352913620619654359808260583688908901787198807249136353263874845995778532198161723970227229810511410040379883066941366135671823248704946639614026656386706279840750026825
977265085305283186118517639377099538059005207966361496882365176145960055598418029236804396345236553073615888162317937964361407178785762582600611002805437024742168611614662211818290398172102582461317327427287948416448259575249530535357548871118206928114170322580673895923855388236186925158182145350420219228421384992	1609509831301542992719930385342001968519539953664518059397841044714165164283866544976553380932265441138620393592117292613053617940557550431248569613352838587819979805911995703599224246294129913413730880065769686192680865187326404049851057469740790418959108845510743554476672278892887266751793023339835195494341
3754620230476259332243353148405644336793480954834118844774851110752139315722933922496782511418687697463585346443217629241424674593945735956593184378721890628656558202548187857564565217134089716058791914686864432338438900224113880815465565787918664817078384814656315012856489873617893803686098168076925154368249620087	1744108279403609155294558117654487280113137411463521447164576861792927296527218509992039955727964312743416678844905936083424830459235363829773800204812355847182308329812554343782945768680080193978764761950442593444188434357242918692789463086017008796790303005740374406883068799570583365885648565142809408861036
7390756876676862087758280749816889047304003272867971428446567269529054485197158210853182234649230081449064078629613917867690458934899188959200449714886989653380983215014717267344165181188667856737385794422976112497352074621972759161678169071924474845150292649536970419275625808444876298635107017064593317154069016247	1811832579971007004467864388410675303666661823866736629804651535714125658712887295003689849859094835840098188264728455162960528261224396462418752445012159584186088457811023171718602666835939908996889467303619711701133890368579851195647646098456355768262699813875559304603362551190965778268780880832054353346929
6717953944831905264065802825606752929039935164790387461192321923836107152204517247903364244682768838600678646736864530459269020977486125121947223396680199504528326530757481398776619803798821378042137427944233258618460652323926531756921061501464664567360553869065935500695438235647991058096986584942392710398146018245	1802287928663696488391460785104704431989161528908344781679246637103827201780667128118305547086227087551863479685620022638816476462067581860536262359747084525953509270455545750953839470744153214858346687095032488120570585798953620048915118670540843126928867114414344271363397604108499872409029339208555383712267
2015334524119313208161631744412974595985680781317739290474118446190251083894866270710936614204175300626098694851435417289607844826532389733110309736863846346134982458358239366635146889790235333184593993341968392079533193067052512169902616380410324443861747934854515086665128854414065609877734565171618145199169234586	1681888084951034181132470976447674851008529369734479419599413687267370437832931772015798298764419055715928396095916505315785881843702958597764280051786699097001262757742473849596952380715990112354836511502173955322191502601328616357529236533264624348205298548842574273311286408042995419614643065484336024097596
7440724887243807237630503183612193058420005501491223783148844005482802678370935034621794194912117151809003509175564666812943821038208781907505385376881509866911423842114540215241636257486921385144718828945590928813963182848708037679481280388396208523243063290884534053076083357375979590259037971144807326913365708502	1812506392613837766064604137838551892090627765618754156906272603485959782904169957422808929475971248555343114526953057105773517176573443149999458653287113844532950471803081194135404377293046595173617162176689329332583388012809734691461769797143335167825116872568220770070904406329730250160059061221282203947222
975207445498987906318548771873924881498912512122106811784549353515977036227116777784303400105143245567781433615236968104460305351189505547069058991264931224600913286546350670701215011585519975483618262400480536951010358485304009628071245521458685762160004093129424839309379556887147833206319843257541109135096894338	1609299058495719594363994709430459965047854632785414972738594084847682217347806638019564321242588687181609419460594923380340218132033355746488885756725115407070339862374419605770606241591997159810324537333256196089474787173927287967131727533195175843779079140296002686223383181489299289377087778761716602569300
3077730896133604793771341409034905007285599325566650458559708527139893168610226563483414913189695748150668725688871818264505713517611695865892688285987744944849755664420685600705389547100792073044403156245747183347467641473231144815414910087615905025163580287662782244328115749034605533933135201872807349784406544291	1724228825439621961596818315715295059321165537280821627352020350143890324021972820446420114310968313004877403172674738398930917647434945143985011569616476916066516257668415230798237412514613892076854193278140340632015036163628721507694258358986097797350422330967633117444866104558379908852130849478564677442785
7269836725035751684452007869114907271945855935016638156044457818138654144392325552470047416807414230189493851083898031534629929270584117018732261590927677811800333042817390229118012759144266278649937158322863947418903042096226844192971224165821590797914065454563492551051434875746376200290251176945935717251499814062	1810182948352193899582900347137931978405469645234841347820621713089560172006177474745161727440817130384640125046534518161705991862721809998304720409181176248819404713010734464709011865448526937847701429758808955403862774628853327899097508366834577258409483945246186768249166080983100217632632604865029191119721
17685923166027345049178561740624131217987798411533186078488515410011607733406470774704029377208266249651225676370115714657021990661706524823326365973692160069332492132288999229962282618048389433460081899169330777442655464455075496369136245997998483607008173557408776142041327158307288237723847304721604689102127105	1208310939378167952378877904297677699664673105679774742116262374824447283589906059046689144598315389505340386927356215137094671817751037514531545336171320761858310375959746596861545636287315792385120846394862756485815570048034958141390903140519470232731877998211254415197150517239924523697683198155101696979216
73998916919716597650591993211948166010189261307040999803291799108785111894286383582842855589985576622646470166838858340397396380928962980362911909652607949808339254504627259533396603789344988124340200956802739901474573511195846971134957946476860845239860279702101171499654574742734212516000059025809617003868191562	1351439082885319599841547746290896954148396474177818825868458065516742741455381938386266020062842703258360693048868421930418658836568404398442376624122909112452055435632621323916408861505167067223406846850103561775222014746001354380501024823287725950625273538604138927648788776753638597010729057406272749724452
3048269664118326113104455245813612973727709642244442970634015307476347652649073623923700116579671423530878253662553712630977577034861663407716367971950593246990366590280910889006769534789663006955033457522175999596066070198439157157053275532737191682252044683041268418449340353207837084357630673065884206751264465	1032491447836688934447878154029822060182482568718759419121750235042873367458806195729513095515899542366474893463873555419112281194188574763281551926940719431921996438753460196578672553697120326716712160053318926633065127319960246965106549408176665407280690841249653851701873258569181129495717416747943549338052
37900610770772543452332082616656456286842765087314669029946372251304753102929790330280944034150423241828165113513972429709118327894925483528965522696713916262764085051004418506041490591031251718255683554793982191748708744930353636785279961589266726849775435431603401719189456465800874070680348258608038531074434786	1284530759925852677551906434347142189168924312379163681242129871582288176449647801730115540043208528443736425303336331348826167121861081115924894267158554719299405922910548162496299126704781484830709812248416231786143748000056613744805195673459424037898557558426854015325928267449643303515643984346879820647626
57831404860948543311099771174468421296802720135798852194131554226959255749230826210120261979447800946885775020416012238488390752691705728604637124082070375452903127351811547636928155547820778824714473050196779634516979653082994023504599511064353868001913844167376595927865296724552740385694968891417534112393849842	1326787233679518936844426755942614131879127654939658963847561223142598737125969773603889299877749656078535573019497069664522703879171795613648715537492873897560766635945977791301505240421232183697866094122289782330395706486622219893715599525439571460358080367444717046457238717618835966853918172636155666854601
18594507287727615881976521821506144520226486593899731002434224966246859385092486228141823671774470625220849000930447034996652754288008509203261584743956236674839614699891680448020777628432055962446136332941183928592859082552083756779857429409845481547211323203877918703005954159863135832372587887187473472124010169	1213320660197218865643579033581148122383567429770988432926589009110339451802327401847643224362609709792619425106327687575065296695545942736145265640537042970426105777080092204224885820930615690844427801898628606385150259060427667218577400523126925059631699040791105868189261944768007236148313060500832699525857
40239114590276582383357800726856769871947378814562579603545021180666752376659456624734214846812842377976749113836014562363070944124566683136927647011655537653238891253009552745551956156123825921573647603649476479561085302380477529841301088445182412542744145161694487251388794302935573402226544597502002263216542976	1290517989430184904169118316594252934483924294574401543455071644956356382129762793685137366420595884378278664120467193955713357405254422813828605471280377161062378477868164855508039180228841277804194706712499009926550952444691936569106259908278311372888286836047023237535773380454707068341314516125191220281213
13055109512829437599210779725782853208281384898254302489920922208107055487132775106844829648342375304051637002226804651520477930799572188046412345777009265945687063089789949002382510431854343610752007258014431103942860616635704504716743547755304637285448853278200977602534587759732615051577123514240507943939959565	1177951996266577447981455506782873000782884054288245550866062519512123563359537022936863528020589977966253992496141266039754103316407193937024841559185934792675050668969623308672975528085883986128500523249451097750420300129385991107142736719807423979818157003060017600944147242436592004867220830731623013528850
40175627902530565848456879967898452924448280681272655561146486682284337436391007511151582331483131000755842398927200174461328323448558716326420937169614475550424927709112206933116069579012898746074210333051205380080771367031492111919313360805067522974259533540974264437171486519595484761973724303194831456390965833	1290360091266320181705326521050436063970481719469016329118663110992022686456250670809880514896155064103899926945221458963885732232946937190453583795552938437999770018094349709266779131286501559325139401774868691987746930538267963109443942482151036577291676443561893045366838463080292000192909220697293565613881
45736416901216792956368830189423166902352837059032859966781067297463356045225416586833882605025216621233858923195781306573072194837828304159471523213199840413941304844868456879192662338798971337241673902887617379286485584563723923118663026842648558147646962845033817907317506239306061295160568063940399466253494720	1303323522128061783425138804819469637611933861722367939752208880289259769043429455506316952045398910350622353863431283145044965232935685813108805925133988374713791871283406334643870941667745831590706126387867300455840798957037473721523979168726384933556659979196150657194595020184642541017113319219821029852049
60949676148582292928038056580844211165211491324026599894310374324154180102950673026458990403785895385366370854766617856591813715554442551015122098897940762237345627765668684203671506730817147092883271574057479205395239473010303189854229715021922814134349248597709275100051570081392023968192548969852648467570321833	1332038891449447089102677946879938475152614071505938850568397877542242995290597031013546393069950420757766410206562759812550887124512993966016796992522744581218440259894433913262696000928653281276977085940271466048357148656875573937850212612748057711659362183424061386274594974700246289151173411333382165862111
89598727599830899540729104027279885956641428534486718474829736907856624802803506122964232486014130928737616984056128135649603532017894407223988805206748862672631188571914220895105393182738470936313799796271045851054683513656702446442744830052866684884561195189905310843794038431970842426045127641216527158403921575	1370568149096148943792025974001264332868849058074724446094339171113882717963033470262939582165028157093994107878881292542931348299262912160865367293450045604840060475585725130951566164188722989441942188588278250645864068744529693570584022363342807353709562099515192468603421367233066525065157899103196476716650
1	-70919620864216607067754136804278417594113925849766207661826499349801236378062456391268713916759627588932607748502416457909013384324550448105321650968242476036073542016427084169989036760647982514674519963516133634164968461831679646461105172511793544958211650692850446775507176900133257572277655526840837132796584
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	0
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-1
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	1
200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	69314718055994530941723212145817656807550013436025525412068000949339362196969471560586332699641868754200148102057068573368552023575813055703267075163507596193072757082837143519030703862389167347112335011536449795523912047517268157493206515552473413952588295045300709532636664265410423915781495204374043038550
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	230258509299404568401799145468436420760110148862877297603332790096757260967735248023599720508959829834196778404228624863340952546508280675666628736909878168948290720832555468084379989482623319852839350530896537773262884616336622228769821988674654366747440424327436515504893431493939147961940440022210510171417
50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-69314718055994530941723212145817656807550013436025525412068000949339362196969471560586332699641868754200148102057068573368552023575813055703267075163507596193072757082837143519030703862389167347112335011536449795523912047517268157493206515552473413952588295045300709532636664265410423915781495204374043038550
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	460517018598809136803598290936872841520220297725754595206665580193514521935470496047199441017919659668393556808457249726681905093016561351333257473819756337896581441665110936168759978965246639705678701061793075546525769232673244457539643977349308733494880848654873031009786862987878295923880880044421020342835
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	690775527898213705205397436405309262280330446588631892809998370290271782903205744070799161526879489502590335212685874590022857639524842026999886210729634506844872162497666404253139968447869959558518051592689613319788653849009866686309465966023963100242321272982309546514680294481817443885821320066631530514252

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
84966192158983361688170818509231533417492788055801693724646931955518865225095892806881960879318143884678572665599702083068461068216117365893982777309012231135710940687023909932258571984418317699863395013466400395027969296835680495388168115448205257167299282502070317078889194835583563600628163812037492872257243460	1365259381004116337211430744113457078928781661071252772966565915575733333978941539804741580354379009843351954143785762709811827868408191420180997693636971974312558541915181225696014026391995542185340860725711589116685172431768719451570018786520283380718553090141004412959139957285825973056704635815750636132326
39622433727923653784402972629110783381850142201435017982255738901205973084675299475223301583635085818576804124702632474011852205234440809432740013885003776404675225269968611370141524805294979992056878941349710536931152919220214032780596078449736914343545578678045061381598185956602339360417085796133490605871350587	1288973583811227951965643968300485737181571263581185342653852837240774950461694175493693044570898807048893967964416304187832916813493704720590821101061518151087836152322326900193931992010617543587585677844316575733511032535855357706198144567024747465858261797566642814354653818305395721660749491695475321168041
11302608326811353948916209886053429615288890979656335254310602312108887652616966882314278909519590579539800936771772670988055391783426039980500668112717391752522934421005779579698803187380894504428521285102514604004988185558847250405064534376785478874423039208404410693069004485671718984887036983554251044790551722	1163537389643993376442389974357982866202154707767699438381887975904692573354741725597417495595591698899577497787738238269276435699813537629764361201664106394194461030697887940261920511786340539830102402175577019316238564796726136531061010137613549563575090105904525346023459040611520668058885424215692425143653
4401581746790021863086703233381244182595756047103651759595341178866585070097961789964466070032390436308855878637884370701653830922571580267660045832462072364921789042813364868406983311074309135299720039997844810049689720514966637459402559002067926281445234508188192568388343922230533688402808480173055028766668947	1069230433620692534269414919106868348598355953392500278811279197868164922886133269488467842386957363529185409440607227671661623004766133924691599798107270047054783656263322623432805481387241896002875464037774605865364691341904146820975752899381617157176076944769814882060799570395606492717212937922240022861943
28691030865071372716103244922256327466329569101786190938488417640010537292974434113814068705434040366415441638658512267681827815768937386704690501406287549191525690367261281725831065057421610529711113532101898700838114610581721324182594570041850976038928104631833135715776730279909092446289361939907695764296532531	1256692493248711826186327272188756938897549314343855509426068025485304362123121052146586419313309668240828362633289601526535292349249095677585624003502643326848010491935432390326591813863213964067304463311480794168079447814375032685777543775487317812361904689957628651050461009265073532663715853665679644237283
71420568407704058173803590019501276086180500344451047893219090894732448109330450502818238604304607632449493578150120097223652880677388017702319325321898763687883753579136488310465686515594903936982126604184391492637361917928226637491915496921515606111210552018532847371668026695635507108131340294731947310832861583	1347892627277371149423983902562727822000366818403123808758710388666260621574959591015821373370100128338862259534472401562841679647102083654524726983161187980873287623294528846861198736307607155509814611981967502745728601319596391777720685949026566382230899654246135511441615810009091313573178810068657548074375
46748727620744469605578264094678980677304216709154699939146412643589762113105842369476450846936723664602678962249515019938285220633300018252869771713892584027441274576231706718218351051889634913955684578393923377364167314174950336914472140113119590956264962156600874554670480606856896396052318666384110365043085787	1305512741067193100216522014004020548903730759482042196509224122413879442805615132866341687252884507356035414458199556176142061358803845704487942033102128358656425304567549187816114923565261391563112461632760057188625652699283632550819868549316233360619605939367491033834896784842287671155805174179053133803213
2953206519284404260950294007760913943098078002565455631214556145431255677675621420877216107269468545139278237762375656176807726749406213255902113562736446929649224468417041066442091293967913787035171196847369975049039139547780010256371039835280163334438743554857098095688377645475310603778340433922888569035558365	1029323190770892496279914453043647534231839163380424623036549880275658296736418428064744831700175539916762203997244021000014474942121901610405135438517149838785500633854196947654816358745626315496687345108732907420319641443721026659072703796308188774227695166209343543874420005552342186039371454997236279854327
72846492473180219533966212611052315740459443012904348172348767284271761256694251318050492271677915611350935143606253753570881168644100076139962224391271224473707913220619905966594869665264249966633123837979293994533443241328930281749087424719041040679338320448910754842045090032462880913092711107695495058491459739	1349869475621298520979824119833378080911661457279664686804495768979720015193905252364203018853752839518811514640883615145174304246841860020858970379518692785584849428535021425975654630081793971635091605664954288907764561968658795474670948190000727439583702934143076508828923716397114618830162270071016867104390
19454435408922660944492145476630444619539766656641084954263613672359897763671149538565449764278309396699052193430658522546005657949417133714285898489622141911128976796436812853389809661204481347845478648125755074486347414466958924820462314195180643121394702727858138232335446114847776050878049692979501736704683638	1217841545763296098749122153456585020687881234500796878795837204829083067106252373119874426434722645151168112446330409371400941208429360645939407130810477401161028778829009086629141719059151608268237787855339632443984840317128834743969815278374775633084342617941860456525830074756002085590932183671735655689634
9751545361079192632056795624252216409613076325033180087774602324071727052534390189796696604404282039788625011950570368408080243443003296526247404684429384544466018629572321174877100838742547067554904730095834738580582234827410444557427441252468042457450479778808938573453156894961934738758793075262381505512194258	1148776614299859182994535577994387989191686858952400841524513106802137091420164856572657300679577210806012483542546894147077500856694388456943669019058842249088829269389591572012996133728380945622122952225721451179929162731903763327631894261809934237521514400209646896189572561849079270662751860331100051578335
41073068376372543609123973475147290910741579247570365502856187805845864628260917651805108822406282464735349373245123369128363114758623016918433980940130664230503551650398048632124377600276811836832544389061671940783538045253161636190977416402124885451528608032020290014853559280316877863185460722503914362275149260	1292569300804685795669842119265495087196665228959509026334129951531018485791251348144240661573554627039252233944388246422063367432801403622108706238174694972416304284203012869899778849349631440695399559908530884316187300214613377278061065703875050850980063045265767190453879598371505393487947754947941411297597
49338520775534944346506469031814028651417560324207446071527882505424109194930750125124291881596232034970858420313008278848049369961285850443025182993615926270706452522093269852061544554829429626156367108102784536693715698178229849455894584785208142080734011375160854354389340890685008501612643272227497741340425157	1310904550239966247929088071124824085400852765994810608018797598924488542541558646951391699528544499685999361342952789975890970515769891630757089888859519136480480988507922277680379984526962950055082560127877562356982835138893249287633816066843027685433234872468261969002643957956622556670526332642534246475608
58782506358834124652338492760411696740780410062007261722907844526957637348773703976365378179458260702737807316550416983365625825002747052906451492814226914667582729308621229347373678899432746995771646624543289024160761387105103992408918733863866703764718753485514706235691247933173564439252253162437301641762840012	1328418467171143357149222135593599220606230663464998189320145184015255923899173124390251181173242993404023427387218799058173366761099240470142188875189740315970779763765248302225086536598775889278497918952520913866941904484528590107596936447048896551968588929338978313418423243446440379469041429590518477310891
65612247430763835359951570324732920686791828460770638317359565385411628179699451521485208350137378075499235819154467327297896971495301566005650263620439029497753481693320812689682230286336864896430254294626845661089494828211586451912439827787994751308694170508508097711188233372245619125309507990837542147791338069	1339410274913989658359024581906825078953973765971874148552280370186715221411391890836461965404705019521010745082455182453457522780158086162641100248305641235516875586404731290125866413085806538351127680927231494931409942789235951763046200024717694139323843374664644744764321832230266604003371859738866918596188
## category: catastrophic cancellation
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999950000000000000
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999000000000000000000000000000000	-1000000000000000000000000000000
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999995000000000000000000000
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000000000000000000000000000	-10000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000500000000000000000000000000000000000000000
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999000000000000000000000000000000000000000000000000000000000	-1000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999950000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000000000000
## category: asymptote stress
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-230258509299404568401799145468436420760110148862877297603332790096757260967735248023599720508959829834196778404228624863340952546508280675666628736909878168948290720832555468084379989482623319852839350530896537773262884616336622228769821988674654366747440424327436515504893431493939147961940440022210510171417
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-460517018598809136803598290936872841520220297725754595206665580193514521935470496047199441017919659668393556808457249726681905093016561351333257473819756337896581441665110936168759978965246639705678701061793075546525769232673244457539643977349308733494880848654873031009786862987878295923880880044421020342835
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-690775527898213705205397436405309262280330446588631892809998370290271782903205744070799161526879489502590335212685874590022857639524842026999886210729634506844872162497666404253139968447869959558518051592689613319788653849009866686309465966023963100242321272982309546514680294481817443885821320066631530514252
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-921034037197618273607196581873745683040440595451509190413331160387029043870940992094398882035839319336787113616914499453363810186033122702666514947639512675793162883330221872337519957930493279411357402123586151093051538465346488915079287954698617466989761697309746062019573725975756591847761760088842040685670
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1151292546497022842008995727342182103800550744314386488016663950483786304838676240117998602544799149170983892021143124316704762732541403378333143684549390844741453604162777340421899947413116599264196752654482688866314423081683111143849109943373271833737202121637182577524467157469695739809702200111052550857087
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1381551055796427410410794872810618524560660893177263785619996740580543565806411488141598323053758979005180670425371749180045715279049684053999772421459269013689744324995332808506279936895739919117036103185379226639577307698019733372618931932047926200484642545964619093029360588963634887771642640133263061028505
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1611809565095831978812594018279054945320771042040141083223329530677300826774146736165198043562718808839377448829600374043386667825557964729666401158369147182638035045827888276590659926378363238969875453716275764412840192314356355601388753920722580567232082970292055608534254020457574035733583080155473571199922
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1842068074395236547214393163747491366080881190903018380826662320774058087741881984188797764071678638673574227233828998906727620372066245405333029895279025351586325766660443744675039915860986558822714804247172302186103076930692977830158575909397234933979523394619492124039147451951513183695523520177684081371340
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-2072326583694641115616192309215927786840991339765895678429995110870815348709617232212397484580638468507771005638057623770068572918574526080999658632188903520534616487492999212759419905343609878675554154778068839959365961547029600058928397898071889300726963818946928639544040883445452331657463960199894591542757
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-2302585092994045684017991454684364207601101488628772976033327900967572609677352480235997205089598298341967784042286248633409525465082806756666287369098781689482907208325554680843799894826233198528393505308965377732628846163366222287698219886746543667474404243274365155048934314939391479619404400222105101714175
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-2532843602293450252419790600152800628361211637491650273636660691064329870645087728259596925598558128176164562446514873496750478011591087432332916106008659858431197929158110148928179884308856518381232855839861915505891730779702844516468041875421198034221844667601801670553827746433330627581344840244315611885592
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-2763102111592854820821589745621237049121321786354527571239993481161087131612822976283196646107517958010361340850743498360091430558099368107999544842918538027379488649990665617012559873791479838234072206370758453279154615396039466745237863864095852400969285091929238186058721177927269775543285280266526122057010
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-2993360620892259389223388891089673469881431935217404868843326271257844392580558224306796366616477787844558119254972123223432383104607648783666173579828416196327779370823221085096939863274103158086911556901654991052417500012376088974007685852770506767716725516256674701563614609421208923505225720288736632228427
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-3223619130191663957625188036558109890641542084080282166446659061354601653548293472330396087125437617678754897659200748086773335651115929459332802316738294365276070091655776553181319852756726477939750907432551528825680384628712711202777507841445161134464165940584111217068508040915148071467166160310947142399845
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-3453877639491068526026987182026546311401652232943159464049991851451358914516028720353995807634397447512951676063429372950114288197624210134999431053648172534224360812488332021265699842239349797792590257963448066598943269245049333431547329830119815501211606364911547732573401472409087219429106600333157652571262
## category: inverse-identity
164872127070012814684865078781416357165377610071014801157507931164066102119421560863277652005636664300286663775630779700467116697521960915984097145249005979692942265909840391471994846465948924489686890533641846572084106665685980008892498121171228737521497219551197160903409111561979986983996064265509175457460	49999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
164872127070012814684865078781416357165377610071014801157507931164066102119421560863277652005636664300286663775630779700467116697521960915984097145249005979692942265909840391471994846465948924489686890533641846572084106665685980008892498121171228737521497219551197160903409111561979986983996064265509175457463	50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
164872127070012814684865078781416357165377610071014801157507931164066102119421560863277652005636664300286663775630779700467116697521960915984097145249005979692942265909840391471994846465948924489686890533641846572084106665685980008892498121171228737521497219551197160903409111561979986983996064265509175457466	50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
271828182845904523536028747135266249775724709369995957496696762772407663035354759457138217852516642742746639193200305992181741359662904357290033429526059563073813232862794349076323382988075319525101901157383418793070215408914993488416750924476146066808226480016847741185374234544243710753907774499206955170273	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999
271828182845904523536028747135266249775724709369995957496696762772407663035354759457138217852516642742746639193200305992181741359662904357290033429526059563073813232862794349076323382988075319525101901157383418793070215408914993488416750924476146066808226480016847741185374234544243710753907774499206955170276	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
271828182845904523536028747135266249775724709369995957496696762772407663035354759457138217852516642742746639193200305992181741359662904357290033429526059563073813232862794349076323382988075319525101901157383418793070215408914993488416750924476146066808226480016847741185374234544243710753907774499206955170279	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
738905609893065022723042746057500781318031557055184732408712782252257379607905776338431248507912179477375316126547886612388460369278127337447839221339807777490012289560741075370239133094755068208658182026964786820840422098225523487574246254141467992812933188807076330101933789974072998696009530330751532081879	200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
738905609893065022723042746057500781318031557055184732408712782252257379607905776338431248507912179477375316126547886612388460369278127337447839221339807777490012289560741075370239133094755068208658182026964786820840422098225523487574246254141467992812933188807076330101933789974072998696009530330751532081882	200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
738905609893065022723042746057500781318031557055184732408712782252257379607905776338431248507912179477375316126547886612388460369278127337447839221339807777490012289560741075370239133094755068208658182026964786820840422098225523487574246254141467992812933188807076330101933789974072998696009530330751532081885	200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
14841315910257660342111558004055227962348766759387898904675284511091206482095857607968840945989902114129280827066632605290992623769454818278044911243542477722369787450840974393799212355166686324188559697667222321326562343238300977335818269336264147206486163090372862499494025622234109352700227083970412769363818	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
14841315910257660342111558004055227962348766759387898904675284511091206482095857607968840945989902114129280827066632605290992623769454818278044911243542477722369787450840974393799212355166686324188559697667222321326562343238300977335818269336264147206486163090372862499494025622234109352700227083970412769363821	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
14841315910257660342111558004055227962348766759387898904675284511091206482095857607968840945989902114129280827066632605290992623769454818278044911243542477722369787450840974393799212355166686324188559697667222321326562343238300977335818269336264147206486163090372862499494025622234109352700227083970412769363824	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
2202646579480671651695790064528424436635351261855678107423542635522520281857079257519912096816452589545155550109245783665242329160652289516622248013772897287348557783784727519548061009588141705588865792731723616840119269803517026492504110175750255676476269610754381793196083404440493423668245535761494682861904240	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
2202646579480671651695790064528424436635351261855678107423542635522520281857079257519912096816452589545155550109245783665242329160652289516622248013772897287348557783784727519548061009588141705588865792731723616840119269803517026492504110175750255676476269610754381793196083404440493423668245535761494682861904243	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
2202646579480671651695790064528424436635351261855678107423542635522520281857079257519912096816452589545155550109245783665242329160652289516622248013772897287348557783784727519548061009588141705588865792731723616840119269803517026492504110175750255676476269610754381793196083404440493423668245535761494682861904246	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: constant edges
271828182845904523536028747135266249775724709369995957496696762772407663035354759457138217852516642742746639193200305992181741359662904357290033429526059563073813232862794349076323382988075319525101901157383418793070215408914993488416750924476146066808226480016847741185374234544243710753907774499206955170275	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
271828182845904523536028747135266249775724709369995957496696762772407663035354759457138217852516642742746639193200305992181741359662904357290033429526059563073813232862794349076323382988075319525101901157383418793070215408914993488416750924476146066808226480016847741185374234544243710753907774499206955170277	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
199999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	69314718055994530941723212145817656807550013436025525412068000949339362196969471560586332699641868754200148102057068573368552023575813055703267075163507596193072757082837143519030703862389167347112335011536449795523912047517268157493206515552473413952588295045300709532636664265410423915781495204374043038550
200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	69314718055994530941723212145817656807550013436025525412068000949339362196969471560586332699641868754200148102057068573368552023575813055703267075163507596193072757082837143519030703862389167347112335011536449795523912047517268157493206515552473413952588295045300709532636664265410423915781495204374043038551
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	230258509299404568401799145468436420760110148862877297603332790096757260967735248023599720508959829834196778404228624863340952546508280675666628736909878168948290720832555468084379989482623319852839350530896537773262884616336622228769821988674654366747440424327436515504893431493939147961940440022210510171417
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	230258509299404568401799145468436420760110148862877297603332790096757260967735248023599720508959829834196778404228624863340952546508280675666628736909878168948290720832555468084379989482623319852839350530896537773262884616336622228769821988674654366747440424327436515504893431493939147961940440022210510171418
2314069263277926900572908636794854738026610624260021199344504640952434235069045278351697199706754921967595270480108777314442804441469383584471744587960984936532796586366924223026899101374176468440141039518386847724306805958816244984449143096677841367163196341478403821651128763773147034735383316282129404789193	314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458701
2314069263277926900572908636794854738026610624260021199344504640952434235069045278351697199706754921967595270480108777314442804441469383584471744587960984936532796586366924223026899101374176468440141039518386847724306805958816244984449143096677841367163196341478403821651128763773147034735383316282129404789194	314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458701
2314069263277926900572908636794854738026610624260021199344504640952434235069045278351697199706754921967595270480108777314442804441469383584471744587960984936532796586366924223026899101374176468440141039518386847724306805958816244984449143096677841367163196341478403821651128763773147034735383316282129404789195	314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458701
## category: tang-lookup band edge
100781249999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	778214044205494894746290006113676367812580218251808808161953210659811330373239617016446392279856289146534229005985715432891295753408954240540373585437351125917690028392447508395424855006305083733183725974756738333620990902043009234627452253731303142320003030827311392792563587510889397119159124690697772891
100781250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	778214044205494894746290006113676367812580218251808808161953210659811330373239617016446392279856289146534229005985715432891295753408954240540373585437351125917690028392447508395424855006305083733183725974756738333620990902043009234627452253731303142320003030827311392792563587510889397119159124690697772892
100781250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	778214044205494894746290006113676367812580218251808808161953210659811330373239617016446392279856289146534229005985715432891295753408954240540373585437351125917690028392447508395424855006305083733183725974756738333620990902043009234627452253731303142320003030827311392792563587510889397119159124690697772893
101562499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	1550418653596525415085404604244683587786849286719331360761334517728192321389965039452857955515697431721560899105417012914303830676247987126286022462554770775151129300451667861621652563838147857326964924134139610734461147055800516170357338538134585837359009129087013675907199838926448693420071413095092837894
101562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1550418653596525415085404604244683587786849286719331360761334517728192321389965039452857955515697431721560899105417012914303830676247987126286022462554770775151129300451667861621652563838147857326964924134139610734461147055800516170357338538134585837359009129087013675907199838926448693420071413095092837895
101562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	1550418653596525415085404604244683587786849286719331360761334517728192321389965039452857955515697431721560899105417012914303830676247987126286022462554770775151129300451667861621652563838147857326964924134139610734461147055800516170357338538134585837359009129087013675907199838926448693420071413095092837896
102343749999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	2316705928153437822879916096228991657940906411879419311223538865378098634874643470626997178904435487463485029280204794727639845370524865449003257157593725201235212085334471754864881055259157735341615626927031567360492915108875682240705969110102238165023635873792124299819769926961048923099413947756537440720
102343750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	2316705928153437822879916096228991657940906411879419311223538865378098634874643470626997178904435487463485029280204794727639845370524865449003257157593725201235212085334471754864881055259157735341615626927031567360492915108875682240705969110102238165023635873792124299819769926961048923099413947756537440721
102343750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	2316705928153437822879916096228991657940906411879419311223538865378098634874643470626997178904435487463485029280204794727639845370524865449003257157593725201235212085334471754864881055259157735341615626927031567360492915108875682240705969110102238165023635873792124299819769926961048923099413947756537440722
103124999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	3077165866675368837102820759677216409169673995889035634986199530109980728337210191935382783427344249267834985124243559619597220573565443124475050339300566600116682172219928781729917366284083921718048354566070874034715570252016617255575139221959281218678753121375622422884950337946003616725941238209335352436
103125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	3077165866675368837102820759677216409169673995889035634986199530109980728337210191935382783427344249267834985124243559619597220573565443124475050339300566600116682172219928781729917366284083921718048354566070874034715570252016617255575139221959281218678753121375622422884950337946003616725941238209335352437
103125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	3077165866675368837102820759677216409169673995889035634986199530109980728337210191935382783427344249267834985124243559619597220573565443124475050339300566600116682172219928781729917366284083921718048354566070874034715570252016617255575139221959281218678753121375622422884950337946003616725941238209335352438
