# 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.
999999976247497128029123444578380662118073367684006255460972777354374227654028189060541894839658508612398420196090471089185217846396180143315500233575509835	99999999208249897998955224510063970322500726274585065281768265308420491001567814809009432181641099092469650500841462072523324196671441153101031316028221
-103822904154328980147243498605389835684595828071435351639149141856722721770978696475805428765529101100119885013979596189647671769707897687743593003087509041	-46999985537090612097450739498677046018001396036199488981993574742672571914971451348396626149135614231316822844815571511121695259900319621638597449006237
250047025997933960774095418085854260412378903933336245032705533376525028101300166500453854892437581959583449490518184178225502643958071704316685900057629618	63000002183415894831061200697222416945598374850142645766418045567332177752485509344580189811647407033788052091057115034313404612427660064553520943250554
166374923444302951512313680809810155750993074325571015815246146736496919666936611215618502463074794116964075726953670105513610576967992855807169808899912922	54999991564109224177535983426854938745518625672851111647794272500251690424583438390360085017819227237482660258056626543539137946064422278243025778692992
5832040695123644294797153148371673972586960718491316433434123550849663213931620737130755070922215896635464793023125555558393435315689049828711618527030598	18000041867313774830681302288876466495602185672564662157222872475943728716883720491538002864864836086568131193566154626694033363724920681341698274946170
216044561779807144409867076108054601344386973630346313992383266938244902915210052512410082417791212341254983380624585662696320880977296663923701639847597	6000412580701165594592342412772954570917686064966291386249445210244777046356835317254990003833674851860141882211123590513035455046578627372368010667714
39304083715620364563284968216185411398580929188723536830596205095255453915786496926321965475690190796465899147046364953148691421391453513157446295713452314	34000024139435100314840964814119286760628103869286013715281979740702502366234101787607865306945603573760035119026429773596060693382673932168731452022696
175616007356936737760525875892009965857265572080054470300378228302195067911146616797463784429738127688755306814574576740064362066837261717526571152186748388	56000000781987312396665291646585079895527161011810203311717805449075282729555266248527186861144753196420841536843677742672722510794020059488603524385928
592704096765229024829569380251902850282652519343571508411833297237089383562738296794586541470485666424173612543847185468221083345185709208574780657659985156	84000004571297418690756384282680451785559287248625596863014288189263333765079924869542253787459168404706288999945872320900514201311796624968851802890659
-474551942168241200396586056497190156478700950855398901304752338461663157163516812963359035187257827100888479038739337333617922609432523385678913633038803084	-77999996831483610078595626664037728269722771576808913552770169180793472387189916717719882480217446737484283727250062474801452610728559583765623111810347
21951961130238675769234493688992898835679903800274834166682413642152591456788587730494929726517880463658555459112422382223529603359600402609423671566810014	27999983473731179378662018231620518172770922678879031915092249360304529321588523398219069938817891047984778672755508811375862512660083988786824287489886
-857374971372503879480880793546929305154168815371799116140774911689997889503916800908779864418999733195044082476678674293888105000940576274694862927388025441	-94999998942659411296756514408658476292971361704119614096694067029501811426983246787441695898720413794068417868147484480540921467300202123357736658986107
2743988940193286989904199525305788938892798794524332889256916492660321578767920225846264617192990652171660916812764193924037245401488788457853330301387958	13999981190779639374480477773083231970946536919508536054876169012226762681947777898727113686919418784650785722057487304963955781755976597727061861761347
-15625075737124034838478969058165921775356827618003165756565699650093082161695434011249809783636735859149314984634090626889504124998580430035536179927517969	-25000040393067554549113955300795451113732346139077754096010908475952545144548797289618330252856024626620773203703977219492382773085236290359817018187756
-4095902980573552592156914578962637390928712402033027612436362221115875769492626207462896907682759702542212855347042419066495813032604744787489255006089549	-15999873671624387240801538690195484124935640036370770188767901232427209384838972553905186006952454238937246181576215387845516655338584924390114330789696
342999930815185487926937373983459275665568699115503452111894640405058317401874377746610143365809221394367684875178255013290997373613389765438378145477176493	69999995293549716754111918729089384556305342621233579291362864040974577201332156752062544851322973032859030359049699315736912035418348175304040915170573
-5831914132151937427787055734901350350612608394913166863698903636116864949634002764638387507942883791543127328511179744250755387052038339817832242054724060	-17999911658158957767263494123167547583314140192098225184953121571250684184493534341490659818411286769513386203968293893970464783715437507223098110414934
35936996306041610690097730513905724336755930036959067171811436304549791323101633457705188217941216814881524362717392557189902762604393736117576503865919013	32999998869311749042841448315187483436614649126535174225578890180414695978973909220871947779002795906287190772729674813641005230984950473486238590249447
-551367994980552781186700451651103773222480425298731402403572338088778261993318689378074930435315417314694840421808437895466882388358960843263428344501389363	-81999999751167596963859782177083572946260545060041646074817861191952023612869950592185825366584401896868209183935155716141641506166498562091260104318598
704968959684836054234945985176746124287417329751453481052261527937674448044818124979387934426457550448001626566023495435086636795133920733397647499616359243	88999998303448019430706922012970305531522783215820845374500135301666523414416746427299957938138789289640262599260062642894073191593334514199550173817373
216000076195234566034964598947930793808577170156407403057899813564861638300489120497683739187844853122625374853892948705678520198884786097910533373432284306	60000007055113482092767527409898869184779734874394174363571588176660834341831551433495201721702512174269073318696692122931474334988842022747879831493505
-50653080491223533717869116164954853674732949768911630261907085569923420318113694973151257678938296284737869987306128491489573741750117329279348131281202155	-37000019598534428616288545664301493476174986323515931132360231026366086861688261590734744776015044995015984608304878591318050377421647224777824087021905
-202188028874785552492348888905742310648824476891402266589055928922982791199804762804542644997663095115491965110266233205846145232939970719000948304966497637443269759778396147867215644090481250489393868870458300963429713724346017639323231141368450508559333756486653803294485409954636009343869609512639958934	-5869284292886324268237569919719223123925729096592607822227117601460621286728453451135280590509128918382565051941284847630167052713143916773946541497482928374582849999403506656761815649981123293847304025
518162360662546121463781921967908120672441467124613292764592836715511964063243496068853686444523424391371301910260766101269077069825957195082205256347190417693546216982426746024944705502062846865114733497634905437307433636717070401464463554982540741617320910058945067161589208615304077696523844518805699928	8031967716438325283914132060746186539568178251598109017623757317409804467081318339334606267024184942946064714060146491518940898887688262871662938778617427534356025814039296770362838243255301203372679106
-849969991550358683346156932949634865470409999339263811658753831645002882261366159254395265217793220021347548479127157121420659695756996916034312391582457263406882680803878356377996608590100027773155832456086216081015981852141283615401808751198817085920552153183863052618729678902782200258973380616974787633	-9472570895836675119757209791127871892187532624393133510210766375620844969065764171486945371390921514894322794498050682033660707059241777788338950731233240969693983634847299923073660229969736742385671133
-444563279660161805381174932508979088488475804194838787216542234327466535401647412386559869274034840408578106816751871552408957409184822341208614102982841632515914076420634251988048716111584271007449104219172939009707052074792342553360426451355884425291464303400776083077449260312154602227502013404758899593	-7632108384897242683410710685364904156508462707509483243275873757619602785692683840099351755870637016889956770964684237914405416465662533782869099651710873107076468776127449479797790584298116122746189529
-764269408933479515514992600762476433020662798810065635682528772342920390697322573817481684443836992009134399581617009575716170948755666580249003882882828585150084291054778261840562446276572489169414384086428345658540545196877868896327083585292502498619672675354681357349120915277706542133694218904125323735	-9142861877603847736175207172053329907076996773274160381277898356939974726896449182241329510285366450920432706748059643421539735328805058662659284075901870471111119968187722433046769890444841893423734915
-878956826249581746015751294757563429734401107406966045628818812307978940917436894417576454292386380216155524521245924627432086955947988412979561928654640367242566859773488624249867119577478257295941557453425580428326366158810768948128729756501781739974178601838855078637584994126939651079034015289356683390	-9579051638554800772304266446220684360423762329672648656411661458439166602463476389742944044874024044634259929092487356898678909085450574056900725498791205429424727114529569786811881262207913828804810546
251863514069318881976786090481276146018348003149352184126813559619257004595622059554897581632224920637063634315704928510114389029406234797958280754974819033089594223588378041028180354024982464343615019882383713387048576939329102085066331606316774106143661765076518601764797015338514065812988577777581534173	6315219055454120234107966020551308280523804254086428264020566367718966550655766361126808298118479783458069897018960022413129409930051303758283120604667243137820211713519771132767698520290506096105732540
-335685846359373994407666641322414440408991085551335889045309587640474123930760787739836828286078265193455051215411299669786110966016309595133933498464758203639051397707499915663351010155054927270206389031649385777455376175523219113351186839334088370667570333038295189977872771563568367621733726021233354264	-6949885934738357565342576632920254238981958264326202320742797511872222748917707017430214243766135176144697240923942119303088013564077970623063961762083253100114509565781158340517238307558753414786948843
-571888613626398062451457234513891387452743657793202404834391650547085048167645073144597606641627325987542905874525034294031895953614969698958843258628445410521914916966783950516553480287471061234719913016956984162315897781714972214107723151649984896079252814055756472646002671394630337455634273480041275657	-8300491641784774171202487859362709816572126979544640253153474903293631875644574581662823681740592609829001925799784766823005160466462239184486588737438419320173745146999225799296204920123494935604566585
-160129270904831345193849396196064990815439332710659911741952175705909138778642426633167029053249758231127287078102912315268644455221584559734323966601227474013367655990517547486852182185665596376758169677773515603141411594180524196733042657020055029356469357396498341441441250845294683030337471042209826074	-5430296903034193502012428985421169953126127331456467646925491806769785339830944719622196125524842179926937489086296776748453212829638054971316621994578702973235325405175211282060889797424543365130017839
264945332113357998839247038386511683826599120930194054281610924156471487747222654916209363621868985157582417371732762686668002386488707684500607042047767006005963395710589732953758267724755692141967315986794481431237263057502820777083656719196814317734940665984583458379919227454885319165500623501551813484	6422716572036558499002418420257180827846671830055677892619167548648228385082045591699652958920646528252876169091905265743755103693817032624417545518920179394301370285683892718319077400108884406635749634
785186665292259280127578812050679858053272943775049733145596564866021590723185672105570301394120013249699584133814606560349608273466474284056555338213214312187209760533349774629165039817920231395021759905260690605395502661658129459767404316721958884589964635221188944116234517609672748803385900139237155847	9225522487788316626929621895427741717155940398797987701460134387902445585705607721982647224764839500321587375892121077421875443671407377003027968337904929833121556076168135393058455771487364356637337001
720538376473470488405059656664991461882017958514511141462092558633277332690299735907555487739160797627558396024835602839231252717480295054439046792913424092669226592417965609782887359096218814510442155049560640900608866174154167541630535393278695020288458240333603420706777540005558514642826788952383044018	8965042902166239984386661487303639384124164027718219688398730499080536576752131002360731963166588876474658831275831742048800711822059126730783830795444662105512106840165786069796574940026898706980368490
51337514239902576456514774166191488431419671163013862828357148213254300168401685571696405815208667716112096824890578402748500189138885036122237402743343307049310820599164439612184806645003696884974863578827952072957144770189899895975565990451150027874476744588265687584968182099435938512809950896908517269	3716592493824189974379032729110094991595704105660655376920811001859062559167079002668141928667922960594163162113546294890130313452556220565739507140365249928577203292552046211087366676885779528794285374
587552380099430749419275306398054478830084897307147665903595191476318012471374163498479374591481622797734061488196686594254302070179717589103641104447113121513882106136041359632884060609970655079727027529393464699029799438651706432911336530455561069919600414829839039139697945579506420091829514398111965717	8375592319165095626705850956395956063051944538681263827382949711737938561288141794220801640362858271647752408308473704693024482259030235536144307362991239625503959144336234562713293315569073084414580927
685887172300810755237243557122560889343239696036791189619695937438252365190640921896457929754480532407192721931573648608742171742053674440073292066969277682768210204538512111778510292233885227212486532074473348708321055842791088181336614378014232560761901583402970972913272632668027448631946222279748991027	8818963805769635826344915786459658605009569156192845596292967819468274705347623834329063922493945732294814029496841073190790160856566766919211143663594382998983671930327545351729491060870669344731233594
658952414967085193729598352572084693108938326233870604803916487810754008193800517827541781794392445123008862552789278723782776061893070910137515603616538463249464198197042849145334562471023829105833404891361172086949372439339073097255862526796222780819361701404217288557123203221553390700897013563639305013	8701978741211782954346196565387525633561809622756992441354676049371030059226464371127936308131691978381812818493046559149524268833425196329697640058647500801122130699563206604605301126747715250358957851
362709206907141182066413779537678871670270565594005812020018009944203268114730934818999980197908334275703638195679017303976417555240729695994561207910869772568753176748687347250084799589620644163679440613668387371670488976547867999383239937122102926526301088912046284865641354360698569369600138795212059736	7131587141239026697032182822878326962724706439185222713404658237760938195631193843305709566219431505934793154223426935776041706147268168649078192835475217678556828302698909974298112438554714471231371825
108284714946076865787437456264589015642157093884632221824577613877241283381090940432153374654398022628827265686447607817567537006698585013541574190430761165473760078320574971154059814221181981626213830769665335275528181963870604294842923909635313853073436582546541236928396864330010014420912211842895359239	4766384269132333982238945339787583610955062459491994776956716515416435001084451856506746479724853436265563330387311009757980756244093296831382932190903544818393599394170134650855901227372991378481147994
-384040347928280680062712914472286395508087326874020277613247092823133228692789343465923079839471395263320268386510766338891141022229958311466358816578556876641597825485720106183220105105171784039805905529810588858510666212942606940973035022759803827838984315985210399846954103571023379130235810377175801578	-7268736935507838424540045788236003558759085166368126837622839225562181058016328122032073937097694694798695687852656050839012111435015792511293442098433146999370398889982076364124226272391584996590703949
355911560615368229265004244033026026460216713837589226564551204967764349171751437522395812932273154164750548740809881443672134471833430364274184841185510542865317299156069351179355378337107053543547140337581519894315454953451605077303362158812085009642616615569165561843148343759605830439714332745241731789	7086754121431803864392539002765906427193491584600318117280842206402823154108126963428951077505877678571954272051061120263556227759716986733733753925246795174275357860072073845838146664068204471700651744
403818173830900218613049920627758589807894369692768828068434633601677216927541591662426068525696667076471304734232291163836886377094234602634688065382504100532883573949287988615751701765052663469133851940224421304291747139106343114600232831960898515569855757313348886375797349224684668787662383959481623214	7391432584405969188601281946816841002057407457499723340791779389436997792350884007175207867845721831833481417970728781879414868733284431073072217682296690789701868757722013416973714496252990675554960839
178211967116039258146795367315707043316814735895754334310874937581470468569225317030744309557847683733379168492715640659902740414298185904361041848350693300799559224921080791373511869219112895000445193016656033945821065450154128846442858893469987987865584148980552801022011148751761713211313037211100362180	5627458332116402819615471376047149865034486238463801401730783075401624018188479648343359169273879519977485721425744920846986060630644835288909423295609999121329655770824794180490108613263881560888724497
906523014465731702427815149167134556174245014552740322550570422957222330072859073231188889425878120637283692938383079888362911668153257050450169592974946918985567611428362747668695300814965873054225595658854739865507771584679240990178427869947370298766797483335881123705838997026009492266084491288968970738	9678163279006051507847754184841028298801001350518933165525210753505304457759621125560747888489214942231331230652153514569449334830512571162559637833166726456507524939502024398384261242583285840645217791
622747540004432035144988107815432301974089594039797404952160879970132101762874737022596784592806745338643604522309844673630360739380054999923614645197616475078012665825902020583660376129677234245079015679295185410972002331023410959183123740210061067273363112067013476632149614819970720858818379199579249597	8539596296754057897718445747877405725291276113288382906382065763696332429179496675413951274524521394942611223964578818131928386370217950957699531255712769988545516907090047266946518435602817514277840809
92573877941659459751116935444789543746419497780639026481622929300869426529618003173388313426035408568471423421386953738784753804232198939726660578520761541285604676615547758056899532150056119575599539493662257845634304429019961622193479164871025064358321837802239127849640311498129529979516168243482965299	4523724544185156079366096841034466539502073433534318108805311928501819661708506230019438010087902812869795065381060206500235525740625550611131088452813226105014870555459028867029655308103568706759796764
-417151546478773431335573457619404652300064289083169242395463842019850063388290537618594026147193240090915151738965879854804113119746054109033407386450148001756518910040818482021356855810472896333956204836124565373941685667245704490163627389856620326867041012768342557004656991883543671060485919958027588370	-7471904044719491914332861988934209988026074771594660657909665544433670041029322945395603850957762044364822640413724149641937028779504553428628147499380131197637599215757097126827723746889800444872369073
-31257134241364670817433922363292665063772626957539921714802350512753902836680685749506440115049617583863086362356520984312447375181432870321628640778781510731970134643809821066394669604368390690903863449584902881838104581505398274705642295887865173188898123934804673982305717518662644621892513683079965614	-3150042301988887697198687443403122107160841806658535013542255823392105146825435338579797591646797849847782968244742734992448262941514457624412793273758071883244893131648108367530502040551196177224462773
-569705916632352097997826208645519554365929369618314385216996372782818851189734997941779533695573835792933312268761862294638804786805874424836175002877731263229126703815635497908784218323169211473204871725476200151927431767586840535013964413179085052302979277880727312541494694334197905570751977146721194424	-8289918162943279476774310811880890174444061271548238783556611468640137029036526009878618105058985038689959383949747452773432257434393875309380565621066287273027050559585433881602664305690055847185081974
-136572117636624781559350322163271969511778585335132100540525414401995013234526913334987065486516760319034161758874860604966784093233899791698596642282639670588636959410204833758172065990974300289322776382963527521383088680277302266040157218984773511532316959357744696213317654472455061055129392079279624238	-5149764247688314687394448227422568559227398017349280615651069631369694698869826759586867284686060562931610324276524478947253392956795094270351159142912187369578266081354735866829679490419145198439829812
-488288225381509338291572961094353402212457457869086461836936966119814635547530454391455383360555355003301908443706616311715268699717620068489253935105980083391133744653894315283020465080519306474322458960974439959489781990127649258588530468771700663656040341040676550879403137566184061355421250266932070904	-7874544058965712342247645154600738226959137872262145314401141085382107404674603280038017531335468467841703474375507342584136271042904374254491539651242429234315341852065049109605510077922485552013261239
-683562781662906869304906151200696279439860464845339531610096879737117140354101592215431488586276870716849300528680164263305821109332740600913979406227467991106925279012348858304817180757860170296859971252312963107944018845032722553852805632377565404698393950258876691979311528946991901818584532723122199679	-8808990388692727190548276649933196436595688875439122854185734159563319179686437238222454348775920453232335113811188500017312263408908706827921107442399875751012569736257889780935494638740491081664813775
51081576252262328321495318109714679066430973926206181348230898371742649220130091252815440411395034474038442617224083654200340847058699836003494219580263752315801307981605589908066296351922151950145316013437663615721432919325237093993193581106551045960519799468572844945890818925680463947925842403182573611	3710405969583811455828272584290994862264101545590477278872603278079052825837809360155648991360771921930494227671296318131617037156252591417474102052536187162802022047621601966140221770569696625326401800
-280318715633982595767323432430612815281368685402187344000693600005834076536545886084141144762286118991492187140957280734109828510576912012993762371064280152809864312696025681714838447904366920917892221925710459259336518142251392231858837533729420336318906777789139095554703690518683814290985035825297066469	-6544613917183777383077336215681033737385947570027851250912798001212762368753446536720977403470071888134510588345543289699789016874257850354853500965201976003305150313619932964846065216441971132514813297
964621610753659116226170458558772227025535765138648853899270843944870954931580489089677152541171084488064416251444093881615775097254909718169338262390813830106320667234759437728758688336805626234295247391324239478470056397353417000508851857955535327379529885607098725270991498494234989530221139368810406003	9880653339744486470454252057385872031952928821148201323030497061813194162320324502592297738523783811104890281101587593707462323327584631084322501943058019769429950123516759732504936733136018290752239094
136660817874371475107249241506025598193859240415562463276660281290089193474397804100079015033721564628926951018458279974728835295273256649224800794288925087360001063993562338020577196539455156036477722590305406165824504740101870811224752201619973574568344493530308306306843420784351792146746557727147919360	5150878888232314361880712847655599312226313777005882263662293961848864581333785693910865334564943097617911380799712231503552680412585397488687378603807591511016524343579686256928301965324551655999966095
180031469222993837341726628151927162750964555787645159784089557750358888343907749726698982993606530836344287044059406636987555857095813513258887887995620801647111850634187842396203487868048612845251921412980356199692460710011770279288069503465915732853969397012319460583777414146654249885486999135375607558	5646545194919829507914466439027386801111500222900475549503145507744675209654255240551390946635353603990573894964257033903742798519199565062696491369915354340743660734977434435266416323544011534533762901
49114548352326370715881047950332891172665274718728463025878387177685260955800729674178373528175967290027171821691383853896095355629189510771691486822208836571834781599261985737831745406982724439264906310545125238909502133330469415400724281074319506363914446597700926015208742689002080925094391161144254746	3662154970098128584392265594374521925247967041850745453570355634893743361522660849454093305245212194277039018617464368605907014866550519693565660264462250630421487317149303451303206726900319283339614359
189715555171836614764950080188286048518635267245109363473375728549533742824073357115195861804839071956414443591768136453762491786362950960666229746060637949395939873658767306798258200803272823576235638732412875448220540055427969065171113824956439207841779164125250116279982545222016678294896179756238147602	5746026796926508074662468622037445173366192577139922868465921269766903046957453389890980073313694937058922878147183835090752145839573578240845859741448048323470664567399293717417708383051675896671987353
953617334897865891534546202721996015935931680738458045795276522021280731293240323143537448021405537607784778755327449021920935878134034414092024041741469558060591526774366345381798619129938031741527498925678659733699559395963008148414384434803604809534935158658082768794499427063307926634977188231841794893	9842937157826561430420351606469124241153733419259901048993367666083352092774183905858641259958584726811456932862758982307266579127152650088620435025629957467930582023073891112304088833345629080510989283
-23633893503695035233034096953086507072663141921831694964337290681277242877341487150676377948391334497694796874926029332899981854743099489955281814079163988240068463674850631846299903099753527106575388281332593938498967551336845346450712513647118732508417026709514286073933606998121771467370546747361342043	-2869756785295386712534235129462105347187053705461840787427098970885851516261990304073823457868807816802590590932741309692986263172317594029369726901656294802995018216813772134263376419357825531662516868
184136219207241640638357502790668745683285085505237500809447927498589347345747977729245835499095138600243229115339823002226851767117282229785621038368525222282264063616879815756815525111504979303072304802659709467357658247874527483476233329165932626638481959860091689320410183885640063899781599830071002083	5689137197917678456816150158475938322230309486325407445419061462911576542025086909448906161413609424326968102793741852260435619790138827486028210756486026212989463604702324616506914025442933626082784325
541942212281375248560024465015177624910976392793006242543423649132415333205560252012836911647505517086520703405336779430931451919708012634595156092485152846441765190887771522511205208375430338884867386548501465702735334085729096078419280736332578223519766446615479700366936047681194357240396101646217411178	8153004085485670982733551333902078926857733666874312318343332282463372033049270938614356985120213639708523766364239993691820240937031797134253724095847390938489611524084223655428551798152014871725131079
27527390304245236839475265819139234656648585118097172210883685240928893860227020262153377247529533014298627197193436261851942730531970383402310662789994978943041705101006141012525952718161481679290026791425394656514085815355732542617458225857242066177783397086240204156982255663604929513515681032981401789	3019407157588364022117356411445605845853777275803785031123489817768082765201854631782506802802034191208661261376086616608708904356815296746873561989772737626506908580742385205774289257350739977075681562
-507866600673943874726453452265012764951026598282493793990535406582608448162626039427146064934809300976787123391899039448236536539935579531499256709549182126	-79784136847727894826086690607735888662230614171850056437789526473316645178575771651022092169995397070597789136920103752646235029868210548560494992757640
313694217268307204092823045120845624739328347890203929756192723062101458215456683410044571972878928598625777970599868899987609846245213915494751914966709246	67946773318256498735341275592053202576514721003854591881138778548720661775114424494129883367449817751257763802672824102315336785447213459126158551981646
-912972905489895064580254744694132624254368480877431126001552179675833905278639107758844626787368967683992298043178786447134060140140170412339980994511373768	-97010623610235504710006978839405367588444891505033820417423488412865806271769933671489274134176557689426431896108060684231971649729778921720246810113407
-852192083951462223386124752952038313306725089707655005272166414564993943687519184931509173173773212209965799968272659582976595926486722695487101176549603522	-94808184856505381312146612831333099120238213388230996824888380275314008378096069246370685234084825340226752785659834254709955448108682784406998901771884
161503814415834995069806888392055731413841774854732026973967864738204499501697855222406495023578960305760651733523143866679664753418738758685019791300515534	54457904751766759073406415553024271125444571857517790487222410200736938184674043176775353478292002166333093272811154447965408224999156304286405411037948
836784860320754107064254625789383150581473769870717422015070707568363855313039666207025871222834441258785731879295704768652199087152698857141612279711264971	94233344380116252891757238107889797008883844692186668013296755898765545215005140882910837365775542800729966702294736726329016484159799362847201843387472
-920184182016987390357240384077591508850857882208249157792224581270909586184492304809852803107246834963627345219593894429022926015867648997351826986264377558	-97265372528371229023628022302952185483373344948131316353657505835765056736104776591730449119903020012531170918626752311212804231778554074669154997659157
146117307554384475133770226175559760199520943010679352880212420186501907486762605516960789931327855053625924560618435187329526174648882211780568903859853198	52670473224345536276942089125467676166288497388087829520526932805013323240671711586383239966010627955257852533253349389668508292995536424503187803785536
620836187292109519749623146591642765570634970183224806018463183420194649353399433701570068515447748397065156812558140983264178079667835312076840866615581503	85308506939510900853903854856443411347762984641446562687107163686788883031868397773307167547911591772616755862972307103140855447020594782290084730209684
235050130159348692040897487860746278899121547675384611843401811915285161167466851315280407635602056040647362869546753538727840605926264157775470041839211931	61714445608749612536246198138934180867871455206098463206007321291258894107110666245411769421032969010164920619870007776084113026850380147359024787628449
-734879298372360076064871986470057328858061593783545619564518402632227373543588304845431645093782083583582447945403344023143207331495669116376682513952310218	-90241298910631192587862565992597594825550474328101155518567546731424321446870277988611818407586671951986164565461621172196082129446291706645713139052821
498468207193890438980397681470308340808169141985591915762021028975359827087977713210355623324538389467719719756329957131196101255887512323597362911141093943	79288917369949340492654554783173439552040017436353680393400292393489748252822813029724241147488742789188488514914487167446445053126770709426726895091405
-196384447139269543805830461409850313006667655381141318955079108392541126904961752004722091162920837140207909935730110263095570977705199951008236867178949106	-58125811630726679268174714473960674340251184134054335211599041669705764362867127821233972699267027137066560278394468264695293383726530873897277240963890
-831022576878208147600655904408318607715415062861177807013765447677757620799265686379744744911143847892481690901578619189535065873505351820719326529528472112	-94016542164866979146812512446054797417093691439175973382502464639204124235196426936238920656525355852078133588536977378903889757991957959023173315775197
388439556192462667691012080150418879864048758838162307865516869430765373963152330300655703941667906345431067126463442701051498282555198691822858772728024996	72963862528546104056949202940755314094659294433632124225729503052944794454082132264768532324254068093637911958598786381116893611486863276854007014695819
-463553278627322432175834892648305703152828813978366926971688968311687103404790631400207793902431932186614123512218772548528806695405732499120255723733204484	-77392679959679256877317621904303490082932358712803758219788410654292971877747523626117720688322500035769575480907552350154347186190951624184297211689094
-447241612379052991112839994867149064553359180742928597236983604447588371485740650304791838419088573698352950983554932062677141863475798626473235796587932340	-76474046039471108306218614303097184559647840479038238290941789542930255127970809410646228303941973787852271764673339013202553021909695061764245398662778
19502460509809075133923164566506113768056009215791428104719116136932801226358738734566244196458459982450690159080046601374601980035409043615891182977685781	26917195102348552921721553908391119454621072473959064463823925669073121892639169160095236225334052610898741338635794427151725135503836964810823737839764
444810141789279281801626295802444380187960598119393820681510123882538388447717551530698578535491291066624416460676608646255190102215399807665919005790211048	76335208046672343781118952659901705722248359409166192232106767486163648134283768972202114002076389564502608516864694378392337187824341588827563642617165
766537557599389725537216623082939357816019673160572247809966782442743339960582314510119050075796099703557745636426350915981534940535167770655556328879007446	91518974738426999673846215093072348417239529872531753286879096366072480529475186957600069615932246774624551424326796841003923893628924571100039817520717
300001657039325739198564234406513396632161259566730339772503864523101832079056740972128756895003207632760656864015749230669201239029555425627990149569371073	66943418260959384172204631982297380523069108311588832031566693077812550332466887153448490655342528303751432509174441763911067717922102359677565651674866
-806945660996244457093734762257657508941965663999784154710794711648599735772674578423530038437333929130215945271742313111892325391935685082518629334087656799	-93099660420194154709035472498715233043111868724410614768546296165995451885523194480292313651891055529284910795900458119699475029312870631463951182400832
0	0
1	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1	-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
27000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-27000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	7937005259840997373758528196361541301957466639499265049041428809126082528121095866367721066311104785114673808406610089517488299490763761390700055222707233096877591392812184366452562425361461687248871377
-500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-7937005259840997373758528196361541301957466639499265049041428809126082528121095866367721066311104785114673808406610089517488299490763761390700055222707233096877591392812184366452562425361461687248871377

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
-403106437532234504942349066578990004016864804144154541670317376119726967309536160629025959654792770702630891876716224160435796787966994981195660655641689279	-73870875227247274628008467277655598136819417252201754515792223176604816283336636488533252013848696429563304707486032596224520566967480072400950086482993
812154283845931020165201934750781905942229461034852744964341714994656631194158960068132522750084599058144523302554775522758401003322049178635809452319416536	93299542279771863125710552806165162200233082760188585530721355325300361223111411981542793809628463327277825737355504051391684658929070570255241431771750
518689151506244535437279199224502768144463968282453643557593222229463648927379810454779765221832946409669331766958042954229836105501524491141761153854656132	80346887001205271645125039803691777932320172764056351698345528996217602366006272594725736199226414220257819089704155519514127070497913498644404616932989
722729802066653893488968335217712682928804850578063330954575742817983351077618210415747632002072857018744705965037912502779228891775827153827663667854763954	89741223819568263309039363653383028693596373680842386242452832680338609329293985465856687577148508387724833412184831910726161968261792675724882455791031
-930814972281474826291806265018180642017345469626304242768046383329675415913728207081678536000662201619821928717286376687562861304146030757639844169785324375	-97638504788196337594361690693069377897266760998979015549679880113455099466969020992453899959512315116427482244047722308339514804806995636690758889297973
-357827676787135137108922882217357840094142728919496745433601926216325848998409645514817950472684199372360003762846104945772479367319047377175870992792084971	-70994489871077068956101021478826753753833652578744037044843104135897924476507886221661924260839269295632556403430466049125140424088581087328609784735127
701989238138093587348231348488163789052879580602774427416628922416428731500567253927761034157390349883537296373216848904568994678527825796833383095239509141	88874427890732399879560749245606951571989837179682804107284677658579426877681916487923963694742948143598277015076001535409745002110265163725156039011679
-903526537748541415103862590707486410904158263443530746081361528208579947787657731359826510179175854173978663888784740902354445527900683430512737242954945778	-96674879100420940271275611271640448719924044747562255034625148272404031516563427916050073157800607135065900207012298178510953443254781765312793464296834
181335688578605134971957412244965418582765575025144807923334934433642276312765268843846026767683502584445953988808110368891744702313473592310385322096375686	56601476712191295330776466012659776532631534921460053960149959711510418829530501319630929378735536319773355491644475612871797002111777510767727495309283
-274402589065776901241428077377523093206299627318570593529395844316334186730075443628768381362339559968879570716313511114123379491847215175940959123949272342	-64982448047126584932792109420362723156163890909732479515619958392015302206265089159843004812664690372575075750039720537979905860884238518367094437416732
-753152162178136899008039953556184817320160290661952360230117194186238164143869941349404734218562673047680129092719018180223273526062872534848240454898280242	-90983137485686651052640356736794312090359349538769315542880418441619713460178473094567363857937707112581035573700410691396074199917538695733619503849933
32463471756217861324908475681705860847056178220906970197550545280808559480373074595939130115882467312092714487848557718040097816036289675743039419216942057	31900561028978283561126542905311671950321306032128469656291067993757363751410294244654785048638918619296756030375063269673411299177666727055027805175607
972101748890709169527356477539851685470729726821292771614840810922591783861971294142138382386022508793339443403240235454579929878991658808235522024573865252	99061273801328959067198342710131400676449462782991279612154139391872207042292641068028786634476482059546960583798541964017635058571989661972205408033305
98017702354205218136298288966306175697532304126861484455004752933032141254516293945066831674851325116948069836988862756597033329721795258912432779437585212	46107138793459682006349419024053495041270207616453450655519122501231277955648478372190700896146458045270687356864900954522876104345356262593608829583088
-866228852745087907499369228543215448750597290235092359410926695671007843171905397524882310674435695995574675095636383557772704028544717638000710604377708966	-95325892867125294466437769483296052427712974183138771397326524986705162766772449750516603813840585544917774956059393857778730978642827626573098640744828
467962603617858443672858657028729878861526467848797592517216842814587106060529592704805159624328343301680499236293956937509386504126174765719945107942884510	77637292740535635141369121974064318205952554161698659388412625553304316633456921712111699146937098614845578935567477404829506820312253996565626098348168
-24804758427926797200257489644228289337775095433372331275212942789894785182363251026800027915901296343588159438818725413962588587124930266865728042717817755	-29163859721587276862473862784388119226267271720436190749591810904567142650042758826763000832712877108815200279273733992073510876078466883268755014981135
-864283528871667398852463705670933850268536673175401458812383127281765431663488410960344090596158496943742200330386363119078182883654151925227803336340951974	-95254480358977651108728809647041762425833142815851155343012512814357987123520836573364531975283443938180537556289334502164116179610408883003028917146587
573405496948163407771176500819453497715979826962736008628764177369896533474223680594393264753167389661478759363044908256514585365356147682192577907414589246	83078239330450246043786468861305685122869542057161332346511806940962756579778057292058497072343803000321936086583292906043862101186225009619550824503260
189259522574277445261529244779368973016738090728028463566587721403876757036589313124420904200622730260511939908511281114588113004721041946053472351161734329	57414190603154879827702914675564568664628718413934083767429653938481516940368689031296178642541787829266726383185894507592865820496434119001173146237035
-132439744791998358566004891705432358114144034234670888607823995230273668855778223883531109681848926203844670327129554077389160090906730419868666809182421557	-50972912027022624568100216309826280811187982271230724952671308560799405745051990769574382486476293723876348594515136498828194933213418413821073169094377
-820714376684772498128046778596030581761437897281389691194516603598035266264569081369354749294486669136893546700327882217433910378741922039900691136997231399	-93626189217965128614048920288703879257625796279303327993444865752215160218642393076900781531705360578683812986170913970885828944367317386073139660064269
-500747191590718789597125086633157517408279162850330008495402444748541167133659230570770666008939465910973531044554195661547825746831905262983922964144427143	-79409569344459386124354335356296344179604486540565041753389450143839689562339643639057717476732856576787976718907818727536586445320802226556765985363524
-249613089522519326287317393583996297295787182165929329495463505035956800756625806943562417248268439106087925007616701152848124786278335044138360723051390181	-62963537271329270124890045935844916316718770675871374324308040011785680862398874756245040821198024762342634806048140316486895384262724961231942809941637
-667740271581129557148589299056402613260007045943147355940783666541415549206840103382220519619794978716891574647406796576306730973792065627702917097346722091	-87404915337311159601596697726985742691652616200148715214582215894556686724212063983962859311586112559122249544943936588838216791404414836764825790617161
## category: catastrophic cancellation
999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999996666666666666666666666666666666666666666666666666666666666666666666655555555555556
1000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
32	31748021039363989495034112785446165207829866557997060196165715236504330112484383465470884265244419140
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999996666666666666666666666666666666666666666666666655555555555555555555555555555555555555555555555493827160
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999976	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999992
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999915	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999972
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000023	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000008
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	215443469003188372175929356651935049525934494219210858248923550634641110664834080018544150354324327610126122049178092044655750510008
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999996666666666666666666666667
100000000000000000000000000000000000000000000000000000000000	464158883361277889241007635091944657655134912501124363765069285868477786969284482618995907089757137984154330822826540482
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
62	39578916096804054789361484790194261061732495871947179307938963444422045528400803880962367861923822173
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999996666666666666666666666666667
1000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000003333333322222222283950616872427986556927274196006896306455765550657868574820549747429591666387659821856245999279960514794803553702969183846195
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000333333333333333333333333333333
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000333333333333333333333333333333333333333333333333333333333333222222222222222222222222222222
10000000000000000	2154434690031883721759293566519350495259344942192108582489235506346411106648340800185441503543243276101261
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999996666666666666666666666666666666666666666666666666666666667
1000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000003333333333333333333333333333333333322222222222222222222222222222222222283950617283950617283950617283950616872427984
1000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000333333333333333333333333333333333333333333333333333333333333333333333222222222222
1000000000000000000000000000000000000000000000000000000000000000000000000000000000	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: inverse-identity
-125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1331000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	11000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: perfect-power ± ULP
-32768000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-32000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-32768000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-32000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-32767999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-32000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-512000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-512000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-511999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-27000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-26999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
7999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
26999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
27000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
63999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
64000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
64000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
124999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: constant edges
1999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	1259921049894873164767210607278228350570251464701507980081975112155299676513959483729396562436255094154310256035615665259399024040613737228459110304269
-2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-1259921049894873164767210607278228350570251464701507980081975112155299676513959483729396562436255094154310256035615665259399024040613737228459110304270
2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1259921049894873164767210607278228350570251464701507980081975112155299676513959483729396562436255094154310256035615665259399024040613737228459110304269
-2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1259921049894873164767210607278228350570251464701507980081975112155299676513959483729396562436255094154310256035615665259399024040613737228459110304269
2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	1259921049894873164767210607278228350570251464701507980081975112155299676513959483729396562436255094154310256035615665259399024040613737228459110304270
-1999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-1259921049894873164767210607278228350570251464701507980081975112155299676513959483729396562436255094154310256035615665259399024040613737228459110304269
2999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	1442249570307408382321638310780109588391869253499350577546416194541687596829997339854755479705645256686835080854489549966425423946110259714868950157185
-3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-1442249570307408382321638310780109588391869253499350577546416194541687596829997339854755479705645256686835080854489549966425423946110259714868950157185
3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1442249570307408382321638310780109588391869253499350577546416194541687596829997339854755479705645256686835080854489549966425423946110259714868950157185
-3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1442249570307408382321638310780109588391869253499350577546416194541687596829997339854755479705645256686835080854489549966425423946110259714868950157185
3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	1442249570307408382321638310780109588391869253499350577546416194541687596829997339854755479705645256686835080854489549966425423946110259714868950157185
-2999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-1442249570307408382321638310780109588391869253499350577546416194541687596829997339854755479705645256686835080854489549966425423946110259714868950157185
4999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	1709975946676696989353108872543860109868055110543054924382861707444295920504173216257187010020189002204503289390454018087197576646800785374713893894415
-5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-1709975946676696989353108872543860109868055110543054924382861707444295920504173216257187010020189002204503289390454018087197576646800785374713893894415
5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1709975946676696989353108872543860109868055110543054924382861707444295920504173216257187010020189002204503289390454018087197576646800785374713893894415
-5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1709975946676696989353108872543860109868055110543054924382861707444295920504173216257187010020189002204503289390454018087197576646800785374713893894415
5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	1709975946676696989353108872543860109868055110543054924382861707444295920504173216257187010020189002204503289390454018087197576646800785374713893894415
-4999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-1709975946676696989353108872543860109868055110543054924382861707444295920504173216257187010020189002204503289390454018087197576646800785374713893894415
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408127	1464591887561523263020142527263790391738596855627937174357255937138393649798286266145682067820353820897503970015218993280924575025990211822194375043236
-3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408129	-1464591887561523263020142527263790391738596855627937174357255937138393649798286266145682067820353820897503970015218993280924575025990211822194375043236
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128	1464591887561523263020142527263790391738596855627937174357255937138393649798286266145682067820353820897503970015218993280924575025990211822194375043236
-3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128	-1464591887561523263020142527263790391738596855627937174357255937138393649798286266145682067820353820897503970015218993280924575025990211822194375043236
3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408129	1464591887561523263020142527263790391738596855627937174357255937138393649798286266145682067820353820897503970015218993280924575025990211822194375043236
-3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408127	-1464591887561523263020142527263790391738596855627937174357255937138393649798286266145682067820353820897503970015218993280924575025990211822194375043236
2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295260	1395612425086089528628125319602586837597906515199406982617516706031739015645951846969788817295830224135211184410418862096122123292777892939306349394172
