# 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.
1571365237560152556275474241346349257374493476737476365260657199102003370743750884341039993573371807430428133212091187884113633394440344371330222617750	-568910734567045807133575982329157528105244356768786611528456708194822641544544792018108038693966556787485090080526342123324210287889445572826205127
785266074350263021514029604151879102069665417804636572515886833350038338402363709188352734008103922173205791134203842402781329597975535249740851197534	707200176078632541863694284532285569807677843419091153262609114294204573775552085007929959051769054910166832163407539206064337358520372913538483501176
3141613441261701335528878817220281599518905934157913503609143618930814063592891324133305543736920089750038089131604045411247189952564432735480290231489	-999999999783936348328436622308506583167716711300679345652646915860440518108280567679128607286502919921980555378812461827204881172288311248401820376395
3140679689059061672047596129803366338129457801999901077966540171361376650590655641674720484409961978785870971675709287769344506038804327245779085522864	-999999583247911760099087173461088338253808276825218020390775849383301751693486636948403932562053488040659637540425812996843529323944569137022671379270
-1569982438995459346015530398327713899826654047634011598204920551172315962119236860062928986109348454567347139131538185878481824757620361658708704618567	813887709582252223739350675896042734418402982124208662803131311418790021242172743246405135718313408575526156584324059047871557809361483310695992047
1570015103199051748903607500303208864047194563218017969275739276607523935774570824992720444776299923286457528747783779615414390131397768133564940566907	781223516380070688440014481146807258324898448261360140108640066591741824976073693795392886910392933804635138955498978801489578491532321545869897114
-785973747808923512126334748413597161190935815233524597454743927400638872990216621749715049121261152814366904502525544829755335313418309574163994509017	706699664437200088435669775877933355393162796564167723596736235403539417370311544730114222229048532327427496613074000933690142159987968301940483147400
-1570927878407958471774553047437109851368093690644925122583254645771074024165724351615566032016194442840336537287206050788131369255724650210553169150633	-131551612682417636233724530124111761618555534073929341635793173477348697274257874844625131512716808691396952738742480743405886282567161510400728980
-785966911006525807544590471431885956881955331811976271583861746743001163187828316749676502991475834070202656517020089833099362124529760848885229056529	706704501551796029930347314119004621219001154822574004952007627771891371969945585382695462126787244100444706607984500739169286572348074327903176637454
785192457096637329101877537765502094037441942638732811987566991110538167939313650211241788102180004108557809407712956271431497898629813730493300660836	707252222545117205901172782594117943678486122667410256197485910051386815360503698139428717976721782700144951058344269937708336532423826616191815273636
785953762158487327501122166357132944216494113724309333780880737744149765178488442181229479915589842832581160743763021695852787706120254592906772906911	706713804416822956039479929417728449830543796887946758393372192628970148616343552718257047377879768330195923066418290147455852883713348709605136318147
-3141649405007600759329796990936118114605863869485345092831047507704046096279722818768099366791789465516549729242392491263206301805074546939307836193335	-999999998389638288850312512894129162835567676406595633717726209120337013762030846927288258372175852422136268758316215702593573008228893601748912115227
-1570521637853988142318122790920077397346194228578371605002756084504426802429780383051051049650881313402766444951385814009611985790225947209174802355627	274688937454079715620638337938443428901151505190125169876813313877257604817887062033972227906367925632346194964822171853031301224939221363815384647
785982428070682191394481550943317798597799193890377566321390300946217822142700358010208505683628628400893030918471180795281073939416260785386214285090	706693523006777809465256381359646725921122122217850544367206824832371501641510095629337427189408499296179502312478756519084538981926692790720543944717
-784958206394417144107871029967542713711075206271529457461550058815327364738455586559240709069783939959015899747691449929961091474142648821725181347816	707417809322226832762652592331729013667724344830056180208952921578810845678008749029912260320734112734467779483158773954827506837232713024545775773156
-785102220538376063709148537625955292330706057291608842162511960766679706099129763683463144367961307264121448239575058725354189119312441926845680654536	707316013421011626867303887299082597284272309012800554466820522310496823228387494847401628486312840002287869715922369695557767726242343192599801511122
1571635077414227750987682572450140737132820237502546932958422067871720962678902155377621221071369405660347602319961936169579787073415272762327000815122	-838750520987261440769900062726699188550422917766191839380055485690296585724796964507395744585742384438818135104653756185311620289183414473187295343
-623502232258363249929777744560709560269801220266733282232499728137756524704007918316906886517374729845428307651363934631190117492983948346788634328	999999805622489481522117266193428776457093187833573965422075530444996255736355391602150705509398049685526840009740480952650742645079371193972681499001
1570309417391482525235411026171285703845458416049373670342975069577475674471168832820984040057112536348482567082572367086176310263074817677433664778645	486909384174618409689759045141282144624249995831036264585736781676409385771475325230825338431192713609093019592776319954722244722547153610468012769
-3140645025249141532547882262951205298174431644802102551014061209883492094958367158888421445788885245147057866080602903593254620926935801027965125034952	-999999551000297596973355001329668494714801512471266709131253169183176807064796937506130634970728052356390685579786401781574083610931496237809125347846
-3141513078489252026453500266792280321153107213341965377130820689251016408655453416872708956770245796345487691186879852994773854108865884872656218987081	-999999996833901688598696525767293099638599972052834856288277831239970265765045604753291867031296309715372772027765331615732828953227181101338413444264
1570566682781614828417202641389137456190433026353507318833500365255331038812628833661524973198651248553930406265107492989538652969810788568660998292851	229644011263358768770909604966899188644877613243454550678839997653668583739202458544055213657300300831890955841163089826740677143342133516572700591
26712267988940780108458489664621621848504979343882095348107522104094596115562167195414740865453516032923051830663483183860736354031767601535067496094067	-8730322521673542402431724333451863012756269349352799934645204877306200675027338084410663012396979807328525198672761470346556199378050167816149901665
25517784604393964543314799648018975860790999975282141018089941931885127057618672333898600322307090086848973713145787704821380645396784707018100448367328	926782141670036537179079035066010535392141153984482441272383372430345050402908150619355307541208453080076155167387043260689123961576911440319095562890
13211242994294072280092798105514193934774769215571491117230753034221432332757437880703478389018866795117721198781344471544040424234303173324160130897431	799176485419183049253378585441298275794669394399492791083723852310237147508970292060502736390633611416152453319863222456084918735688736488486547523110
-17932954806219515079721224969173762268083882088056589240043478218195062305532641209689416581184735550997070420943186992453042817074807154380386892283533	608520810255006428686521238719593977301330053451417615070671739300955685613223785195185632426346171408695393173212384806257941725464273842965017233761
-3820445076228052237429508650288277117585994719360927673131854643408582107519572384903160002759361474364560741995998398576245295191580739978278874131729	-778293795226289552988561111041461715662786572243137632877510830417092200845246778772604273034431668536125596450164554919780307623208656786400976621857
-8301825569848186130531651747570008023083015677397647934744031919096181038396046092503305430515569113880724953549583710517564334407161715743636272017587	-433023102927650607905264525076485553963788193948384047760894214620350653197735991002914445643512578519236357541585789542791398671982188427689252506572
28186686040273132052757769992203138747001069842538166427605473593168998058236483017216479958397078092173771991349608107637124117991055946359065442634819	-996161386236205025308088772702503092275204158978437014364855447749289988874615754876079597721960510084891166417208469449735958271380211139441587011418
9522461324729914441584611037153159842969371879436920005450177857143717083982690028779310947522600427782578473464614677552735580256135004095296721797348	-995232772767856205602952671554371676550109289459857196933398188720746201452113232778286678561474979209347028866712662447224316619246827915827637247815
-35971138713117911086229307244161125203194801642684341846316002943021261034681788992316813268459069327339848575234651330134534699226829101479473682986532	-156530438456847897209178732832296126142475058313137141809917114828805279898090339992499864348844715588077424307285829869197861298714254264390997786097
6814409865262055845789425438161643999511476836787491434448464325928532831920923061883137371623132544325633923871844508319693398728418126504329885946245	862187368822693608361714658913134695018872999894232970323918210212418744987681427188593169057742208157323807604319570997401716611492264625182091714271
34605961760986664112984989049068267689318297058240275566276805215327084849484603852303690805050979923881245218582461524432632880657633428369792620475669	-998826888070331073261250872478400119724436966806504922225294372820635030268865494840135458811784138577998452459020534049321553675445178675412467959141
-15538972228936156605850103058083358982311343813089118461141145937828052011577356250316250424882780799365950200525860455811906647078914329675089186477495	-985754963606804401136562828200792247655859503042309516896366795424337552367649107189405566586395875362929385109352546572893307899857627030714537999455
-14658545698007924248299483951186992151209833443709238582604029326892484017393477254490610260067700309595598605576021045657199811239164544044305943755263	-498076176829377175560099113655490368095375359505876521319778983937538325583903321962080831710382808408125261468668926153475858765206856769637387055312
23277237255408387461095152617232738379926297438775232643672784564340758068822950509505394574065316517791670413325923151528939082656332796059786235150437	-280876878855432372296776202551055267812703735143522907625476727094743776726829205644712105073260458562957599426074648455232974114759919929359803811725
3426082564764753022966853957295245251777861962459717093323708401061991233271396237682517239393431721758774738797288776331967141423438821515917351180162	-959804943077691988576562459540858360072523731328019870786791429107942847524319715688371615036055372963966063534642599420787542083956829577702229208949
26084590249344720933491246429208118295800924383454972215591194063539578990406082937200976661536932156223351460461120344373226305676901861299785725196957	580178073923460550150593530657090310571780183700168838307488140111894322694605036392307385449120943578247666658129947272569026588826983319333507441157
37585493558089145435303603633555078560580003220342219484104381160942429240053008961329932305533161822491615252687589535101753824567719693313184455892666	993552383222748713157063476006537903108711844200157970104065283199729347760817889545143586571909173707545794347584513420405865664461913758965814508920
35445543811589529670939239667996294096570289433869323945484308060093553906211187890357586824669505096340958093116287232686569386483712916181326860035805	-630945807911225825931358278266078708003088108774583644024629112976629283809840395038715020201532264440566356807959013432797262792489601062481794672430
11742628744871805928363866333609844615215835733930225598322114903704894206912286876672493510506654358126780258567574613361710338984205079296307979239808	679480585316607751956791707902676760717666589844967739280836881945019699979502479738238319034894348534690277252441356782597712678903857886196090424696
-32227920158529992050504752674390219816527479237843377626921748175763370780552308435131954461188569377751312292681632209542489995527381587861680227297111	688053108389256628314486278587313146599817283884263466484918172815019522728641583487877975304128832878644805012683483794665091796462971909939392342997
-29930373038483450817773073300983165222682524165110797258649568304361342921383452275155946935016789303941453890323579370578046678984459902046405770238190	85139632984306581653612195348195121770067436800015646846992507161426653366901939334232791412034142141549443213137642005837922652312210727594971223933
-11221265328679718762438374304985121440677942743415181636021790592171631596855785188984467709053755076435205394892065358184097650833659447125482590598666	223779931614346541366690100916890200453693585987274833427446103163580439537557477914379181823744199553830826005629177787097508914851661745547537737556
5274054891910371129136814323519936294987523565988295482508222378477144697314501624155957925730281430615346055696721151538193527286175449928643085355749	532596912232599994668800490205755813149632836418942592864798816951285238156951207707195033760571547582811885559495244720523884360781028694081401538371
-5525794951787235789657289750704577129285214613112167750057216945215870374441958727420669112563228681247720877085361967053000341604208293483183119792979	726631380680610264603877523671735147952567862846208192956410147710393723105735147800890333258366429901403144948520971263997927710602408985594975963487
30697993088738324419049986678460195171623493347461190205201839249485340852787883582160744071681662107884947106958154185205196589045479495097925171854521	753166776092288793302208370146368121489818017503265519125057982161075985469494312306952650095494104951094669509340313917493561457570491013757687297595
-25511435872415688087041564267556290025717869703828611297972199453534191901541007508954888672846947391396086776382576789076742919151995687966185620132540	929148027610240931830146979063969799341212022008145829798794873749207472617504025596097860263888407281892094473355418049308869803292840754302097654904
-15468884169202005531613147938599392481495380943845482335045797728291752322217581155457469852758706585060788453373883745515535789508460462630787363424090	-971556463591633046187028595017170914514096636777248559554553107302179230007921332737270360311518070476692880439904650596205525487522547922456037837555
14151825441019173961951492561313281958603035110260205552716987537296997574661080893121093000641312594002614783919799311908246642647974063400319651140679	-14657974921479562265498011356208094820858860978348144036729430197444000511754786424862743286382353694111463815145747902662644234516019893554160336469
2306444348516759181521239992438007602599377490588890348930743477314352518239034751342742832805810458312146063114796028637843960248959097896884712524901	-671067737245860236107382672033104047362221400529105444605108254715782264100136533020256447736085850091951447346333833358687309977178583600886950979511
-6123912880086964732830102296981266337860001526757544488944863823279246836536019383271402160576986311092054781257457442608071445127319396580779041524027	987342937675725976116839162765857209439178348161958507036865108381895676992414794262449643599603455806461983702298614342525237508990573888288378038101
-29909166893136883994178745173596416948030859990089666866044003386922522166443248079431897279042327944680395334029314167718621497240975395444691112836652	63992927167854886861372728211363806161061643602261455163835072410495567755405082357381138214666972339196030970869417390562274311497693917289261295327
-35135706405629185967876214389052921866182472890742034509703779010819729509167632857522664344824606559652191602987306978754043519806519268785119932452759	-837454723932523993276952348450643520407453646597615095486054476558633124173331942638653333451328224548494826134729404766765159725335879181019545130301
4473966494526720674537609118333395973995443242334575882725821445974167494056059133990635944475011562569959162866182312929088746951322579206325545039028	-236170031903170661371701381131890127274014161556402522434129318495398028587248979763248836513170011622703710421727134570739921501452185713707482318673
-29954177207255105625852621083737277451947007636815142754638458274511003256138623587909825222148972383123930853840861788242757066834625463792156679982795	108831009131433512112846526718758671331634145262896415110596933575821577566045358251826245550339688242581554092963875176460580697541551829882040236645
19539543594501347963613164309413490039101393281655721937664443360491199027661184045966459569354419325535592390865210089571270148808957696803433939156311	771253861556167770938203472429226719620866375236642636691742941618949468391254821245468667895964628078474156662332035782557449007913052786496320632894
-7975871137388967480601953996308310957229343386207361984458421541667634447358207736579241901935237668548929325088806000027089018229009426711357346745572	-121587907780472124980681620214444860866344747103525113550787344082926704120033387124111490439359464366168228446631556531237463291693442422007101831837
-12960163446911506277116259144035634347974651097396370848334797096882465827017053133156813599449199131022987267214897481957436759505078136788069127963338	923460419649631287496841559306979680803586611691037366705714568762174720519657839063981102328671444127188130958043458743175387475603181728536014102789
-3281375782617149231311795164599704266591301504647952997986030969884175118293096828504250387134924576987643911865468850253650198830359644484090100776032	-990246235776974936529272769912208250886755754358432477740464752610185969415543575719109290458720636299520246627902012449530593347109528233082151894412
-22434404310036833915559400891058284710742251805824178195114750961844582691563915002694903245812619682499283117716286590474674831434626123357839534764691	-903360124591071624888793087925676071152494173866110651517135201063539953780447737820191149178021108208792395414152617630301639665673424508388583577487
-17456996948862639475622095543018050584767158002207168072667148752256751964988427273027034418075597581866349352709133121089375775190359964186935678960546	177295128175696418831132703457217585509967035070605998272649863295144646734243411996770874680151566256884617394485952085977741870439328240656431082331
10633384262709361063038997441045843157017985636285506931371437334130884379105354052429816085054943997306846179775943265065035576240064562183190416556603	-354323024152103884249019980604096231705099422052396701744107697958096353254383287546584811083961165159318977045628310260267294468564886177893115301307
-9159064819204244956411260111048164566242978425879464751631199663832177838536270539244433384874530127616316020863500128868622781436352662023104152067068	-964905477102783933140205613508288086935927648259560698902114257822460755576215592108605640366912251413096545481269526665061846104637432348371829264337
35499220787854564281594275181460039773575527150158654908334566174363129377038446955392890662524508106684422851978616988632258334373191582603046990523548	-588413032302614383710118588117873561531641059062083227585966262005777373019427982516286289848846021476657688919580159465299283194090070356962686933191
32754454687436549441431013321432772395159938324602680622306222194747694632222052053771112349219772734553883914344890337206455312437778236652237413704154	230185381238111380478020503918700130363895099921025357821763341047345898930501166773215174585266749001598078545009149580138793837209863504218744228858
2257338275200747733013698006708856402380885996923673212454151869422046606452432648019268425353886836496204911791776767237119479393493946027941041894336	-633866373135249126675776009761882251446578217674081830338337476007357277759359152859914963886616270068444076876908634556024566990958911249072296147445
2684811730080191953916675350625406583276340714896597575772682618979300283181943414020547840412077063840932514903521924617037143357614500485469220501239	-897476955324308959051531163323281556397538492946444797591290464904947650939073555766714737569504491551942360825168893149224904097253055371420329998586
-1243368165940837581400970289569716138135305016650462813121690555101095227492623258425854009874327263337436727828949250503583045371614969527080809165715	321608890676780920922454151886495464376702483123588833299192853494472306499083906072103626902013100284463594316284683362123730825881245752801322087722
-2758949626027080760799492976401802928035811531572186590484996258793177206769986535299139837597422926613649158424414144415845156148135667021204898855014	-927681040058179888848416506944979100709972542873202999068172948588013592622802763460778994151127723753224878326162882948697496543764859534362915109762
-3710508873536972920999849422836468786339509118430203045577504966121449945251188174959605234046595483132198275272858711620713502472536565310856001067996	-842485323058418791155302587509001169147963827081452186513842498344235934305934664077122838685754720564015146536085277404252519785567343619354498558632
3942577352863698462952285484592171146195841714651642505571127514962074512937577967278975281179361333069067040796577028776235203779541707716809657806513	-695999991664717392484255759923120903020117672239663005749280847891725116200375611649399959174067299695581266238822776955947643006277734354184439085238
1965967842801712192754126983085958589368981107661926280336829991437138055706605061113866203230797835808390748667025951897414583165779601420325191035735	-384966491832399174985425755706076126006384128254129133754290005720721890300458913958074420963132123483374116423380509281254789512974975242700455744317
-681005911133958144192788469815941498766772103371052332147440781915435676775496375514646227182029362153341115668940996649787881495627764451260596059674	776939815557533341039565851936337276875805269236793213161372465677081855177311095951357544152991088742905478466054384315374069504976980824956408926393
-2549439033431990382988316513526314276275082356171949542944849562446267346394091870869029383747966796304447724017642650891725508125216438788429586542405	-829740562728581572419086429267047231354002880852056592334612496889731050143198295641278789008365895349265874178865360571214920489780802868378939380008
3819962519440626914303034111604710442004893667258908181698095086107619510525325317967175876644744921393979289435336162234121950978416605510833230219548	-778596702141885814861806710034733948565687161033933018297450292350938997017260660231281208383457041345135308700879512768535186392982766019426460257121
626158120630588570892883543777473072351009868615277615677217803141436691378838833713838382132451448277018067494793962674790585971322965638584135054949	810284962584595449841867090836621102360269271475556320308095231101062022962144509846815823962824832245697830560678312332243273634597565985564163955661
486067445126795045164560548194360399400628009874011180859109381351760677595135260766456300347508211744718251895175923349032689732315028543331949192782	884176793345105556968287678087599489123273004046673884232592399001493800597592711376974337770535728183864660345793886817198649893676867515744258880798
-3983263893053751181459792510349364894795576380461872129163227538528873033231516188025145591375802525491372241512888778838116156865798887916556590784841	-666217417326542818043517038890264853073500664470601244993895286699017327776338310782190352680219720199173223558381845049794360614434895588742263941739
-2992447863268239847453885290754010618723202530729633665616464307488384640601404944678227326476127676083425877996985683846660730967421152505321065202414	-988898517272233783368587025970821940174993982771575703376847754551419061968540905802619480465803335853278506869628999001179004159653170418673826727338
655569205775780308687293013093774211943090923160868994355764863115919209555988150147167404411209556643083499910687073933439451229575249623824516632707	792701062688846323999598776234734155437028362248236168086282361899496692364545871283156679079937719516990219287103555988305966729062324132000613952521
-805998554973022005247216562148981684925318426381082625962691799682472872058317173960642960918512731662761598755074994623176063592968947430996802046320	692391100563441204662314203363107808695375766420279251614975715459965984238555211993782532065468707160270423829598251651715805331925988517588386345809
2272197013704716488364258079765413807574845748085546092743063013285833685371408026638199220813344894353405374601126166374768361408299526755390368889986	-645288359374286122216650496170924589244649719499123221026217319824784470773809961566978632121743096586368378020865248100533922949157636932782458599426
3701569240067081760557273993815768963452742787229391023367662763315450366172135027735607986922254424272400744158807315590786572522203827576956779596518	-847267547721294354077617943942716193262114879177371692341542325809603510499018625020084002598440342315324057874956997993144916622217885037192070357767
2805033909158263791908090006427428787776406345308199578913623176439582954067619941486994229797644485264963184387303012959465472784673453479124885191481	-943896695418192838426261268716694985490425867665030322008233994085018426192360539548052346825297980140963140264468557258220184313833486587569103819727
2350264356322333873445243110904732681445583319630500258943259663933678151435432614322526681213297138871853543988755679196091725291056070515383725157068	-702901134696052201258620852403385803429887388736604721367004000952269935976058438832710276052064546623632179814256267821310528498521542410690811673590
-2951541920474042649529275587656166084885546580234001340778171103261870637327840408528474111570747889330954457609672044060435049491522340668378653875629	-981994652453329732442168787415764594733709902265536106901788547525221384227531459160541130170255252021152080532545744908720883170536862465933853558092
-3607023460722226394654323863896593756982016878944605325625221472689694880798470374025928290484712044129513665505118782535861847809516783294045638486455	-893628298927178277887742647291859509268518330004674597431463600714400381466786181032609092669828606717922740111279898020197058874278932116270349753727
0	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	540302305868139717400936607442976603732310420617922227670097255381100394774471764517951856087183089343571731160030089097860633760021663456406512265417
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	540302305868139717400936607442976603732310420617922227670097255381100394774471764517951856087183089343571731160030089097860633760021663456406512265417
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064	0
-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064	0
785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032	707106781186547524400844362104849039284835937688474036588339868995366239231053519425193767163820786367506923115456148512462418027925368606322060748550
-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032	707106781186547524400844362104849039284835937688474036588339868995366239231053519425193767163820786367506923115456148512462418027925368606322060748550
6283185307179586476925286766559005768394338798750211641949889184615632812572417997256069650684234135964296173026564613294187689219101164463450718816256	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-6283185307179586476925286766559005768394338798750211641949889184615632812572417997256069650684234135964296173026564613294187689219101164463450718816256	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
-5220172667425903061577971697711137633424494153884547894891380167295484266449274436439385961327402156108627779009335697797654180830756867541157529064669	486241774531086748655165483572434349400102816855254796961864975219602356486846711271497203711024003410234864607481247276047891495851063637570552056115
-2718194250483940377206671342450065050598307121025462478728884812610787657159550008067728206310087266313021538322876851798631051104749228431086372158710	-911697935896923120657271768294107879899489114663158856180387210818236605855278862129286701021704891001068848315358414001559596228361600213265330002685
1538075573028946743218088974074080296565071820261531413656970555531485382725963021202661362873762541073730255268071422560138763984112293726075864440583	32714915345062304288731028766696744812126851375521149516797524793117529192023145911789444374805818161903186315434231423299990915326901721358087811201
-3580737555641115744552803260096213810364404905103174289901126089089985524245827937248247777061809792616227113078854792820857820464578891705794681349639	-905115552364620397988563770398293333640952584424229471054362892148368451341444384842959260739848844225767202136216675443267261138927378204264379784942
6507055105388797670068278736523730898918982397123178245868602540572329574683152611248718775757167976444225514961282151262083591048931974317854181937682	975045639645751675788643018107086705556361042874575229717554817078619742756866866690665915552305755494270325762023645284694624285802078157596076400689
2955648211421996186354680264213568371289897982827012417366425823632851151818062931369157590405806348725601502380817484725567694699245559957309280399992	-982762085417887338188425401213895025387756334098912968901189271214125767567130145969770453485246365330481841131509590105514880314680123827866461668075
3544500499393487557476426721019532566585020091582789900730295085595516400226951589959678647925255585067235704328217338614712927133579926168876310281888	-919924733062294085091308602743967622333297846758335271223772200328631867167242506786830036228012566904226146366381289210176092323069359594932630758655
5995290127103641659281731882828535575445165046058847024533505888015996801831393692765306051094842084663844718749445954127110027888759138716766892809947	958843630371728179618999457999775175759698216641056527894338832219040901005191293628210686227258956655394025589642408878888676177153297901434102416604
7608456940202996677547914393788515298862377232895155991996651152093166059262125735459124414513451849113418312216401422013636299375200762957071171777802	243065316388807278408660138054634049761517984155911042278646002149655239863308421674582673406580414186324421090887294231273728612458202249151464408272
-3450368555841673085708562561185999496132884420710382347336776148969764098311212490355768847196654477134131754679989189211393504819913716190886764257109	-952706277886866291458293610049075122817138594297817837974457920338893764735723372553892452606377564331654589926624769828969775294863265997030683285928
2791000869522647266948462442840848583810464357331384172600252674895324635263717663109441163596263411172266879183596904690337697475432159426817047085322	-939169626912017439015134322679125661338188371040863916331661090225620048162409576785360950953519635107345319160428888707474703695270143550101612750661
3493071298627554223317907796069348131704292295342632694758687840262911907323249151449835586042630344623003466905772954186152480016517120468833154218026	-938864661972779849898314457850321887812065669865818182140017743600860559121782821613875506702238193776156830402639035142671129676793062410747455608983
677869367327847120699319305569483181742469903696966437369862411268578808209442588601497044710103025495242426414679499656935788467092885454239305649319	778910679766114964815584857358367207419236029556391947608776272148189258663171804738529197444187711860077307723187191745369081406687187423259344951556
6290484572330126028025501278996060978024811395465882167489994746505806709834410936691833545667566175700828369102054711175902970164040455933986479819110	999973360482409215891190542387100064928362970724644799896204412540923648250722308178440622985522901983689640113928802077741396841063308855983966562428
252559122965731187887756671760785400128124562759239181655481283393491523371169966315942935895100480580861292712872920143644239809522165390109663762733	968276112492329451812599087081672638165391477458457814728862402327431302513555354209776396286557345329141941537633472852535266502563635017077871059018
-7124479533850009167133365478020054106656175572070253828441776222609387887181635910679209750960455033684402910152973284468385335289121252288534702872411	666498530116936146598010374268591645206116374037563616950140219486227966303502646905746741541905743349097612566813311259323221482966869019335701547818
-4971337948568956452303199280856608303395187619325608828712690511809239072532074548971965471913032756504708757468725426653931157474888039457995111324157	256064703471432126950636535444406246420019525572683979775818162738571734752602026976545573321280541774502037792315696556074317268854622872446369699831
1349976878296028574444228743103941942038961925994662974424966341664213839766718678607350681240505091290516314025592196240981638342625332153969675720491	219029247421135312277744602269181440343126902345907914522640107276275434522517505194771240362239913261558648181658210243146798895923423852275577893901
-7580297941234995398760090129085721135190494633207153641966054079939666660269221770186827301468602297882966762153519641341297968535453142739248327616797	270279854796735540173021645422676312490157384093995236510032327761559511192588497631931963297041491236221952722826992153898896550946527854177985652059
-557823090435000954175794275001244619691269066626815054168871260305795396671615136884740421402489518906294542888105679156678733476418128982761854208743	848409446872394349872059574369938687230959198067878744325567060506452914234105789560580731219569393277097867819138937560969725634925665564335630310689
6192451634698982350624720474969661555556042405594217579888566133468410385034180682853520209332057906906626925155787110478892074104365986902347608403759	995886523551396390649054122640746062274893852451107586788003131807171848754754895594077144959128380020170936657083491992050777667789805533834779248772
5322042769197727509047949306294279656996325184385355451791371392649503227322434731169349388179434022084302927408378350278443828695131545749789078894773	572583654460427870998939078518288385418927536132857909158015164758701104405947077295695902030615821363447493036225554221052530310673701639140842085119
-1530877701772137121882902447504741570384400757575615056423398012287232199503023168746437840107402371660205601058959179111596667035661151125507268128518	39908024168383227589317342232719455604827919865041965685502853434514674492062328314600316096880467955635825771162363338215821525267086628225390743076
445186648872673696663975002691874989706264497884995804365566873398990433909344578849596463182197574200651842372137537190503844831544017168657435677505	902530305196021357383661990587597426838634936493508921633000088925341493033746764304077301446540598379584828165043856396799155090590284407372094981618
5857525264900869650855290987495879863645691406520766868724597607599428622840865820425738617403256145378813826898842052681175327284821940512811312269551	910766385375798772575109659065314675237738328727122951298060312683270218240266211398465973268179682176578856767423097913819477344385041495096696939460
## category: catastrophic cancellation
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999950000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999500000
-10000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-100000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-10000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-10000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-10000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999500000041666665277777802579364803791889212896145869856235111277944504020839249028888323763081953753587256368091915064737486642441428960104047064
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999500000000000000000000000000000041666666666666666666666666666665277777777777777777777777777777802579365079365079365079365
1000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999950000000000000000000
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999950000000000000000000000000000000000000000000000000000000000000000000000416666667
-10000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999500000000000000000000000041666666666666666666666665277777777777777777777777802579365079365079365079364803791887125220458553792
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999950000000000000000000000000000000
100000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-100000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999500000000000000000000000000000000000000000000000000000000000000000041666666666666667
10000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999950000000000000000000000000000000000000000000000000000000000000000416666666666666666667
-10000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-100000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: range-reduction breakpoint
1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704061	3
1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704063	1
1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704065	-1
1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704067	-3
1570296326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064	499999979166666927083331783234132366415882829253617086089122213659465908598875037359277468249016717207177966031435137016911353885942530967104181072
1571296326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064	-499999979166666927083331783234132366415882829253617086089122213659465908598875037359277468249016717207177966031435137016911353885942530967104181072
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408125	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408127	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408129	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408131	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
3141092653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128	-999999875000002604166644965277874658977905488729566123838969727865158915706166922679311977078945517824771314375475778667931907925438766229211955435852
3142092653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128	-999999875000002604166644965277874658977905488729566123838969727865158915706166922679311977078945517824771314375475778667931907925438766229211955435852
4712388980384689857693965074919254326295754099062658731462416888461724609429313497942052238013175601973222129769923459970640766914325873347588039112190	-3
4712388980384689857693965074919254326295754099062658731462416888461724609429313497942052238013175601973222129769923459970640766914325873347588039112192	-1
4712388980384689857693965074919254326295754099062658731462416888461724609429313497942052238013175601973222129769923459970640766914325873347588039112193	0
4712388980384689857693965074919254326295754099062658731462416888461724609429313497942052238013175601973222129769923459970640766914325873347588039112194	1
4712388980384689857693965074919254326295754099062658731462416888461724609429313497942052238013175601973222129769923459970640766914325873347588039112196	3
4711888980384689857693965074919254326295754099062658731462416888461724609429313497942052238013175601973222129769923459970640766914325873347588039112193	-499999979166666927083331783234132366415882829253617086089122213659465908598875037359277468249016717207177966031435137016911353885942530967104181072
4712888980384689857693965074919254326295754099062658731462416888461724609429313497942052238013175601973222129769923459970640766914325873347588039112193	499999979166666927083331783234132366415882829253617086089122213659465908598875037359277468249016717207177966031435137016911353885942530967104181072
6283185307179586476925286766559005768394338798750211641949889184615632812572417997256069650684234135964296173026564613294187689219101164463450718816254	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
6283185307179586476925286766559005768394338798750211641949889184615632812572417997256069650684234135964296173026564613294187689219101164463450718816257	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
6283185307179586476925286766559005768394338798750211641949889184615632812572417997256069650684234135964296173026564613294187689219101164463450718816258	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: inverse-identity
-5	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
5	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408123	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408133	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408133	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408129	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408127	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408123	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: constant edges
-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704065	-1
-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704063	1
1047197551196597746154214461093167628065723133125035273658314864102605468762069666209344941780705689327382695504427435549031281536516860743908453136042	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
-1047197551196597746154214461093167628065723133125035273658314864102605468762069666209344941780705689327382695504427435549031281536516860743908453136044	499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999
1047197551196597746154214461093167628065723133125035273658314864102605468762069666209344941780705689327382695504427435549031281536516860743908453136043	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1047197551196597746154214461093167628065723133125035273658314864102605468762069666209344941780705689327382695504427435549031281536516860743908453136043	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1047197551196597746154214461093167628065723133125035273658314864102605468762069666209344941780705689327382695504427435549031281536516860743908453136044	499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999
-1047197551196597746154214461093167628065723133125035273658314864102605468762069666209344941780705689327382695504427435549031281536516860743908453136042	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852031	707106781186547524400844362104849039284835937688474036588339868995366239231053519425193767163820786367506923115456148512462418027925368606322060748551
-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852033	707106781186547524400844362104849039284835937688474036588339868995366239231053519425193767163820786367506923115456148512462418027925368606322060748549
785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852033	707106781186547524400844362104849039284835937688474036588339868995366239231053519425193767163820786367506923115456148512462418027925368606322060748549
-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852031	707106781186547524400844362104849039284835937688474036588339868995366239231053519425193767163820786367506923115456148512462418027925368606322060748551
523598775598298873077107230546583814032861566562517636829157432051302734381034833104672470890352844663691347752213717774515640768258430371954226568020	866025403784438646763723170752936183471402626905190314027903489725966508454400018540573093378624287837813070707703351514984972547499476239405827756048
