# 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.
-42875090562138369013382363875504123703514032175939055836871566033776337532755135944468429071730869002905059714747732337531613514454043698960241390255477649737171168917009866035498389315098923479704300834053744201734489406794796626930222039048009554849069742956327744491042326531071609542017873253383562327496310556509717316959173688673470382869091123706110226427763751857311209988525881674000814842751274233167289088498209431316794880732026781753003793914811330223480778052983479756964094070465578261842516467437435405955077909783647440956025549073868685567684448228279138981988311415671483237171585618099283893441846955	-35000024642741389443423962747897414800406713603912737042981366036511143390739146223510366327861391972685346888685002527232052781090797599307943113090452775863702602702041191112779305426505384676698705835843309820202040627792053567448517854543238001003452768019844457855410857296144292977649258811801085001719872673508898574614154141817984793499044931353830307209396994927934302270137557315712064423702026833998174364473746732696685755530771837505193738238342655561949238634213917952250292937085611692300542088102390487709735345775752912615052411906882969036854968280355807131509626979408815092356717859785332276387141
27000043174538594843407695650013116416143154332995483853010732994380483793976690149140492613785568889440928874020273736629614135407673218431894371242455934799581315926776272569169617865140492783027429920659362516436832344451377496801712960797823551022635786356701080370318753215045794126476840684104495103936675775463641287457749181275317850175584145721570752607445052758619862373585934914468481772386902661897647226945155339221213331746676955471551346861254210745878166193538780537915581237657682490162367624418290094910524309794282783386836767335764689122303200534845224063998897800502888117346616149962667784558807891	30000015990561326672103761014711447147729786210351072044064936741098653272971733233220802561949010452767194221227290782387139210476512271469649941647932474940992543310465645207263034461712572216052604195531039042743642948315546078706295266677034076642006238758059913603244022405133680931195082384350321910393389900040368634121470433052978414069277051044690431476118032095676576926494308574508338487968544028366744943214501487411982450318237725988665787239167676891223650920395706972072609409409583284003218441547914386929066299822276264112090373045946042268819250532668332392215930758774502755386938739740963282340197
-262144040828835748525313541570614492185731896784872767399657538539527891703684712356815111048985667056850997036368176728755710604712633768748949927102562474186891679556804789286292395974240679634030679445348624013832036522805947716439632399462783403476738445891584857060242451202111156522942981740837561890387164076282049456009822064370119865863426987868807751623198634010653935561598797814096789492406112886122238583936377314182741147279529718476069542255879980965485705586753609865223608290155077082920183032918552918408230341488307009843201987000786389312210841417825323531635731385162505677543230881872998118709319381	-64000003322658986721454295846792228306297814592383249369275704906280972418021733110704409230786061386393842484166009229509764538495246967055692482597578719463608508019142890384869216711387947359855635850929048179268014401957413865182122317434349304808515351036728192108192400079684676395334039216380203478760681890468962606236680013766623966262219990666938013362526737431163872428415258848090184136068485136775322211373074474772713513771951756706557982865859032545654593367338404860961503307798884465234356426412800472581887616406481774596591859167547894157299288744331599891832007959689895087583677861897054450242755
-4013048773299594309714892980102615085393299957725219875459785457379396474989885093725584304757893944399652697338673144684105726544055096890047966786308914280220452799929396768992258035508975464472508497718010077695487655699977594266946976876366536843746397780634823503566404470380696730650154673558472072491147660628779519534369817451969820556911622653298592792061329461581490504293853775681030262241843195745986202104789871268864942960544402039080729570395001937545077346280569080284643726252322397756503268726706306518183110304139176699482039905746136014245350038662103297464939758875187505054339700587596666224305922217287598788357531599330013660366646142293021101807984522290168785722594411925048352213220251248310475656038755265823954466864715996372156540974380443662847774193858106376777344977925281253137038751973050561213098898804153913190183860990744205897074856541627916261162631635630978488447578865103000609064416205980351985557909802787519796235054202043234333251776687501610882064962199792281644047909188916202247368574060532956837845281734020712591669323269095749204187244578167291496349053054079435627522216180396547656061750137870469428274376575803626046790483590650476772268328183614770699776114234139361671795637	-15891253147375951758905486428968122286245997417002204706442214526543146190022784175358565464855476867871286914011483438743165452547709411175518349776686824920287393177083524710631548439816081138110369938702217192536055018647531865522393473002340993861049482001426006404489111277528867043886840809031865202624670223763757060163731058051647781093635705489712510443766830470072863993622155994871953111695549203728723121567309839866400089536486996024672107970077570955596647387357805821872673955187456526709818572724646901663949345468887904126127673143154484483235758037723646094318227977268436024079771595834181080121747299247764404605209357755517906405679913269596575330192251391936432336889742551550083842601137770375384853321693936177514240394574900439395106421297133109428999815822885719922800180224718365067932668387976
2144642862249117098909246271109219354865097443966280776359085078221728348058000450670067402600083243280556266345347893287000631357034365421230370934042085071796809613277397814564101897476177933257715658086124972444588501327455305940878339608667668236525793526040618005132766125282100860076211762700849341373647899600338221263508982139436747372088540168781742923632637898993405781303340520077654603557212496733498359426412716347627004161290654488638981158091805775877805936291491094557818623981368729046628934609634010920573963745193636266366568450764305156855593179660927758326495007921186017958886826393402509066873700554008878234526983238236908844091954277766658750413234262914315530286997491662116900022704111379192939580965383168593302744242000006915163783731987496517500739553279492524066015448839216080284008583913229501872487078484276469288783754857540343373422377588017353381226715435661325993663883427993854493305474585686007598814354080602157994252936923507115658798550393118533425966792434538408822323601199601133123841286429743964906668603194264063749983465394582954888950541349477397792096789599101360153866537864487547708773270673697828889418682445149346947499707355303434951125447665902013097728927268051249326257441	12895900109780802307975130768548616022335591177639572968549473926739879162821318155508059395754727494335649541064333055595772055050420462721247997621283959805950749565044536885258904429340335702288363685518885436916783679563240524572524116345686051058421590729715350416219529942761989275331698188840378828750451988394378543757997232922029223168675165953109465583231671168780517313384809912977824407657389385452567814444923060117959227385372424543142551547694377501802781887883480193864156751309359481208020175744540135500180503106778139666720016896413578988969980737042891130157753259519034893659895465612221765270957344375440894203435766433345229669169999536070536856662631450684478610976773765894217830215254424936326644653936585685828734030366101715278706784125734159131871907036564376338713890793500901208355858056729
8138619372266947690110308890742113915616917353842169493579301308809458893959621447757600176883220494389924963484226803930050803242758237944340570435312308214479310327882069579463579011628697085916563113913426442667115701940246436485495138935308047788515516785037849334845004591029893005279712457584597108018686991442896703326091910257641244635250185563231271593718239743005440357347505941025125692285998992998123539193525141356128040244547977899804871773417131137931622456825563275711269007899274306707713019489007652577738048963176969613347721759501699479225260565955390176193454560073266200320077256673784071729954750715195308740705485674671481609772970675332688891720682580213325900764378341920207370923068927900454143246246734163855549623659849359677761332768002250811286245583689472510661668262403704861416780383923083494901127855372709021285944353900578866904804893083724243556276782837798954330532022049787059122923337961008343390785790857302342612914589781667414020004502364956276005167552815244959698051142836599384956655473839769276064093499000904066993841330241898707116285427800577138018354121524092969348968152002371106533111437303374517570256723260543331760842767622801395923807097246537788733771933057771146834676150	20114855294010172366135370567269633752024169922688635010326482483787300267076589710178481555426813981692332157557645866801443778736592378727297471512631662512925103718607791936894521708267524680986856125806181848764476461408775326804918608983612484893010519030525698225202773636279945915302633501869491918251178096272927970697167837426920953102608864653663443668506338661657182995697211765775818983716948682838345253420202655538833092320777168604491795256326905899480265909877051756978812624297271456482870483481751026533013476547250313887439384101717058850219042065496934501177637785685634243451896307548046359153374155880907941403579056625570607472767208820921880016527062773786571575369664960468971576588781947062197625486559961684691953292199905283661511758290392214520174399076020466920288774837163473161506612296038
8746408677798062840885226264072360089285906336692087288721683117652479482726281757910827388957918847380278445190918348562303963218013471652495408185510750634514127200053101467455916106367729189109890659009930950344600352869195451470648078231267834225782062831298553983128738785972447728526356036056954099750819521133281128864828736137368441187132132372738320765626099374385414849607827598503073997321951012188826134867853186473243825444441674966839164604049542816742650678726076351150492249796708361604098605388433646774834669662591795279610724498131642272791676481609937148179848478707697758251627805885455718713131672789390627868382067275012351004085566101817198640088495825626631271715780977155727455610304706669118446859596731385853908133317149643820206059709558837034449819122228745925346729588211848821772013333639537243169593083211415315084691066685113715695075135959225362607417591041136061330009648058556314704452450091849621742424892181268995680272410484433644287351880581933053693212283438476055888007569887612365759138665777204582633710756130327016921281869435129512591515831254938268009924376457531370030605242032147539602943679093918318809476658302214855443793578455086364676703323929142413185344360304126431844460277	20603606901176239770935621241988857937828999456195545386133812266921564983206085863776705121762144741303764987388962643549263339779698028311934745755180757149421415396397526430236881758567861626924842135772456120887233858313934334916278827921366902664565554251755111036113663177517648234961250427284003527472328356339357655920309979316614839397665526684990885221875803519889170352158000995001124740990413235333844717242892685594599453974840998714155675337727797518874261213148281140324785914923556558657117184760423126425655738632508461384484707105259663058123479778513847294988967072690175925804738885121971058198033468445367556122140347807815269065555299169852310146558602986968356467517704318068105274591151828819185049634260460716785167579693935172717641900568084374640148871732107931045845264707668115594940144076664
-7137054584416087689964471461682102677161831357739187329737635842940650803529765276355925721088989489736927389946534225182941648157889609034358391402682766615363819898275179133338532314647983530462392601662420022813868426124174959032498196027232424429812413471624890352012926089825207187916743884721099090903332295689111746832025404047338259258528209145958493598242503101562881530605462302858427741140220619580374899344407647546844106715805492420442865993295934548000025951360527945202674106137170789394233516719995549393154438410566792922319114166616596339591024216417274320304913504792378543290648428140049883818518843332033232491302058961432289049451238197737034217776831421584674613681852481697908428561773904481332455446031477727916797523118714012704549311055887590540331012738723155474179607264187182341941709124480294951169571682510044498485703583599661409460320032355777095969754449011549823919769053016572778454144979236973461175857881353059809915872003746931280015386098033131562962134895879144136530158527290988353695008493866505332144944631081346375761648956044041127359474083451543308547047477886294335602048055414409909587878945652973179154282506928205268411057916529167400209593755797889832516481121187696100359243599	-19253351491045834186872157245492990027719568546943203258263336864871079473543939256113161006675468881385164609661932186979308767638297244992163179764416079913384569591457500637193625520443572541105046219639284792501404717030119000102480388088006058185141030893993072338777659304696713596064526346122823256239753678276085544579416101576363269153188644940803751282766062735900826381521641326068977435898419075798802813369770186386761184838095928244384242763258000638323298823951130632634202018434859969757719145843871904842518386172989168154233661238288521428179146821499326118053690852189390960971662247769064846931710104920944995277471609744170056888121832594602594073236472551064532515548468762194339783387977124551685475023245765981956320428715224098213334017139122389175117524610338531101767463076655893653722183027725
-2987473485358782628596090429454408668394877657141880178696897344285370647684399688213383934152790634902578124442236949442387396370974816798428068228746257099683686518703242150859673791910262628048812914776328596987337932104465127286792611326167834471126302039130168046566982712065697972482699197409577929066125907615801746520814783034052450930910300508195623048950210924426346093733002827092757486537432340179448780990423406019555879109600349405111576105636936585045812319701794114485844002098311418800887195334686564854453469139937159212689113287087350165366840705935672662909673897151572070300450221321536524708422151987440455410038066414033785010770412400235534609994695717182444511415295055358844508971465713087972247275146176895356434661824532802191661605769139471100192441341563765508131349324681694547695518063133042609308811341625690182570812414369864346759661961210120397635100219821589701611604849255106067926082900766497556692508408689355655997850813280477223288010522863941883870625910348693193175600541835158556834245714675443689896761766033046094879894289774514173728287266658047066498881781581236870704171209003206067261952291882207219198359573373531852743429944030455727196734729053269202551750208256040301834534009	-14402393965025240537089008318691710244620692116993961574395772664372462255024302905287192111025753830676171388223348048979123198565097517034575790429719861164729640967247949968036257171332722681438764151724402719022000448947545427760443355459914316504956290872362328272376224334776688211016828124957317450393985600072010676096527881869655649765896531870200688705720945153899328510721924794625422540676499650936658176641929499789250201906111712678007335771592098030253730476982295353297091417942701327348668830528221838281337417391096522093613801071693893994590235105846185222965299689509283546259993738772989384641994893067019656537287998243335706663000328402635591093174256421722468931747711753002389773399340214920523592101104556263470764380956837570577220125376576222648264126296352649958126984128072961447059270557236
-904987076275352740211712494155104734917188502412593174862085884637771125239247666722889214184932344824385035665745408134307224652306766951478731846467073210807891480862546677032541376249074059139057544636248271530886157485926372065949021072618280582742927930715085663789438493041674475291133454172488319450635863792641935364744202212832643098903344293266172936342664486870886919103982147302572035525316529388508130129446713205608085920122001060977575039100537790891262849285980575883387673750549490516069970073836060038764605229536616871315767399201538469782930816092632552031802117774751460990273984635644995178993579850	-96726942272384594956145315084649483038421085498636555528643066830733659469050956977048736387346231684497808974050559842001634383021917881212097833841601562528169610005295064830641972548795303788526071464271390728276660553601179820485689455429762816282984525676432954095516243220014857624924500666847914961924928437695220215140877262652559547955831762080677284173089036173608243040769752140914376211854173543417222464656465842518498820550887491302956440555210654326362576842387084108313886564437754043536531165492743542638143688466198870976388513214246399680470306155389715304658400064405396622506125424219264629291167
823919711930114852464538111084362052750226901355074169302955142557130800664781518489687664375416288125302300031320913870122924011702849267563449353961017189742688127119759845440910925506078286128405006187977407868933330544809317958963147723683995065265907265717568236863334925593509889038491564669887542990758470439092401333860900014100324113711574933331572671335789301929815862079264714900652053960637197854473823834577941599363839649020183603594683413345815052325273195341227189148767320678404581782219922617624613759949021653282555098029283938198628498086202081152717027617172636323922520855474009015819304203627721351	93747917917331377729332645299701523583689839467199381615898295927166776659048024556746006870616145844030388834823758608078914824219809543904974586446370765442025312580745529179028722945934563849794400871864500077305960118168975335571476541962569319367606744923828176625357615574993493370457106654252693426905097951895373493127757600274686625768322207946248142728335193515984046739049041573940805546351310839991413409596287228662406572291729460917943391030762167650574200731705221406394437506541273752303803954432995812244813175302230802297349399254931385950628713295875102546591457886475271216804973521684855378267827
-836539934064592142346402749031517738868755843521145239806066362091212603134485920528453398731480354385931947077082559879475698322301665152209365326575635498167361004663333857486141736713902852954467502234174883216423637549668931480991569194992698500014873173632179810181758549041960879477636662465672218172331076358368979633791869302459118777754901875982882570560789800299651845818788045396426603684079907876420258459811406967019704506179100992974575871983081536410831763019717406033370899179774979617398750435300648129538503008377035836877986011303539171150569091895492934982303901714971086692388957476207294017213026108	-94224149474886564312936385716639514561426495382410369665747912859267597085065246972737043168188171776535980309120339988558395151064867524655561057427110978992840694443989675096136637198374327804165592142342854238613780342539742797888450674246489223442166613569309172989824249731356698281073910204804660079425308576500115822412343102124395498385906885384767461587945582120518668138932006860357167659278110072739999022839786679033026380150654194749972086963262916991300952577732058926436820809662936876484882998958875299220503051709538902784737396667999673329514948360122893798487795160655551370260158775319902057456339
0	0
1	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
27000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-27000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	17099759466766969893531088725438601098680551105430549243828617074442959205041732162571870100201890022045032893904540180871975766468007853747138938944150323331560314622649791507043419693392331556442948853995290819827739186320965662995758780116286757879110052836352061669998102125155418320247714835878190657484446984173464201963041298204734890260768230890717312687715144515375743439720227229969986779233907135532335626211152356872998121516645222945037398063152646410143280889227495462756894258712974824203363484172219926324065337546466662004304915440060892721164046962824861310786044175779997779144665348074625079926299584741830468405398548788159427282354748502976167685512496004312060609470885587942956036479859692162581748126195221402426628344487955972210047807361025407525208879498664957034983029822045129304343467219923
-5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-17099759466766969893531088725438601098680551105430549243828617074442959205041732162571870100201890022045032893904540180871975766468007853747138938944150323331560314622649791507043419693392331556442948853995290819827739186320965662995758780116286757879110052836352061669998102125155418320247714835878190657484446984173464201963041298204734890260768230890717312687715144515375743439720227229969986779233907135532335626211152356872998121516645222945037398063152646410143280889227495462756894258712974824203363484172219926324065337546466662004304915440060892721164046962824861310786044175779997779144665348074625079926299584741830468405398548788159427282354748502976167685512496004312060609470885587942956036479859692162581748126195221402426628344487955972210047807361025407525208879498664957034983029822045129304343467219923

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
660283381100337263031696545328783995176822146712223346068389371632846929509794577939571349677633840553355232047390934358636029718066083783898632569862218476668259122140089078840021833733131741206697821538940912817380534118058876615361815345503929681286496009332774728287870339015108493124476811798994778282860662323028008370150843531708960909377172727963977731715420387049308528204730060847933857634376844674109813792074806787539536736938712903838433085900161868713885979212814409813002684567359956038955007784923084140659895323762437552421114218037101166184741357692496247670097735588846932811546024434971144578298536906	87078336150940649203884519016069238078652851764745392217039575416081530640696150388479947166245212322515857832827820900568859519344860659044523325265795897836867994049783336240438830269029713881410069048523030533642991892083309552115678524080822881202842867553471652878960181939201023317598468965149285369869520120629555170301068622647969900126246160383695317157618616130217255826384675734489743309257087222512454433492832856705481814676316777671522501117633737232624131306989759719434798486337724641537041657395295130073095096773713507091801102504421694692908178537380054485484043802660270738406728585413853075340258
-548010513765838335721590990069113464047538309288058809669216120061057808758414710132972126190119788067077735208876957550071462993538158014354392621433984403601207076479195327293335161860954821908855429581101265967632689284582039362968684802854988308290899343221950410830439358073331487718867203038334900502821363952413778897948254345587579847728888817190830799389143364072281652628000378669003029827517629502358271758478552216555150971660831842477597630599451924282201916335797368221858827851912939352752583058729350167340016667988607092733561317854750026573330096614421159848836769200179684063199878854294150756960008921	-81833218105283425117029316868953896959841807465875185643606250142100452505716375682933544593765075692373301748081580566086092516347941227083237981010563720364687999618359638801381878498911554189210453411075472347430096124067058404015909494501420469004452619970581633259880145840641749402632990530857940184617116490220043421951267045608699801593563349011582288769285321419524568874376952743536672431653773755385038975536497602607800995044096355339475562129901738496174367610700717168918670223268773562811369890729685841093673172250850257646558911186057192926978819846025877453502851209592139056362551163862879941037363
840338630639665075075902126284967204009648461351527315036713638756786993706109063607354147778852225520569848786233105960523065953726826601334320353751427467144830432802032704916445219280968356787387113918874551324999608042810454757350868030892021786711322438966809228602676562705783136947643126190505269649484604237285908467698727124885730413448663880966897363901451415109757217703760499735795309602072181060880857276945231310387045876434110108300893323833951478985682263650282442376293818549519131387047810338258125761946799486561245843290067128149822736432787387543246976759176359993710683734453133209412716668717160388	94366556916673828257407281307798591464567311335054272878166979955797514049581835124204003552737001742018993310188221607010579550141499993631079571353353320151557292470542074625306005573719412854499499321125024476668795742400260594882849107435046727459194435631555964354956775901016014716380666239469833101653111259625824537798723267357549920821867537082339148194297312005989190447248716347826157878372494024910297693465636000867209282580520528621973717052341110481164943878622134118621157134893965362609292156021834028163467252196967268501226406878550698712581493003439980266887838587065291967506779743258141653009868
-328562512230529274866104711522809829845018996205502757626224920373592288941074050822074936374764985958827907229435012502653322481596282242009477585480613950892082647292629011700887386001821002478539787292999631896738435386292876549771113404260494994217136828796360641469521723183931825084285574587741292879066803480369445899573670492279730828176843286219846596140568956575584875964106215050154672865502139031703206482755443917569299847174652269190611236982345721647322352705539671970800668482417166220232254533034371131903223067618577732342589787809875624690451119195487049765892952408353100995608352333729540718703370525	-69003746364571900864954421943749076941768478004023293916549533576890098389998242335430403757802680785205133792127454748200932121441212095208651652324864722679328397979825444970230636624092764380203965586943817999897323061053214789002409747424257536767067944138950880762265993182464455905584627758585904648308454647094004424457331871889134294611523525326568594136317226976426727054846527034545719921472962840858714421893551992606236081453908114397856008980971160209828677874224216950715853947556925342674194357265666763879757959512844197393162851018900329430576545840579102656380864607858271063006423588448064133432230
-175037296465463977692540329777901408708308109360519870391778464786678297929105742605507160770759874683837254003262060740858379624474662940130546165498124493466549930846718267062029456999405268457235024928527306057014992090695275187131566706657076933426501852801772639458219387475179336740257518029165539600582600717883125229099238925585644268972224131959483422531869275968490122147044028612348690235958799665113689955769605841042435967009838957892347063458938814816166519834055194872685024468881432096134840097100389815495120959110035864839599617040726603483135036437840737854033591921053657327075860954904742675178630878	-55938420454526511694312842915573705403222098730807522141594162409719085927420057075705554513060684971274532017569031951234191828010925092203732976699691098581926221363206653212476790560902697139164458141365719527370071880168950107343581400944146629311921081178389419999450604673523736566795939836211358895325514622645251461423386420119204644040109341330638371247573510120137209032235723038449263084703765178214861416738034761614244350924262677672890656285345283292820227067091961895460364811173715244199424752197612913957058895663487750007547818456890330019795912551130494234690824509132157891403782474184247739116764
-69668546289099961767935240314708338382861791953898210683761782114780186293574498649843641542085090270488164351124595922484965364464452115800568915745941192886024525796995750417686510527729551801139189281508785363158102939513648065844117039115807656091372067538739190637697058261875993436557883749824121195063359669100991610537438659642437512795020895210699577982810710287291939912672551999680820052979470331620417134957223226322617251623089045746466696265620605677946815714738557268549663861056460802807992448017026891080016204300130152584129535925873456212941750760402137524689843216352274502091762632648582541563934927	-41147701710105893090336379703016153996632572115541715585739464205062015296177281909453495724873665112600716497491415689991423691242680594490163138604619310597275718932096171998805423305005258525674059871080324801638813571562729274452763717132892604780252517543441798022243837255131790190710534627564049304619538392794809863763978336091171993218129666236246397920951716484249705764226804706272780895616083690578859255722901172326309534377664417953964297593110529207836614588346184293749396376795604187909657343257563291340600396617454976505112369833883756609468936892468865951345511905504165667734536475729283780659247
54541589831726656655187536324785741123795366096759521656140069012954839848965579507976330469061107929173834051067954496343750226117078872755562797735199592998596063973173498760722363405266790644217645506635649075519255956966113635715401803720237964580353480539682625452939950517748471022533068443782278072154441919388764286219378141105379612305799368562156781667678526559754136573477358615012213262722339505241418080413961804825061454365165552684282821584646525628158889785182310105332292997400346821421988500576612344016692447351149320794781353946285633631882483548939608960300974205575578280802564433906544380699023717	37923574427319520596912886106085229978652517195036388988915478924739643072492171987110718399851003008305052509927819184544621409366839399633980316680721846407634103999185771715668193999083626729244856451149035808147545865179080070171271918110235061348421297144438046343947899708159508520454336036964828760573885702661310941791784839891304980710912239259687011344445000279576668150485308909159093331385369359886475718813841766078127425558902334921795249936825549881906229280761474082047599508014627871406851952546109598463371049447949358210970322863749132703333146644979293309004076273464902869087420925898574345354575
770537500500171132852726775126325079988375997606951383252111000881905089567704840402924568722020238104066943300657834617846822217164775159383295562313850117691098043444235462097504230802027501329295041490504810251292307659042124824610369618844629544484432125720053893277229946816406590840782918264522458974784042980986284420709162480887602894040818833643354986369896616215446637292712212030078803523907120013219697918986587357352946828162877673799929763663334609563597848702915533021685085010594380849205456373522359044867002425553859899157988560705311630029254072397582749419968340782928006987433545065578708104872952131	91677886617084849390053400539539445314942200147947197521347873378835435421263876769814972820307563330446562648072790656996218621582816203840677645552627855691767096095321617633610925059034950709393965407420448215110829832727409999179933116901650973047811671906863839242872764217162866629185302883305537575958377468027033567066133060571148520908111254320851925489318940066108525200917559135733256291783014548077185187727713542096905532546722027748348944149690490961464251166778280449131119202977332526756777209966186186802190191371804438898920533333081260632823570822290067054915084685723992219257818699484170408457348
## category: catastrophic cancellation
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999966666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999666666666666666666666667
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999966666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999666666666666666667
10000000000000000000000000000000000000000000000000000000000	2154434690031883721759293566519350495259344942192108582489235506346411106648340800185441503543243276101261220491780920446557505100083274957120675377809331932730583653489263828125496931403878382796863315161575272569377837293497068356876310188166826614705990334504943617129352549616909834741397966973692592197124914675061414023456330885937753457461364594214216729489824939827954209475945470892797630394240681967269689955205082440519
## category: inverse-identity
-125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1331000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	11000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: perfect-power ± ULP
-32768000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-32000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-32768000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-32000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-32767999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-32000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-512000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-512000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-511999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-27000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: constant edges
1999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	1259921049894873164767210607278228350570251464701507980081975112155299676513959483729396562436255094154310256035615665259399024040613737228459110304269355246960642616625000977474526565480306867185405518689245872516764199373709695098382783161399155129313695366183947463448576570303119095895984741105981162907053590816478011473521325484771297880242208582053257972526662202669005665608199471562817640506066482677357267041948620762144296569420507931917244148092044823284012747032196428208120190571418899645999831750380188868959420205592202115472997384880260736369741788779215798467509953963007826095962420348323866013986
-2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-1259921049894873164767210607278228350570251464701507980081975112155299676513959483729396562436255094154310256035615665259399024040613737228459110304269355246960642616625000977474526565480306867185405518689245872516764199373709695098382783161399155129313695366183947463448576570303119095895984741105981162907053590816478011473521325484771297880242208582053257972526662202669005665608199471562817640506066482677357267041948620762144296569420507931917244148092044823284012747032196428208120190571418899645999831750380188868959420205592202115472997384880260736369741788779215798467509953963007826095962420348323866013986
2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1259921049894873164767210607278228350570251464701507980081975112155299676513959483729396562436255094154310256035615665259399024040613737228459110304269355246960642616625000977474526565480306867185405518689245872516764199373709695098382783161399155129313695366183947463448576570303119095895984741105981162907053590816478011473521325484771297880242208582053257972526662202669005665608199471562817640506066482677357267041948620762144296569420507931917244148092044823284012747032196428208120190571418899645999831750380188868959420205592202115472997384880260736369741788779215798467509953963007826095962420348323866013986
-2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1259921049894873164767210607278228350570251464701507980081975112155299676513959483729396562436255094154310256035615665259399024040613737228459110304269355246960642616625000977474526565480306867185405518689245872516764199373709695098382783161399155129313695366183947463448576570303119095895984741105981162907053590816478011473521325484771297880242208582053257972526662202669005665608199471562817640506066482677357267041948620762144296569420507931917244148092044823284012747032196428208120190571418899645999831750380188868959420205592202115472997384880260736369741788779215798467509953963007826095962420348323866013986
2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	1259921049894873164767210607278228350570251464701507980081975112155299676513959483729396562436255094154310256035615665259399024040613737228459110304269355246960642616625000977474526565480306867185405518689245872516764199373709695098382783161399155129313695366183947463448576570303119095895984741105981162907053590816478011473521325484771297880242208582053257972526662202669005665608199471562817640506066482677357267041948620762144296569420507931917244148092044823284012747032196428208120190571418899645999831750380188868959420205592202115472997384880260736369741788779215798467509953963007826095962420348323866013986
-1999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-1259921049894873164767210607278228350570251464701507980081975112155299676513959483729396562436255094154310256035615665259399024040613737228459110304269355246960642616625000977474526565480306867185405518689245872516764199373709695098382783161399155129313695366183947463448576570303119095895984741105981162907053590816478011473521325484771297880242208582053257972526662202669005665608199471562817640506066482677357267041948620762144296569420507931917244148092044823284012747032196428208120190571418899645999831750380188868959420205592202115472997384880260736369741788779215798467509953963007826095962420348323866013986
2999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	1442249570307408382321638310780109588391869253499350577546416194541687596829997339854755479705645256686835080854489549966425423946110259714868950157185237227090332023847598445061085540027260088145498872751367355352467866074715688439223318918201703899823822332129616635508526267349133501665454895788175855274175593363131874146720060463846664756937436419755574942490682081094267123590626576368964637361617821655842587482385659523587190319610407139530602810285350844363803519455013380915222390784989750919394803653119674345706233811941118355657692483200123107015915332930042827066639444382048001901224181805785118027863
-3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-1442249570307408382321638310780109588391869253499350577546416194541687596829997339854755479705645256686835080854489549966425423946110259714868950157185237227090332023847598445061085540027260088145498872751367355352467866074715688439223318918201703899823822332129616635508526267349133501665454895788175855274175593363131874146720060463846664756937436419755574942490682081094267123590626576368964637361617821655842587482385659523587190319610407139530602810285350844363803519455013380915222390784989750919394803653119674345706233811941118355657692483200123107015915332930042827066639444382048001901224181805785118027864
