# 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.
205208905749635412075481030799146883234491071717794653460781337126963042669978964402702541325691907680107574883860277637687581881462799215059359425606344449820188938372651121095879105572712605046186898254049096155496199499755430798403432900677312886151731404390603822492238134676054088268376751331814770691953559799196546479476229345508961382930451378330764907429025268773245488040145986335525532787282512557127150178799467618419478816473717870219060535821070108065666173567829133143275059373434095080571969846216368771790814068273257558999302019438911965523174764348085417770936608094874984615276424829075777064822907171	452999895970888068454030645341262592226433040469031998598756672501519871628025040222391182816864366305355673484670444408572780795350650890782378562856484497540802795443860995398732405885469796070788386304617699295720163738533690506402577028613763973482307027129832033083669973910811675839619874486846355706998923312690001444552439557487770172182466910630501310886260346221740028228846191906392049954281532726090687019751709423193222443714687305260615680051692713830712033536987746758348437829069470858195921516152340296756506965424975493576453336697503061881371051250822851927145606142511884348366156954151806769791378
57121011007090419892950946962689550511158398723455531912870475198022975301738816666123880338480248146493397496570994477343460588441312743520430828768677420609884891213096098671708061589561651482144273727052184970027666944295990952212937107892317616559170861941751263185524379679493343697595865299378266500349383217267784601292931881076961397449920780865774754637170057670614770024705466134088685730725193575070052813470377779263700391987066884117253238812139706013479156731690848229955726930938456865599577880625510998277790389572751906057458357556399512749966562468707606263342307106245306291384507612922649762696783810	239000023027384706344151742657225865222210456774806248900978538891975432105669107027459148863047906609356645185869443287670247854569034952508186673004322080985411610733406394807072825883072888862909199759772959249343220222862532374269791226267564432556850910745381399055186139409417213017368229831891753158904249351629080264131407891209477940034645782194173382766063649058881582915276970990453350215360365287876180166712292998384839833398025943065196372466548539713173461314066350454795367828694394631207454708673892793755313190604889593008102147628949436297457404657489556559814965805139322356565751057731662644123174
639999913974824213414186572581031240247901071718465578078592832954502497180047490690778098249825886297670259451050758898924047704381732412958828679187208177045049343986785761246833396867542932157908326728955216372559040920457181582150455923733481028922256598142963459113692532117380783703140745743210106984342118835340024874391640605022883721796851454798840465229450060285274245334315973136554365841158319322469285806819235258749971603383578945094352725261400026492196966263808221752995143030606187032830985576059617137180965645212416277902273861168641027957527420497745194954263287240793779716021049795699610772521828712	799999946234263326662341591184385077203012732081555294621512585200313552119425392939670794058071630365191882335577635142623534985457028967884474553912639060069938646951802163206359222327680680400983806724405293430821248657797910517576124896690165139879306979492272211105516678710177665397274686648481937244146723505777747335747593548633320638227746626203851638816868272545960777938737090394703461407979084035743215757993020659666229414419957194311003480648945229473764434467326738632783436762222662034612845802685542171002991603065254645772884230046741884094379841849429910875297502532058505497904294270795548177753739
1121069049400214824263152335020406710244103753054334808259813647385945830904301394444432732353665388585851517098812238696466517564082427139780320792404446284737413055155475414560940938434855675636921488919354300352029677044445917177086145399094219535787209324188170573767773321734640419768155304634866188201784767532662118537096448436292163240191286825191568050920233719833800449259129461661263189014778611076700103235239935365936250400709475107473304287643403342034643325491201352336050085625416832642120245176803218022385650616243307393001352747443183670761331653097277118101508605948115552887370254333007891286392266941548694391087335295914461374074119207208478313553396876405456749622889004646016445068083685762355192436080421356795627607601784739036554920568939669344940939326951405334723908834066133223430049288407270509559199687974713144821025912883832092289098213263317477214534368504389821461585382558316621569173584837327839915717286128363730546871614166906398651589396376348800032958518904007101513837923418460923337091843876415620935809183824188096103468579325898912036310880002071554432650033164321385576297730578594146503771705790578425291960548062174340502271950543232249986716866356057587434333875108245708597111409	33482369232182701444368310453417086362961366849887365952047191339960553528638994407495965038618454282432505804006130514528026882747765595312005270486094848000904790811913929910048618791030394221713691660545921747572664688500770281763163521523472267731118171410791105803578369713086147978880669306277882720936782959927037949692943060216912648016775596090169276881385013892352016881664294732634116130892450944653725726658509016666208546781153855996264927691824406968878103940529817499552899953793318369057852098225807603653327186435720784702479436025092704457650921843463411637882535990446811021160820243046084697778863569064544295415557049690898263400273098695478022766469879249867848445748903224191010052188765245968870192090325422821433649474648408428750085226738348979134479060014650313092193355642960795670634626127612264881764582985493608380769932538953881293548786069419660125797659986008026746931249371981466596354569
7869757221269358873840992823897099142732484618417157069883911057582545800338801422891394052741212013952142839913588504804820206866222057349390697047506023495251218585923937258680587737718803155864213325668659862888428318329714339447825878847532710849870812803720553178110625241088162745641073602710338755627283417036124464036365909915666036713741695259057674193653523288758529168351924028018460881892077166742292992234400140904634862459228842091832682979505630373462159129851032594241707669618164178830207989217851819516033537650481870309685389203758344584905540039027634388379908939626253242128789449268736998684210041982354607280665015631689300692377351358079975691102392027195368921684568850853457987966077775090027647615825943011898048529321171487632141118892623487796343222139622719211788861436410288961771314821846108459591070765473912326308260651785610059486752043846625130530229238796187721545767305759089032038318684019856360907529708062274198515501694364557885345496400278227604113528159292121960637077341847156511280977135879763388764581862247983375227351835714877722022729185663616087801262873593043861579256383576496347679346842076081528929873692376523053564595934552777871281710195798753446109037847145821043139556025	88711652116671566775854531093414968075746114917123468064759381326046564652125693862113793950835844095706195811706056046506651646648416808306087692579814397518163711703225828895918376296818642123478138532988955690889300818306883890303308925007606020781022346848663536779940858711241605238348289011660045296519648430331650560014986131212045251077921817917460092776141070131155838360128544786841594476279340941349878274636365324935213544380014035752146622609476107778808633030816948078516385939364600570996912675707006969038808455876068291951684562011320629708117318647198513691904469218485438254222559587862082463534758692131785001023329611437975712919068923482159826216762543763007571336652352683605284796235041395525860295816281881835034270977879023418569322076189115937299477979403990118114724849964858333944434400892956042325607537777426586270252650835237602270794431587988068461924708626636234124390133189784688506199563
34375439286361396293505032170540406504002062093373297920893234949679172636101912217960291891507108563953756597288183512626414990126339453946537942303848812238686452203787246231450151623866844778161662230939522431007652818415540426259364942429394735496605006910469168823928068954547458340044638696326508441566133703041445622809721908958076793398554423230854607716007047757819828181673685410807436856301764416373803536045663036920192311987208433674355431391705968028435319529051755722914584855337335934645186268069579925791717734627320319161011383778914686187891878577994795181190799733264236601944055434379623542351773977806583361881511983831974798867856755875563706208978829429795820707975674564744189542746535413923271037170161416598119386726705561878259392905944959187251349653565288790517217732189783348711672938445255095137185452398080940610074071692701192221056012061602454253289467944086492782623467685868042733090476265677608813105145014760166521170824178352849668481253087183327932597674414170404898608646840406847642739860809095186943029946563190540169366172515380594977251509215804321427719995459531812146678865723572110043608590347064905126944939746630757293746931922265575957623868556876086389118196354337581805663759	5863057162126376223917246981513296079646606531125711237305705178492340566328159498078466282184357865366416661500771500889292073845903672423493136263518619101904874336723108586617642842587507001193877075757445434997242550103244966134854680784924089452149968612413514356892664875470565939918135154575032883239273956149194574764356336717788160463399403001405602319800302256886253858460843933700166795508358564293459348637387258564937390856810412628601764955715146109076913976294654448090075691668761990628726149329262281786052975153567878705965818693056034987138227488269620963930329066768265483223237892580616075236243037693940964805493399266676192105092797966215336584539655312511426515364810372631265060074490694760776078234345518423527618282480381206688777218187248463244646576195500784995456764250354444652694689834391697280260256192651490615394623707549034308102925731231809286035129748620238212328901385969283772254443
3762473317129862677078011810413386827529926343010752712449422703898926118028312958539149921139017976360469625363152607450474228948159970503116572975176417566104075832781887214045259621935518931323725449641721598967392265855129291402631403877407058536126910274104933495558754929333796807242479082737900390011074500239506921684335356396721669153819574996285478389608025605250211089427022971058727467577973968466429395506650015234841918614528083188711662591969592163163866717674399898877005124181410931218527185916659501803439490791131205302080001493529553396446373928092495488800534129393350031818606564406268910630439019107184101480378209212529425587978601916646708547262774956533014553961979643501709584644898378891819420439730562905418248816015422375829411343624882615421938036599889892711473139228748898427077709230910734900708658385846569015551796736812248689802829733136707611075741821212008130791659437472302770529253505261715954484719011479039072899721965548055536778821213469316983720062960424018016009411548498581583629090673700090368948581983694338404761924249664823574036354703180644995275515985395428076538878706268579522297019438140980399072503523342434808403640147308727114504683340626609820629001464000233362480521189	61339003229021114221789201978254933144883192013947852173454028964648860067048441854724658098546248538239479656837319620173207210549082071586664195374336318202226444681238813710605039759951196106053821371142798486781136001602168371720489487746750452184537501665555923952327123960437068964023991699694937927571341890939369588255696141058105330865772823432548548603989066742641101160493110114931505570418985692903612566380240965714092583796720665409398602625451596399467019841188065743321354048615558817923494586425807802622391857896858650889808646536759469572570881984677415558573270779349751246684468814344058508369714158001467208293013296092081907617957885260901732135161170987649376324602560748099084192203975519429866892057665259142336118042549407784162945776770893969188360052591000605137549423507745472234282856594981577628787412292209772831482662307302808501491704303838207503824154392578754501131863084145755194311916
4206459889155971034907332044386831856259614084487276809646083473766270394386833089949477440420667169517811665377591610589959384246950869877958774413322808677144242453453010063585578299891266790166178709783227283472227279440707618515908726046164885440696251902558128819677086692689542251984772828524940997173504520970901095341678926879165828728930458896989322910553738272983314197521312240176313480580272004691958391765806591786295465329105864682917885933547752012125371227142362245159052437209508478435841163997615642090246685354531049527543422706020326160697847341284706460226619062898507332705945818790163394732638432309426847348544941171940670672135010625848191158005866115676347432924375126333974691499266304654929625957977928160929713421899392546179123795850432525752754586367409281701105648195578225713219223508449185207839145550551561645616729467220266908516462867963498115795711737709312247881250272851626953359248382786815921531194884215981078423379825084327706579115026764467528287737644214118401136166492378179815954229905580128648235466027822990611348778810600652318303003400772019794393346956072295391448457235613371773103375078056465689896354030503027660788833807117925963596541087768705734338153294232628761535263167	64857226961657642512508248823899124628878654932022790599727487767756407944362337973087374573755434079665950033999406679527013926747131272101069006021565744229011117288704152137366025474148209287041127205576070191754867464348693154834338078650531808830762773809766345444247662336594012266121921196735884989461120023100833927651392124289409629334557197032802016559296804174189094326114804923751734255094741994411188839674280391423825751748180284441210348490258870931669668493694674391386181378963854598897522351400186782566864363422444822315342817993632433983696233358224024986291141818784261384621486873761919328670244718256641125933488418490238654138036312094547942670259590855180193508817826903667800988080830319768382536056499246489961198155839410120538781901587841626083851516187164165368598874037929713065695391950289809500697847823696093162788696616369121805456837834473859064562022303409092560019437788121535881049171
1111266742295579756366931470730190879566156906021971014739233798230163743037967978188211496363109426305821278468512428566618330569773684638781743404185511755350308198604254391291283819545740609486940720082696430263810078568135040538473430880064347262629030129600763292423484910139039230077151681967483738909777006968508808298171551067754949123885054941423615523716837069897888491481230029578806567796062417732929615982157151422974433906875591707227400257885442943507489925628043834691630632641392148812440146353210497375672891547283345593949498163296865318451577218424398696965460279273919039875199092073094468627577659918494297265730698791978859113523319243929202123931726742286937681323703542914138377908070444748168262949083962939482022471972374810543930409413700933714098865473628340167419633199201536041578380493953952237552043212129386837819369690813292952699979480546608673039926812888557675096878720467020529602319314634459125282187287450680700847900268447283370712067014247787587953418801000917195735406853857676866740211246670608321498089299341833556910145319319680468813146940269779328258953440913011967156439629920607938052640380637564970242418686861076101464469504782900646358335036033615913208706084271593665470079654	33335667719359991190338782562321312205519580336788048369664533074485645942154037129862090587209700089941155362032157240332657309948635347125591648088287402622655173299972266497101496826614881720051963397177318155750250131123434125087457986747864951882903101598555954052866456908779091722251540738893224078137709261424693721448113388916437373609079287164678373698109161361514460483530535592811699399555256438451015537095445342965354659752390289335778028323824346372191459221455137520227793185495925695914143393156245381082292504609022264095368695994246876475548362768584741116122803602415289017512400002786334193118250834447534798817829287777460162458316495162441589116984354937935385437511563788470181446110552886584836130399522253742511507458252257191604736416994332861520980468674872885055650778565619191710475769256300526095224626154561612255987792998683658177054861979397371370119838868743234577933705170577245252628338
959034889973747560707853842261303240720591189228652997031105255038516353068672374382079558239746186886209777589440532852964293388536751406662862694715099762201266660955956212331159284547395168336967977145081883594538244813577832758390137099779636214991587692810318571245000067175915340941039383651062712402377162092086060114527935365707382126741189802997674196421640725969175971476966192511944831837983671870817669927305035415361166760122071434871221091433706850027949271007814669788217846025961571608594995838752947587080052302615063079439078839252561267823321723723477872226150471047674509403162520084450881357553823587	979303267621295931672739537357331110027915428543537572278529766149102494905469888808285447651795053274188342180458464328295745099200339831885983731637667298328955661949813952200397336002809278222442341653463605726104303921046998786439896503364561660916307800760539813361119791144488203980947403323237737753414957351203663730813097452894615170745430140034439189412072561149450700371756356703804119622776861769856636246301533638060649873945869200855588836749338287898658483377121621937611663918129545615435407050040180666874544707666136465655973832693120419561927349366748188519862404705737056082284295092080724199957185
911491371011560673306642611644327027707808179346092422425383981586901583670298565523972360968719093012843120502581992608103897877619403873019629230598626549994746456211017571506446601963199035864909978156819514222271934822125547866561312169632793328635836719306762079977196602249540795998291249417374314508433715752227454750573994758250493988157023230379196600400749201314511701963403857437360783969511361711211347643201668269286804362851112429080541367667659915196751217958393958107064528131394080485324456872424202844517517128883451679056558317226136437959882735894094332894675725010682746970481801474856314530700917411	954720572215536095759433789109295120279301210265572502196363495441643002428973046938471184768466865999731163944429805656827890743318509246167914221166135963068039075377760115623859245642232559935047334693822220660634053569469422922193410523784920106043132693382759762965151628238588592510782759945129959343426191453679887553299237249425117051462830948866066302111530193438928648604135502462207372685655982496934903778959550336972392508162540493695006902923698104565767097490023376312583010080784158470737731127985763136131284415106939907140224470540838323826287264775353595786772781283736812991796163693783808866599368
647532339451029812201618245384725430091207235689383829880956558657555163233927257646527910501982431573579565723747671643347890519110197490868976805219051967197142502203053736640703506417017391401723189638951340794020369937228162975533612731936087350362877828985053935509939505592713095847536233726135913871079765756889710905380877583680676630302401697718449698573162895875788215343190688884431621771756772933578132939084449170148942480928714599028504680623532137612993358128977600308047675023357584891142714305423447936156515818735919361253902324955700420627084172698618065505821204394847735710886248411421039409764866320	804693941477770672672029867886902308905784354668553486143562394259696050757367160234763076349037908091103299168493306234355289398132363887282634042403826511980401172292944373253482391401166933286493799340861116205156446994042198226980981537198068332142376562887031150147852026053667685298179484939594511531488246271131075051825866738402128164113210480914120903879086081031829926666797366805825436805817078082222817269966761303047739887738158701345963705972487579240625425535117152157083985775653513702103448794667378603414088704242876612275653103103033185815818462498056442587411991151457517492889152316300906638494752
0	0
1	31622776601683793319988935444327185337195551393252168268575048527925944386392382213442481083793002951873472841528400551485488560304538800146905195967001539033449216571792599406591501534741133394841240853169295770904715764610443692578790620378086099418283717115484063285529991185968245642033269616046913143361
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
9000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
16000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	70710678118654752440084436210484903928483593768847403658833986899536623923105351942519376716382078636750692311545614851246241802792536860632206074854996791570661133296375279637789997525057639103028573505477998580298513726729843100736425870932044459930477616461524215435716072541988130181399762570399484362669827316590441482031030762917619752737287514387998086491778761016876592850567718730170424942358019344998534950240751527201389515822712391153424646845931079028923155579833435650650780928449361861764425463243062474885771091671021428430300734123603857179274370778285348388268601132427235079294008103792374613286130010427922332607291994469721854632959001556941232340785413150502974293520015932401710974486391453205225363184406568699276280586610201225456138501134705637868136402478690544837520091849341842253628996823645303814984706902378274118644985901634012372103146345624295260905022299210752955601247206708642657390529

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
595810322224267096257631570716104215732375358670523651124688235521578170585244884116715783653575993746350763190770102383452843632616555106800330638568945946042158899185206486241919403145758038137044768249611743850342252822040144925110869149298607583050011845297112272313543883060236977727540361931914165874167568663913071432740276098654560358070697323218128606001501542958166632183988146709719642387909791306358031977609022760089886869705885296191187710049513879454434764725297084762716170447257469781997469355636115225712220601494047596156687019938802226137910792610625058803800172909724655114768086327900736333516576520	771887506197805417139699491175786497637280628493244702599402502674549150451992872881552771191947342156085317066750877955646930853368324038585376239425820381422599393271493895700281140128676115703315553962132568897056509953812409858379979192236223212549782073544654920438683478082767410106407574374312382379725495419442913160032740084533159785579962983965908024732712971758163955874789762078901376365194441448914815523173089010771709431781724490911968689948989564456728577081123238585384880981709154938980489367757381705310036748472804003078214222576101983363969256063759315321753247710411992394318396743376317993913724
6626222332465008626898553419129167792003564823383152192104193645711129229466999623713312408996506018844398818914786281307576989455164622577607149104922911787652282822655071714369372582133182645002731890401338200666640371349262661734469870298433768275474555065119377084075466288828036633381247546972339349285881606688595971847635755612040976075566131913640214858825267723423537055908758329382801592125500262682232796146798693479668488947437682998803792196098016024234964904551596833760243324569212097369780828954518959283714571965311053205104596947732658247741596958154705789348551634410703197949694705091075307680039170	81401611362828737475809051744931706388752408968910449328211721140354638258425136066837695666074263588035626545465127026827169577502291048980772299452605095063024174911289051470137311349510701423099804915708206072631410453143785690192998909272817498952621391761725359324482910370482932712756415383992056156631467670384896164770050456781789503200275719799112798106667873005192372374548809865251070255258432458895914283634453367206072636090465088221092694711631185150127794716939441612347696657043841320225439927891923606734688216320822517063748909969193137789925463276472422582954335126603521673801068013230583419566372
854657314239838768815266984328246880159150381256810766881190639560395299720142200188770327011342213986123052523398021373036103837332340996520423380812734606111449591429922417116196908692763333594141918361005107644334850364937172227008773697574008555999707841996865291036460053662335672472905868916112298123081038210560230914600045353725598541389682464249082185588315707192929389117416487079666746948137606765581137088459259343095926162190894357827017384146748118812279776486137941793610312665115222360856279726419414490218350083031901375834592228028387994626883556964064259461803040708406392475737487594181470971703328633	924476778637429469542041139127238806578914345062583040587461850252285805695253517427138862919833099917581377060200364047376758244312932206543281445194361982457213554852488178058854490221127680831527888069866976480760897608798018032649483395421824698759154344569428607665761675094904243160929789569000638309210270397925497630429494862787744294804247304537227409132566019166636581360660037829394095985486681447876843616205812911984522092899949923391670020486153181893109104992591262697668603955415795986435279551739330206332945940190792685919804298560361159116397075005715685557640762310467339611903671497860688707025167
904922263512316901719031790410947001566228633825828967359153814207961493819005254296814931927569897844758577944981479825870244102599958910350478350577061582932135078156293535243069765721106929446863644628250129244896110441953491643584343551237243293253219115731146193613477176055130031225285332766469690722463283367911976764361326111414501363305801850083196577211064984829333493905352251829099463780436654893176776253288110311220147125666271071615408926203990555452430887770292438513723180191639113415494597018527319338398879435829793651188316917620628460023883036723220764058898026412353792223630777999786246369905551472	951274021253769392412868639605869406002873972456736908707109704424004119078454342568078837284579272653299553756761084418573431772303284280138302443894954528018690136531817213978702541338857820879750584695252777855829591784491977380085321774677356867506290316169514786809449631024438160551253342284614067565227099188801068790507995330566644673544086577491553540045842176639576965485534646818105662764590945078960244555095825298247454300233236875927293674990354517981453729249014214561621481485102918934620926957092942679021017927077038267097974023043366879466429675158926912164715444773606316104104613362101933151582162
971917512135015568097321839096528614694477581936049630462571213286932041092749837458344220716971930094065216010388485072052655641524841076355375569929318143246386663140002993309869638408708524006825065248815034108827469363501706939249521810744081325386261100486196324485235276387986442002559144621356561994817407981833843051210461548372324932767311140912744942698924076602376096582087632893580766368552747709514053196052097956257748072191579407606116929396245411810805442126924777875038528753722211075225124531651675189700408170132916401179960848887536493620239316735341386389521215117818953697094367998919776558108204289	985858768858407815753411172658955502685819659090958655850274069098074942779341306569823118701367343116345722365576524151456879507083749442224059008279925520799312875378525559805939318744919375470017551535700761426342602256074965942559504641344593645679154207944480701439325932103094454730527138153089020631552647544197213233609917240804351699883857555873209216653693617856295415680540611682807895484433293775598480643711161493562845418034167357312936423684160488618884677976981697597742588421994277902253742771524119916744743588561585645668938598691164838846496113305360865290160272821765541153109065499124847341258580
707784082977310632423219420068784199928222065880363538571115074106195242620278287561581806996011107141479469091648601907011083597382078996878638959386680822880144647694971688351100079428093786049754924782151040200695941750755032762867074312952004592097220402381100803293682604362515713704938979872308504162097487248813254257383997576188817134546554052890585519998286619409593316241937299293767525370775859803596461448238767295663540956359687956707375497618032647846533383124974811865031502937447462470758576843806808431771154048777338303318537005845390455435232594954725990367904333101493263148171424715250340146830196150	841299044916437922151829376684054403235117530089938318243181674649862756506400752115545210591139175853912246045181451135332122756408499325875036012278843314983942540948083700934235077284203766211634959014945341896104415433969226930137626106863819099600858830131106206498262932640981652536240743291392929184471771654585860589688579524365815317836324910428364869309226938904421894454198990380204633881587539949272709388409674539806832058413574171392636361750786375579782059220369502390615828490310306480798537041643175660220960216520085483628805515685286487698416423921368051815951404161984332688403219777140634746509098
391922495292144561448957307251477044762416951314728875973373286607038963899282245917423730370482301098805042483100211814222653738566668034341276366354296160614317073230696954046312422039312597752566253204147028619285583608112649931221583661613227316647471122004917859844695437013251426973985232003916258410672549195052299729886543150792027656752230902261679642499828481069147884175297246904203145173959998001369954967946855038765389655358209948569594755399392034475766688525045869022144126186820315924582381705623599671917779592040303293987096546215675470435939239958524228844881341560487259984243578055259927465369518011	626037135713325365227834472290572350391002435300955338757012573435586651637308819533576850548081766715447178587882237009328013618788669243960249690013024847565002738589492528298634292391438965685856493478890522608394482639738527923485107702868289797165849630711737673234403645965895510178246042253610208346839642757257919246207501400634665665538985049527143832324336611871848500580111438569985507090559551158112973301301822793088895435979603209281829306940829012601386378019405468810295404273246840432182434780647344880103674238977875724340683095328416554305816764442113288486239201897492331667701941421214548127455711
388186706806200260489322545327693596918329146015687168357438561544228836281639347281744222509744334183945635078937816018591988780654350385672955565985460746931586476572086140943266626461755346573477402480644251025811399866393927001781303147665697988390808019328462630686433164133819783525131941443354268446765764942004406064143741431164406326474855452955083309659904836676515453695636971342165447831243555359601993668797861192139966369667437021349118545383814212001837820012982422901090443345300618653998721125216104597790517759485958992685298009220304857793060717417414815490423981485653004793036949092528299078607272203	623046311927291854737787189518122496934726939933051496486742790949182321186729086288812187678983133276441878606768049316564293998705008044772830926932098254093313361180416652808313602259379533564626637464598370068317747193850102370863357492830020580215853411593150915286887758628964974662078265056464958505045624151250197397863878484095581038043592714080924449754522612192965620881744953344014475737097982889335029066989786447152329500187832814013677282026658644110932105742687886208226478050828946846705816177940788291553970677888937683106487714984931039426007817714583300117904501154046843731296005022753256466976702
## category: catastrophic cancellation
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999995000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999500000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999995000000000000
## category: asymptote stress
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	316227766016837933199889354443271853371955513932521682685750485279259443863923822134424810837930029518734728415284005514854885603045388001469051959670015390334492165717925994065915015347411333948412408531692957709047157646104436925787906203780860994182837171154840632855299911859682456420332696160469131433612894979189026652954361267617878135006138818627858046368313495247803114376933467197381951318567840323124179540221830804587284461460025357757970282864402902440797789603454398916334922265261206779265167603104843669779375692615572050036989490946942185000735834884464388273110928910904234805423565340390727401979
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	31622776601683793319988935444327185337195551393252168268575048527925944386392382213442481083793002951873472841528400551485488560304538800146905195967001539033449216571792599406591501534741133394841240853169295770904715764610443692578790620378086099418283717115484063285529991185968245642033269616046913143361289497918902665295436126761787813500613881862785804636831349524780311437693346719738195131856784032312417954022183080458728446146002535775797028286440290244079778960345439891633492226526120677926516760310484366977937569261557205003698949094694218500073583488446438827311092891090423480542356534039072740198
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	3162277660168379331998893544432718533719555139325216826857504852792594438639238221344248108379300295187347284152840055148548856030453880014690519596700153903344921657179259940659150153474113339484124085316929577090471576461044369257879062037808609941828371711548406328552999118596824564203326961604691314336128949791890266529543612676178781350061388186278580463683134952478031143769334671973819513185678403231241795402218308045872844614600253577579702828644029024407977896034543989163349222652612067792651676031048436697793756926155720500369894909469421850007358348844643882731109289109042348054235653403907274020
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	316227766016837933199889354443271853371955513932521682685750485279259443863923822134424810837930029518734728415284005514854885603045388001469051959670015390334492165717925994065915015347411333948412408531692957709047157646104436925787906203780860994182837171154840632855299911859682456420332696160469131433612894979189026652954361267617878135006138818627858046368313495247803114376933467197381951318567840323124179540221830804587284461460025357757970282864402902440797789603454398916334922265261206779265167603104843669779375692615572050036989490946942185000735834884464388273110928910904234805423565340390727402
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: inverse-identity
250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
49000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	7000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: perfect-power ± ULP
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
3999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
8999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: constant edges
1999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	1414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641572735013846230912297024924836055850737212644121497099935831413222665927505592755799950501152782060571470109559971605970274534596862014728517418640889198609552329230484308714321450839762603627995251407989687253396546331808829640620615258352395054745750287759961729835575220337531857011354374603408498847160386899970699004815030544027790316454247823068492936918621580578463111596668713013015618568987237235288509264861249497715421833420428568606014682472077143585487415565706967765372022648544701585880162075847492265722
2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641572735013846230912297024924836055850737212644121497099935831413222665927505592755799950501152782060571470109559971605970274534596862014728517418640889198609552329230484308714321450839762603627995251407989687253396546331808829640620615258352395054745750287759961729835575220337531857011354374603408498847160386899970699004815030544027790316454247823068492936918621580578463111596668713013015618568987237235288509264861249497715421833420428568606014682472077143585487415565706967765372022648544701585880162075847492265723
2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	1414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641572735013846230912297024924836055850737212644121497099935831413222665927505592755799950501152782060571470109559971605970274534596862014728517418640889198609552329230484308714321450839762603627995251407989687253396546331808829640620615258352395054745750287759961729835575220337531857011354374603408498847160386899970699004815030544027790316454247823068492936918621580578463111596668713013015618568987237235288509264861249497715421833420428568606014682472077143585487415565706967765372022648544701585880162075847492265723
2999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	1732050807568877293527446341505872366942805253810380628055806979451933016908800037081146186757248575675626141415406703029969945094998952478811655512094373648528093231902305582067974820101084674923265015312343266903322886650672254668921837971227047131660367861588019049986537379859389467650347506576050756618348129606100947602187190325083145829523959832997789824508288714463832917347224163984587855397667958063818353666110843173780894378316102088305524901670023520711144288695990956365797087168498072899493296484283020786408603988738697537582317317831395992983007838702877053913369563312103707264019249106768231199288
3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1732050807568877293527446341505872366942805253810380628055806979451933016908800037081146186757248575675626141415406703029969945094998952478811655512094373648528093231902305582067974820101084674923265015312343266903322886650672254668921837971227047131660367861588019049986537379859389467650347506576050756618348129606100947602187190325083145829523959832997789824508288714463832917347224163984587855397667958063818353666110843173780894378316102088305524901670023520711144288695990956365797087168498072899493296484283020786408603988738697537582317317831395992983007838702877053913369563312103707264019249106768231199288
3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	1732050807568877293527446341505872366942805253810380628055806979451933016908800037081146186757248575675626141415406703029969945094998952478811655512094373648528093231902305582067974820101084674923265015312343266903322886650672254668921837971227047131660367861588019049986537379859389467650347506576050756618348129606100947602187190325083145829523959832997789824508288714463832917347224163984587855397667958063818353666110843173780894378316102088305524901670023520711144288695990956365797087168498072899493296484283020786408603988738697537582317317831395992983007838702877053913369563312103707264019249106768231199289
4999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	2236067977499789696409173668731276235440618359611525724270897245410520925637804899414414408378782274969508176150773783504253267724447073863586360121533452708866778173191879165811276645322639856580535761350417533785003423392414064442086432539097252592627228876299517402440681611775908909498492371390729728898482088641542689894099131693577019748678884425089754132956183176921499977424801530434115035957668332512498815178139408000562420855243542235556106306342820234093331982933959746352271201341749614202635904737885504389687061135660045757139956595566956917564578221952500060539231234005009286764875529722056766253666
5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	2236067977499789696409173668731276235440618359611525724270897245410520925637804899414414408378782274969508176150773783504253267724447073863586360121533452708866778173191879165811276645322639856580535761350417533785003423392414064442086432539097252592627228876299517402440681611775908909498492371390729728898482088641542689894099131693577019748678884425089754132956183176921499977424801530434115035957668332512498815178139408000562420855243542235556106306342820234093331982933959746352271201341749614202635904737885504389687061135660045757139956595566956917564578221952500060539231234005009286764875529722056766253666
