# 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.
-12499992740583423823455707800965830519806205038390318822851769436409337498867454909264075689660793375849662594813660652806099696141594979669760144879800461672256096283705312486985047322308175889505485117630943010766793649223917073993896805707289514132708024612616536151777938150010241437154161964212710496515848657	-4999999032077602468385989985275670992844232765742100200399364981705405389429847205196593127647722452006761574728674068128053806897340273613132605383595829871806375993990879452127027174737161780248007994292202337745891608603329908643832180016041028488489933371515100134422136579442709163771967583151905456642632
-75357099755184820571369943889512659077629973521114177718965497492649822340736489491806042480665178344491181688865293025081088093882633619063838184410067789491659588016542068866949390469312767379324842350413373273274416923840107493660893389372086596873446646492110029812749355320790609786272561842866898264298218161	-9099999990145506593658447207589386009697641768412825743904688499703703100020581373768273515577212454643802129277360942847266933550714423292868400966847082253903947505520169091836344049460906372334828860386318332238861414244801933302071539544672588234729572014673139122880874994493664076957061489378453039316783
-51200005235538089208214935713954644909235772207336042496842194971588991784451489824047743091892905508944037066165997540043962438350550572952098209712451027138594868722733478136997350063499533426228260604617491917797674762377511625991468517064851067006492768092094393403240375885343401148827727676043847824690465134	-8000000272684266185005794191211686998467904427457100501103676941400243259685747826806732856210993060280702059348035883947237856489038943334430387573583318118596210102129469085275817455755797952758941888297342852213444189638746415703966842866923572540009167600275507228072704791331080937841775151313004627796348
172806874402644739846942675609986833084039866104704951165651823520583552007621792636911968203399507280598521878732237480171253274519647216991320456556974376057230024036215818543006335537002170093103577092654269490456883819348106584889774402962269070090574403743190803961848871042058144986847975270829996565473563	1200015912758070888700249174884627232847700341647775253706774188833261808372641962374637881056060471947273512465703022552449065266033501967578264605194096272080627875454764563656462447335766825753859376331747431734176496627469354892656063061152511086078920536490500334600297492871951436319970419522133078259519
-77868807227186351803172442963378976605104159521940103119613211873808436219744549077248915064971767162456598807251121013410968660662500127212446526015672825482056868174446062802255028416115585075701578717149580328483226113231904545682023393493500859503699434853304106480473788398410866123772582069495533210699672639	-9200000284624532459533182830747751293073869677054891050442219360007338351346802563704604357255892094557613869940845930693174990271100109986190987064316970306543160912794838900528979840869406730360590607594617749103651096010888652492922423848579253241596866136110983968498021918723627991875809824186169648234499
-75357091031310157661255305567552756818203321476497618465234487300293216343402978042540486299376737254255428985123374774415640358280653736370193289045921123816366955177256325079658850236053808481219303738768983826590778539825299487417481599133617589941762326171587196912427679979390191924350529793484771099234733975	-9099999638985219251128916452889930540576785609647828319021835753148122918796519513923510455793091147073663173127585427270151808410260275012397314571679426630174661575878530355335319628816128898190695867251461938281925806976291517146155015033757987654406219740265545425845620186731352650870008175668764110429217
-37324802959006054784401716919662724454032330049358952504944332622227163976678879096783027504925292281178025089301894581804349279489745658754119650413351952549917235752544372451101957208747256941394029134051476526403256793412667792395708335438444815871416687033262778333691058782601891673703472132067787130928896909	-7200000190265301992701203743251339663749844663693075951020015835249088108548017139122866540776794567699482295743138499638267729476699306035836927292537681644906021946059763197112145609514703400956322328271975281705071089176443054532021961475010008349806811982343282185971452846763864656716834541286906393347814
-68147198623033422221427554422613641491169864616537714901391654111278739234795916095356624840689793067664987116371829932465196930811004785418668957897537970380060661923767509615715278219464173686015158329160565622088123898767509120689340969200902618615382291040633876695702835161468567753030100205540137995719573895	-8799999940729744014600749378731133289014299278887489478620711470724418904872061988237146402290478772108928340271244830233773368656914804365068248459347081595753365492582860897086215671731293034178111282535126233181845397073476567730606497281652870454709716605732351411796239822844613007785541740435597987050774
105630626197652261357144603670834169563173623657310940791171427563193947808296420275331286650946814493726628309887596684248988988109956867059642649350265738708629904168535357813666224926012835073350221357307122679148024649073464884527266237046077271617072411569551303651500054982996593157245084067879056923401	101842710991900974463585091164715685722727914313766138272602834912173310301181160140141578432733978937063758082739060991013112688759510135832778872081120059110470715604631338528686676334221337915193411441966200324168348798588061920815502679884192816718619923628668866009198801470006119622241921957620036572544
45653293351275294191165123736425328223678624437624444374672750969143911575819764931454283005126371237158510121684281212143053035022812268814930888390331182500743287590852733937064782231632824551967204002252091548131779062575621385188500674301007973179437641112943124126744458425688764434898481808572544040716844492	7699999626203124272136358269703765975371385066398021086293330333660533791917972198585575691395486365749793883263440811567485934638402945506153390490804514453505075901978054046268683311842399686190938900921297341947766074214691079111036669377522318212455393702082468733208872418479159213916941723210560500463370
-34304654822200956674323736973451116039891818674593631538447288175215446824400095268778563590282728304999027210410694834774039219375323724742722773588877318522667037794483717465328917671451454955156878290472049037699455564606330087017147426696767118619539054412466087800676662988373888160255877972110515087730101	-700031664024827099818348315063859156944149107703871316188332519642607090578931659691701590502712422551873164403184893962234538680946425638576621590111435788317801233679033260548828235590784867397088811530903629557216593487190281690726259738939348420843586553023924280978251139202183407111127370895644673997007
6408608634346865277275824565370581858491547182245701382871000767547194155217890813630644485438354707050911812422548053624712969679372723059373229800327427526239409555890093273156538362811288605763278130069206047866718811984543830573204721850414763640636034549487682040642837477589428355021338235675001159388690	400179266195968474453867346845494505995964792913055077710544974229136829292730730846188418331154594597538269999728124112315502987791068960594300942929789590728730324994550971756877353386997391079883031010956944612510145582294447583594662110850631764756807787059639007845370521395170257953914030250634043744181
212486039425900949653264491698020447549692257362333165301887586651294249113359633951977684030556659799692617408078581370489921779794048796612391847903929380790108940108656032609551126927185896093970747717457778098980506268167135968619834958445976961952674483888829585679668092318050577723060405729612876015473374572272252280139382455355711185166841321170071661151513853395776976012828899944935530780868757142071154801109346134923569452924038981625704805786790643392011628803621642483217045810843410641205607681197130469635129528419700458667573256111386862288653935051074777473437858515918026468385021024074182865063	128561264054221464790120193495477812576975892951458450035686742093701691185793676684719126680634261178428062347620243178134095233732648173524546676423685720309538684813041438174148651339056587586036299514692673588057396898662370414213653296362219336600312590368740227028673790093410242984608769351467012178099357320658840507023853751265546203362309800137707631732490977645399393577979091469941819470581661701734
804856060790545810054908214387200652204241853246318521247438526191282872123064026004373501847614264314543246804877105142006408128574174196134953708298189084474320970181463330082583196297338198440753115017059657603047008858554631610697799977316528886823525590446837954109916791002323496224725093389393213837425906439116160550810452333410465894110139036748466040643198251727113453120230917471471434899618889527520030145050405215597090574057500356972911391085391497279285085526172503204075868947540597421480742702000413216880051539528891717374158205796330699855958717691521694281342014004721559624956715559813330538791	200403855686562419717016882813362728677921961868943876740196625946540885464480280582440543977792282187544163058267160290493413728873582713330056188016950543826121420529983082058741698520110000928788674281028757218360118795998274021408859144115609188618958471932839574631774155412093843830535230460543136410559650856758615830944965516754923252955333308256197699463802880488998738511761038217140978542219974796790
2328064647828192459755762228835465046702731103804789851906896497520007465626260383052412328993751494437690368275285634037667800769076180218626319100012949760913768478446163914728597840019365687533192269311959074174806887034445039618757238358766974764744014997575492159855606951921029381394469596201652281561476140371585428441422873522733912998737903451611284972999439396833252251203793040331506656530933180604277587906186875079090603648834300055644917186305792183842701669621833994706358096541028314003364824461646889939127546207243231677334974290755489414386997758590563789461162203177381397768473275837832431028	28553872240594113003551962599185562560234018532290961435382760681252825296466870601853649718466981350944883113548832133720378730088459270287025754867569634113889516143196512531365918083367391986505889604934306501293343481211204145008752140037588806478853001609725355836539630776417358117302201780845972115743376436353719094201498989635168509771024593149026368979015697827478762217286452858670898622763728751121
113093843499737856517203977522985057632627242512550942367371117357326941468220773912114802317064581020061625420485175569808421418613096704977755769816641001750458204124619307394164312225173805467686886107069625617768912719948266536639594529770995404245287648024342352409474767618655806125868235941568662946975277361610464644053161388292930483831483452447004636444884726482549722632658611400943537658270464073744379761297523197897376912866293987974320537286649615174636141197394618477392288829036848966243359023934124151414765511327299470674954461238008023730474771357832557497167552999639608378740235629307134350143	104186869249124965417236307506507886412917982089171214275629618013113745172054074924640253215288896186398360145734066525301438324897316984324611401232746490806547544119196240312288990827605133876088528813554435559061698750817089368022094335127375625686502653320906126796094334816099261729616591348884005444968762940422309812925367355903477766416371479494437306516256405587001856743559842894160959979323675774190
946623711495871459405952964886808280088402135526432373216250003299971240654285506672075042702484031236635885679342825115933410637313080176996036691610822081025104615698328376475255788699830017889343741117118069534625025989458177365175451554242263701996820113905292180942159239904255318285832171266358984375463802484539216299255379929365731178965442112148877297752145451159725623611922616435100693750136604567387383426602525476022031425713890261891499072483038278284329895727872593501148915121641781923627792347717747981062857857273224277529682577715841761073514900615862233440660259368357830112243923204826093698881	211539980295310972766945097142579919507853869366392895466237547256840158862690081404117035678315708576000951115070305949406083578644897816420074313092940595806058867445835161507216720520792367815667398957818879149374042116760977105128418213202664492535006018809625389655025361943403813006786748320448336482959060234914570003039686574054393436216579766328365736682646584188855377111734141231177411146635810235062
268568265365917072558482959594372609251510346594882552807561200278076363758843937060899996407959390901090538711517211405192082032387133502103135600025507014806345385999184153251124924029986592352181261362885084515003025217023610378431369647082423674942213254593559375240615201028273903225014900620847379808015083703377200143951147292734512935399940251877154532616887796988235924951185819008484342228117559854555979845246216971067308910118698064865404733495760931941324935957158320404120095635458435004292497395324636503202917402616619003144534481435855689736564894979580510959980281377363012741178840921575884522354	139001098168767627200578711417908364376761844621948609212551581287884140574761824592517056124551123606809033129243939384974290387298575937315422960632592782807455696181853913011839333341356866247784124367998637979068777889249765973092009540269055102207802956894490904309257464916507993972621408446645613620235426582391049217010138753469309768354266395544938170002243821499925159201932925257048079601806983986403
-113993293695407548783719554689450500921376779234350122741575546919912816027641214210099302789454109310499536306941385059051980794185717166216518884565623402857746052561027459841086019053161085858066652645486715550104362897474557070862435679700427274515866003744101452641957725473260519726009305122612551255132837635615032312196795707501199431425813145855420542152554826179612455033059723607229967299461978660490584951516791972269877776103153843309874888069288722897760861561109525507486058889424500090374560664180915863395721139105318532782716367830754239315316147558315798928634482649093202166390950892622620743958	-104462344191663524254058606229531140518205262434144933266564839386694113867219858663629026122053187007517239198187215177438640188799823662270523059976655697155820538138606907714580295200142577607876393908144074034150518523262256357519123587467368948243247922436079086016937642054041259266807414289373860882250145512530170742318832684687526365720311293704381271644976919044657810999387225350597659007553654527991
-871013012647690110764111031750119098151057212052532935477726073803221438088469220584404267171605024330742534108385009031573084908716318388020812434007455489551358495744948518196995169916228808356280662660302269646760692726623227506241181577546300448046267606023977214412156441374450601839779060496617157279490374349545304721666201231165109332121967426109868289577791827124431618237119792327015747983867990003420347397795559169535567261495193368336571978918223958156564584252188859141093184428093610166474194222751593936483451279756543157416052860009202888847250357461652919271788096785373450792828137396965667673558	-205750807223272154183197781251359477524790665960363025915413962608352565791415374015779126962542840658137187926954539822252790209754795745904221530135173365875923338724632473075024796746888116963267417802704059616420827279246272089045958347503495330991756329141670394031330756699136157792936264006168555669154375217954714510629513858440127030386602582843391367264949778373725005870045540095488732803279032437618
-391063132065470457528190235872317066567239143008021863737789312158253628794930359580769027250672040749266262237173925978566496611959226770563643892040726615780864546011837096459922699278238737531676603881063253106930587178379274416547495054354050655854620116690561522971018502779059923583786465163846062935628756553202363194070348186720430434120152606350979729270153102559481941288013389696123068144613009542418145834870136856839158435511060073254563141918485018880954514264025544899762709837970533999878818443938230181185063103609356973495077811546446238015044121972381480206336542998658163339809562005531124781230	-157548990496409105465682452378086829093819376555317651357644253405418875737132411844845186436480248679928993259620322507284223959535750741082442786320206186925771331925020261116803488732691673583880173767042487635890379227699255524500866169480559400341933891730344160635723353443446007946311779419723057772122991459336829166064820349537157000052215309255339838711962090793324451276832332152951393284350854798364
716493803534918223979030689456733062756559708364109455077581358976006241896157640733454879955039741040418052296329842622413013565884020593534789411325872158755776405711835789094410517441760838989554909140097136603410656583022741141078876702624494940320669021888428352948420050060586744506869509507864604280412754726931709770647205181322710600426426106501928555455730405277541731914060667344339723160383068432456967379017625183904942354084959069571934369843634692008113313851481670463895150501163109580296820368745595605238340534800754502407115429313887575661977100561696176341465758138876778825251192745913760338092	192783922720793825446981033008764605755856317215411016706601938337154873771413505452529672615778879778665677423895169157185915819895591241616525313875195819276560450244971918766223231524590961242630476927908216025179610533165447128455154817935671444083150956285134240940808579773773172135376274249663695386609887109935213668996005578451192730201239817792768071313239420323991992298607459048551992813677580490894
-296360731617336073646634404853412110977101634684747888760875523371081805388691951507727204338468953115723094597115132319393152739486844682000160314844025078066995481771134690576810541950478801149270124587187684097802847469139366962033494196809839091729956062977314222517626577267614681475639278906923898432813196419787057730188235607510065694701233471141672203771864686931692226762594097608623531936511233673908616789039026996357231767450027628456019627226372764392252534592890694264367805401014960231775307109275148148149345888994984842021188488300631532161210570807853962819195595042745245090326558529958606884690	-143639390207632362593567914607414701022141688460323152507820051800659603102174209479855805937335788804953933929022426678513016144984615800604359350758121552532453931729692962055551019676847018085884062835084347313341591747946177582622957978580649203737547585875276377821659026816388285608601405291058861789243645895787613091858090687111437850124158303238100253058624535230546609440456633622263526399144572735180
-949104207534362448519877379487195375561447702368776404759577397046463545138693481745962079261728556082306552261332881517225180747775993377564236978807020443403946992552446211539243153282565152148010340443805747271402673642476464789592523805092428103949180295776676645377231833911917405737146458195460556864433223875834836366336411395815588536790266172018889918380126507799946713639179350691978079530323904555765690696633440792310206480426728431948354195869318782593427187566107632569484655802986092384573893525410554752862289888590600124783478774850500890112821787136256242820552319781460646428275950778692799911913	-211724589526544078423394171970760242306697140564905326454870832911896588278445895618103812137676480895933590200547841964286510434607507735951434647463911765421407027446484574162443421643458423330168379804075622553550336351731644376170302955311470131193326855518604268695532237076864442272225909581027593393348554986544017430045514603732497631543795398708320450447938845805518451981368478184426983289728465509070
786487388520532269515579192213519461996564106145337683585267544202039326266936116462808118038822813426251861704693963394498373023094758851108692671112034830253167845507809161196893755809507037959875717886762951401302670950134313177673583474725049403299049670755895507884668030839598525079873701721383037354834751676300982332753472862792960101960864478748826734756845715297963293460936033184008533072356514640623484309573949581762073231224104279552727788044760035180484785462250647665335220040115036329185579442583380935568755638255347952940009373595783190445662919272577993345452613267725099849810510262414117419792	198867548918675881590600601040809664276564070864311485526153349322289684169973666623296242192863098480090619759406849001446453712680510123334905298332007113377252331724078080814421675452762452852650252786327997613929105715929417639111592617361232327175590417243400753208283413609684453251210511773655188931662150666156127308671066621123560763585782503746852448280281141147516996962185981667022176371914886999727
-978713665059124031828808254017570344410560706447706146085760266279520895923700287837827426091693514596812954353236671000185075543626413157744779187518255566925398784240990901290758007696762583401294800932760490612643570017198867317662375528059944684163319430299225219410418184714982858571894093862213643345339476298714431484721206291886269096815147618202960579500347747523289249295471862612536119725261844413875434114502649900716997885064050313649504645304316589536115907478942981254897517139627436599210636384933927240931853551474811140926696302032512088669969422607859094928265225790745719818245675592312738127432	-213903825030000190301175632341119695311539601254478575346634887130571502779697692687671447138472774421139252939975100712978585483324589580462694068229745730197810005096493862938797057202255651069923195895165012964918314624949289492424878621242528819746017325606601786884067318446092325358481504153308887282308565980086004794609936792008664974700872017585155416513846654031510947212634313153993143479808506133435
927610178037709004506024800949105607228986916223999028281631890792988233068337963733693931992057008416142912178966970011596560691375666709130210470087258596023571081662660106418831135407536737320140487901176040091149259259204999784182175224937517439795050608630848709157144597082908322372497803932081508480591153374813964215465614798573588136354507777481972087645004958208721430000651155912135015808095018247694803367907927069885783935538188721692092555736384663764162664483132958631348198354132245765322334142447974596698008460593173846296875870563374498401271834153780105880385436280445805778975352731081343336712	210114086009471875514115611243973979926211209146683260081542614562049919289369501919319182939062608884519473474775801182636351775493880541336318919401711854661976601402963705339946084297040804595161534133067347406696797316595738403139550103443497399713547569423017139194803376359893395703602618509851888275870590423141960431023833051280029777472324479606504663400829194117177080712650000222077780425796566845504
829558213148400873657056698623380407272704900317370113570435549822167081997410644993045891567048610407458672114287127984582513789687616054673604067969080790903413308921343760316389306442171345129273711914572969722350252942346098376197230685598597733192782792330422879021300073444079802824489669149762400069995988870390252457203967946242758863076866254928301032471819361615423222664548500007609879721910653859402181676349090752694292448181762537593940051646142867634579948213259045739302906956880563118887971165522429402208081871998559694224338151153853806964242125262287007391601440287538479092360071945785676608555	202433455808078173678116245931643071326097643178424735753602732609496454896705516656210317773126961497489489519772618987605090195743052405624711140469346844840073914341123248387244026322418894770329637659511323368169636391445222619944818796189667468520308371441010468884900873983890474202664174132074392640446632890063968540113450373561343420494684636179940154201291330176345824391429776610570335389300876334552
-619958248290403300512408696211351780044772817488115263169905458114999220893346178864898932863255611494389921832163761267323777036031185735684813352485381241400955988040962312171938849920161329038567802625801169831349786389453634428778946659170804682462896585371745128964045223563522371566915766139441975087711302110890712219027358825829077674276951755345521367396186640714362315436895934465541997116714278559297328762799697098094326965210678698288778568818744219157881710353087234183359425226380348670335104058923527965131601797224171873478080975532120936605380668195552113518857355627962327603703097238200561579821	-183704931163092352405049234198241858160201737160961371314577666115452181594874996530914737144457380136922073182029694319729763131306915286769440914227446155105535953347042134646355821196984934316339719401113879975393988827360654572265206271018966224559058335560448299541550122150447355524183501857886329244838277706097957186823430065105340620638277320472136426118440626720840465952952813196675829910785900983159
936245605598952433318050289168754224601064294418570167483296683880408412283305820039994215717550094783475080955033238187242089265550913030909342177359888300846457508870938672099549793451211304641900426993501761485356202367535339953434529432114347966490709551175837385721287284988218254622275029882379438977585881759060342237295588162926703324628135811092887409679172357512773140409440377688936759362573189255255518192540789641107395372709170473474051386327777927056233426311783870633379316924969106116018680476758926188594323846819364378734699844078064220961992178610068583305107253585568390120005543287586542498791	210764080153157425985771956404339177989567724363498737543283923125845264691654454527071983408763274212121290624994807854317998030990726819595620276956510087974516200892516815933809921375417562152659005196348427265386716196292299869403229492430987205786307224547246515549236634322745020305535952907162244831872476431687815566613631413141708310764312663835114968309156698732817060826566541486811876007181152404084
-789249583574342202089945756484170446387399211475324290394015726455185435456403055442715277948483399718768850504205301609044828989416679737881739591976292004049489131164992051697133636380276981796964709060345390537678577034525882465882540686404580421044295702832303275960798772399704652130848151970227054270239507792134923480185385605060600235180411615919413131541604977884403544211873650131020911951176264062044845008046568229775894687274574097434408329427669186740684651595722462336782867203117246262819846734575392112021867500881667678157697086220509014442701217349789413486152462077199296285057917514428196941770	-199100088837225308103610942414061058083683669449730893010970805764585754713233398130911695169935421690127029393966955625187012557966121135997508379740039995939122381042313918670244806375862990122163733914945286297944379533845761687958655546727312348664758334119726136752894179343214942884007757870852870459752768008932794294760949059415566816236259295489980679464644430890239192685818075750340586028694590918186
-1974178722563803423115164889479030758581994725330534693620486755798479115522833508516848272326611961340084110015864639486980221386922871589722274084069303435944212565035525423990703279886949783111948218413429290497302197259017490729700174203189561172533427365832544161770328229236586547789901552399847448871932510269761772689073510561518174159510621859484598883618196803770456910093124411928600617799689484050025725442687574604051060807146446823689172819140943935144859486509384921086375512145573172129923373253736453325511487719407104707414904131494991343413600486714064929550378261067937064738331267361532909289	-27026853587537836865794501871874730061600920945694336103884049803040001427070108825909238795988802891879318075617501859101771683098903984846018733284842306353355774051890718187746033675391615654234953083592179387890514358086047080781429330937434404352573464204430422349014948179258899190349700567980743269480781905402697996683172431154246693962032822557717626931188995195924662028363555565106459253557344561356
-906110053011762548387820570565033999046743598635338788727801316623648038827181430988026549621321920082107541537482361551578771870097636685814523383807425556281017638338531330260938497403581181150690792506590993526061976018870851678675526277259722072976527310759786156972611259984338183898602435635302365979741434818922973429295369623006392044546259674878388851408820987114541436972358762185640142688144586828282346148288460968652805826847151511516105120358630173416118981870338354750180889942180087898321938900857761361456643955193188118892414103793015208430885486577440504627462848812435610907295039505226888355385	-208478040424238057105620504490448364305938282985474230798062487450675315112815610730318028321191095118617785565514573808247975365444896277542060824655369406641173918890797323639670028417967203348644283851601118383611868418839731941736967384936612278351055341086107617493481886052277991963772397766990118018395701752947929507351849126258024095186669817366495978413910963473419847568882548580602561090654002823182
-419416803320752531654376967947894957969113686757026873852803013500424453445537433701920031422026598145356334842122378233991117664595256852375547490900630218053387477411745049935844671322591807047991664939651273180605704140128216019560965125572856035264418288794956398022596801378691215915692785773420986546498295632264513205651311706983312294475261265104340248736386795206671209450657434006852678066221380869244144098758594312621341966914068699132257933135501633078950208376725764864705814995742361944891453041002232350167850162634117342003627088074881459097418037550856395844317986984882467558302381282528737371888	-161268151738482136464489440524284401613365106995214722811264905937353161712589572092932799582001634356670820881371521204951328441944667444174198054241325304982468871030328816871108035545177490933872833893629420598621541641637808728004798688511445347341923979574041866264224142031394401147465107814461270748163495492856085186988586568924126176583625527693290731316249388234787068816372047003198154711537750787247
123703902793485097197261198336662753114867087833711897936445702173350969673946141586595210157093028851394508896745766635145143167733598286755778442475586912697227735395907892710961012845762769387872253881486992738628787944462672596249451700448603623177470066826837334441188349223263229157191187327086207493356924262186561073824945843630958286713404866821716450796831521181854517926396907807987816370004666744019319918018949204104024744783612639097886611989503489054330270814762422293991748230027650446653910309091672184107458593411179931949988829296700591347642291175726858263127001350578037793558571933223487929245	107348125985055416450081306273631464162363244306942648853149690706737457064223511163997651571598817911507372202874668695260660832138600280236564551131909334419334499682447194400125103246037155065565395969001817461614544324023889142541719291303170490546051972450247356780123695812193770501590913346026113700393234805201108195679401531105464154898021590269291848543640587348753629646825981831596176488802835018503
-779714264359561737785697414580789152830517501078374634646956066591810737203711212437807333708756252760620671959762213997889886343274554641037505371041053499511163672991800205370902623295779211966666985394588689130756104949456940355740313775024451965515775789935604830506402739079420150201182724883279885792234523753299630430338233315329487399187524167200957813403488931703378849299304478879817847350832755267369918784000331740520718630403458993864612215528080165113608949850700891879625674001072541919440942456886165210182857479181407035928044678800769130300923272704587652719010611877594474654310342927554666028602	-198295028696122992595053562092424101251508317099676220587264507452868581979177521653118753997842612087424697951494830939613340562816585636561624528405298579725285033450530756131347674156087628840869527252102992932532021013869767634850412824783552997504279054259367659954211352230024935847660759096878849173673165923163574731892924827166179638219022009244446401351969386414570104754208195466763882466290666493703
-22319795862882674364943922509657790224933672837834775683806831157335609519573610502973115431816336764752345951956297278884620979033903307721388157995260142965717498366176886827286994516528071257556610992296716506090555174677799627392884188866552645873628101536290225923812795067118263635124370537572281033612717815	-6065920852840518610522649525454741343440551920572448708893631957216166903224079531985263134299861300653606137699769440019193098746074171209406504000966388569488306381776960120250349977451880729008810447738742869348773579092791941806929092357098576021254652596787083323494549677443883154330771171100253452172746
-77547896884017509838115755123031960568216059108642495247834174334690178537830259993807732869344742685498896334976611192559140750387589649113421932860480338493774985483410048693067832841943951593859324304189725712347072226447815341176713328216418452050225641758901729414388254805226071217937488901879883449812405952	-9187344638079393004322376846120957720730853428256428863844449208644462220409018980566807987945397518386742623913136411175247765472081807500476044392083388381028833384219389233708215066485788944880689410898153822347881601546807574191286541833126845403064005342654669425384824992769116154778358058315178379223197
94904992174314012291486360570890303547575708634732440336626002638964988954068036206200461620220166652640119904743326601207187855605580829291818428691483180419466865151094232517585073149708817201789404286276771718227700831443020818437708228146075097847644811830491066190363518513542289574604089796090228375222623902	9827197536680947439036165675906428006450492901648881832793045301688449258920627829032862761404496436009655807630901263733882468928425841378843472756961689174727473083192321735030773596785696018684420797966298622613192789430600733689116598491985021384876725056934604722065787076889069362193847808105366852045087
70255742880080328299286612702774449145966142383700305200069494517762294700791192485046223721703041771564285446654656186568199292947823671091408241789492374167556168061249072753726264972142544467963903995991962646840998165829446222812283346787290028014955895698302679724510279390988820982285325865419371102433718714	8889839976911737222721459082382214582143863972584169316535900991939291521801480896257925079276796770472861424483384222024855421745211470019845638639766025037482039135306981861255194415309143121563511336606674881885844962469578487801260786900362188821369610301742339754853385290662681761234350398392071948911545
-62809531559467389926897665213268568500692007725647926392693688161818062362066144037932370742954449730064678192978205022578103092289544649723773280705958887978534370354974201054534124451268756690216098056729692684943272232966289773074225670855302620354545667861865470703490809947551886898168619131846711901296524590	-8563970937240796112844857002769230098917118533599508137934585303604710425074551262146488959946041148798496777768506619049093527655430170720364554042633124539582093984080282830173755683662237558324792953069466783159074878566202455853403074632985009512395217302432303525589278640877169667006919230168119353996290
82910886725005764695722439104620190662272646658609326488011052796291050957971480989631660444844852939614403082628734390788517496018568192626703003049160103076071186026835795985845706674086411172658580091922665575524191725740193124051542444854328362877808186984123410069393249981979425784559199297906055887792394583	9394431843592801981759658448330270896995646746334995066058151626366680904120392853237851494571224300896876982838017677473387676109462160872104881344878631373559491592893026181424252017029218681764686312674660399934192464648397426716745226389619100731200268748209777435659781102011909527483272738561953865256606
-25595269242753775716219185109447326750313578254040126398657274035257431044647250016209262949039084339723500567457602380022077231602761067827984901407450921252509236697371018865402576983986872018158544623474360657610242249927907105688547293287929363653988090896662390307203456992070534215241882395028540037503209007	-6349213058307346235570932521019244953876877543834692258300491241822464735509308633613757367220449171621601339376497171341217904372331933414684804027656685923389719594077868108833301251785807190287324333796779648739426522231019929135057486136776957077787855994193663011926550146608344686140465322014860280081679
-1217353614450947070828826976996287495582098498894653952546848682224163011305727055733131653800149224736055851407736082656227248058807573556782367466423477684294000904638598841268059299161145923064277562733676806761172451638102517428766065433856109468574360590098636046698150917161295342887322641291044909097364143	-2300411781628688734514508182172174631590271466032896284578656182460813759435901209624583879056153827743127062295933921899331055341074849636211131888318865199939021587901041475788160581085563089171176021575425791840299939975969700044746943670534832069401146799202070611819957597370198244128191808733912847220933
-87083115686159084308824853794991282019109497194365516520332617623595450794894393235526280487383558485335689229781508381362119732522196480574237185462602473853199328075290929306312563387489168512085672395533115015937348544470022017016827051722848635542383227156262836819781641886549229120256388509665564372321619600	-9549441802344107229072901108917661805183441514287633378235721114392030697410694011587960835413715060108749100225670383220589397148169981374523671843362838641455540596546768719366424829042681877010956309558579917965724526636116512779256386810848394688287491712798844890507547547759532346959535219280626130552562
-40263532958865062850627529454952421560026527413967884034569268483432368865597166809117511445752239846091343579911797288851048877236615843993093506760766313236634572200540929132153704320132182667735726755648676499902622161787550803872652790089054454898387352992129681948422452549492382983744010288312823488225851837	-7384208653441596108760870294979520821691206346133550859479411528911937622073854351641168485871912873509980506751906427270573449293404290509219975502465098289226124495767558510680357960521766725665032357555499902855353762553542981233834929296271600385877020564605130059446355651248778024665827634434862487662421
-4970733629434830133738661662016476928472212053065923267318690929290195649044685913287769731922282878619252627750537666114718895527854115712275523171783194816494575512194535127278054977989859947028477946969007840829091761634930250399450341049832083364067298736785524143653647589343905617160682260579137886582665383	-3676829546575247248657685352308335742609023113142749411629622030327379598453557358971406655498022402955672664258364106685488604180307567376042171490692523827333655587664722987399875178713863326680824243699338537640284632323544513429773198696653251816036189112202828656448047947456648076694437953683688690718633
-28434646704396207203603475811638411913409227934842934410011947228440731402398273752889646326809230773143485858433746444175614228439069243046113314836353288877147641803265503755038346325272998648524496673377332883549568326992304484046491146471101318171248641491083033370627730581118530688908692121951903065186733813	-6575810341557178261695185923633730518380465263994899948097322530091067454366814086222262025391541014480799976369638434079228170979922710679593040962701314985013213699027978419228149214057071820310537968666722661521758218093660307317867815323220557393783765275882706592849714424959614799958262557509119736820219
0	0
1	21544346900318837217592935665193504952593449421921085824892355063464111066483408001854415035432432761012612204917809204465575051000832749571206753778093319327305836534892638281254969314038783827968633151616
-1	-21544346900318837217592935665193504952593449421921085824892355063464111066483408001854415035432432761012612204917809204465575051000832749571206753778093319327305836534892638281254969314038783827968633151616
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
2700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-2700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	170997594667669698935310887254386010986805511054305492438286170744429592050417321625718701002018900220450328939045401808719757664680078537471389389441503233315603146226497915070434196933923315564429488539952908198277391863209656629957587801162867578791100528363520616699981021251554183202477148358781906574844469841734642019630412982047348902607682308907173126877151445153757434397202272299699867792339071355323
-500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-170997594667669698935310887254386010986805511054305492438286170744429592050417321625718701002018900220450328939045401808719757664680078537471389389441503233315603146226497915070434196933923315564429488539952908198277391863209656629957587801162867578791100528363520616699981021251554183202477148358781906574844469841734642019630412982047348902607682308907173126877151445153757434397202272299699867792339071355323

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
7889386909357055314346713741921329676773660106976205778228817305852764735548826573088744815251553066006914791139757844736126710338277443784406682537136112359878836511153130941079710516576395195449900348475702924919740637621752776621286600886149387989483746419140811180806175209397959346521732288298503498873873809	4288918085825247124206938369042574083830481362754318557931925816784682555983772302459834391892705722278322738838476883414462474619933162354642672827197522891310306253379243592096449689548068266959276535380526963193899299035571096460637207195983941395765858757579522074258533753027515205984804265538004449420003
-65469760283442191941034245366203870633000539469058949668553502006582414231849412691994433707235111311969390505204202138097115150758638446665801251552915651211651168278998727329305149395615455160360957613582000648592217381477370712030086999443191061095179412782392849776492380678346262535830726572135313396172019475	-8683208917614934708606338773954670052106091784394452137532745052148297474188024233534474875040751487803404999685684415992047605508307640124639812585014703220249691410523184427342894547212289258238440720337500604609486869265057997379641281196407034317996958044603067069330565886564249146412936410023569186733219
6198396418713188175637999179722465471032806858899056763098562408929686997770510189593594537884936710769333052691402426615454019893380059532176746145411606358704361808130604446821566303897082852930032867449268607382295052170915566340114682154214622744281098690014524036631356777156648371047762211494628647102575818	3957550354401773834997854900618458951903842118321618411388426901887627884480859890897935296305290859941055110649011147975039251594022388122115027737841904135075890161249446231173706495242712243579838598550455501146816412254458755100104855074109597664875720515947620913129455030787641508708515835620612767252686
88880266542006946734623671124240728140527808661137348351421218913221576376295620505832650508545143912796996810439204850989971388701662312990628312048938518917448198510737226883773825698083281318598012396625164050379573350767156443004939619282151166495859994646643955372661145630929324793919924913839095311254897941	9614686235927806737927366577133481662181494162065998390690659187525120795190467145619955125653370179362140875032906680734045243899213525223851296370181086900911893883898795770314949104895390573596964289979190124010008117802459859464914178165525106847101883551344814604947962253729443136970809749584677314116383
56686971933297028300949310373434010088900188663384959608682049546935923676772498232024522881948685045110588289291160714293171711773879070178634029575972709585996750108654479231194678866775792650453571049686688535230446685430076636466235243850664628539081413283740635672307443517752393594956884925203481061657712992	8276138557335932397731190361920775609305092852894164625167287798005266820802198507060865966974124126521452640907534023181109585700608498235010790369168904866199474049788543302440304546192351631728755578578323434753346161400896231998463314629036628467346973274085368772890223842583460505900309917736429699037686
23811927639012154468124715696159009570189958458914496650556353085059273420014085772816931910568889995528506076330871620341563487891371156009934614012219371147388199983420534747029059026567316411854922998645191257046300194674154243936175700672578473093031157844724339314661257426065851649824755441034468711691716529	6198189519842713904151391597508417657028091372851321906522437939188936617272090441185525677418954194365554634403872995774902062609628626847249587077190676975450283845460547897970182627796222741495992936271290240369649513102269267143619964330138051169508919968538570769291821053455553241005904977527388085312507
-23457375266948928726565732686105168682031083456909656654809138902217409087812115021376823923178865355924034495287078397664839252765889531227088297266487301819511137564915278804236211856287248913467893834154874548437405077973224026918641663909287015723424970609655808878078350793537598241402534627216863472795218503	-6167272506690255912326577022742808401828520946883761347438777157232873687438052137301480444423284592575949427910328946461076340404649611846990689949291594417918099205235838505089991881199158986007033090421904127182158655238711247053666403292036127564784343811975751801122424649513218231494142532643521447550524
22053884564247674017837835076337202363583990657380645113542208982851486986175952556282612672059859355849318452015674682872888937704535281146074206087538474334241537147809646475831571084086841849831079496669500725262551590014453622761910735194160778520523537062249203548370428935079983079059738583866022720099734730	6041735368594901613785965429614572120931422029120635415198315249316150057695300130832293734818374553460220684901689196782333402441650050996179121207593631288382207208297587045132619361811611837208066865772847807842042318294927279502480900939452996293717608759791519785991998637594832206685173396198372813005474
-76357389189994191046014918921468027286281759256000836258339536587226631030152334656997514704680636592376125978490370544962132433401857957664611496140511939513234360926192563948845980777113260874526224395352268122784792954621703062671711677865454842172495232815148412590964067615809341009101248979747472229143164834	-9140087573995453040723079275535013325581198292132302712802994158754713430813674273532422622953836586979317138481687262909597461970297974016267457954441162530861483565627082494866175271317003885932697337380293272880231251858914413697315263081000528699613591664570312334941442308332332680226025694940813511761459
58225760311265875745221405500155311082384853881049433097508297291420628562888295274825117021825335038560616786406537130500404335172461654335884590171656957848440580115698277034847290341912873861098276661373210539474485805840579985884672033066147293322009354385019036665842965767927077492735197527136470380067448148	8350357249169003767501783354954344180346332087803099448856428452429738244588210625741779764975647756267111312003482481343080360585969352276133116891197634936494212259598474510280833370315180144613254142667123980428218270651427653377816191514914454957401905473975627550465890948353873780470984165941903025661393
80083881716161784033778002181459722542316084443352644045710178076293170131176075218845180046723873171939137486626462565764399592052666272418283225942612877455230848495812538130785263110745245856972148026972754636361004042172077178126991515596442462861827046597058355072214152197227663410577381071232739774378469457	9286421070872458250883867597562567438899398172538213842505592483780132041724770604059683547595697183621351153398315452166151270846405789701038660696317862366848034315329068392899797830148209803527807223415720878742848994800029665850124678543060695259886987558668740003967226458516819208442765780261613585625619
63553771336448151841634137257548359907795967671847101571065088938636388741433977152274802275373780156337576390205430202046503752123669516159542913261176753172460016077188264652542641756872424641520084873924691562044299118888731142080690215733812899475684316285449544045288800034953079570021941353669117872206268007	8597663478125148747270787096545286590883639297179519676788635744280507595548365927091302871871974864373367084273023409397674052755026836927616612569030748089186404572172145764965447048979455024367669614030240208895777934155865101439439667460617388303459765396425012050673856822199223815845576175429125117245932
-83105887238105041630108561320355589904693731190467421345213780768386665943813198198724411883969527836282482141296375976371871207861252919542988573236612940782028787969876741178046168392667733514337341015690336215773181849814645572946510383973896814383507865303144995780683830981197237309116558275087121666198428460	-9401791089141752509909961604976237323260890205417390750578668428660414616654210057759822611688340762513245420709201365947385306644473974444432049335256163711762323727539320397411950985727140398631599036375606907077367103625197612105920855788787870838467984296392465921013306642145002619094111711729465021048589
-22188143908604900943867202303859800541274953987614651393480347139401981504129640275704598023991677720022623765457716370966190695167226150191527294994181340343046281266332017066227656445293570763764150280750001283191132327640235202653598858616085659478975519323266131972922728852907099009117193187364503578561331017	-6053970838442383759676105127578751976324066390649850349166785564079371098207371760262937261983561999284832471770479582226659069694173638309503104296142467353775927641594178943316840906324332391625945550280816430353793804853503322610426476641609578396682177570520310662946327532139683968484226882541468216850383
53364293470221559872187288632750363874985395765707406630355336620783232745338901066843742943267706942345598217313671364396584488194226788945319216652324033520325837760333589910255452949164878163995943737068334335209227762095230035885285586789614831968310315020567938180169689738283434802502878832262298798762104619	8111171572271006136753524076524298037904463685180082517724580380088644761978738425319222934488433107553511873901485196376716443234701375794155425625448429046268352992515098341102085886520793659648325539903550769854616060344227265116030708052608378270557480852817736956484127287060722357707445121479306415871372
## category: catastrophic cancellation
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	2154434690031883721759293566519350495259344942192108582489235506346411106648340800185441503543243276101261220491780920446557505100083274957120675377809331932730583653489263828125496931403878382796863315161575272569377837293497068356876310188167
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000333333333333333333333333333333333333333333
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-4641588833612778892410076350919446576551349125011243637650692858684777869692844826189959070897571379841543308228265404820510270287495774377362322395030214650941774267196509162954521460897633669381041162860653359655138485386961949615722782627731577
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666665555555556
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999996666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667
99	99665549341259636379441742406476830374839380616331993893934389693830573163837383959573888237628124021981657606409276246559938669290732273683449792920366154513280341867607500859235072917291091334953779882629
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999993	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
-1000000000000000000000	-215443469003188372175929356651935049525934494219210858248923550634641110664834080018544150354324327610126122049178092044655750510008327495712067537780933193273058365348926382812549693140387838279686331516157527257
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000333333333333333333333333333333333333333333333333333333333333333333
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999996666666666666666666666666666666666666666666666666666666666666666666666666666667
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003333333333333333333333333333333333333333333333333333333333333333333333333333333333333
## category: inverse-identity
-12500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
133100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: perfect-power ± ULP
-3276800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-3200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-3276800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-3200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-3276799999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-3200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-51200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-51200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-51199999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-2700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-2699999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: constant edges
199999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	125992104989487316476721060727822835057025146470150798008197511215529967651395948372939656243625509415431025603561566525939902404061373722845911030426935524696064261662500097747452656548030686718540551868924587251676419937370969509838278316139915512931369536618394746344857657030311909589598474110598116290705
-200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-125992104989487316476721060727822835057025146470150798008197511215529967651395948372939656243625509415431025603561566525939902404061373722845911030426935524696064261662500097747452656548030686718540551868924587251676419937370969509838278316139915512931369536618394746344857657030311909589598474110598116290706
200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	125992104989487316476721060727822835057025146470150798008197511215529967651395948372939656243625509415431025603561566525939902404061373722845911030426935524696064261662500097747452656548030686718540551868924587251676419937370969509838278316139915512931369536618394746344857657030311909589598474110598116290705
-200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-125992104989487316476721060727822835057025146470150798008197511215529967651395948372939656243625509415431025603561566525939902404061373722845911030426935524696064261662500097747452656548030686718540551868924587251676419937370969509838278316139915512931369536618394746344857657030311909589598474110598116290705
200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	125992104989487316476721060727822835057025146470150798008197511215529967651395948372939656243625509415431025603561566525939902404061373722845911030426935524696064261662500097747452656548030686718540551868924587251676419937370969509838278316139915512931369536618394746344857657030311909589598474110598116290706
-199999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-125992104989487316476721060727822835057025146470150798008197511215529967651395948372939656243625509415431025603561566525939902404061373722845911030426935524696064261662500097747452656548030686718540551868924587251676419937370969509838278316139915512931369536618394746344857657030311909589598474110598116290705
299999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	144224957030740838232163831078010958839186925349935057754641619454168759682999733985475547970564525668683508085448954996642542394611025971486895015718523722709033202384759844506108554002726008814549887275136735535246786607471568843922331891820170389982382233212961663550852626734913350166545489578817585527417
-300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-144224957030740838232163831078010958839186925349935057754641619454168759682999733985475547970564525668683508085448954996642542394611025971486895015718523722709033202384759844506108554002726008814549887275136735535246786607471568843922331891820170389982382233212961663550852626734913350166545489578817585527418
300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	144224957030740838232163831078010958839186925349935057754641619454168759682999733985475547970564525668683508085448954996642542394611025971486895015718523722709033202384759844506108554002726008814549887275136735535246786607471568843922331891820170389982382233212961663550852626734913350166545489578817585527418
-300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-144224957030740838232163831078010958839186925349935057754641619454168759682999733985475547970564525668683508085448954996642542394611025971486895015718523722709033202384759844506108554002726008814549887275136735535246786607471568843922331891820170389982382233212961663550852626734913350166545489578817585527418
300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	144224957030740838232163831078010958839186925349935057754641619454168759682999733985475547970564525668683508085448954996642542394611025971486895015718523722709033202384759844506108554002726008814549887275136735535246786607471568843922331891820170389982382233212961663550852626734913350166545489578817585527418
-299999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-144224957030740838232163831078010958839186925349935057754641619454168759682999733985475547970564525668683508085448954996642542394611025971486895015718523722709033202384759844506108554002726008814549887275136735535246786607471568843922331891820170389982382233212961663550852626734913350166545489578817585527417
499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	170997594667669698935310887254386010986805511054305492438286170744429592050417321625718701002018900220450328939045401808719757664680078537471389389441503233315603146226497915070434196933923315564429488539952908198277391863209656629957587801162867578791100528363520616699981021251554183202477148358781906574844
-500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-170997594667669698935310887254386010986805511054305492438286170744429592050417321625718701002018900220450328939045401808719757664680078537471389389441503233315603146226497915070434196933923315564429488539952908198277391863209656629957587801162867578791100528363520616699981021251554183202477148358781906574845
500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	170997594667669698935310887254386010986805511054305492438286170744429592050417321625718701002018900220450328939045401808719757664680078537471389389441503233315603146226497915070434196933923315564429488539952908198277391863209656629957587801162867578791100528363520616699981021251554183202477148358781906574844
