# 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.
4689349846372376086467026164855968907111519099422282568394432631918393463428835546184259750391959588345346916203982674552140759421945256982550487159	1004700362053999200581660138891360064971119604083095382341870000849565313072820761154724472178631529993412774438248879849207900733915452868577801214642
-3413487400662732501527121457437601147186160081690949563396171223908625980236308696929906381159558178965389559983590336624874316198962707165935078435	996592331924174096192451932959224926975814694481651649673581479129012170197776202715289847159444652537405087785213612324604144465225436650383334407241
4019011042562204738114256059283902201737874873682885684608575275230331088401774898950854311155401187244381716040750049523707644120383474197006800615	1004027098097800960308631289840971142171965223021319291727616330167185132000474511564185880938478604007458650339117826529342287180407840303725171697906
7134717235694961697430239015936354823905422868208465799081062444813610044001735920507399069795235755354404011337673782819695577443742446457258633416	1007160229970001061060759383063518649807453784998778213177896982929278883082856205123140375007568208439479574380503883228098400699179867681020795368254
3473685769748506592323048764357471040516578506341667692117422092374844494403402366725456226026390756204791801386655863987460907310609173298667635051	1003479726008100281424600876157580316289408343208533166853667083959731204933135124786682687186193695713868776664255201372331971723895970545184312109351
1199211714202389711978944468588106514911248091338726247527537552155780242815541649846897327228729618724361410411827801923318291816618865082970331192	1001199931056089130679178249011312606396046278861033346923632109021003105812295938874476165858008007849399782036928291687601533965422905387614345753842
4610887849917058288031193334780338521376380384244816223058273349701035044082589226932859444902924259790735448604994432309033138025477813319201777961	1004621534350283008451439151843242227801858625467083490493931137401324261282021811193418072678148408813492347404210628289624912267753966273122436813354
990161597254614736703875872109367419178085818798463139403489082324125483612013622266125462115523280868589987404772063833046372783037326975853256020744	2691669403592419418596467472670599482072401044161540067419330841495440376051629221646581637677237792690407495302069379524711583081470826240325035949598
990989724836398290650612076606842422212636140726058603838182708158783800412415261864248156470459860970457127177212560585197387044253693088786034092594	2693899372488510029803561037617433978381823846295862768277826864990415322970423314477262396698968296255563737738172207240972049516782411411081228656631
994649223182522453903374278034777814066586441092010793157425051895067226846815684333870969098845022818843359380316235938996536171741829772699584555954	2703775753063968321274760134660561758951412633999137898387612114862171526173246353455746019634685088624200067436170872893053130665550758629282038297954
1009432373888317156800683197160401202208373318204762352325755440963947843285449170372593177176495948801591938495319067383986555451266755282435578728732	2744042982420355402085505982823424241059817280432033791161819880565662775650697228509218780568761318796322538987406891017258137801006017140678476379224
999577054148202730075381363722947237819673483672517827352520673121648485504505843402785728558772719257246390048359931493123681158444331131466011261049	2717132385528876848776982326173466361244283657831247299089263473682652954565236590609778582101014461255126287681204361199759705068490251520299183880612
1000345619350183247444915142770098752527140290115876032578021069810897785576256519438984618111313352758486672473295869905893996864965076700881880555247	2719221481630017676403239245320883848688444294227594172637481712976375491026973582082783691737969918092520243797963518439042584603845456168341214026200
993866520080562603129907021057073100591198426945154752218140879766647651639059861248547003363998961606324420490815343053235118595561786030093049015902	2701660327378161181881463864780449758369912470417340449510364568596050435128122055846900873508999198204977549084404932450433909619965341146726985620658
-1007500673149384073280539462903329506071354525801833858088665067347761567479002904931442909406783872893326701369684488969372386698388990127183530880290	365130420366443013990355601775995416775469000656595409626683758620385935279250060872655480703347477376977636069095886900191281279677738843619319859580
-1007136248393955899349246812935828056013135781065076376404607479902272009026040716270139174092158833837589146701034580377734828709171066121395054398167	365263507179176144510285772467762627376856808784554852112860258966693045522843725197185006966875760098118305322646435697923710346769314793759114843803
-990827392268152843706000324980364580792952729913229311105304208859546137666020570740593215137915120202959611988591699198821057367242055087017815246371	371269378492405312544835434074478190239945530940282447327650533502148895689271266157119991923092642276719071139540577872623653548130682660832272956557
-997305664233761445372467297750798276704540098880957032814746344939577817178422154452956459569406255959188115468011328583761223336013687337303158075574	368871968407837364173780099337300479192505440195921913366006611956057207529866429255076338661230238972924837413121199468716718211830615974821544702908
-994420537270924250396355395009292110711497159224790526276066080154268198317799553928177822338215203733616656036578406973152532463573093601198853814260	369937747584553613102222950021027207559239788300260420643458198686324550177667449169838943539195831258244083482711590917060140592093039194750754330127
-994569766858388029118894176337048688476821912282742546034199497516236080633126555042609751113573694138845885189320771676795901529403002340044316942994	369882546046048142347682122929941350595716848815988948446488920186753931789085369037439312557666131453992327781046674665192745064836571753004073405442
-996656377892372266709186028942612244946492257064816062684392987884818515646693413845034443138841370448435928552469459884939664187193164909826300173085	369111549708662306878748143150564326945866797892427610125066989140676436669831876913714294081265674371414759933563456988628741233586246381321425921411
-998453027222109147145033425170072444807703975700462396982963987467903455643594767276807690644936171200658550117209537844731547750729980241675450967780	368448981070258272121319287623432224785520457650601837900286781876428087976323913234868867699338927563621621943672404331472564914054692480775277997208
151201259015817471232832188184987417882492424288054504603456501120150437771254442908283800487222819851923728662317126574395591015091988119919838977596526	463310825024398186215047860776506532261504927387407746386004676464842877231091645457164217698247940953316854036622158764568521081094481904925719662122129080974162889329073752353550431819211309544170166741547790182241
84664386812552065352643937254295504027041775950558369695259964687503472917368154268286815278693499271245446897242227850964331267637910116013704063918267	5878628372797180629654978282980353643544562105004759279527058562360397064737651043658643435344258203738582100096211887126698738981379614014711630053347033962109922747091841720483043155789
-2880157989403205879487979941666650540586121661090545446068706191123125718057330968459142030954214839306405719329821427588422776667848085864288594236999	56125894836997686593671507580182038836139459389453966487477766003087832743341483747095112879138666496131801100036774098476939997424821612810248963678
-153177405657448579438953390061676938762923393234803188297527305960135450092435248682221220239535510007274715097659917732022608283020615550000354821749775	299156174311667264230595235890175727808046050083530786191344855313954573714582940819
-187069161716084732330482042577342599951150581567035940748705968597789639588273132919600137896050024990989462228773370487190777897442344958245130961013213	571340923504513777462353870817613015816707412286223094679596791684324
-107765646016825689706598827434544034776197463598953592538478833920399126096149008581456456520557734659492621676949286384956931564588262168820723799749342	15775189907868941403133503952308459029470783730351465519423692682025288141469961910450289187424129370522
-148036460284871155007691615217936491611856684068058916350858359025402557053098411192273557412791404239913382445675207644833091670432874192743176629253042	51118979791295965617768751422154384264551861632481799094738442147978006145129167270787
69887228353996904930009353267202107314786009564813507028269973944497381205988855935041770603301688437139335705208514989638398092390790078619768693062981	2247178803088526593854421468970174240915958658558423396753982326714307410292132797689047280595096149974165171687457934185982380960388889087429199713225253513304732610342458791488611
17715639950626387674374626566963263008511932248614250589512503259807948511506533817147013714366830547521061211717802406795916244077148948214411990018241	49408841833511995298514143380810846082398903725895642528018089687502480273794299055007637841179356881009544296181269344387904761171262176585489515144744270165
-251649317979953542412740101486858845204084316923065434447985142531422843125267038481992556401534761945547475999697464995700268964121104292445423095814884	51296747180843060896574447726965813780254
37495227021113331850213376299362015195572705442623274472750789290371840887139988245998534711285908730295722558582729021654918990743068408434280508912320	19229597454968989082206003376498907207196593158853859567810521770537614513944637331303130498126380158271291463987511871711349648892902144877523118850591280111305194466
-237282730504926530222271834651177043802228563009504499012921540280593362679599957218032184594407809995970011739791431398558973473395519169571422321674533	89006042389841026484851439146844445180449343353
-103564686169625976798984448909144821650541425085845654116484304048041690499329879871720942494281050339723719253507192248185709868597630382207187455982822	1052999770397840312343192119195200689732553929453362731560701203935461242896837291388126745896884965563235
95750548606974467950289957260082187975774023458611315137286204354976099862943963286087609264712512043081760187837279171152246429879465787974708083572769	383649732052416135443188977966869148046875103160055272899452449267753334859130308873461321908475099267592697248138942564432022598919726946034657706394907137337791799697190433511668180801016749
-96685803679677184706958462890273810763781102021901527332519934077650563640232986949254112422514188780169574545555076741223446517886772182833322474521371	1023031446585936667853230753252408888355827873682536920751728205739930864934165629108118273584235220186048099
111698820797572574106291848866513383487455747194892401334361575781307000278343027952582403480321697200569023276890405796332174056348298428199825316962430	3237289267729637499153113242009335670657827505939207794593708353334472676824865259184948485630655030023155223169802495391809450177264462369308091713627896833684746624424349901022143927992485738536104
-269433307997033752912956985846864835339647438057532200673170748962008012373119562248236294043667621371556310518233286026204514338021333312032288542855159	969618952895039033416120080648383
54776954420056613255342124495932593708194032820941145171284549839182052638656648120774474061046480805853448299718030895074259423651487212988061141519107	615643133658608870088365918661609548262676570815602885610786699683836910941847060440865545989023508977074395368143043391848739935217290297085830981574111597476265738643751135
-239213731898110998919257071028003434826229242818313234027192892189611831295742617433163277677640572090948637916362517838376384329720410597141487494364167	12906136117075229792626731338569945121087619376
-91576604472527840107078426636837994886013824616595000720407127000334782101187658337560544788900591727226819643046767942205342060437282089669866974025399	169350313968128792279389276238255600217067395518951608732246776216009638272909634833437055065336774053333073618
301872718992873410489326373867639804545139572499270733516497955894399005534634877097946899719465375517009477794102427858916566686701370474431289278071656	126373523860270121648393362280545186337023852740560572243130080133223755922125873693039271946624338642005477417866672878745680673278419058958534293939319151599568181904653679099960242986148778564816646497310310143098549272179865020450362807804683875127043112147820837964158873695988
-243175005710121829489837445861114941784037205148632365174714430699681611099793620319640822674706431403567769155609891720357899561974505442616872420886951	245717949951695744726595720174964730394428290
167644980737061760039274439720577350139938115963146314858356692351828936902329122709309050631398459946771485603930357569995996031030664097188898261037941	6416379651894933966774725132964595273054799677513583075804069785697536404411237963753900279884750927894776585425805762960293821768726600534946883088805081413985281058842853512551369448879146736769979783411351976710056580697
-114416201017111880948974983954634535039414673681963356698122937261561114509843452346617713972896038779549118111435020457288402182981307343652235137274297	20402118134534750783521235231732996220648633662558749319981757225225874465404849716685092086002090618
-143859513259038080560756795121709923157968286727558755871763836864739701573646683927784598050961612908368449763018782208022165408512615121962616725758271	3331249968868735734454245164606059303779020199835138682587251833329154956194814627764003
-248868491449262900590397293708088423136871304750623596085184519753987689407464798144967850113518345897570075853020417602335919514020123143029638442379869	827537044549306804348910626852745550801791
114401000979018015842623427306574405425623168771090560359312106100674496989949665020710914147692501172889571830053612052896402726778902657737104417871104	48275129714580066903395906205749828037384238847598283356933146612875026199633901422091420646422529090684104878847756615081753454168119483636826679887008303026091214438697146313262497565834967544179041
200142335741820025809321849358806854251402571478750425306903607782192442237127817356912328214502137454754509150125635300072338003067383070666587113936788	833128531946960333646535770067716631974146573286272597573219436738445254910516314859373209710989185694303570620742381621571218695633769947436038645533257554234143183820330504668610685339338301920086765241199129572859592765165043720079286
-235766634050895601962891892795807482171070587154863641885094326226618431594781027079013482593859903147631221623295359723120193706588049802128838477786890	405370195869230372987512172286273944994248465903
225693578749045386724704044249737845894973281100866586557491689991206885164794983708123887881582116129072824788300522214013186557552780002508797517110543	104106021942362653094880048245175028376618658436577723608254156930817489834125615985688608578252845757702906681914700424298602676541854161707835941410360001815297805766913631805161218950482997689988251010210617108911543882640914387811741558135814212
-243211511257207704591453115621955580147512770271862572823428388348888200339664750201738989909565721139099975089976567566560381285589883364575261475801801	236909636099798340096321983439852224619143173
134775471887899081130997474104782373707751088002365246397394391912539086541480603253636607916810307772241178433505456908948191158406551578714930364778183	34059928882928269497212711165386535456055759371348422176952233826151137265995185740185743134229935589260955675734884813431560810952935051394756545901523767157291031981685687819661037277914352493871430612856072
-144399603224354625537854171990623716083509636597959659004396645567707908543803184627761699075156844373398915504410861348712224155599764633003108865638669	1941105457556572301186257616250555630114588863611536327587648105675055784534416549371344
-10528979235346537352908351360834146566638799203167691230225052737350917762015332106584609470900153154795656790685827378175163272315795731992614386293068	26749915718258316347132251737278460496665643712699822818110096973760470218692980034069745313644786101459108926357866055546246920581054296978715248
16614728577424684772905384209766868635228735649147704108754252073709413563051211694720166788663815281724387593432891880769816753673524476031060234101363	16431792403929148691082063420639461956206013817730504555937331340070972442744390525804380323606291817712511664426481497018733265993018747265525027830618632946
-93435919622699806420187952895429998968431702833871078340083786980856828273739082574627617233483092350988274671292529014303676815611718681566187281192337	26381269851936096038248622683695043843508287144512970565286459820111657058048340123192415052410019159447258611
-114224380682789248193809653494601102407082171617259564503632032765495033890477749827933835727890960439507292225908347326171231211250353768631234047940008	24716203974781214355076494323504187039011638835988377915384065574065089743209325890606008975347129460
-225176177283689834966212044284040002648916681975534653880166453167883361658578736114637747709427701353350636566057470412390259924881348896040594908122304	16114942106213706349021050923994149978793000740131904
-57575967310401371417014160065305232144141319690672510860233346884124571132517769205133138458290885317653644089805745286688927182213936505419413025424972	98872406972862670619528243947991394691418941739927994524769510991549008063667536667218368543096426689737668855135074073805512
301413204930747171932632092604745328374505298074057275457727025219287913341663895087921967398500926739891979084709837374903135777346624544611507138608291	79816315186349784238335683350698653818698767359607233719412511136922023610224746708764762562574595079356390141704416539485240527142442370641083354925227463111327860059935739918388114135347320527737826231961213733281767307575632015646291188414130341217801699986802132636210936493530
-265592377686403116381158097693381848273017193328346316786075640154028380864217958269529526320445589791680892892349873501031514451840239599414466466462813	45153969493265657876694561375097772
299300924382256659880944287382606809393902115676311572809102722768857383547003623895749666124830941784035333707978540270686871559089798185534468048037809	9654724548172428251924142242134390840370146715706907210594319807774375615738771444865980595560857536521769053604707643698669738800808308250917361468533400558869204394271727485958917317585733929703170519073466221665137878557466282475623941453974057472651184637116005517140253925091
-165386623260022353573701360984445316209167899799153452935609311733172441199469252866540209846852201108672710659272535796774300786704483066826706127031066	1491084094423035068971854914594692576334978193637022873577103722346532247200057
-60124158326236264338168525586129184319165148039786997342628682617772589516509888704496362172773037345248831080705298821961311853810416720426216652806420	7734100476278421828392752834257481854584736001605185548314703690058277363087842119047836449154434909575184291521265861953124
-11484330802007300854188065538797803487793597454063438273679817786991164717644717854384475983738412639619404386531110716104748131983765225262118049886794	10290074151149514852476948335381804150756111526806736666419351259657054241205378209791600675068629107911517560910247182921906444013433745875550964
-18464143015143089301074022907989301164627627786569784887603035679700611971488368162385672032991758419524965993641906173772639529736932405894429828825488	9574686775626385158157959476235952484319085110935564240275513053361838218830925872799842552781666347907138002419818527150242776363326805670260
69294399358567487697040647597361995991102787480733402443110741609025834611714312112333325021874659377431636904806475852379866300387145440430237383379	1071751685716836606746618479161204550050299980259655160207822995113346013565126219610051019933574297084287618433967006405716101044161624293799103532040
3942583442517741831328401037160461647642874149134002760988090047218681957531254635179943538211542464335373023371768919076332605444935281025945223473879	51551610037565802813158337790474205237281890013949164045792306292601496141157804882913769754411064467944029646093952529876291733848043331709430167996501
547562030927290716882041170986592722683510634755528004764261276927465396300603953783769893579014858101282200029296060162706701737721014650164610182309	1729032547393330120982084155089806375262623137956724307640580149612212328433651719841063300896199521963324948666552884069852359546250038745211527923948
-16945389708915154950042812162929379215892923641812378621001462312030820610283449044317795558452195746833702399263210449789977986142791969970499167881407	43723080826229500762029071388794163662376076666779939974343517183400382200552045855837591769480388715820801146348903101159551180357893012447567
19102949432672328784535572748124945333692314332937006100508721083729400234092319756871639018283311491859736712597494044721774864427062630151988730740238	197836092994328699895571912087298693208425630940549457915629271597048873233311089078891387058661746249251397078447593389151318131592708124046911154942747187597
-4183690475565452002551794495669202510894923223232643517548459967271224052514427299869828359501942624109285737954529059486535349466708850485800699896809	15242152850175600521513485906540849565861728980021587541439786940934786641514178551855533290247761824362595711406437998217792258929522613402141844526
-16141332648353420786390465860138708920619461689661560428549357005562817332405250127925283409348570492301062505968793384940107834253571080368245259776242	97703090255344975185192143815886540952240335431600944264930086407828936583025312241544064978403589041941839428474014798215463154639965938023653
-458557467104668429372664334445416702157887189899020841521664050119724204346825744170227899046353912932383407190746456934479354742974748202546271216387	632194950067229608780723437397609886207946091424383453164740005129286051640681132439135982568662613965094754776699923775755805809157141565443218548218
-18352745474676615701576501318945806707456088475145416663109331064505116782841902791902575983814962710743250152077043832919551486291436991082343162638275	10702960251995468276404360338261418229991482450975655763462697175344043857428029344076808209914939562219777065775244472316387060671003869155747
-8681382310418790288396574572086923849724578493429281596261321065748479486254670568601811944956078416668943141711358992600174502344714645912903152997481	169716304762539928137222295556385965655146559893269064151993804316651488636311035223756165120760037198409220096917422721521448912187006297358355189
-2331712247703184190098043478076951804225515959423426709929864931953301272095058723357374808147976067279300965674124553205790120730125344784425637831799	97129295214136652879238894879319574172542984213898097285219662071887273687743752594704389087664946502210989543497482781942429522802469010003366589128
-7628751919882123786491958587210049821104864007124017882199728555959099510138215030257264025029284879588258987174204971083650959509403327208615336579986	486267380417055160443863340907664461450809080753490708378076900186063975213368950162706064959757141576103909345851366214798371889891522141891506857
18709342022248092906355394308048205204339141421273055831668521883105118305830169851621044038589783406691009599481750733951883575695348837209905395213348	133463958056334869320195196313881925711707276672001636121021471896129374769138684013331464865045675313622979288238921080330281670917448888303812525692942383802
-14565879403050192891854318425596847766885201917673238168319333866007301206309195875280576969493712141108215015297163165425306469650550875769544746605767	472192354787288311883395786146261166932802798108182161734630489555085853337171426158792925747225586762120279234647978658632375295870054121720455
3732093168597012143472064207516907442618944392474260355054925326635205977233196998091714625169191002585287997147637231692898002831874009588663982563497	41766440933608780478512373785826687700340489139828084324379284810390769749908418424856885846232921510387009014593714827895733584866715870318014133225486
-19692601289327501553683397885981096967775364378064427277811601729526168874686114747658748931973932862296677886907664850952367467133101325257738571740908	2802927894975271355361917705336866471643460507126377261789305865417148324750541509173916981741054885808873505341781910747161474842985160727232
1128810841610984328612843591642246492286804782922131197783038743373071655080115098513100078974403922447130626345873290088534070914114285306118449558457	3091977462141061423771311857696546575060303555396038469122641953016744021792434806379783456349389725024601136522927444684263437981528108488309827794803
-16889259791512406779872059675601273796726706437647407171798992359640369594189593237767671516056368631625843251232379147580351001116999393386932232431307	46247436964265605846731052986746591417130997361686719420244690327248392656879058518739185211987444794268995270828611700140828317941899029984099
-6487596575184551678563158860790269408384370814480516579870641249488210744709602460948818462066151020517492969537997755536800071038348589374597636979753	1522203115865046628732349157831128665059365554312946172590354090629738609780552421975114465177250048969046248568705686948469777267746446229625846202
-6732658251428459552220443187670329509054711976140849117671189628231234489490822025117571226084723503459547946120524528269554900188421122851714347613779	1191361805926167088326522286075914409094400907367511864920227277093201202726658805320593109858481925817663739036653011609122208368193853380562469734
0	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
-1	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295261
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	367879441171442321595523770161460867445811131031767834507836801697461495744899803357147274345919643746627325276843995208246975792790129008626653589494
179000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	547913827473197943798655644509661401435107249699612745874973254291260277773066245965463502972221349603119968325097745330829323612964161041694166327535073823483504955984333557702592272923490075090991788778641753619052543453297962
-179000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1825104514357080272384850082292708267867314678809477996568205531703778554
500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1648721270700128146848650787814163571653776100710148011575079311640661021194215608632776520056366643002866637756307797004671166975219609159840971452490
-500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	606530659712633423603799534991180453441918135487186955682892158735056519413748423998647611507989456026423789794039525176537808085562946533341179822948

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
116764672744221976170123014124028700290100575806194924872223275747892053948662620479788703359935805532895644520200931433371508306796096150412650473099200	513160304368958830726120492592919904483260524151711715065879781750942892850364979006989769184245470737749384889781251865367056549940827593912671541747239990576787926638304527061104706376490655167498328
-137500385098744875453776966307803362060693722987224180698789228186590203858267698186418224813910972220876405461924917597557772837376336305669670484451165	1924604478468004218153174657210252488897575567011910524091421012279985622750462914681964469
98481316719614713221482750891952320660572373548262608329785858578363864355612308492925631883639897501598259275810946358916060293260876949298869817049035	5886978122881161076381782832925709544562975659067198130361795164134254143075124009527802716050502692288105007080372077867041659284634276447117118786147097999014771076385373572882788150169028650
-125610224401960873419216479339937980619107833398862847042656193976967236679292962575884847600644712974139974675078180140290831834983516044879131049025019	280654927502735444888605272039711047050921696319819196317182367967604857703737769291586976962274
-30223177291636017769509750611024450351157029038737035476297353024920382496077727721167766487545308666844280156147983122292860602229257713008037370156525	74858457959649524419428730830491617879105189855473921244023834835059081433729155954030456646868217613631021079015838870433623291721972945
9933804135662577347395425646166397300471393341398511431495916024941470520355527252489844596771626513289817746102399871714721779852946635489592097376495	20615616202311567432854866689346294792156371920170661508693816580945210615031270403840264515694553980856774159852807538164893692042340799071361177313309646
76995743074394502250647085968247933359624976855211453906224772715996134113521043977026109742600754885717544047067702216338039695400795052946397749244577	2746795626621615055263692594896054441056211316373836924820581952815137040310860300615208383208038154105614674615426716343847620860472307605809934904889105303744086430494317482200547758
81975860303092140619761605836208273527124281416820428391038089859460927939053245498524455328150151008769521328903288817184007638354801887171818272759223	399635241284585947316012847252723098133836632930588775740354613039882090385999323989135550919263045682869722379779942424087488240661298064606671769521044632759297684305662473488406124477
39519712631173510103906383761157634028214600614190206165731880252742891988548716549776472684281238752576680124203923733470742889736813407101049655334895	145610643821864446235794022999607979915468875696473539234977221318074921058477234617886755756042938421478422958267527703639175376981032459487761277315853460915457924011
48015630709316008916067191645268085440792723740019905469597698870524344456021246238588132366764529850730763024523854462925102345502610973172616950151048	712727411621512838081906089127530537255789277632910489256543555836543572754227999216378303852201696167362627937205280829369054258620979477216377188797133721874472746452335
-159133922030954281819127990041955926052517877438491298098083757193554174083654176814440546708111197505787070677379986257698520302085226069068399270782419	774489935252082190602394296960311770994081556947377765482007576599020207343854351
141574255921473877922213840186628356546032555497308706890109525821153698650228421395336921661805363255787437452363274825719122092741963671718829001392114	30543452499056559306594721890088013544744630693567511001249487984049962608736288229677151320863631593423590841799003225213604873778456979844013012891390571948959154462392072273306143334797996775039895155823440236
89982103098960982326428445907915848903742638843480656724063391686619898162656075349780223293545030126148751691973888471503734061905899040442298195680266	1198756143582748407369022062249701449860418643468147612561034008930966640440006628462496297861371090511299595936842868272342110572755675093514069672263433760820955534343138646168048914019946
-94086231900538643995438036937050574483740369729345603919213229726520276062850352266497062495414938133526755041786288302308239653212465832029129700218724	13767930420862253808230380725941946456291648461499568371517282189047510391216927531497866773606358922005988897
-70736841093453418486586250290956945613295949889636847914923349147430970484918691830587528640167451960455944850009384575949408501829209471459992278425507	190274349488301487168744144247215065329688967537047007311203502745195649422198197172674620465234434686007424124719849712
175600203886440155282330863974175208603295668975455550980917981803107742245652128037880268213208424280273916800006372369608221121348701041057799039304732	18289404660750883049406356874237495723351576969967427819353311602626990981354362238261022640519392730645190768386464994541067350819858629238215801587481564810554811432705239776546346970527544854237562155244334233477765523774316
-119878019739542854128938463790361431214344584019835050566195410127295887788785779589246180613827092976767726254443559028933353705689497911853440043781348	86623858690706484477593293681225579443710183711452065855496450002495006556774827353803429343749758
-16411917837735420282185521651522588643468021278150446645194631343217426012971085668802036060268036879868002593391843130121683448747201361583383987567154	74540902324078722372581401167780875673743054509706833088502410561640102154840854719853582376330302457870104400026452611672864794712474797852812
38407338671115214328347303857276902934040922434303573661295922417360100309810467092965932041039407531860781830734970786160930906996243745703687017228676	47873507697449170737675596336720172608306563025078945889852993580651146052096584439244227713266902190125954021897847463384338565165940219883926384638971237241717422589
-59013747841237160684712642840108201615421832431435232646274469912817350131291122960876012789631392813195168364870238646390051607167454297894873610090440	23477667956415766915967597206771552881417013827188220367802023027515959140784024279197035346364757048645571253782490228018855
106184186378888853607233709575146780256405153960310008340701877633728104165208496383054096371413018122385475362569254188983598432885181487052152820178255	13037856891192129524628186413813876004825214875624846616808727599235231861371032025295277223462506101743122624458661937359381715229819964045600475956121438474512983609521536664101172021513840307510
-141966186981088728051062972911707749415149057273308020815857858790021786887443351977370917946426024447437667782397625827496866442592720442847689852355361	22124240829982630548925278671424829266707412747164509327810717620763400010760714914952435
-45324242274662503514128901616433083700841106703022265556475362354918398200966631943779718794458562339030471920890865481608914444951732347636113585810744	20698157325402002126005787746615265127611951847971196696735092296671129157441070117923294625192564091910060898189270470452363625823
-144369843201076900023715299830309368894631602658207319203583080629584277355337739608843196900830342290449975398861715855766491212834401112287991575178998	1999740970751551870743793641759810729863765817464151283567875626529344577452438311171945
56421873358016772498020972451562352562359323106983343450712178890551318171434901394352413950877464549263963824235110816435257080811657348100955897855449	3189394625316764540361482719686002152986293314801734220094921942869396368041076654679640055674855434736755235742931853842717578629632110592435565015036834688529357519360671915
## category: catastrophic cancellation
-1000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999000000000000000000000000000000000000000000000000000000000000000500000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000001000000000000000000000000000000000000000500000000000000000000000000000000000000166666666666666666666666666666667
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1010050167084168057542165456902860033807362201524292515164404031254374190731323852253210417020805424644822048349018187461836882962867029471348122509995
-10000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000000000000000050000000
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000050000000000000000000
100000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000
-10000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000100000000000000000000005000000000000000000000166666666666666666666670833333333333333333333416666666666666666666668055555555555556
9	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000009
-53	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999947
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000010000000000000000000000000000000000000000050000000000000000000000000000000000000000166666666666666666666666667
1000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000
-100000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000100000000000000000000000000005000000000000000000000000000166666666666666666666666666670833333333333333333333333333416666667
100	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100
10000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000
-78	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999922
10000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000
93	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000093
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000100000000000000000000000005000000000000000000000000166666666666666666666666670833333333333333333333333416666666666666666666667
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000010000000000000000000050000000000000000000166666666666666666667083333333333333333334166666666666666666668055555555555555555557539683
-10000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000000000000000000050
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999000000000000000499999999999999833333333333333374999999999999991666666666666668055555555555555357142857142857167658730158730155974426808
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000005000000000000000000000
## category: range-reduction breakpoint
-13862943611198906188344642429163531361510002687205105082413600189867872439393894312117266539928373750840029620411413714673710404715162611140653415032705	953674316406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-13862943611198906188344642429163531361510002687205105082413600189867872439393894312117266539928373750840029620411413714673710404715162611140653415032703	953674316406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-13862943611198906188344642429163531361510002687205105082413600189867872439393894312117266539928373750840029620411413714673710404715162611140653415032702	953674316406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-13862943611198906188344642429163531361510002687205105082413600189867872439393894312117266539928373750840029620411413714673710404715162611140653415032701	953674316406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-13862943611198906188344642429163531361510002687205105082413600189867872439393894312117266539928373750840029620411413714673710404715162611140653415032699	953674316406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-13169796430638960878927410307705354793434502552844849828292920180374478817424199596511403212931955063298028139390843028940024884479404480583620744281069	1907348632812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-13169796430638960878927410307705354793434502552844849828292920180374478817424199596511403212931955063298028139390843028940024884479404480583620744281067	1907348632812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-13169796430638960878927410307705354793434502552844849828292920180374478817424199596511403212931955063298028139390843028940024884479404480583620744281066	1907348632812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-13169796430638960878927410307705354793434502552844849828292920180374478817424199596511403212931955063298028139390843028940024884479404480583620744281065	1907348632812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-13169796430638960878927410307705354793434502552844849828292920180374478817424199596511403212931955063298028139390843028940024884479404480583620744281063	1907348632812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-12476649250079015569510178186247178225359002418484594574172240170881085195454504880905539885935536375756026658370272343206339364243646350026588073529434	3814697265625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-12476649250079015569510178186247178225359002418484594574172240170881085195454504880905539885935536375756026658370272343206339364243646350026588073529432	3814697265625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-12476649250079015569510178186247178225359002418484594574172240170881085195454504880905539885935536375756026658370272343206339364243646350026588073529431	3814697265625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-12476649250079015569510178186247178225359002418484594574172240170881085195454504880905539885935536375756026658370272343206339364243646350026588073529430	3814697265625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-12476649250079015569510178186247178225359002418484594574172240170881085195454504880905539885935536375756026658370272343206339364243646350026588073529428	3814697265625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-11783502069519070260092946064789001657283502284124339320051560161387691573484810165299676558939117688214025177349701657472653844007888219469555402777799	7629394531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-11783502069519070260092946064789001657283502284124339320051560161387691573484810165299676558939117688214025177349701657472653844007888219469555402777797	7629394531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-11783502069519070260092946064789001657283502284124339320051560161387691573484810165299676558939117688214025177349701657472653844007888219469555402777796	7629394531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-11783502069519070260092946064789001657283502284124339320051560161387691573484810165299676558939117688214025177349701657472653844007888219469555402777795	7629394531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-11783502069519070260092946064789001657283502284124339320051560161387691573484810165299676558939117688214025177349701657472653844007888219469555402777793	7629394531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-11090354888959124950675713943330825089208002149764084065930880151894297951515115449693813231942699000672023696329130971738968323772130088912522732026164	15258789062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-11090354888959124950675713943330825089208002149764084065930880151894297951515115449693813231942699000672023696329130971738968323772130088912522732026162	15258789062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-11090354888959124950675713943330825089208002149764084065930880151894297951515115449693813231942699000672023696329130971738968323772130088912522732026161	15258789062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-11090354888959124950675713943330825089208002149764084065930880151894297951515115449693813231942699000672023696329130971738968323772130088912522732026160	15258789062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-11090354888959124950675713943330825089208002149764084065930880151894297951515115449693813231942699000672023696329130971738968323772130088912522732026158	15258789062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: inverse-identity
-345287763949106852602698718202654631140165223294315946404999185145135891451602872035399580763439744751295167606342937295011428819762421013499943105364817	1
-345377763949106852602698718202654631140165223294315946404999185145135891451602872035399580763439744751295167606342937295011428819762421013499943105364817	1
-345386763949106852602698718202654631140165223294315946404999185145135891451602872035399580763439744751295167606342937295011428819762421013499943105364817	1
359103274507071126706806666930760816385771832226088584261199152550941327109666986916815563993977334541346974310596654786811885972552917854039940829579410	904837418035959573164249059446436621194705360980400952056257317055779965344248361012503446036090457238478745314648318497748908161238790095189279431255775909558778235246539005393422982804391145529594249271672705938871339706673167065907708504225265034556301567963206019370587912541241749768328083598633411421
359193274507071126706806666930760816385771832226088584261199152550941327109666986916815563993977334541346974310596654786811885972552917854039940829579410	990049833749168053573905977180036557772079081253837466883878745293147727168745295018215530779383810992963333729409724483888348345836489260894054841711928586898318706947603140018788820509952630318695069614187347989846856900542886788981035894855544047157023830757540612642564003194923742187067629272843200454
## category: constant edges
693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751634	1999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
-693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751636	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751635	2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751635	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751636	2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
-693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751634	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
2302585092994045684017991454684364207601101488628772976033327900967572609677352480235997205089598298341967784042286248633409525465082806756666287369098	9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999992
-2302585092994045684017991454684364207601101488628772976033327900967572609677352480235997205089598298341967784042286248633409525465082806756666287369100	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
2302585092994045684017991454684364207601101488628772976033327900967572609677352480235997205089598298341967784042286248633409525465082806756666287369099	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
-2302585092994045684017991454684364207601101488628772976033327900967572609677352480235997205089598298341967784042286248633409525465082806756666287369099	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
2302585092994045684017991454684364207601101488628772976033327900967572609677352480235997205089598298341967784042286248633409525465082806756666287369100	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000012
-2302585092994045684017991454684364207601101488628772976033327900967572609677352480235997205089598298341967784042286248633409525465082806756666287369098	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295258
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	367879441171442321595523770161460867445811131031767834507836801697461495744899803357147274345919643746627325276843995208246975792790129008626653589494
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295263
-999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	367879441171442321595523770161460867445811131031767834507836801697461495744899803357147274345919643746627325276843995208246975792790129008626653589494
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408127	23140692632779269005729086367948547380266106242600211993445046409524342350690452783516971997067549219675952704801087773144428044414693835844717445879576
-3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408129	43213918263772249774417737171728011275728109810633082980719687401050765757017967698139959961901084387016806964597662056326519831779658664265458947049
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128	23140692632779269005729086367948547380266106242600211993445046409524342350690452783516971997067549219675952704801087773144428044414693835844717445879599
-3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128	43213918263772249774417737171728011275728109810633082980719687401050765757017967698139959961901084387016806964597662056326519831779658664265458947049
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408129	23140692632779269005729086367948547380266106242600211993445046409524342350690452783516971997067549219675952704801087773144428044414693835844717445879622
-3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408127	43213918263772249774417737171728011275728109810633082980719687401050765757017967698139959961901084387016806964597662056326519831779658664265458947049
## category: exp stage-2 reduction edge
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999475711	2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900332870095
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000524289	2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900335720426
1999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999475711	7389056098930650227230427460575007813180315570551847324087127822522573796079057763384312485079121794773753161265478866123884603692781273374478388339397
2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	7389056098930650227230427460575007813180315570551847324087127822522573796079057763384312485079121794773753161265478866123884603692781273374478392213398
2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000524289	7389056098930650227230427460575007813180315570551847324087127822522573796079057763384312485079121794773753161265478866123884603692781273374478396087399
2999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999475711	20085536923187667740928529654581717896987907838554150144378934229698845878091973731204497160253017702153607615851949002881811012479353506690232611253851
3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	20085536923187667740928529654581717896987907838554150144378934229698845878091973731204497160253017702153607615851949002881811012479353506690232621784477
3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000524289	20085536923187667740928529654581717896987907838554150144378934229698845878091973731204497160253017702153607615851949002881811012479353506690232632315103
4999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999475711	148413159102576603421115580040552279623487667593878989046752845110912064820958576079688409459899021141292808270666326052909926237694548182780449034624038
5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	148413159102576603421115580040552279623487667593878989046752845110912064820958576079688409459899021141292808270666326052909926237694548182780449112435425
5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000524289	148413159102576603421115580040552279623487667593878989046752845110912064820958576079688409459899021141292808270666326052909926237694548182780449190246812
9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999475711	22026465794806716516957900645284244366353512618556781074235426355225202818570792575199120968164525895451555501092457836652423291606522895166222468589495248
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	22026465794806716516957900645284244366353512618556781074235426355225202818570792575199120968164525895451555501092457836652423291606522895166222480137728973
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000524289	22026465794806716516957900645284244366353512618556781074235426355225202818570792575199120968164525895451555501092457836652423291606522895166222491685962698
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000524289	367879441171442321595523770161460867445811131031767834507836801697461495744899803357147274345919643746627325276843995208246975792790129008626653396619
-999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999475711	367879441171442321595523770161460867445811131031767834507836801697461495744899803357147274345919643746627325276843995208246975792790129008626653782369
-2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000524289	135335283236612691893999494972484403407631545909575881468158872654073374101487689937098122490657048755077287189633552212449346871892853038158895064042
-2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	135335283236612691893999494972484403407631545909575881468158872654073374101487689937098122490657048755077287189633552212449346871892853038158895134997
-1999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999475711	135335283236612691893999494972484403407631545909575881468158872654073374101487689937098122490657048755077287189633552212449346871892853038158895205952
-5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000524289	6737946999085467096636048423148424248849585027355085430305531572683522515604062281449138844208361548055020421983954311825190873739291698535797243298
-5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	6737946999085467096636048423148424248849585027355085430305531572683522515604062281449138844208361548055020421983954311825190873739291698535797246830
-4999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999475711	6737946999085467096636048423148424248849585027355085430305531572683522515604062281449138844208361548055020421983954311825190873739291698535797250363
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998951423	2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900331444933
## category: tang-lookup band edge
21660849392498290919288503795568017752359379198757976691271250296668550686552959862683228968638083985687546281892833929177672507367441579907270960988	1021897148654116678234480134783299439782140402448608068060399458732047878362607746337802840334772563863801447757180053314965710419314054034451733807849
21660849392498290919288503795568017752359379198757976691271250296668550686552959862683228968638083985687546281892833929177672507367441579907270960989	1021897148654116678234480134783299439782140402448608068060399458732047878362607746337802840334772563863801447757180053314965710419314054034451733807850
21660849392498290919288503795568017752359379198757976691271250296668550686552959862683228968638083985687546281892833929177672507367441579907270960990	1021897148654116678234480134783299439782140402448608068060399458732047878362607746337802840334772563863801447757180053314965710419314054034451733807851
43321698784996581838577007591136035504718758397515953382542500593337101373105919725366457937276167971375092563785667858355345014734883159814541921976	1044273782427413840321966478739929008784603129662713322017997784754321735144778663895286586246758439341635274339660371233967996435718435232049290061712
43321698784996581838577007591136035504718758397515953382542500593337101373105919725366457937276167971375092563785667858355345014734883159814541921977	1044273782427413840321966478739929008784603129662713322017997784754321735144778663895286586246758439341635274339660371233967996435718435232049290061713
43321698784996581838577007591136035504718758397515953382542500593337101373105919725366457937276167971375092563785667858355345014734883159814541921978	1044273782427413840321966478739929008784603129662713322017997784754321735144778663895286586246758439341635274339660371233967996435718435232049290061714
64982548177494872757865511386704053257078137596273930073813750890005652059658879588049686905914251957062638845678501787533017522102324739721812882965	1067140400676823618169521120992809162606892212574004630689942293518608862369892263381475715953733899474596150126277789445784631606675234968668353463304
64982548177494872757865511386704053257078137596273930073813750890005652059658879588049686905914251957062638845678501787533017522102324739721812882966	1067140400676823618169521120992809162606892212574004630689942293518608862369892263381475715953733899474596150126277789445784631606675234968668353463305
64982548177494872757865511386704053257078137596273930073813750890005652059658879588049686905914251957062638845678501787533017522102324739721812882967	1067140400676823618169521120992809162606892212574004630689942293518608862369892263381475715953733899474596150126277789445784631606675234968668353463306
86643397569993163677154015182272071009437516795031906765085001186674202746211839450732915874552335942750185127571335716710690029469766319629083843953	1090507732665257659207010655760707978992702718540067121785667647683300530848841840338211140494203119891451619262918090010347769026116087255320275930581
86643397569993163677154015182272071009437516795031906765085001186674202746211839450732915874552335942750185127571335716710690029469766319629083843954	1090507732665257659207010655760707978992702718540067121785667647683300530848841840338211140494203119891451619262918090010347769026116087255320275930582
86643397569993163677154015182272071009437516795031906765085001186674202746211839450732915874552335942750185127571335716710690029469766319629083843955	1090507732665257659207010655760707978992702718540067121785667647683300530848841840338211140494203119891451619262918090010347769026116087255320275930583
108304246962491454596442518977840088761796895993789883456356251483342753432764799313416144843190419928437731409464169645888362536837207899536354804942	1114386742595892536308812956919603067800457335484368838509441070226260563939755774457602328467905953701171459606959979870496325938940223874970214395771
108304246962491454596442518977840088761796895993789883456356251483342753432764799313416144843190419928437731409464169645888362536837207899536354804943	1114386742595892536308812956919603067800457335484368838509441070226260563939755774457602328467905953701171459606959979870496325938940223874970214395772
108304246962491454596442518977840088761796895993789883456356251483342753432764799313416144843190419928437731409464169645888362536837207899536354804944	1114386742595892536308812956919603067800457335484368838509441070226260563939755774457602328467905953701171459606959979870496325938940223874970214395774
129965096354989745515731022773408106514156275192547860147627501780011304119317759176099373811828503914125277691357003575066035044204649479443625765931	1138788634756691653703830283841511254720243106267169503861795412495217734394524896022795403430108385490851926784327534270773712014946500093718184975420
129965096354989745515731022773408106514156275192547860147627501780011304119317759176099373811828503914125277691357003575066035044204649479443625765932	1138788634756691653703830283841511254720243106267169503861795412495217734394524896022795403430108385490851926784327534270773712014946500093718184975421
129965096354989745515731022773408106514156275192547860147627501780011304119317759176099373811828503914125277691357003575066035044204649479443625765933	1138788634756691653703830283841511254720243106267169503861795412495217734394524896022795403430108385490851926784327534270773712014946500093718184975422
151625945747488036435019526568976124266515654391305836838898752076679854805870719038782602780466587899812823973249837504243707551572091059350896726919	1163724858777577513813573599092185312343065184801406560891700798454873031525085691985118048305830004325987670798290641412939583358445913027859796547448
151625945747488036435019526568976124266515654391305836838898752076679854805870719038782602780466587899812823973249837504243707551572091059350896726920	1163724858777577513813573599092185312343065184801406560891700798454873031525085691985118048305830004325987670798290641412939583358445913027859796547449
151625945747488036435019526568976124266515654391305836838898752076679854805870719038782602780466587899812823973249837504243707551572091059350896726921	1163724858777577513813573599092185312343065184801406560891700798454873031525085691985118048305830004325987670798290641412939583358445913027859796547450
173286795139986327354308030364544142018875033590063813530170002373348405492423678901465831749104671885500370255142671433421380058939532639258167687908	1189207115002721066717499970560475915292972092463817413019002224719466668226917159870781344538137673716037394774769213186063726361789847756785360862537
