# 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.
-785613256264752510296626163300902637113963305373070674547495048252092995792480980949559855869124089302306824185585791494547511305183402763024108461927890766244098657559572902162410791448392248582842862443257117729073370401030125937880318827808852020531330407259440479676828297690310679917106419851405887585126234524252100732698607695255989181527439382716356578791555073588672794052524193456535116854167152815494129739320525869977750346713969383825525026031312401874181445659129038102169703448666488995508761139143529189843704055085242227261056669737709480294142991828331302613306433587461263517685210115957143549106	706954671205537740085183051364282862411915758075504865193286667705906142314505463568083932037363731633952809263262315673139676794542713187976578035980094799386055126985051849336395016557196942768211574388584095096750037039475987518807260885863752562346013466445345075703533284987209133022591384029091181875103912163330878909524422570639645163070182259267655238834017278261225366211328959621185145956048765176125474249099533670647215381978894577521699239567215674253408978369051438935729499121722103367277283350187271472214826638478866737582702790149359411092014410367997372799892922753219145548203107638364290014807
-3140921945671961137695720699604373047158606302123882918107552213902084303393009587658314013183267186745982541047464337795715636408327474643147752296081600692063617860838480667548976255902484227575258577538916753907728416389525016682272260558420937555115586988746131544373873673818731725848589236098589947860597310407749247965868457639919568246218609628815194509060108524367348580536028121967056154165019583382795219536475304508251734730076225589966708544701712931886137440337006864541002337610143023150650978146594118311476374261327851669200433602739930504978988018614427009366518659475428691730797046940429247368360	-999999775075452910506469346854130458221820657921635474710143967392751185242019017025441014479383239697231343878302281250419021422511233649345189295258104991276942233375874043476703672976123049808810941441408210751980866324311377144480465241091420192230620683959511190951997004586408935914672168669140902685300097641332711800051719130485038897310047074552837404437616364290344555918755282669237295878284790593301337915175798604747668002576787690747935094375781575964193554954568761434167982683718365377583482543345397064242244064330906083444137385971768661719211353104373607856301123877917780241275315317175550903311
1571688336879348918711679036753626215790106732434323305705573857774917436334531102015798763958113272484453389535540591660270762623147809248501494498857339393003927580295758715391635485486622370686457923270627175489565685289884176813375668853773678804630457398581543763364078466091564152082093047294172142755729781192041324851515036636869445986921319743989864097358156545662905872523412496461062023640893039587422740161117391701467232280106152283909790639286294195895855981589146616965682090540666454104748579808678050396964833671767333781183705647013607077178159693699750555340601674166137311548793240769194415911264	-892009966159577556676326917251664684174039971760987518434638927464169100972203634010486298548215752073220583618219646302021356634660084927010517711545703818610781238491714297884490490779271592030966666211896356229235352288287187704071361269578713393193137267718992811176093083244135596345665719613314351180337044537112255863647961513979925759203426892806500882352189385641397756581447162234198757172534223459012747514366721878027246298742614178395420514371453312919967247146621146800453147299253225124743507761972832935575826739556280695126378349850479450877109002438895667130678452639765661068506559369632455586
12633190324785796552705763077399005952253378058294390083856265910770294725782551485603095830126595487362427991669640681986673035549349357805782420174403080877733954139346109140359043217098824338140444755222162186066331290830712354710625840577131368711192557752635147362300386178444229033559931051168915207095410806901808920168012032765127643579492054068833266805142043582020338367142139547645800906172351061003923913600791354447516231960186939161257740897066703455799947659014569681661521921647308860198036571413983776508977867160325732037864522037229306833627914640950349188238957005136462291719199850253363831416945	997768393654687911055300480108479783381063598603500186372352109026079151729496098338489860268469905909727608461046011618176119997521483696878077504927696596939605954949154444841955929962768378210448658292821262296017244801069241129325026064940311661172981187082268795012468637715463058259949108999248149149845103254138371916975248211579401313268872172321358192301974131157603938217298483507892987057446929181726863540432878212363246524634164733090713811729078733016445063911626066822671402547852485151001677623504849474258328978505100903760521166962454776943116967371269531102755563380533031080003333246960132630965
-25343353646542827483975044364844620865193789406151215593926436585558100945940838238294856030719671134626824382578593342147912336887689433921998373577534601745097504788098472204859066215300784064930676060541768748073984519052700551354817146851244535791081867810853626982510276416575456287950977597849544912586012965972101270456847481739012025068459976777816286868973308105558659140733036913673635420486073958515872819547330400266048157924652396114989255502260631489480724013370358465304633110877578618600145688104749098944326616470181319411596123265279878604437377727798544715315630082455291937355209777955266464700957	977903066765797067003531671761002918306954410073551081827642065665983144076785096705745747161926082664706088426552206084277815269700847200824673565363526177405559497817397970497230260792458030935480888253183770469314166826721773078737327370489436528935465633924477551316000926008920624925697420886177959162950183578514468492631520808481554715192443990190934887438935022239856404257499493452795292561739932908295399103802589371240627415353787321113127574462726806350416543601773242646302976482256651870494854092145003645782744025585968074036065898152235258908675077698411883716803932265192115141345444977446570917919
35146103898458330843597766653371498816601342055642106958458095548702834974170803609552422355933566333172051504757506198500534171010938923807103419658164029029065251084250874072089677827916760697022287575746409158143576268168545844643889901073108907384102093800554536176489494370100239719400109280992271393586397726708147219748899316724038863598462551724477623902835365000405754277767715143876929314509253545936865135349023563118894085800203621374599563181132415955817213947238711010105073349567059109160285106371777459282091202933067988169419785443718066783114666138401771837703149158606442497590298050413987125405909	-831727259394942135812167153803213224851374289644859226075618814244638262962583175051429618986732999629105608037767063049329445671311724715802165567309765535991191635390487898782351255471312051042255769011809892371753452756768552270518103127975134876959473865750670889449153382138075097331854294017860942111089047620751610078193967943510539265090570298934266747948928214948011741421582031153564166709338925567501549474108338274743233381358932161297056315604715562679624252361486184732723338455469391557149430089703440766408807091305414485035024044363550278197612040258603811971187023551528984958383293348454876018749
-4958775695373501228132091329314572285777358252838929498257521956934914187266850783821432978422806400312070436529787309529714676362542208434175495422425328514570491948803592790853259972491896298986114210647224840140916395092322052707594382819089241786817675568460773974717326752692258697400071690501871103085674885222826085958613380004405511703438326242869185689979705202454925121195606283209911718815745802117500947920723905359712361019115401968095126057258256794622706059527884292023437070808577213580959095535780316800619846867208608815117185851308363197964225498830611507545414418645708257246375906942150977756830	243901395111895316297798800858526345245327813847976033199929661049460192887280218095201692084957843172982410839412990554029558760935957484927590375066486857322192544569865009975024806044878892036034522951749791492602325790563491657373810799721376577131168522172916998336320428918250408004169020890644084921697981249481207251653618989930809618105514324527096911652369690848676657283599357496184243121857806208378979240088994310896380250223855947071514181988965989732008098339634547814529284570689048333630355898307063608019918203968697549050096376323174193354700546385327774876642743584396822714992250704733342714265
-9674815571623760606154784755369163448615067854025501105543567012492799329203761901172135230410802636384757950394213762963760955462784506994385809944958086782486792956603101247824737571578360579504785636565786949580770123774541374253777447245494444353605301106725231387583038712344814394631625384065544147146617447186305151860399479236137350294156752741232820953530595516071220170986168733489593141817204713951453270032008202576775612883269962664272846233719645081396440411677606415623742347263689357856749811886001412126728200691644915191210623825324052321673507889334218953738822656400932707328175706870139142202535	-968903115951061893472025105559662751280212542226704794149465579978526139616583339398605284748134052659527825221342271669900549810023021626123224891800467318136337715727146668178897456626812447323843252925998582821324445792889673376293844109328518231424197338814576138181743191505036744420777876356840820248056470324121956894254584063245108174005614593627087384345662428070127697409387019070593610312643740391110389112519206452230828413624880882338037113504740116120372501294885895831914511316974269483768944730026692557177100548702666627281326204342537383608446162927729069421733563490179980987105762360819158563803
36543268264037692584186006105107891822974395608152613474419461741027739901840344859125044288112315123572225929098769008400700198664759699961701671368442700132849975153389019458789358384597621523424827138554624570210339112811269004271960358778482840183838212987163898188935274761786036723440758927080683693912738558910894122565161600209485069930862339259915668315271539510637734684422594859330646835774274989632267603672311375734756518198409161560728164847579585799265370141907164444314566663393673563792170395704988618061109357128515605887274499516032056904424103691123254837170936457858119027815610816780340546364484	403146688635011454624993474302333405449847410641577718365063581798071855090747213575861296672639061190067674574267293664677021299278997087763103318085097218662458887827824767001577317354753790288067565208756549669293176653959670393538055784703158650741405128510497718116982146858171769983973958709552350698989928473904504903968693138625421461960154668441719711447312400927439658404808142704784048922781406228144246737617262129959420983139040067166074257589886205542173103799569649858730984818283189094736501723542772004265980317984019921233499121070329355900380650213557286694971924534017941899543567945084399152723
2298159861310860271256310572799327454254224600146208297700478806675312066832766344372811449983248310079097570725983890973161186406475638980699564818494631670998365402234955170755295398058866308045389820847724897824065822644595889678863987139269818728519116017621740170635354423497716564498690683243479454376168291052898706513320470457354131488634146735417188062454856381543181103344228501303153638892915213823827956448779493418872384183097274341424593975569552599913359793632149977503870831299830411494477240532998175349578607583247461274475080388900609065507368192966513543706858179142464142498306755873964886885384	-664902693000845966572837302117528830929909955294492912895260755572208042128603890743795956883432384438333470608259425418912342152416562090227787860524953598609135054316990635883065556924166251197388408265233237715211398312451340284045145055103975200321371981884958970022197135088727353899478893919375632173927642944531275638048245646684744375816457917797396453610023850222902546912720914082804314908114990349466644545929304463810965335021602009277452523375913970322870630166454436959139695723531485584395375314836263860381891935861373600865267848010860495830557896094100609623482262478736828373563401412476437497697
2271327297995133851576822567654496683318460835229808676204883977322545929145387382657615232047631498639867356181275306531201906201070980330797720385847526484150840543716499170176912070951169693154375704077966965802960445924551522715503362484221621612844516770810057031955726644035571688122010036591319417146113282964969334172912121435542932943740320319181785565135410710253001308568614478859738459508730725713189593806127333388942272125263696493095307239451794014895958960244791505855954933593747559347030168747022527313089185096932187077927984552042849395813455852343987185150227089930137277444865034169806210191149	-644623705580505169319228579799586129862542985865405629089924496775357803072470383819959874498179868590492688700504180935369252803204453730092024480789904100097793338422877999914800917523818126392090892823930558041828502358853153099356536916060220934926899550687588399267398227291066408217776463950310881755855606242387916859646815537545133864545470887426441992844800627336171019579865430019838106238980474301920428422106240855595461768743063484981998343398579428502275541776241947083342649486409240304732840970495407317627101638974942088252984435764157729710789926292979574757724665269773084339149924243237829701495
-2760796579445475673346954782165440922608565938126665369157547387647195360903719115180575930781534165099555250319131464325898177691309273088866962364037508031767124970324989664023239823731287444796407075730988827508846914990078688242148116861749096718098450112313729603486623242959056047136372441939279392094148555723194422671082795898054319714886175980992805227065847217680315346388404915593620535057289668312501379426014047105568068203664442141865237467748028011803378283172759193473689538612272965685169538059538610691042534421257397729946759704926824116851790631932282598480864870062674857138666967081268701527313	-928369061149219000433095492929674753229142862441660829352880595460060434219393069185035635196131911750839600318253591494491309889898519056756466567246205946750796773009116998171722342403430019844965872753672407628049689570225510148633296812779450567617573288724629009900372679696551649213008892948769201367116471501786595531465670935296816292711261040051874146402453588231111541790071480696939264667749428384766921955063996857570267828118764496095206017393624547989911043728149752133029641739280081197215922047592533934944038513256854864058643021028541233603125408463386834888678433831291923903137066899460048128137
0	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	540302305868139717400936607442976603732310420617922227670097255381100394774471764517951856087183089343571731160030089097860633760021663456406512265417318584717971164474479494233117924551393254335943517756702892596375736154327549641754491775115131222730100631357078232236771401517468995936678730674227620245077637440675874981617842720216455851115632968890571081242729331698685247145689490434237543309442302409359623958318245472817366407807124343362174810032202712975788229176446835987269942649134439182656945351575076278251380499160730638031721445034986129488336335655779909793015287927884038980097454825104992453799
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	540302305868139717400936607442976603732310420617922227670097255381100394774471764517951856087183089343571731160030089097860633760021663456406512265417318584717971164474479494233117924551393254335943517756702892596375736154327549641754491775115131222730100631357078232236771401517468995936678730674227620245077637440675874981617842720216455851115632968890571081242729331698685247145689490434237543309442302409359623958318245472817366407807124343362174810032202712975788229176446835987269942649134439182656945351575076278251380499160730638031721445034986129488336335655779909793015287927884038980097454825104992453799
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975665933446128475648233786783165271201909145648566923460348610454326648213393607260249141273724587006606315588174881520920962829254091715364367892590360011330530548820466521384146951941511609433057270365759591953092186117381932611793105118548074462379962749567351885752724891227938183011949129833673362440656643086021394946395224737190702179860943702770539217176293176752384674818467669405132000568127145263	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975665933446128475648233786783165271201909145648566923460348610454326648213393607260249141273724587006606315588174881520920962829254091715364367892590360011330530548820466521384146951941511609433057270365759591953092186117381932611793105118548074462379962749567351885752724891227938183011949129833673362440656643086021394946395224737190702179860943702770539217176293176752384674818467669405132000568127145263	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465190982214405487832966723064237824116893391582635600954572824283461730174305227163324106696803630124570636862293503303157794087440760460481414627045857682183946295180005665265274410233260692073475970755804716528635182879795976546093058690966305896552559274037231189981374783675942876362445613969091505974564916836681220328321543010697473197612368595351089930471851385269608588146588376192337409233834702566000284063572631	1
-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465190982214405487832966723064237824116893391582635600954572824283461730174305227163324106696803630124570636862293503303157794087440760460481414627045857682183946295180005665265274410233260692073475970755804716528635182879795976546093058690966305896552559274037231189981374783675942876362445613969091505974564916836681220328321543010697473197612368595351089930471851385269608588146588376192337409233834702566000284063572631	1
785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032120279362571025675484630276389911155737238732595491107202743916483361532118912058446695791317800477286412141730865087152613581662053348401815062285318431146751651578897043720380230240707313522928841091973147590002832632637205116630346036737985377902358264317591439897988273046529345483152948276279637018615594990687391837971438181222806984545752987282458418340610164160771505348736598806184297675544965235925692634804294073294188096168704616917351283000142031786315	707106781186547524400844362104849039284835937688474036588339868995366239231053519425193767163820786367506923115456148512462418027925368606322060748549967915706611332963752796377899975250576391030285735054779985802985137267298431007364258709320444599304776164615242154357160725419881301813997625703994843626698273165904414820310307629176197527372875143879980864917787610168765928505677187301704249423580193449985349502407515272013895158227123911534246468459310790289231555798334356506507809284493618617644254632430624748857710916710214284303007341236038571792743707782853483882686011324272350792940081037923746132862
-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032120279362571025675484630276389911155737238732595491107202743916483361532118912058446695791317800477286412141730865087152613581662053348401815062285318431146751651578897043720380230240707313522928841091973147590002832632637205116630346036737985377902358264317591439897988273046529345483152948276279637018615594990687391837971438181222806984545752987282458418340610164160771505348736598806184297675544965235925692634804294073294188096168704616917351283000142031786315	707106781186547524400844362104849039284835937688474036588339868995366239231053519425193767163820786367506923115456148512462418027925368606322060748549967915706611332963752796377899975250576391030285735054779985802985137267298431007364258709320444599304776164615242154357160725419881301813997625703994843626698273165904414820310307629176197527372875143879980864917787610168765928505677187301704249423580193449985349502407515272013895158227123911534246468459310790289231555798334356506507809284493618617644254632430624748857710916710214284303007341236038571792743707782853483882686011324272350792940081037923746132862
6283185307179586476925286766559005768394338798750211641949889184615632812572417997256069650684234135964296173026564613294187689219101164463450718816256962234900568205403877042211119289245897909860763928857621951331866892256951296467573566330542403818291297133846920697220908653296426787214520498282547449174013212631176349763041841925658508183430728735785180720022661061097640933042768293903883023218866114540731519183906184372234763865223586210237096148924759925499134703771505449782455876366023898259667346724881313286172042789892790449474381404359721887405541078434352586353504769349636935338810264001136254290526	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-6283185307179586476925286766559005768394338798750211641949889184615632812572417997256069650684234135964296173026564613294187689219101164463450718816256962234900568205403877042211119289245897909860763928857621951331866892256951296467573566330542403818291297133846920697220908653296426787214520498282547449174013212631176349763041841925658508183430728735785180720022661061097640933042768293903883023218866114540731519183906184372234763865223586210237096148924759925499134703771505449782455876366023898259667346724881313286172042789892790449474381404359721887405541078434352586353504769349636935338810264001136254290526	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
3350671269845276665673213217002354060135358859758583500366763078202567237263392416273454565607213870583287261957341735003181139840258067232208604111290274348543326109388958285870022109475721324373564054942518155423810522731406004995269402943479115796345999088034268712374865506388434398512508413922922612575699704429719687112266100858418042575641769000512985945855825440753834474138735490569335104513351159181567669910024227430867878718735350436606380854762571399354836122556557089292914269375911318604669961398949854331520453387156056582174460075866969138311944132373396558349212597543570678836866748249245483793439	-978222571111406128163159401084235101488068617010626078601912109026825292317283916970056162703449117778444679046019439898912893600969048473361856765430692875086947012365648695052604744358738842470505088915292614979602269700437783524104372113385614091572820214142676010075080579687755930618265145228712691054572399474738482550412554279530310850105445788361734274269108271957023285484215227145771825647441890649976030638356627789873760893480380583769086082719464952529869590866706413433285361055603496735437981783644899327891224840979693223956267095803533424568700815231752457466948534223189213909112316402813508716110
5824104450358140689851916181746656270155404396277956194403739020841170667137052909788882405056598957846200166279937868976968645680776099808276986242393556695553065281177145568567971441730493615822440681571485315611140216757054803733936650565935891629409628678417767174220143728273555463119732530299150828667619367973796384700307287496685683871810011744006821075067815630810248655463075601602487446284865105680246822121317566732935965912041118668014479244090436819561378954971321445344773579801344770504687727265585832996410530511041141927281180771853263046440525595263100308815054843247962861679928780362117554788810	896460170838836525991088010306134537423257114163617306575932948709608129245203699902111528121942450297442496037032630405458075109888513076265942138541096086513331751441016994924017229055787792549389951884031193467013939720879866324537579028281420249769449256165341826367552271578696923244480619827612693847565918052254091845036305951515936237528034163197253613265575963003645091418476914763974011146071984978375556257983334456568870934362801654724164244610890404593416278743356035378184712737809907705002205122432899583851823431637713006894758802485919314390133962785624114907929256851236451013337793658419550580987
2344397857118292594807036414554126107984712828597189293877650475445660544497574483568426821880181978379049931254648737075187182160378415594468800478404811309644619986064360554073769135864033244640678146337982184408136786372010624581966752597546148280334635845051090453017244426118291268323847396478018909526582951023059786946525925198592954101008340943847552653076885580503028380734694685952978053648540779929300884538289528654712306807944253858680592448811036724216644366849587361254275276238003577792555305646765185888369345530892640263299533510985809561298872059283581706387983869404292622580863389953397526050053	-698716295296453468664318154293222658907470063030526733861444930445021050534866955400524842507847533103727355612278172442892586734574077865509105296154845899850546132860402199685380960817601859691991641758808455187714039224790916575170690919493628864465164802027678603076907510838353444816669902678559180456415324905133676328569384134319384121784178910473466977780418297694109679992810190972913106476952894565040759635273117189549783946088109862013764167936940247958475931928037446515392606215325221119087356126802829466752290957426634705313350930081477919736311115539041052842496215516753884402160905977743819830853
-6837921844389669589304246528368397323108079658841658125397805541598934761546128888116356271108419221071065058492151408909295529674971189861305312929473570778686925845819277397118127017715414147837989666169826729034266080129665710182412676246980968189904385314169445862154924086474204842252966077105427363947394282352234297159436170437214828231690308541664245661341271341564072301574174516119408655748718208502838963783427775030408518558908287981831140311763081865037709591801672387592384540528504527989630925357202692912171497482445935279806162653902656137341363154098093112305496338128548387904750998195875637261773	850039240723307795847250896266657370780681879410590347113969697329844131049610090703986243524567291234687884764059932548752066021217156063867659454496498059411002424822072983568222302247053671945888408789095627561913695033817102892645822502867023478736433790832352792389417387016249383875651153324945439593139275153166931121722616823535044253560766852517691842003263824217377337813950942021264217926400819226424557717517566534760902466011308998509907565028420115277687412859420099156938782498571195511702439960997372246261357958751318875162147401123449887177109556141996936631173947696857882275405538335737753578190
568526286242649534729222379009683547585823539153846916980614296787356897888320887059880815295437442391417915457073266458399989314630096666303518860238433309862076272976476610832508283964469573013157527635680223477590719419612039499206950215596814496702530789933696673664883016657185641624632835275015287329813934613853945244524566623224603416865889611786075318413412203666229389055644821576658927206596469424188314616338735151703688223979975220447896001832308568683195543627052906246729941441519185888212511301463153486400709088759875168429862429044702124834954208134009075209661677648646467040766223397446068255480	842695323814857884039218234676030722675860034346635772006976639413156174515763214023786803277173442821838122145503058743239779582734234877660977212305823506944605576663801121234092247295556987405378154212258983003057178266667589714226364823940684733061718947952151963460045293645056147153978342340202300876521646147575030569680227075682785040385519635872641865674813307988481353140308688723276360501235185181150567500330923221741828203160135698441707904460997070399205843713134879604473274707612493558745770372305530140191778745991308980884813227551583030567627182572597001901409032057698678008311953115838157266475
-6335781302786740119786512283738005853093434905059337375735830474211695273144183007635436057548828498792777514341135647089679977882954449466183198803558816971611931325611123058953112071996410919702365502461495792690895448231777440668591691427286766622949021989168846337747577372651305795876092268865864675887800621773270789498044045774848371308320409742519508071874595118697477012370666026644893444316018108262571165932490702130570390484912905064865444570793878733630367764838992713513453559378747348137150022710019232514971754676619764311909476125080229277748940619143594486459249345076033353822063342693414274209466	998617149453232692441590015308122301691726883591002528844755349979051450755157565528996701042749647826857049593319517455679805023703605771028275546836900535340266794426211838345603384930241223755135588617848926964375595656800927987368992515298359907967642315404385493207087134497724221830841947676128947121028713968061712828188753048944808831242358573486641813160836185743156507895491203718260227186304447457072029472883083678273552915284811671240805045350575458572345243130275370130662106406445730401589868095671476395006323669696050937015062368555125721276608946453975240063720593733097688870403149369013341255997
-3425321765301669089714214589812161303700655814619408329547053460995714509996249105178234080518808980386459328837455589962474383029287927373326841314572839859239497465223707843582575900748196973297778157706936626978026548581466083329746718694382370711099115308685943983916230632439944473703348159020402722007790946210257178099943880934972734278023065455095905325792507948003867088102480213685042502127008676678406726398218409132151683816461276586852972501703756228909088393704854303507558964056936528887301314240915894338835888614812241627681192256367801837342833349899703743071782908789378031923987797938192899692316	-960018197271149963173162749359311454089884711001165244714138312203282161609384543676805529911104057689568340021363056931815027693633268281014719633055305366789218319601910818591697217438319892492387079127619254184185626960655959220845252654361491692075890585682636856780818494547795800117094125283612053732972114197077019700760474531742158848058107116275026144520832864828955410220874282256294317761782141358668491704748371713476002016206340068324518423615047381090209766543184223592427568825613272524861292147504633022404170435639553316282255349094719392470904457408431837441684083987291349012823142658439438753643
-4673209655390563249380951864192465903174605793545621206988417810322230956187756817322532299710305108059980097164963695733181662998052913220213104976687848454591272288189514535974692320470589209134908467946585735825376610781236255374433526949495247876853938705680698437040009393403869377593293620581422261739908243594893096265453324747417038616794156742952965345352948821363881360482065806046710985993731450056899432432216439916208026289429729387088132629367850184189106824570025660202234395929134195184570320518106178733001135756314985294680274538297225742953875063143014460340492459627061620557722431997272964861445	-39169302258722770552569403577567986287079168833735110736148317049078116723112290037455696248856162678872742454805883729414587766654904969055565553525778146272637393236653743535112856788162218698353983273556746879181497260241207220852710853230558651494474301585269029210376688302705838230300116887244816757304521985318589646120325512631477205428002112393654740482871593412632965920039328457623513413453113546994070205293479657394962690195961882094786890911107162787088837975411628057603544380442396012932953343968275514837808586699537034560756170518048274416316585965508807460860111443779765803955066877265804671886
## category: catastrophic cancellation
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: range-reduction breakpoint
1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465190982214405487832966723064237824116893391582635600954572824283461730174305227163324106696803630124570636862293503303157794087440760460481414627045857682183946295180005665265274410233260692073475970755804716528635182879795976546093058690966305896552559274037231189981374783675942876362445613969091505974564916836681220328321543010697473197612368595351089930471851385269608588146588376192337409233834702566000284063572629	3
1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465190982214405487832966723064237824116893391582635600954572824283461730174305227163324106696803630124570636862293503303157794087440760460481414627045857682183946295180005665265274410233260692073475970755804716528635182879795976546093058690966305896552559274037231189981374783675942876362445613969091505974564916836681220328321543010697473197612368595351089930471851385269608588146588376192337409233834702566000284063572632	0
1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465190982214405487832966723064237824116893391582635600954572824283461730174305227163324106696803630124570636862293503303157794087440760460481414627045857682183946295180005665265274410233260692073475970755804716528635182879795976546093058690966305896552559274037231189981374783675942876362445613969091505974564916836681220328321543010697473197612368595351089930471851385269608588146588376192337409233834702566000284063572633	-1
1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465190982214405487832966723064237824116893391582635600954572824283461730174305227163324106696803630124570636862293503303157794087440760460481414627045857682183946295180005665265274410233260692073475970755804716528635182879795976546093058690966305896552559274037231189981374783675942876362445613969091505974564916836681220328321543010697473197612368595351089930471851385269608588146588376192337409233834702566000284063572635	-3
1570296326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465190982214405487832966723064237824116893391582635600954572824283461730174305227163324106696803630124570636862293503303157794087440760460481414627045857682183946295180005665265274410233260692073475970755804716528635182879795976546093058690966305896552559274037231189981374783675942876362445613969091505974564916836681220328321543010697473197612368595351089930471851385269608588146588376192337409233834702566000284063572632	499999979166666927083331783234132366415882829253617086089122213659465908598875037359277468249016717207177966031435137016911353885942530967104181071842739930576142850715496499714231401024013249952718847157544384965355331654516244584647946457287741438859145123882422126341036261912219707130208388785918337615624449990482853925307583068855392194407647488395704297553385212187042007227430324455380601694885016422393544390234411370519406028803482657235675881424339139325193560204444794602225270247490274106927301324700551262717592695693071909815602560159800827452617876941510789659162413924479800201862964584648329589
1571296326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465190982214405487832966723064237824116893391582635600954572824283461730174305227163324106696803630124570636862293503303157794087440760460481414627045857682183946295180005665265274410233260692073475970755804716528635182879795976546093058690966305896552559274037231189981374783675942876362445613969091505974564916836681220328321543010697473197612368595351089930471851385269608588146588376192337409233834702566000284063572632	-499999979166666927083331783234132366415882829253617086089122213659465908598875037359277468249016717207177966031435137016911353885942530967104181071842739930576142850715496499714231401024013249952718847157544384965355331654516244584647946457287741438859145123882422126341036261912219707130208388785918337615624449990482853925307583068855392194407647488395704297553385212187042007227430324455380601694885016422393544390234411370519406028803482657235675881424339139325193560204444794602225270247490274106927301324700551262717592695693071909815602560159800827452617876941510789659162413924479800201862964584648329590
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975665933446128475648233786783165271201909145648566923460348610454326648213393607260249141273724587006606315588174881520920962829254091715364367892590360011330530548820466521384146951941511609433057270365759591953092186117381932611793105118548074462379962749567351885752724891227938183011949129833673362440656643086021394946395224737190702179860943702770539217176293176752384674818467669405132000568127145261	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: inverse-identity
-5	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
5	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975665933446128475648233786783165271201909145648566923460348610454326648213393607260249141273724587006606315588174881520920962829254091715364367892590360011330530548820466521384146951941511609433057270365759591953092186117381932611793105118548074462379962749567351885752724891227938183011949129833673362440656643086021394946395224737190702179860943702770539217176293176752384674818467669405132000568127145259	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975665933446128475648233786783165271201909145648566923460348610454326648213393607260249141273724587006606315588174881520920962829254091715364367892590360011330530548820466521384146951941511609433057270365759591953092186117381932611793105118548074462379962749567351885752724891227938183011949129833673362440656643086021394946395224737190702179860943702770539217176293176752384674818467669405132000568127145264	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: constant edges
-3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975665933446128475648233786783165271201909145648566923460348610454326648213393607260249141273724587006606315588174881520920962829254091715364367892590360011330530548820466521384146951941511609433057270365759591953092186117381932611793105118548074462379962749567351885752724891227938183011949129833673362440656643086021394946395224737190702179860943702770539217176293176752384674818467669405132000568127145265	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975665933446128475648233786783165271201909145648566923460348610454326648213393607260249141273724587006606315588174881520920962829254091715364367892590360011330530548820466521384146951941511609433057270365759591953092186117381932611793105118548074462379962749567351885752724891227938183011949129833673362440656643086021394946395224737190702179860943702770539217176293176752384674818467669405132000568127145264	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975665933446128475648233786783165271201909145648566923460348610454326648213393607260249141273724587006606315588174881520920962829254091715364367892590360011330530548820466521384146951941511609433057270365759591953092186117381932611793105118548074462379962749567351885752724891227938183011949129833673362440656643086021394946395224737190702179860943702770539217176293176752384674818467669405132000568127145265	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465190982214405487832966723064237824116893391582635600954572824283461730174305227163324106696803630124570636862293503303157794087440760460481414627045857682183946295180005665265274410233260692073475970755804716528635182879795976546093058690966305896552559274037231189981374783675942876362445613969091505974564916836681220328321543010697473197612368595351089930471851385269608588146588376192337409233834702566000284063572633	-1
