# 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.
-78485804767951220387768893233657327341415909290426985550772308239926104035124351811616036220806653067145622490199425398844352063512943974250510720316545855849436951359747960329838607443430525690682271271960628050390070915662445534918276845556277020770174284419936090927258420131636090786922783930426537488659	-99892035159421478938521542464808588342286895888093798853317479965590974916573821537474219788380927174900453331611593808983596303356270704469031030317179842215251919290749688716684762914428804014811570274032706664683044934545336290730118236230542485764679987266047502465871668165179956402861175587408444334777
78605699417153751307438422356779270433293218552819305639618404375963283813096735647021549853499353225264891776124320296159777392842168459450543934699501964823607625632560610374857600603283723693163088638352231344666592559121793156024859285795792216112002464990949535620413672356236932282701718740418927470341	100131853042737342757209530054255164178037310828473511403197122035490932341622594274522778250763503148000888333804016922771385238947611255377201392568340250486203916283757780756989813137691458790714830236736920189273718069968382292440700512093167721611275979159953634103902409990392918335390837932152164493023
-46862278797108789721666981391353823715907769372676611997992294710682056981933355022262840078223707722675978023473124052806192140874856117731653867996049828948929537275154655846245439727934785471286659964959116701591777414369110566513522276325320282819292530345792970313633842630835012128431612147775904050	-46862282227542202446157897010007268790740248026487774978599850167464712550227613308567068946118230129182335862610551110489423477078948487978063647876577740455339917877254650980068961459157364974475316843359034943338478024574677158849009302930992012982312004577906638666230590850769194898295902649151898525
78522722911362468532644566615787987925687341983834154767529361570397632252085878992827823009752384732709547787415002196369289649932837092009218965489706383796708165338338890904181248652296113589475552675055931822139916018594221427426939341997151701717356407064137890038860779769867644743296290184003311008706	99965818985609584007788626290829571654620206181678269409588094252202769869868933699936400615234161687896776402626416358703211751368154109441228506558377959308921514020312986495779929503484220028617353151767763287476140330212648957267542046744853857149926810628982053364582651565268687033038245069258821885075
-94244781505920304083262761786079495340296816346765619109370358008411956413239473327602078454601450843022349047056439241599745528957234570424102637967015938009064647909902035098707669812497589980747805647515798166562912407630801216420581963680677224731799006937863276513792602743942191921869723338821832679	-94244809408916207471046361273741839203358883738978339072233783150907151208496762977889626622840609190827684923982829080689996807251665926871288341093269558920713319825368531497351274184561714387015087371936347883103180362979192348457277934072891633113377179759011621061648794709588489534335014986520059947
-29986556588822856056506746326373393053410181109591464472568266531522826224976610345190438343032071162606689089605718687504073302050115626289612342056593510182762528349126501406322758004664457497309953253590022516987014682122115329367507167185196731628881945535060436856437037454648161943000735015585396065	-29986557487613523472962327120112713408907242214880682599958882336594895169673425720357302191659661809874620047265433360674061225868779676770640662814485372736131757610050015896184755923969955153889188913120333973310824696642450564835857701549147513376569666548099952200658417957475556050884489888418509180
-51864120893885131044769403493690290761516545865152525243460848317785256899539725153415564905895094104599799671362996235469263782100671859730199980735343901966894465198458921126775188078598023540429649667589412463233734225374682882654837583309900043944788244272541589687074680110103018577369174909426510438	-51864125544173179093186075694652595072507262005118883450297781302785722201827835554485925930104893943124172851131661980342543875803033474746040450538617864009179636114454541128174149262749593290329065865359940339499928989461650155932000805365716169572185258520448381579428349224385417513809876435057368767
-78531544913576500509368210172208786878743760050548263061230811520437022299682468294723397616733251358655768686094603120840265868146825428257271348670574588807674542243490305589959846174565923208695270981840653791148285117687244624554996638241473432379513875092365793695192189394117402945367542162238733147607	-99983458515842264672087792232974785677328589391336767202325413576203054974019557335219489599837821256817761644845793536116428285162129420724712402060301095061962348626204829252607973540528038997861818552185591020258018050719355403705215879610721188134255244890071582955290825153376782230753394312942072126956
78462758253044436194227522901898115968473034656235439789430612484032889943541786511730367683070881971436612097526838749359535117328278071156751264841899735223946453007311941769576113437639846979892777166085350887348108818079910264243007531198881330807139408986752457694342347887378207307107345328218554376412	99846002463673285882421802258799069003719366297164336102001158080158932611140063399958383419148015712901717356953563834571912568706982812530305336540417246486010334578874220017072980908272451407783826394980995058273580564522640304903472998902411593831409804480384233374111073759824586709634527582577558008203
66123207456099210883176926395369467412603502920202354124487622539681480789946350852845277402249744986913084396295914449415427152415627745197532691417546423613157658484181734847022786587480755070906780443178142194201356818992051410143498153735674327905421954611046135813251526391711616680648450954832871657	66123217093070315033947722852201583609248140233135313591028526698514048490008938411965281452205140688998753288047673942555050982938161521133367250004552009041162647936538964058421575590887506424364821621822209059233542341865315638384632471987212269763206749776986877689550821585316356642275713211833194160
49479923465019234847222530179442565241594017254705655124033590699145660225368116527419082539929837464811613734824772598853203138932591611806324519847629681720403048172594711907868040362265151043260251530073867184483156249725009775134974353925944391792935464678142141629209152899413978417542803739714265772	49479927503014872219726979330686980749934961989041999014535629385320286062520372344331868649882318807233623561822412871901123265430825983523215070885674933070525055156634169574281740881350962480390947752328790375259212721822400989081305610565851259460135134487023252770947204050343996330061927203953001520
-78596556952123328769915809909443450738611800097959353853767286277873861200469319494761494018352213869597839280711077774376772634373162299844221664159513964994575203487107523226031566410352286789262947197274873787410005874585186503883509425679131334180024368651595568728216284055019536740847262886039883665729	-100113545663447096102060999431230795024696381542607953874807005326174185001843062103364582364321785682426991218739136107812548614652130279487267762947849677867268389409747974581609035467025499958718263560529041994936087372885828604787414531811822594475290068290521419783438014882857709926030677134556416075281
-341567821459067039170190126233285967924465201998093688172036749908699971515900615753505978462228767348299714859261088621814984459588544172367916703822516260994481034546853683051200038061716577526842303922479437791279301587827495082773840560282628281975570936075115751267316526074220940566734984809220208741875	-28116163427987544835320434230017245389708845526040152408815413882226199154967581517311072273603973991838791267566153768400538769482409954313407720811164969370413779009548027503888593344678146112492565134098735364221693923031709595766910079702216941241996425751055736417831273932106833529485335141277881725963
-859290050325235059191227359570146206457283289950553222227524830517410706367111606166144424235424086038055327658393555001405409033099148535695362642724451775583958871050973607801879871214723439096506356478746521908243752692994628842265885037070145346816324219337539750652371187105743394457155166048390431780002	109756353909925585076269582482894503466816356642543766857274409553383235495602237741176624489838328174267694761716045538146257256485219148030580526701530448523487557495007485015660196687548237717235093448691097470294816400786676895294561897895655797693621193104361989781356699535015755690697568976290826109483
3052482737155794269174459800091868680751050750725341354377783055424305508096073521425508354986727901096339470008430481141501395933881949204068873366393188736881841119897830008469647758488552407663886722116140011123247487520540407868692160496850216457175670588169834235834139009067008310636726342925596890294735	-123737778043074319655087272864545282216561176215377717033709241035149278551108220303275088726756345560348909994991695091889288094199328459755891232249218129440256084125445203384247121232070118903455362160203953032528539228522717784710951484212860227972015075418262848288060942194881583103383118078622772612454
2368634744944945923673041265933252325195291296683207134265775858728041645528776998300174625210632402554124590886103902906837785388501881040142885092549592519871929410873624718191125329659631477405970143101292210653547998671428128683941295658426550503224209289845696169713363787084164242442261653669263084108967	-799691023176799464451558846660715917254974856259783994049911802401447354187526563872598109206154871650948399325005891279670880762188351263373075448614178482146234628195353416403075670218974260894156338309161176223720060204717843068072600164098507917752390850459114671629851426424910133733668547329112043033473
1204866875972901444849493480297532871978780737044150009458600339140507325485867800651234616918631148168900898334918293763372794521101059990289329045568694672330847913674902460087029740348861068461776719520370439829909246034297380953622821822490638501657681985192382118091026119229668329620607943550576489783790	-56951429533967604044408337162678892939444361262307285256491644023144921516919705538203307620018246296800984460383605112865890488776531483781054401670622166479432883201913557030977640766955091553462561817280043934713665277743653854335866499935919782944101763257335248985716053851407225223509420530016180727130
1296800222248422742481056142514833149445335764971125083538071269024771574514147697123596140496194287651749472099343418534966803075152589215389381566320866540329343187518323343490348751093234960546531249492346072685048052943862468279027661851393667165757645178829153632804149350978470135533825925650219412756379	42471781287075149716499819849780099853457784128857652387874595367253011101553757214212339344160259219342830607172411402594664357126469533054065879008111588735460595865064664020817623642396100052207583183096243102744585282322249146723310494426728668853537639374129200942906747551364005991181361526222054050606
-1406418809227826792578927491884687848513589498611164615604295680583169305834199388403501504496990975697966339026870070802951408157853304009879884414222322256326913186178626285815972783422327667332003759339070305499552841419732791822177276626633158764217676581953081524121037525197802405686892932881152431143136	-1367826542331772152837845277850732013773969887820362390204249894088618383772423016587663525841679335611981464082934810965872841454604298686343647123486076027124797447767943861567647100976130816399072765487771518958092097066725815740842191226944172809347781929204152810119518998428266167626487873513881470734251
-3179596712796527228929804278476308539900896523781245464775726492031884176709487897656797563240797027502738796638244840798041455130983574948047176627197740682881868402703035802971548705965606876810240887481450177188266831695266355118875357416652737129023884939073043284022161752450450151483862352773506727930140	-39945978995740740806670536075695319379604953837070969745635022705044788227348257157092467142311216486513143638276440464464585927414324052981693387238519754471037810531428755800554697490764562143192860338514966591535117057432298818607890755392543256083911519609449236447811081015524463363390272099651985750708
-370879996680400955427006837073352912585963822171985982257362381413735070362824657712139799188667268203321301289129394229192969172063135926423709630813334195830281243213251112981471018024461081895456293446861684994542539207062082953064806332292879528129542900395745540750354146625631539622486864877686858789643	-63703554552772406229820988040310230318954403991741346077398550197664021046890945501525038766861690823711984523599422017164609863950939719229298245496240822629281142575393071040253463619105745369283198696163257680679669471834913276642326143968600849041301940973998837700382746588101064371135498609657241991399
-758148320904282668929363722263823031973359430109114331431039237344792335109046837386458915349689934175299025801023240081826694473482160859652516991472429468941517618866701953561405777205734606066599622899056596525568414702158545451641386127960399749380306982057346657164800282940700480458415633465758947788788	-357846031493479865592808871506416656119577842822886729154436172772257969704391832044177214382448756894076756903685676454630512170780263377153574327262206611960779971778655341404426251303542189624188490836463337683135639998090472692936787546191217955419279106519453359023694441951336847725414945004272126638561
-802663897813257719527531335214101441249949083767475621700162177440984053776608376405543369753909611813636906725071636216027213811306522349887070019588259323656930903913586059641075075619247706056048841683923542671051367462425895003230152060662933628156318118830907641024918759531430821947618765058402720815639	573415134788158146575166499578028498483206545567801971770056445080249037071871838398034962854980249409962212593377520380056713901516986645315672018211579489672116582572933102589182113898559718633316612124615179657867049174715412146837423703280836380916520978912148883284003505329635759576542100934307806783591
3597006534859995073589543360842341583458402445499672650047590953817754525645598835357024231051511922634320920624358664913427219717237054521108186309893715678609301571126244270105646443924367165898053223420344585150880949932808040936262739308893801546450572628006290585964047008577737424066399453208499354537935	626627029323544596544491383015458457780862728135756040807335840523991555000730073460005854801904690129767374683555296235769774268650452292270902789429137931210306070435571872350614458775369789305383748985932350003335977142008706679723001639641312105874536500173578233542264898947260415352145390538276376270100
-1442136098108066022692938902923746842756185511838927683232583098069009151639163299697366489765082094013456620943204961882973940803372773951134413257331217055664806197534458496815309186823398143747755858351827501970829035972941523899993860408705326890035945057569484771930551456662884779105054872493211962563025	342347725626253023778615752064561803328896020859927924859627205892759689288308931733178697589237108619152767438369391865048025521242652956368957813510323751880406772822565811008938413597879190567588194791283361397410899719559997300895278968658524594528978018213091650376260900018395829073002791369217949457174
-3127581737665016281113105512261437188786703922346999293185354461084026161040078647357556807303952307178154306270582186628543071864440123507570720710178930320329381796132596239597601581749412018055481133484034589160033912670469296522299317611226098870242801838403273090288523140097197040783701760936236490513398	14103322375077108475310155115250321916601941601266231584379517783815153602885757608041536631008413423070429071949196135460309014321079036753744880986247542265656194239756502941403835853514472493092508600630486910439007977848054569528499758600228551705002043422744748554712484687045980609076210502581408396938
-314085937527565060240120999719581898864587640884766357870113165154184991695796047994532820486746975283083775618561447004193865605852860498071202226888847442091848036345092184394996816505578642562524283826556060347197706908462329860536915141559498953366511661842165435214314898853187287146159295201018314595049	73327844556986857382405125518475966881037379574938423614404287315368993688189157072785840495316492950441646711312487309240117840019876643503767874484700139806632676024495459401941200260174224307833414243500068300998321049134184044729412824238287658356935313319278761849403124591340062093719173388539088244
-366523471958795174320406321521581366636110833368010382435518189548391508041710926437906921369721062705968170795207036817806226099657427054489346972971060124547149780362430075619299068081965306492166547977875431929889649270377949759504876425707968487644341375782667117026505248287216332220203221953034701402461	-57740799116549513250839272961731099334545994640228913442501871857827048929608707821080008565985124097991337404749939927910051299445070033246728866301459790774460033375555051340310684251164923042156474487941736365778503710017213659891636287040057495360687764038100701646618922504296893763083577211289187017569
346062598976579330045285444960036540838715625074603935720954425611052603597037974989402763306483837257597643318515755260949069847156442593239658182177937566013214689419913457059408222473803942392907443782410904326820761445383967155253577051260765955623080410907363653001480811913072968964601863090940693994398	33031692663182412614283644261475546813768768864781501240892535116225552646879239543981016340694438140964555952020318655551657329456177377619017371001455002849649575735755887867087727092432654137883903354084213307704981908643514293500664263628621727784718426007068183601042434529140374145469578929047908773470
1582601300259461415859123308826834104872836104552068967344918442919056966379887880663805389514462693916754443588580099137678063497092929143858578034658600342501518832220958708416733034962070584995276344289771188664678085140749871981543719155010731407150176968708302585037110797147014662387076314438299430094134	11860117889365156833658313012035256561867724376276060189856060405658307683105640591265492685107346290274211347757434860257370481187050533688633330246660172466530881723641932342091305606962731117619174961986992388512939883812401945815889669452954794410264206813522215316891818408424254794601397229623619754040
-2511039759729931724196778387935068595140929863700802685584050678953338907130468221941118847394127107390853679558779945843538572233555544722081363948693734887951598210947474666055899767473738152936965950478021408937125048202619810089134228214660569166305103884339195583462999451797746869382766574891086566529646	2234735042397958331817750737285235127745556720255430599767438614489557626100664602969120374611103665770595799632548569787739739481331939878537401160712091544205248671998175364577894685044703731956702348421976490298563912372108216491304942572710578880277289368324647210019272914905818855280225327640985879977
715915028527693307405116107733977650282419055066273326107905739620234985746194990150037621600910097237442263516578303882445050294342631849538123951672157791821327394746594420642702653691350233032931251555139902684430223224931261251135748664148093787845560268203665197236788000151356538920768857300976688813238	119977292845821759403683430252174645610922152596881797884765458266053641473947373135668611631962860329659843979509310938154339859561253212056531667915630546538674240493309720744872648420218403179183545206839234394247526426199485539409379811032618599480722382250063921248755877670687799103641143086655379175098
1515794597884645162102370076951679317447016609542755759464195281683304946613650094228500789938358432599369465934127648400735576546816657882379885246833250822864704973509720156581414721880669281015775584371075501503914395232900559043494624753880524369798396907190727809056338032041753091305198827198073534622860	-61312900158191072400846739021122540826624729551762946098247962731782103884688356128525072861266336681313457683288184871160213726935309343374260618595885192489668950760702523670301529350062426336372686763861811373370059121285488452314723104665260370003386867188389849328271561349591899948644279065084479873535
1760378968905122688913677185497133862303673679315645142564236699341549118475143867423897615651110012821168844729731562620350977758998567137736362976836166864639646955994707007936231524853887082724809157216424128909590147747745020007165056695699289279566442321318287811473467566928195231427694663366685846902647	-296752400344266519572920454699161304874934946055702428626367095897443080796579179900296035111941867168163601588658962922961211476339994378795426925564702033742772180253981106146550704294167529945926189664360209903680065063501761182957596585743584075825351472180738200717009142748696875365527061147009904347146
-1769026587156001266704729639691552338729311581872591534866652901815013783814023024112034389709938037129964747275154701298327088032758662777166118042584971822446942700505099180403611025387819212720852768548179156466271948895759477695648090325268339553678864815659317040955624784742220001763328792643048383098452	229135390689856000049503586895883935312866467828683133518067340936415432791250503413628262106633787497648671841127968088980805460192215723112848516459237915191714318724754126344632806782709127137999302070968418197818042512653318391832327564840792930584065003896348991683026563053169291196564177322607545695192
-3500862158194319357001805452498373808183271168122757343571717068707996601923650113170172139331086934836681843764980881285922587090458498173174506426638096063695132796947296790337225136400718481590765277834995917185018640639672014607089736445741414760317383408865565111323930189992416409552947164383453123438195	-48441541770959307287520871119156593028093959214962334628351818956221077771846442393814471428710016541098477011142620212522523638136486513084761295829609550859990864624150099415494125733611383273591692961815791280418021480026484694457493650040763381453010166769768525535383386151723904387668269562214231024935
-220076042786362744546262150390733735261261582922768263667545269749753513570079805868524530792129079445328659805188275040387180347841191312613484970571850018612006519945879063790004347134117011098883582478610458047800934992482455841778199654564707344497471345043251275563450078024407709591990870261246976042663	137162969608484059059895158797130238206531445967698869689708818457204865405096915245960052470866388963584464448537221287517366066716843490393118661031448869362382896261996260685565517270401824531937383455314825762109487935729646143278336999110345994615640891185113398665036356797910266830830144266136935221066
90157145756570985244175013212658235014038687233966418207649050634043566592533082782540985187314328161388234064854440999777873141286777338712367827310412204261805535188612329038172515738062363993184356053848532530522922570664091795262881441035995255391183184004428777156478032968805612711150882041006762318231	126423322076255451951634810932325960423083440236938373840124651444229479691651025159118398028505226563621500146701051384583153971672507951001043295750493875101489768070051872378693173704890067337614273411992427466393024524259032297787179615320144101791683693604080706568665202585500249834594789014627061686506
94676009308953166414242533389691086183957469025151942518377612223655983209410913960061132755789630679978684579408011168024509382045721520190081119330809876280518518705747909184776533900982852724005336427981214185392961053721796966350927464104400197915068633276980802389876640262481759152990481883924239027467	138885028307880833036297648366637200046773542423120206753306795640242040104257575194584054311782242650962709755709833137308060753018373738648876788544341305673154108230316030293748420169963441688774380762892468811734088047470968011654007445466001065637676157551291115592928438398844543811078285351488530069369
-162173160118158188368928796698837933889154338596629592552686082442202373763983982942066834723640833943580835110724352342381862135385073587451287951299402749313447539990902558584246808491906978741138998329423839957048686030236599602086671078035112263267170565650843761072385787373026299366549848034144846201538	1961577829298071921994540634838824747110615937165765573704481149300153059610919308217797805445726860967236385719773598598541210634523766757082550201130801106880767033385979218380763465968026280350473011961061885701419427877067949237549338631598645684699771970001027451097890638021454377852167310580990040681713
35100488582293490884501559749835550448285075304280044118803868912051329572896498324521032343353259093715296638081038912644726352365158870957876190919247985185955902652461993660038931763940353748183763779134554270213451963136145727147998497167876255741096627912953709821889526992384777591431542629720261169880	36616769572675951640614412907271574281453373607239149350541619978910717334231505684511453177893258593670253167399598245887013279717002490730807175616712752202209299206815992778552166858225039533847017641662041292122522850252860616133641568967666245525751305572615051171695633444841038301889823008831314819272
221920900654045536883693582396899258034096841439728967438261336938786056555089534387981072411851194468001410530607296888841939498217357247077781355130438424917429194612776611849998768516363866650337430675588694929486610600298629091589155783457563258467202640752328071399386303947835741837560608780575791369539	-131977873750524074730242946336959860818856199596464231591831336919444522150053597023544807592361559377789081527710590709001488996690324116077290137204938488070585856043096869053535769966828477725766885128398906110598437955072499107029278897155720722700288207805947527245712713877077444414560396535389156438291
-235398216866337294474980259303666817219996380001734634163519108277921659934835339038785399894384078955202877962727328310107078356839521993313042360926083031603090535597363029254274378699924358625139019541502068591182252965080681291274870393086612139284038885129182338779240177917789853123147677310076930792591	100443446074554853010782244719767937050489760672655588393891512193959426897012446250619477417806847325528548356525146565330645481162390775311382279626878273235364519965753318454675914289078805842601600780081138073824625033587558243452597632693125726181956760778873588783009602750696276072116147255330355215143
-114179357060981380450984860190356170827537197915616803592778879949099089416130723543384090672277958060113667949390510896245491653081244974087110679016344216056195614244798566187571489856542854705588446203940015771074969534810329963576996311133489328936291173780877021400399252442507632900731100799803498589169	-218620054791176134959641010904859437741772882998067007820851343115196719369274886420146741745599740791194553440589868761159811483889925847398913713733969098586601981189055314245471676072705913711412240069328165380104186247266105621199062673917925064423543203886080435698772969378795621271830977588526648449556
273303168608932246365066968272245327060157344725906492519421763256484839276364481565503476269844717847846818807478928134509968477424097688304965975757653879104207291170524147207111149412261545699457831656888630080388056694258916015687992682663171220709386915171509054115046138634049627893359754101984617712982	-43292140091016900132418089131526803884054172431855728918763058944836590749361858515192593645087606102609367330586980175347575455672688452921375185701627680517702249444234682909362114177065393395966047015104912224579288018792631529774064292638372493493959529521236327940506857493009696250577077005099441536461
-70603134939136176377355861120753708644668334801248931934277367240938972218154675577711893144782830087247754101436149247364553487965144889359757056810643104680393583357367487689606702716171340913397826671815870211846730577010560887551562247369789380697558574321136158028863915562227381506720706714557938037283	-85265144037499471542282122155982622663050791823869003321753800680358882916419487866206901510694856600731369235390125084326565698828214575111671159043502786968106588025407240788113373293380805896691786191829355776084920670465645512526687185338616203671507020948125848529007331640159803651100601880352387056551
-289379886198845203459601441193800517195633626885238338350501375324882168012525610435106737164658341116616512253418291853432472017392225819561995000855676134690960505493212975589269979295906063316074872250904268240932427366502911349986539989821167992609026323769654572388109354256028367047537536713747451121045	25299318846360902477958159522544733336376702765344403773422397619445125745140968451938001418773075542410110241780167710099676386556039284349483727729624400098578887824399409711585849530846617968067393727814684304915717761798182596666085612947223667501034370062684068215168456916676728827263577012999804366645
193055742080423043485597579453222974095017816783354821095558826417060164905953372368266522966468434226653767827195558521075749023726428857173668493936056497807066751427131391315002003829965789376291581728959194392820408457784575811513943214961330255255908120220532852070861275296582953973825950554343514019408	-265865438852257118244035990086137603694226755154640257060093893266574153705802033623722709979793896620203629618849780060114051728653445104801442469604423602596986563042371462071464840852058929815536920440201209503671844854188369429576511733433121492051272655043759937415374859270522125862776212843025131545192
0	0
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	155740772465490223050697480745836017308725077238152003838394660569886139715172728955509996520224298380463382141174816661332355461812455893760607168454890443929358604316714790803682461327470695559734164061077553524730250679685050704135238514491762148162757002788602245077201401618577213067394166432236901667567
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-155740772465490223050697480745836017308725077238152003838394660569886139715172728955509996520224298380463382141174816661332355461812455893760607168454890443929358604316714790803682461327470695559734164061077553524730250679685050704135238514491762148162757002788602245077201401618577213067394166432236901667567
78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114675	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114675	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
52359877559829887307710723054658381403286156656251763682915743205130273438103483310467247089035284466369134775221371777451564076825843037195422656802141351957504735045032308685092660743715815915506366073813516261098890768807927470563113052754520031819094142782057672476840905444136889893454337485687895409783	57735026918962576450914878050195745564760175127012687601860232648397767230293334569371539558574952522520871380513556767665664836499965082627055183736479121617603107730076852735599160670036155830775500510411442230110762888355741822297394599040901571055345595386267301666217912661979648921678250219201691887278
-52359877559829887307710723054658381403286156656251763682915743205130273438103483310467247089035284466369134775221371777451564076825843037195422656802141351957504735045032308685092660743715815915506366073813516261098890768807927470563113052754520031819094142782057672476840905444136889893454337485687895409783	-57735026918962576450914878050195745564760175127012687601860232648397767230293334569371539558574952522520871380513556767665664836499965082627055183736479121617603107730076852735599160670036155830775500510411442230110762888355741822297394599040901571055345595386267301666217912661979648921678250219201691887278
104719755119659774615421446109316762806572313312503527365831486410260546876206966620934494178070568932738269550442743554903128153651686074390845313604282703915009470090064617370185321487431631831012732147627032522197781537615854941126226105509040063638188285564115344953681810888273779786908674971375790819566	173205080756887729352744634150587236694280525381038062805580697945193301690880003708114618675724857567562614141540670302996994509499895247881165551209437364852809323190230558206797482010108467492326501531234326690332288665067225466892183797122704713166036786158801904998653737985938946765034750657605075661831
-104719755119659774615421446109316762806572313312503527365831486410260546876206966620934494178070568932738269550442743554903128153651686074390845313604282703915009470090064617370185321487431631831012732147627032522197781537615854941126226105509040063638188285564115344953681810888273779786908674971375790819566	-173205080756887729352744634150587236694280525381038062805580697945193301690880003708114618675724857567562614141540670302996994509499895247881165551209437364852809323190230558206797482010108467492326501531234326690332288665067225466892183797122704713166036786158801904998653737985938946765034750657605075661831

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
-190406779954794592565441651513705053656373447449584990613159652940386661467156734925140867564651649835116679446497854138138903066478573203535695430796150729239199326729794019338003795112372336480434334987865124636672459775540816231334446391864165635647638585459859025840152035492937310669674357357713225339041	288863497138175348039409998758654854304657349284215730338538721901913128381738694800395206491620945064742058404785127541163278999889032949767514527434872919753382536409886532974472145377082382071083110960516571298229283192537550861755680990561263402265567514923708466093638100083617977414141936709109523682998
260902364424242930549231996456046799811491497641486477816625858989542055212897172992866279367079904726468639086529485153099492396099425389399316312786958739566318460154051087179741887094449171535984414037915869303107006498338764453749273615315190855550486647186874957376043524494630212908119246542986963823870	-58937316953393697966163807126739119136183748965707231378930985198507668139752640201019238360337383091435463334162988134613822515138482213336904902501781346897217723340773578055109934096680322176784182731337538964203121678345848385463827638909850885886354806187240480816235910939755602594671440776699503322245
-86315925559232955833991167212204962495468514836410346644519043291832784591511322573243521402709170269169912931912277762122121620387983085629607324740436352300513277018764999618314163215011671973799181669612537768210827482310366673544822120053137934578982824883298353296586605374354124971537729848098972692904	-116900497929592871431756991209731030986848329846613148855054851617050975000179001497397067635641347074980315333966668045341196380780659413578159124897642912178293417635112411581071327078962618223800841296131737932459324751959917944096977059864757398680995097562835151453106591350690013005604283591817290672947
-171257217757433242872266904900303643105946677439499303801685422092290300145217229998156011159824888014330637193871008920313753058361780612844584061560137957046814430734075566615078428797378956119181509617108249742094024255231291039194694368091452135369164747706323730495153935372570851993008440363366972352866	700606533726062611990625518744216376441409393205624674277617603070851333090120091387445039089743583586472514276929434344839505516170345088710893596471000067769141548357929647269356193909074364005924406747833432159018681026516128277500514172035520637364132569078436835469714462081510348059445163665662086681691
-11651203730022977459877591211032121396051246427845327874310809881728884812062861051387130894296160389051101895124839151034178588389721100480467300204428418409432508707662321110008267862231710030536437858128091020518738189774763712311795554673403731905214320312404274682876899276859915884952531486528513973113	-11704213502716058640611076755077919829418778548848510783505468619648524808369347101268389439678388976764824746985733619296868178760994012725664585607657254305328052323495025246396559577775721061401280367499901312668431306126794033913625367134769008220984821488769745611713316435647607870107523108804701356167
152864979222863576137537029884836802948843465132375942108820806962572451408692746929170902702278693005481513219444027537379579226330484671017330721081897339447830535788065117287939190223497487730679754539882470298466598312743180379883418162501960705779799884286237484382903560770739653820511087501309523476544	2371269263366640774032353202363279883044026366709028113551426734103252902561305400937462700919618663900795593877680650157039390404545144917255714475435504651072193368162267138329734249951236205688523294032363439524077620144384471576380236734637778406829363592703374746918770897891798160443561997682987480627480
-291145526120311678225004962016718611723380082427404877601026978054790671919066048355349034256159165003608735508057897367377631642684475048629474471850518848278055802483353584174286437404409108307336194806915186221427959136372227898988495634352763220082283378523843058512424239099515315527479579398342819470056	23428829167985571571079541806157757401833369459036104462081703822083250153575633722430699411351103313832855982423702634615040704339889086021363508669916794473630775764484967824782731259255763915116204087650623749827127889296346958737902999770975613592218952563503488951214799719274409488419251102501097047185
12988181551544125273525409815845457339787884530232842183273918762272473341965098243129152182604188947133317906608659537685237501435607411476606688765915601370077214633491382591896815933591810440825143295835436720701528594915820029694859814658898273578308375035049828709950722154999214051829649732020229299616	13061711533828661764061500996354244013327180010971963369634390160932541120476206727544228185820721768167777179917472396038500870428814402499672441741566967943895886469344467715520545048818760962870665170830954984598525890424976014035219726696594701703335363005098887465427450547351096651794263067055182138236
83690671899905566821472643040069527730482465001688778136712741394278429073824589275682727923726838775981217678888544189830596919632430620352838345088831365238240882216332042200546406589842349519700287699075994176903926952635347010030474003087098395947559523875618659951435016668503274664688124175747665854290	110871291674363476521074600648233814132736590536512365825487075557342083488759599898917083738822330395625934108985688347796580548547237667510657634277138197655845083284229218819378734154996610416483894533571445563077230963565972407912453134682996220764517166941957339048761269504439272361462438437915107599844
-248770361003320346163468245836769799617834975630567737346540753708128919975257397626686752922829751060585280004703625800380082437119093596492694439577345552294856483487903634433875219210816743106079505949025032109917714794197558486781173978695341885042884341381860677120519327649887775835453604949510751045883	76635919015764710849298419802985754392699630311009454702045234506358864428717167907831577518075097834102832956613328167688863936608588562947807394205872164302232385382294359887151818797834600481957872498070830435834850418516477105099035227390364847439653423524425364032334918565704297551697154696295494512060
-58768990135479190619103893322466000612347346269978464246867950377233786617791572106206013941145870167352268499953103290562455605395652348772399228322694039641526145330812426401882385004136964011700514125295162860440115460996193120153259822325013920942198362823082961821846315316291298435673270888377310434732	-66621507984828606086259096379611312755843163124747488189170824785493481966744739782743572320684453522370065432071663397710240616631783392200142102804850036312207483081954773989341050915461057457143791776289712989584380962963706365122485428180276642489657472316665424141492975795889698612250759393153705110041
86059603110378569616601796744733118316011944095328070145517668317708859070138593817506030454789809256997450120980985061425800221714725092913084475485149473421865487467246335046353531844865725566375841731601906877566611190924015069729690729464349308869117790762670562178014304764651061756648672698742070092900	116295703130731843330708335111659853080760903468866807893523906918679390039834070205919868383780145407868618189114580329058215536042176302241184546465683098275822681342569700181119334981098936818786183426817673740272836223818749989960409273614174781234005658376740654474821055929447111068921812195180690797075
37858238177244080448562759766749036749065360930351115747905598385440878624815086525558842899047857455751837729224519753537221765476971085091860042907819016346657478749299596490549424298724926944191533263958597249654813126530380069300209879479119772036505643665395236987783193392586329716552677529778080658697	39776987895090023107351346199660053979815289636444315856231874812187154761101710234957562431370821536336557107997423760162531815158653241792348270421372007267203065777777205930635282904864968599583692168255848786073030162770873366851319401337568547849600962794229317820212273991040235404739530758438750152218
-266768961120020676252581427947398170332907024563969323828420940208036482305765991957325462526170288831645315122030183300056754442065133242977102265655392521256805445697275754667302242554474770995973418868682413736047462336113342172341897147428559236753123181737704085756493161477428062050584418386952545858403	51288581831548926203694423165803189607852158438553730901537388053774631691840665901432658585353713223283385727117941946134370871633005826967414211531016787053367880432174851855849576900805682087875121901090886436727972244456034902699877143530626926008325431810226354822103685852869842185330543261732331977702
-38447207832622349791269652674993145717445570256893558812447200136055873520101902262211646493710271053478336229610748961933782644174658391085826819140075068119177356579170190556051475100454053733556510341655673632833836745171277115834436992187495934675626647456629342123710495247122321538035173057468461753328	-40460754642304413157011004743716475722812630875119738665358866418421161286041529324513426126497102333718565800235332848549592872000175030137406897628806960444221482546897885921650992952256095882346573658302326973488579529860918494797759715462184179793485814391408536662309973375884804629723479596299199314496
## category: catastrophic cancellation
10000000000000000000000000000000000000000000000000000000000000000	10000000000000000000000000000000000000000000000000000000000000000
100	100
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-10000000000000000000000000000000000000000000000000000000000000000000000000000000	-10000000000000000000000000000000000000000000000000000000000000000000000000000000
-100000000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000	-1000000000000000000000000000000000
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000
-100	-100
-100000000000000000000000000000000000	-100000000000000000000000000000000000
## category: range-reduction breakpoint
78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114672	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999994
78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114674	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114676	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114678	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006
235619449019234492884698253745962716314787704953132936573120844423086230471465674897102611900658780098661106488496172998532038345716293667379401955609636083808771307702645389082916973346721171619778647332160823174945008459635673617534008737395340143185923642519259526145784074498616004520544518685595529344022	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007
235619449019234492884698253745962716314787704953132936573120844423086230471465674897102611900658780098661106488496172998532038345716293667379401955609636083808771307702645389082916973346721171619778647332160823174945008459635673617534008737395340143185923642519259526145784074498616004520544518685595529344024	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003
235619449019234492884698253745962716314787704953132936573120844423086230471465674897102611900658780098661106488496172998532038345716293667379401955609636083808771307702645389082916973346721171619778647332160823174945008459635673617534008737395340143185923642519259526145784074498616004520544518685595529344025	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
235619449019234492884698253745962716314787704953132936573120844423086230471465674897102611900658780098661106488496172998532038345716293667379401955609636083808771307702645389082916973346721171619778647332160823174945008459635673617534008737395340143185923642519259526145784074498616004520544518685595529344026	-99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999
235619449019234492884698253745962716314787704953132936573120844423086230471465674897102611900658780098661106488496172998532038345716293667379401955609636083808771307702645389082916973346721171619778647332160823174945008459635673617534008737395340143185923642519259526145784074498616004520544518685595529344028	-99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999995
392699081698724154807830422909937860524646174921888227621868074038477050785776124828504353167764633497768510814160288330886730576193822778965669926016060139681285512837742315138194955577868619366297745553601371958241680766059456029223347895658900238643206070865432543576306790831026674200907531142659215573373	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999994
392699081698724154807830422909937860524646174921888227621868074038477050785776124828504353167764633497768510814160288330886730576193822778965669926016060139681285512837742315138194955577868619366297745553601371958241680766059456029223347895658900238643206070865432543576306790831026674200907531142659215573375	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
392699081698724154807830422909937860524646174921888227621868074038477050785776124828504353167764633497768510814160288330886730576193822778965669926016060139681285512837742315138194955577868619366297745553601371958241680766059456029223347895658900238643206070865432543576306790831026674200907531142659215573376	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
392699081698724154807830422909937860524646174921888227621868074038477050785776124828504353167764633497768510814160288330886730576193822778965669926016060139681285512837742315138194955577868619366297745553601371958241680766059456029223347895658900238643206070865432543576306790831026674200907531142659215573377	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
392699081698724154807830422909937860524646174921888227621868074038477050785776124828504353167764633497768510814160288330886730576193822778965669926016060139681285512837742315138194955577868619366297745553601371958241680766059456029223347895658900238643206070865432543576306790831026674200907531142659215573379	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006
## category: asymptote stress
157179632679489661925213837335147312723152779346425579134684729615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229350	-99999966666664442362563939149942570918601732216248419307741282105921238476215786798524849666550291337848139072054760689279348166535503898415188863645565870608725420072161888332480055034575324953074085882341771539325024294097872279290269145993533355953349068770181141806935357533760780082076166100511432835649869
156979632679489661921050500992802975696564160591085002962809729615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229350	99999966666664442362563939149942570918601732216248419307741282105921238476215786798524849666550291337848139072054760689279348166535503898415188863645565870608725420072161888332480055034575324953074085882341771539325024294097872279290269145993533355953349068770181141806935357533760780082076166100511432834989237
157089632679489661923611386524213737169689764106739805285197424927890820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229350	-999999996666666616522708258729628240280068389188693097571253823546452527552696689807017313722409864887579426958510947617722426126098011007671872268565102620350365089421664862873012673131606118362347433771393773231195133126613409402306317974834698696556192608885595287379351480102472437765406252755726579851046449
157069632679489661922652951803736551250027175830770776812297034302890820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229350	999999996666666616522708258729628240280068389188693097571253823546452527552696689807017313722409864887579426958510947617722426126098011007671872268565102620350365089421664862873012673131606118362347433771393773231195133126613409402306317974834698696556192608885595287379351480102472437765406252755726579784983293
157080632679489661923213972217889175519404332282580928150874304810703320314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229350	-9999999999666665848633905276863710100640648366338936519290848963645806415806107548875014847831709053655415791952471148088048074324302343660125585503212173010048257278748535968907236713085331795012146221795295781888285900677148436874583316206753593364078873660743091193322124905472870593836868389502981507750439432
157078632679489661923050366110061112900312607654929653946620154420078320314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229350	9999999999666665848633905276863710100640648366338936519290848963645806415806107548875014847831709053655415791952471148088048074324302343660125585503212173010048257278748535968907236713085331795012146221795295781888285900677148436874583316206753593364078873660743091193322124905472870593836868389502981501144123844
471338898038468985771478175663097601142869719283936161232179188846172460942931349794205223801317560197322212976992345997064076691432587334758803911219272167617542615405290778165833946693442343239557294664321646349890016919271347235068017474790680286371847285038519052291568148997232009041089037371191058688051	-99999966666664442362563939149942570918601732216248419307741282105921238476215786798524849666550291337848139072054760689279348166535503898415188863645565870608725420072161888332480055034575324953074085882341771539325024294097872279290269145993533355953349068770181141806935357533760780082076166100511432835310500
471138898038468985767314839320753264116281100528595585060304188846172460942931349794205223801317560197322212976992345997064076691432587334758803911219272167617542615405290778165833946693442343239557294664321646349890016919271347235068017474790680286371847285038519052291568148997232009041089037371191058688051	99999966666664442362563939149942570918601732216248419307741282105921238476215786798524849666550291337848139072054760689279348166535503898415188863645565870608725420072161888332480055034575324953074085882341771539325024294097872279290269145993533355953349068770181141806935357533760780082076166100511432835328605
471248898038468985769875724852164025589406704044250387382691884158672460942931349794205223801317560197322212976992345997064076691432587334758803911219272167617542615405290778165833946693442343239557294664321646349890016919271347235068017474790680286371847285038519052291568148997232009041089037371191058688051	-999999996666666616522708258729628240280068389188693097571253823546452527552696689807017313722409864887579426958510947617722426126098011007671872268565102620350365089421664862873012673131606118362347433771393773231195133126613409402306317974834698696556192608885595287379351480102472437765406252755726579817109605
471228898038468985768917290131686839669744115768281358909791493533672460942931349794205223801317560197322212976992345997064076691432587334758803911219272167617542615405290778165833946693442343239557294664321646349890016919271347235068017474790680286371847285038519052291568148997232009041089037371191058688051	999999996666666616522708258729628240280068389188693097571253823546452527552696689807017313722409864887579426958510947617722426126098011007671872268565102620350365089421664862873012673131606118362347433771393773231195133126613409402306317974834698696556192608885595287379351480102472437765406252755726579818920137
471239898038468985769478310545839463939121272220091510248368764041484960942931349794205223801317560197322212976992345997064076691432587334758803911219272167617542615405290778165833946693442343239557294664321646349890016919271347235068017474790680286371847285038519052291568148997232009041089037371191058688051	-9999999999666665848633905276863710100640648366338936519290848963645806415806107548875014847831709053655415791952471148088048074324302343660125585503212173010048257278748535968907236713085331795012146221795295781888285900677148436874583316206753593364078873660743091193322124905472870593836868389502981504356755020
471237898038468985769314704438011401320029547592440236044114613650859960942931349794205223801317560197322212976992345997064076691432587334758803911219272167617542615405290778165833946693442343239557294664321646349890016919271347235068017474790680286371847285038519052291568148997232009041089037371191058688051	9999999999666665848633905276863710100640648366338936519290848963645806415806107548875014847831709053655415791952471148088048074324302343660125585503212173010048257278748535968907236713085331795012146221795295781888285900677148436874583316206753593364078873660743091193322124905472870593836868389502981504537808256
-156979632679489661921050500992802975696564160591085002962809729615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229350	-99999966666664442362563939149942570918601732216248419307741282105921238476215786798524849666550291337848139072054760689279348166535503898415188863645565870608725420072161888332480055034575324953074085882341771539325024294097872279290269145993533355953349068770181141806935357533760780082076166100511432834989237
-157179632679489661925213837335147312723152779346425579134684729615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229350	99999966666664442362563939149942570918601732216248419307741282105921238476215786798524849666550291337848139072054760689279348166535503898415188863645565870608725420072161888332480055034575324953074085882341771539325024294097872279290269145993533355953349068770181141806935357533760780082076166100511432835649869
-157069632679489661922652951803736551250027175830770776812297034302890820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229350	-999999996666666616522708258729628240280068389188693097571253823546452527552696689807017313722409864887579426958510947617722426126098011007671872268565102620350365089421664862873012673131606118362347433771393773231195133126613409402306317974834698696556192608885595287379351480102472437765406252755726579784983293
## category: inverse-identity
78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114670	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990
78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114680	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010
-78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114680	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010
-78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114676	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
-78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114674	-99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
-78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114670	-99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990
235619449019234492884698253745962716314787704953132936573120844423086230471465674897102611900658780098661106488496172998532038345716293667379401955609636083808771307702645389082916973346721171619778647332160823174945008459635673617534008737395340143185923642519259526145784074498616004520544518685595529344020	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011
235619449019234492884698253745962716314787704953132936573120844423086230471465674897102611900658780098661106488496172998532038345716293667379401955609636083808771307702645389082916973346721171619778647332160823174945008459635673617534008737395340143185923642519259526145784074498616004520544518685595529344030	-99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999991
## category: constant edges
314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458700	-1
-314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458702	-1
314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458701	0
-314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458701	0
314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458702	1
-314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458700	1
-104719755119659774615421446109316762806572313312503527365831486410260546876206966620934494178070568932738269550442743554903128153651686074390845313604282703915009470090064617370185321487431631831012732147627032522197781537615854941126226105509040063638188285564115344953681810888273779786908674971375790819568	-173205080756887729352744634150587236694280525381038062805580697945193301690880003708114618675724857567562614141540670302996994509499895247881165551209437364852809323190230558206797482010108467492326501531234326690332288665067225466892183797122704713166036786158801904998653737985938946765034750657605075661839
104719755119659774615421446109316762806572313312503527365831486410260546876206966620934494178070568932738269550442743554903128153651686074390845313604282703915009470090064617370185321487431631831012732147627032522197781537615854941126226105509040063638188285564115344953681810888273779786908674971375790819567	173205080756887729352744634150587236694280525381038062805580697945193301690880003708114618675724857567562614141540670302996994509499895247881165551209437364852809323190230558206797482010108467492326501531234326690332288665067225466892183797122704713166036786158801904998653737985938946765034750657605075661835
-104719755119659774615421446109316762806572313312503527365831486410260546876206966620934494178070568932738269550442743554903128153651686074390845313604282703915009470090064617370185321487431631831012732147627032522197781537615854941126226105509040063638188285564115344953681810888273779786908674971375790819567	-173205080756887729352744634150587236694280525381038062805580697945193301690880003708114618675724857567562614141540670302996994509499895247881165551209437364852809323190230558206797482010108467492326501531234326690332288665067225466892183797122704713166036786158801904998653737985938946765034750657605075661835
104719755119659774615421446109316762806572313312503527365831486410260546876206966620934494178070568932738269550442743554903128153651686074390845313604282703915009470090064617370185321487431631831012732147627032522197781537615854941126226105509040063638188285564115344953681810888273779786908674971375790819568	173205080756887729352744634150587236694280525381038062805580697945193301690880003708114618675724857567562614141540670302996994509499895247881165551209437364852809323190230558206797482010108467492326501531234326690332288665067225466892183797122704713166036786158801904998653737985938946765034750657605075661839
