# 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.
1009581035669886243019714195478447410489332840915561165041267901285462530586351025436892213427267111460693775679133731027304330718686460300522216732868	9535428624711608588276491761381173690941038130413005792526314959959931180983709367629643011499901192038230380788816319758333133692081618897125779946
1008447456062042905644035265915881514936845750424236495071352191269049952091123153649854033612449892364352817872370922917280310285945692848532671425985	8411975976033659043973366154237259955958391955235141273938238595806937231589548338823348119155235062258188005308486643047134364974439200469218045560
1003479177227197449388440478407157691574285395599223115935516558250277974545488407396651729459470005369533346167962329849859277035683283634071754131252	3473138891681449620550526265218546001764895190467443352786985294815110145211533711137243320043963861224009354667561472877528195512202047067335847468
996564990211756936928045697518681845990728570980959570131616400430734026727643344366105389902908412146676768603669691429196460707459719042980053921231	-3440922979495590558339529708277608929752858307716720191485236544756580809519923332760215580430552243680200122423000222294306562339957652411090129189
1006384940036719858451213289998583243340176807583192993727577872344023822149250844384693908777147879372355657322821104041322309834932822353804782799015	6364642659625910089835193598152765687889289164684237557759331969032331316762643552182005794171839421411035941125539432419507277499867639108781515813
1005804576460811437428647363043138647932322502204315082390554981786370763154316601378425213980024298232763608238216205165787557034067652576298517008392	5787794815778893986003808055435710611679507486622124501556814828549363735164247814229658752927808324873713281582306207536799659551407021261212328136
996824342152808866076848549449778543204064993671442074418820706183492397724017291579565171100642113783634726701072929344267612023370088274899073884522	-3180710949357268569904196388754071436593362259711905296794734102973897837902882097846437740738819202140797506797079381811770048405946515781675614024
1008308475827145093967609371978460022266575624665845539211463042384475958653611289063508745335687220694597766549140862912989113215138846164936233118381	8274150438574967343470895221642318457227253023969234907871800244676774521467205118786188002719554596958898676504929043527151527671401896397278594611
1003431740177140088164680883048017565173135744235939927345583218238612165462273257651948752748433042810801826587658523015963741555124797312472148052177	3425865193925548352188518812391396057347360236071841434751453380099074027089444630355591276477501287467585734093553540422789768756214199694097088501
998660189967867496398196736284212699285627173307906638623577514501117148922170888518609130119198502612085398465953302639155896151386451829989943929674	-1340708380093666058787580529274758059410874980259806250312494403156939171557322277155219374778665439175478703954954575409877973069869044340218842604
996271942777915047397399838802315805788203704174068755404972884073647437089022597734427861975675733153664348840186724862189204239314603599882121697784	-3735023747203187170201066546549938929999252750559375355662549034226993323705031266238985062324318474712763750355518000658830947996885555199212087108
2713913245091695082114123438422319214283273947529557749204825676186133415309101328164596440656282214441060277312604539965067899039127596626011488591709	998391595202314418022069736231160198565346885030859505549845267523307525640304708093901955889529459388071908320195013212970714498593392898709601546337
2715486759836097901474761088253975794859370120393868456768802417655209729614862862485389467841489676932687121479840441907837586907427800603878849212783	998971222707021715159887292499917208781111532716700904002314312402885103193750370571197376053469764311956726855917179078329102646682152527154085102138
2718133760574231864287896807853390949664571482001690404481130814143407346476922448888068214213054788465089092732707157201649608514875035931383708477964	999945527385673502530229806417210803198112662483936252560530986157578877896829257972698016550013247680362252815470027748695586145826093822183318613887
2714289396300816763785095446934919388347111469217989190143961838900720209796005203145030945580160550884948094745640886916009268703366270503788901196839	998530186642086926707099437604577816542614067819864637235046680312320805521706482302823734175315462295403412049862781635317770102729116329461529495382
2727215492740201207186915019370819661012872201083789082466407002342415398039627180005939128323825716555585718712843719380577634605782318439647322876010	1003281122648316194592894360914428963433787006889777825315511243563573258755456694290186441730145269039046321350300297794309684290965847490845324971542
2711306676634024640869443240447076672998952385835870138739282094305979905997428068516649958429304325300175799756596948515208115210216644638516749865186	997430687185370973940441037323621771139994809859576260340845343153551377435994005550327929134174087732098666665034813811790156242708357906275399019031
2716769776465509189452701150236952358796693973423261906297893885175135544632569524529929971456803809334994016308921342400128141499824868850911257594225	999443592391588103751306113846188483057046646297049442166917144399361601134149363074675767286565388555944962160581381839336444984619614902953339342175
2721400466041392702986428752815188263697830295284551015818140218795974278434073478533894311779051132396889068723296927142585252154775573358381354648612	1001146625025209977690026159685706358567445968282946787402552604636849121892508288278195091459046561613846483912155856113064170404458768067075263471396
2727320759500792348551140691258821157825030081999126913518019705952100132161312861877582960467031982862225279213441618762938896596739005460865673822110	1003319720525655798450676968287211133647828473099818353637490663008070309355780210371491537362061774979726105632211298929602642928775694344114695216104
2716047048829391829107172974915109291413837389958553935742129891362427204407429374834733593344348109603494618277101372384392455970708615341147932067747	999177532384920569697352944002020338686277073699606402189986815125900648964946247630262216924197443700627716222365261530936459504784928523628161850891
2715716232435569728188495835154889126129135554351686039547785332584208527859599339681431568634528122519604206553137644562475477693871696144496176553853	999055724280590186417422800963756407119798058602404261771898644136307890364496779349565524028153885514090345173426853373594748400857766037582519499500
28901624587666155124703668260396012279896745563621883443438281398104591228412501075638300197165630018929468749681997618722851003287082083461889236575113404332	17179408365608802261752520606099578256009474890768399431007443374973157459736829925954217079168051519283893660365533008647945316611225241480733433265879
50713308632886347666846640711927105157082170673328984415385200304119129488476037143782491346643055501589364391910814835634720224306115023712724093529590388794	17741698931804986918504251928219159589285513479117876813794677041078028599533242181176446339124711820162766652474267803137920844387944715937755344261268
81099956352441055210926912898435906251483052299564472592427651875613396002523107967934750945025015962130157125403115493560682675572569021850851785811094703288	18211192980891181535774546306516174239147709369554596746586455819517176963725814544979833375238733728662779303973622895252757251074791969147953833003490
55490963895356993475186952730411545473869257553618280344840543222993848975053009448656419514016706961688659890733327961590155658865645817609579331230892082777	17831730752764966721934922771848801433372838389249289981545489265250433107025095347525833356933265170934878778019209044237622566827694008226838860700400
44297425165599473464970966416633072081277334130198286081902756509516407606809769005951978859964932208702298113568927895174576073926382749499036710555292139652	17606437110653477947743942299217448798213941090278339330432911590548119210825379909750429372937342311901361798261580759633076380235964722958138882006403
20719926505237423820786514476990646040853700166395204994671797406546883007019860670581602801855598666612940074210263511876406251340218276085171017513376407028	16846606428304739759111881506225516001472826370331178609064527561182023271643094136197944031211725809444860125071165227815382451771153620288586463617479
57835798432813277853473033489804300319340959991948080650686269523834170126667942202800313002610297619976948255383616108951070697820344498757259983146967794891	17873118491973193441067404954566944966002645990066076483431312438599918407875265330929286259368845641553689909116425049045278899630852519888854602663468
670314730069545089171320739303349103810031810271533609967147652622785393831301703962130319936834563715696494497940282099353473261569239744550512908694398444	13415502627443316437482267793901962303787634031470312713664292063974064989132586192401032680228859588814067675860990316892019156354987655190389929065393
61866560946109621410401296632813053578772841963399276797154423969100352803775190947633816766274964940243337644269892296724701407433431406551698090443356600272	17940490380801593673917416215560159532049136063981840414514981511561199835950231944589865819518761054365673414354354065163425819971545851816004392029400
21278722315457862616577652216873625395337133350022709120246997609933536892392173616462097825735815029573081698980135511914028364049665427527830790279371616569	16873218179068320947916758657366432677060417002856255207524973694796519479312269333099172207674437774256152563436278450356072443138080391442241550361514
99338248032992868001318907860657688393734179929023011360279914903288289764897752751566184927449175752227081229370343144870265714612032446207464478565401400992	18414041231419840357043051961494125115060251280305896197710553766434988886475290321912754766938046630475645573178791155907990425962823413472810107427803
11746743621741714620121609892566134198193505435787073648632658784177848658513589734723810403154069584912547196720148590355702003403016853992280358564326061167	16279086621569277166255353903143616371223532673876639809871613174529407383574985249455252320256170136065735734438156016917949970130312536096417872530805
85491596934005384218248833323612965943031863850192510002742856651729196349947985001174561401615499709048260619430855363806400985802948471701700688321459679645	18263928647603426906657651449433647829846641551884513092565487512855486925836176179364263596874303970921182666646917296234386995674583421985757018389952
37263126303178893187524277042407197359218668380249440221770079795057646858341457440045430084130173186284545570462200368253604133319037126550399129106240963121	17433514824695147373925971899189578662913247333471934185957589640844048760966301238331352731512044192239569461814430074581533828258239167816095425640336
11461433113905329850522916690225353363544674635755037177197235523159430685131023673225342899868111591278004774964295619088562550397776832626597560020921477221	16254498315001722328260652589079376653176848834666901585662952046868614127309976376330602927387735584227529704887929174499739897119973493394713054638724
47092557581410473261372209953313899650744533035250218645285963035567523139756426775052663338639291839235475743158313428283845762655283132496878085619245596249	17667625533367720130062462514588347192798586130908380237944883214053370320420398772717480655266362678755541722821850000487041291254638574443734313273183
2250605198046612940114096373944672963673208848427868682349936723175264140621830147915512853847233520372902870409076940580234376356491920751345064111030476483	14626709714922405059363983705303954565894219830848119453865984050296437107537480769593477553864104719086127586959291406747033587187212620067185762014836
86030627878926720358008920897576370886907158216894176582650040446647671415209068135476008844624722937822632759790959785611897421153306392354960619168589841569	18270213928942706784336667533952514377686537368336614612336970772622927456572745133748156057770764465812983435672702234600045922978589656398583947241033
71461457795434125798223890136360166375508700851364396728939275884962214384801354971729605498586425102816754696724631021599359900011486257711628429090553184764	18084668810511464765049150484670429644192424907107165544059810877990583442465580347614884693081046531026023211526948474628916323165445267900938866984717
60504897009904855313608644789509965424674179254390830380666549329879724946401899762199523128529719567363565016432231336863431387646334075144756822218661097652	17918234862037894613640378653233974464614363582870868212282446752718793368379628462772621603229539419207103230045389320354729315191927666580185497092568
97614344714956436327612163538811501425807444498157493165968863587273362056312421794131235364536481318141074793822102907902075634791905789165486828850384380913	18396535015122109676000650604328829357627364312635458935715116067374808576357342288284107083405091790160539479692533882981052892373358630443251652152613
32763033810027868730078920479245195033132294426132063424825124677780015198966782254076912209755676692849044640034788363457824463136123292487087378253174682955	17304811419805073799820332372683464809300824205400766431362857493410402398486670371383852829136079412813460457751067403013844372589165941503046171032034
54882458989881181084239953129884182814789564261629114731215103087234270418086310031120556090111605312209998086012509969805957374797670912237845086183827776135	17820704347045046314695841119049182280330164924790282614213081573637437962484651443204431750740308831478187160227240007173800827737324171235156519861181
22128680512325853415093487300928169006763457552065375494275134162118774725408356504721772025879603176324951681106943684309906858520159328561280114266317612905	16912385085863087259415789619852981950264388585001438692690941837501060401826499297680144706712520152481213598871608488278479086484950049453285851612994
68899940833665205931462162008613208709842460484531560550753251778966779899205848006628991269264476534954295204994932892748408311387687747475713789091912109096	18048165877255872506009616486918292614826055790418306585022700850664412587036962288033170522175448165701820533801258174921559863002493100594940103228853
49153182663013342947353824902859568811778885985453089093341566175694365944969526188283141485830128450699174102895610450164648244676989190523237055877624733921	17710452156540615157019423516951160846254566145240456045603254928141823634941966002133486538384669632268799696629190881533152849600036782846914679233905
79848204570762071408363943299569291613611914377302028537907182145571200840666898752824805828951591720696606756685696849657379506753904028440685343351083923323	18195637947347607795840730289244903187143131259877082969562385364699604019725642564893452459450148826973464612521644645897007645261184975105217557995930
98633422252356530891487299481469470095412556038856902167078412003761165702382837092006780488320468047293031508584969788464215183919978279651937976016972088648	18406920730212802696470223098817729248412464628830194117944340178011755444391593923199134448874776371691428231592611550380955269662588330167551265384353
41275849417865421627447353017963565515526062806512727366858759682879504587828429927238720631542585470874546716237520893095184881298295495018106417547185347027	17535788127034554346231309157915809298652578439487644668766045435340797399750550735109610095460136184382206466955348109371234137164573904829907525222962
74294113632806460541049497865636754878474564614379709449836608925490738750986028922849584789092769906963210128595156504942927948601940372092600562877205760964	18123542282226647300354222918991589007641000109604437277253145418115820786929474849480943346262030991871291437182329313860544356307085261602811545422888
42151471936049716442021995042929036416753228081314999778681916496241247269702072915209774498768305795094669933364332959056467456744994664747044265744005970958	17556780163179618940924380982573279131450691691488434901796363988434723225091163488443756661273065706110380654107177902847467351572690432124142448345836
98552920133701309728790745358078018665388783903725123411868407503238502000163896722296101662088949196039625204720563617410814570762083872419299119599009739854	18406104222110328970579958821378118093989051185876155467569509660424373546369829947871563755125282337909191579622048780160146452312691185830797144645707
72585995546365532750148280215236908666030988055756553459096726835381725915683851879392153371413261701545650259384026964014350334358582637246333508510766195580	18100282562377263941505034031505326396425509677625049751029792336197287613261188713686523673157564204238173549516743983703545002634890912509972676229792
75557489137839953430176870863901891976202777219026088754239680232083879814806369563662571804734704707904933022004459341430707688425921040438689282487429531800	18140404370000984159044770976739315373253633196554300746918468279151089144718116069128710842387171072328041301997973310874032485837892143285734671989429
46313548198369880569282795135533264676855522281817391158265980367165820150035696965296505862452162512501844583672001187567910085592808902479975637044447767293	17650945093927635887190586972950506876126494808926063522417735037070280176651567329876875281823428121904540840692396846630430895479696971979858909000649
86940581072337320594425910750437574631360752912112680372805405098521546621864514878589197991563030278340851886281891346441012752582570310012822795240985119311	18280735467104348470744940412579598285201137883517368911623528469889288322201881041878234031972832464551270693749678652916441581654432400840153657298829
85582889764409296071490935351727428407893085348152289925729015267209601876429760822233791799399645233608609436751040584033651501992298675695721801099347405482	18264995935202317607349337660403766849398375560358897191044269028639817248974564414582532206841450716514000153019381326196080014158235749867732009224417
16942939462869404116119536730746665178331687054604168337521058390532096431980862552473490925325097904171714776333865483357565944565964364652486310860401414857	16645361754146160486624741852021359308865901872159920225839320115824022546752541010293559073638047883584177815121043175335964233460280912514692621093939
13992456900326432648025671175501578914714434181013301866822027623898739194851933296453305013565554435726942122918093673641775692280069680036363243922749099478	16454028949544689734000097701453631270331234270420069373277950242161574397912197449919649819070897050086432027318303816893922541453665656773011846495827
13024148899018194215956865377605678064333905122827000107453410866811906364783267775004809621973855662299614198555174549801535993791508627473336228527211734708	16382315799823279569437696839767220128224759262196304604121372562928446520675710146442670426636224056285173709832971751765581409753068656340960000790210
5133389010975502662993592770974442074779157099385126944596755345296751066649727341713022063583024624603707023891442581869216729036033980103459845957296772186	15451276624950856356798130974243758534485971509161698537096221036022013843539407489455438140180871718559115506878398051594689795347943333899698000165372
32866272553028374627160525247995308132564481384123155074610766223834787992656634355712890475755019292067109585703200288215898098105187189238659654687603687551	17307957539545688957816000847180194824914708309315431646174013788826986637414257263870272324055364478137395491346167077789391812224053150117085012845255
70064800390961412883179533396055561201714195439001459368708228009375072120233963030874196440030716284254982657253050744499256436452964257861595550732188615189	18064931091670121420807373386172511225341737608216674248045570553860920168396004307007890215505895417900615752618742343586916603668696108634343047339225
47005166566574322851217981121233278187133605037350987369842168118989715285012339521220695353893395502694111006739442972434094343750250021967033093395425419418	17665768080581198294501930553180169609451932876075024691597209314184973599146898405715130597642466309710775617197820594369057883334998765499079223946029
537743346941636471436907174766697720121502344667870586172814433606589623792127073613240309763280810714345509055680959080350274155538159024791896951220869567	13195136675024872285675533885430379400432178794217061602878140573217949213684292579060383233119896570312345016158845269786091792133180746745029898467970
482647975440279416565314448939621503670822481865784194920616634762547825049414107595234670506599892264718239818663476588890889246509371654388835300160610106	13087042837593311926714128383740338090194626219878217344877701770077278310025745280520073581119369771059505819860164720857714300981795845407928028284478
478584714419567796081902639818689340439034454063923155485320149650555658468525300542542035095678044189865136849083791877914320753684072785141019693419605922	13078588515834317038355862805959534381616260815432115657324487238186542457980672328655316430545762067576526297841364008616644162321406770197930943794951
280406426896460312824594010367980230761785083733861568199036457358116609945753047663256895118263417846627501110483220599224548618587010370158847676676836370	12543995354338034747258701860370568194160715911021697478670530039459624085061434352055517812940642906357882974270556249610482296399396239783315761331065
216127806008205202584657217321090193975371102221288968706506534947818338510988164223198574951792535642314459639930507275148502857216036829511109681306497488	12283625206166573861257133916811054902967191169130661697886971600262394297883669478003141729134341801561939890445125575714291891589744946485269946306026
450832807672557246507372089316097581902719737876038186816540053403845451972656023848240969570378659630277310898129896841154830124523711225132237293448821777	13018851835058140751225627649944635126648083718016018339372453541632285658383578442635352763805532323023959580067878340095813982467988876006858266671586
709734810819648239623761262666036835489661257987251564704760527267740283488918426332076106908658771630166767501637866132989156339413113118256453983781827210	13472646673358980940235355332278324885175141513949863853704891773389878335455521241354710959891103306287352172394768618157561457565397873358574581510511
419097158472064654720721373587254887522415072881539359824782414215760435998958389032712337984545020219489670631497641442062102748156754198534153320044058335	12945858053818750397410830176987766605526240883967685024068294465968254730479498743844552641884171353465932982538734979709853559514060025875289871850813
511114172634013301368009993298071944719819540779422564366291474543020811514230554651249663796398859052070831056278058723842338784989266362482250553889591741	13144348274041277422780051606965597751101669856326209014703911169086263800373785179969902240053915511666872276272524260184811357730084774456727397498952
92688052250235315870515591846168335708061759405192000775947876904076393581990304169148878187241524773695508524349699889361008153496258403971809699676446406	11436994857057929069471680487365176116762000741551384642942000284950629840171312374062878758017708034629136024788615393376676017482353582101399078930262
218046146672870673271091283282320691819772194826335097494449685427687156312613506275363342560470717587988450588606879103205693578432001178795801976624531885	12292462001355401098092945010004490249183604396449666613939084196370311511948376365918221868597570250924697015759263015415153247978175736035819754485321
669693137008600192070543448453338089809127112844788709509172134874780511590500744971972069753559221362354875724182853009108312330864532481423709059841387115	13414574881986292173792878111885138556003756367669349271366673098995430655194567475174194883509735930859567628181101112360553495786923858762962518135215
466239443805006543217690232939668633631793482567740689809995772843378225598975066126331703999917107050308366194088733038057639583577679854511050175750952528	13052454609051165615099577558785522899307201719614370495332140665964695741076858709386713111549975125159977144712898996634004668347792603940193046830077
217480657015054129808921253861480763047684832368365368716229672878464707278781539782114653298813257646198920560636841427227220762353390035252432337495045737	12289865192291959681896176600204043902561159562430414305263358969332301947549919981743212750139984849526432294238336288368304027285406497199692585749371
458667896801978466411379519863408262532725392190045567031047646369421384990067159109933894124412231374098611598520010680120031754975520097706010055020694785	13036081690784777529383083991100018684797970975850919442106135034727854499105264298732341951745149847471940114035015192070754788060357452315492428955398
162549676188320820788938470824224379154164883056519971145629087548753177413963478473334915465927596204382689838608926393983927286540376359550463107860848402	11998738933655756671291604842062374175115318209465080385238578091132834081644795619158187304291377775895191213348401368939864066678833926600738553079550
435671890207297628530737919344235689128069017760699700282300582397168247597139514866246452880626903738868545559896127240138353101500220805866594379506583146	12984644693630636534977597373668499622900379548685221235036676893527874968099066814617418418579088310925276148248449066022875379123063525487582343637815
412751454685861008249840096230671259113391045208745772612877896545716278841123391436727016740660443030543113605871890980669134186336550221108470105364690277	12930600886151357082881482543729270792861004880412412266130686932966533040261091983118130572785668328899716244944401622491062737676234164276392932866987
854858017141372987288574786035208877064775050035553344508822467389287809744054336905172699120528351172428194949029776341021526634449700896030559592104949621	13658690672306150517665184580859054739745874579043367320696116090433552103292699474846529492832744593738159570896656617600969606304141842108666048630601
417168815045140611758525951178638440003328910437844563724949935753097809846364822635905403405154742853093646816084081939533079041606673561855989726909710634	12941246251101018789979433200980556957756873085201767395820326270709917427374757188117133057675884977655407798299600041405288237353053918744634616931104
762009111877848228603413111011303852417591747563491370959958258848178743917236983189213629439294546001768437668509885460550676582550060133850090767926275950	13543713792442234049887489597634556655448505862879476844754871989594512565954899321045924672104961166156252321455092212600567041427028268700876338789436
434002418084656414722729860325372999601291574563929379086333771057136950849949074589353337351165588061940840885451289434733752827806049950436128004964003019	12980805384690652767196667557757824981889206991089995794218440895442011977490083010114182789795086184069103711469145739885195208812819472830996828997387
1	-345387763949106852602698718202654631140165223294315946404999185145135891451602872035399580763439744751295167606342937295011428819762421013499943105364817
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	0
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-1
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	1
2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751635
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	2302585092994045684017991454684364207601101488628772976033327900967572609677352480235997205089598298341967784042286248633409525465082806756666287369099
500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751635
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	4605170185988091368035982909368728415202202977257545952066655801935145219354704960471994410179196596683935568084572497266819050930165613513332574738198
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	6907755278982137052053974364053092622803304465886318928099983702902717829032057440707991615268794895025903352126858745900228576395248420269998862107296

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
93598309840815285143687506500422199791018168452159535033576948646853839729650934207032553510457174948626049571321074837437272496971270922227766193756414529	11446767605046402247317827232789727777414577259975317378625894148741448901473400424665152576698677785255570971095889580315314977347316229838331547372935
638302524145094819722098680671651327185719868686983293846301819308527986329502292657638058625266209632705487604269110367307045680010610819022204445507437640	13366567625717130025800667192072473333885332046835167788106247351239468848743039190519351692573560492552225719291048921154992310427446734239520648695998
915100609924618333662055403263252197161554743052101196042634635793019233490832892118987642435808421962175865931389362634517205800535877967698681273177956467	13726789294414686984151999567134753468350354581765200381063195255204399247394765807598281009853235350148006295551461992778054836949522125645221471297999
696366962597413693171159302697882839174190408727034866973635796038389061172425582854395828305101122978851318507718404451332689384836832146561046205294724672	13453632045482916136097850645855927003983610082044967523510220596016159331456503044232752430141685313322827588105699926626216797422789048339934164407529
675056108272097884242110961047428694040520214749627019093877951367549467150338938723889649699222492356263138855918424590151936685208292661101362821736419926	13422551089766182256442317686110102507949752399276900169521542562441808267567006739625608260284715981220641872777145020825657702154615883735754221799714
479646769954027847237629253226642814163575209000661722835462186906460876921651125364918504726445373805538794883666851095135513969930562439675567973969849068	13080805216050642695340670005369228172568861098123978448591025250585645563926959260139683222872663076237111894465985591913676263880793488154595629735996
324751211561169934477823367991016718935422567297649947804232994309465041937969782175237311008714564386731183814310879842337275629511182268023742433126441146	12690814665276217561730952970698731331418437604725631566706009511745158469958740749243724991597825977198427473087388455561096492852251418321773590143089
663598463210948851669162927344438837815218055674592068805377542157930208941297684800708591331764630635672929120903197138691235126283586362506455419340223176	13405432521459320650074586973614067528713945096368271352381797909231014435121367668048575967211605582716682048578502073791416497405180918771965292376975
849588579887278239320142305146943556478018036129308813033705743392092608845437548079275601054012292776947757946061632143218488785848474083359998963363343044	13652507487627208318243311834959982972724660583954567551400538752934955883942152693075360789165621725000773108599809324659977181945267107389097322642636
117116576172463021596405066184475380353230677103923542936573260933702775265427519118330169944625402336681026339038703599106453457814500340582966495905314136	11670925095267686421619201586121299821321468257926666366312906435562555441723249713999585225324622346066701158029634737385567510115623520798246372349355
676038733520201350730110904734654042903228557099171591179721080467208458897331295659834214107983061331665891483134040049991500976543426938376583998831979085	13424005651490434054955648843430053716197673952660777342982798356601041628969527477163992550479023545772503103451747763387411173977628893972462755176986
131933090384029217178765316298723707070019438423532665811567001130045478228462967108898306401616597091487407014790262731710289043691996164509766480633899732	11790050182025738242211353467739864751818817664591708739330861613199806926064567745382973835117841234142204730212765882323559279110952569018044947699770
282024162823932914317749960289245506349074878023015916937218480330394798535744166634745414473994401826580892365113832957307902617824295343845497027736115644	12549748030022417605924743464517542092355952474671919389267472996009363025642368318286458024208005806070976086593913382340143204393889164285879214642529
552425230188523119191249143493712077977266071203356755895905536169920749663508690272552125606308510342986142152219400575514352784842688697070127307021024142	13222073373240593792362466844746797336894942438636048439350655422616465729965659907668737641933595377149982632772748867451400432545068844980035335037866
552786307115809856999710621833403957631779099202997999851269610450493435721615752597904359215297622133467669396325328827278972841448300468312108453963327556	13222726781077819220155430818575700187642086636805424670891246688132808368674698921057469457772107766429419742199900816880859067062144357531761596897417
519012341413067912314202912784598119852406762772877574958672115538350762371535588295551437492318045755183125669405247931068520166613234126333274210022841958	13159682941081235084050296562571980253606858013127914291474446168880821459990794669393688395942870583733869376798667406001822232668740718258888968385310
336428522671324737910512807391716745941074154418169790361058876271306367399682045334183201351475005021987239605459988820191448600322097471723175270100548882	12726140991451332712703194950733928411006779685821398958716048904777217730884578639942913241592963706186467707811828035706467413932636800799691098278787
181184380599583220407694839376007869572765533840464652551982711190242165972322710649912397130231337421416324465513505308111923381196442955699293746177511319	12107270469094051767727568842024791716255425325222950883645996218296636986040302147093569092052510546527243748101764482986550659320845439743744662854606
716974112086364368543392876734337496534849090292557736044604000487077950063272803069930269983693445442334087107408232319320451898957660212493736202992192816	13482795013053166349259657806845634122071769590150239140777896943708553540297927406107106340710453282292621586006488463222007042860020672511981490905765
173016854232750498479601449548367560423545643478119706826455667109756922477206936738147763235649240757254291290193600534164212869370182654712360378389531217	12061144292045269990606459134278989596626329258618481479829457274091963223511016397178426072386405130376038838871327218076057689399806269113969331737982
934974076878426175771458891147848176258215772918889436847770792674434316634863480426893751925013953301212712573046383669622120010657918384089347722371583507	13748274082622756502699326952473137450108234894916356049296454802429242993360383210662695387999448125653986620974954749096744696569055215883331228154120
18684195095661053476093027642593694132863806102458868498505027404090321491090337475287591510264866043831806464677904369972053798954438236009333348215599706	9835433263424743236624454878855888355227320333338122309913754046050388737071700664044414707959613614041497614577472272734129514182999837258074499814024
189565725088404046438950026103434568051482974972503263486680644811027004965165249393682267404722014470014721715641439014124285535767418593931224021056592330	12152491077611126142429279079044541977952203826471162000894825985421398138308701159229923891531825092128232925499817490721689072095362107086578810712560
421227832902625567988816827953002634676210950309637656819163536373116431428865610692898131947059871852628267509876925386121525949503598976529757907346494687	12950929137074499643653740794354585072622184253835001504250660967245325305150188592762215067636208799018130239446762400542890669229267352611587289261648
204336802183533781130716808727862328511998834309345892603560458626168108750717211483088173613287107280101714783454720879735288245050284177384122597155241370	12227524902534528013896743617310152561936709385120033804892568127634163477749732033421769903635381019559316854970519126101137813394006008603110146696693
## category: catastrophic cancellation
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000	-10000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000099	99
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999983	-17
1000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999500000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000	1000000000000000000000
999999999999999999900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-100000000000000000005000000000000000000333333333333333333358333333333333333335333333333333333333500000000000000000014285714285714286
999999999999999999999999999900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000005000000000000000000000000000333333333333333333333333333358333333333333333333333333335333333333
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000	100000
1000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	9999999999999950000000000000333333333333330833333333333353333333333333166666666666668095238095238082738095238095349206349206348206349206
1000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999500000000000000000000000000000000000000000000000333333
999999999999999900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-100000000000000005000000000000000333333333333333358333333333333335333333333333333500000000000000014285714285714286964285714285714396825
999999999999999999999999999999999999999999999999999999999999999999999999999999900000000000000000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000000000000000000000000000
999999999999999999999999999999999999999999999999999999900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000000000005000000000000000000000000000000000000000
1000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999995000000000000333333333333308333333333335333333333333166666666666680952380952379702380952381063492063492053492063492064401154
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999000000000000000000000000000000000000000000000000000	-1000000000000000000000000000000000000000000000000000
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900000000000000	-100000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000	100000000000000000000000000000000000000000
999999999999999999999999999999999999999999999999999999999900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000000000000005000000000000000000000000000000000
1000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	9999999999999999999999950000000000000000000000333333333333333333333330833333333333333333333353333333333333333333333166666666667
1000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999995000
999999999999999999999999999999999999999999999999999999999999999999999999999999000000000000000000000000000000000000000000000000000000000000000000000000	-1000000000000000000000000000000000000000000000000000000000000000000000000
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999901	-99
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000	1000000000
## category: asymptote stress
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-2302585092994045684017991454684364207601101488628772976033327900967572609677352480235997205089598298341967784042286248633409525465082806756666287369099
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-4605170185988091368035982909368728415202202977257545952066655801935145219354704960471994410179196596683935568084572497266819050930165613513332574738198
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-6907755278982137052053974364053092622803304465886318928099983702902717829032057440707991615268794895025903352126858745900228576395248420269998862107296
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-9210340371976182736071965818737456830404405954515091904133311603870290438709409920943988820358393193367871136169144994533638101860331227026665149476395
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-11512925464970228420089957273421821038005507443143864880166639504837863048386762401179986025447991491709838920211431243167047627325414033783331436845494
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-13815510557964274104107948728106185245606608931772637856199967405805435658064114881415983230537589790051806704253717491800457152790496840539997724214593
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-16118095650958319788125940182790549453207710420401410832233295306773008267741467361651980435627188088393774488296003740433866678255579647296664011583691
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-18420680743952365472143931637474913660808811909030183808266623207740580877418819841887977640716786386735742272338289989067276203720662454053330298952790
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-20723265836946411156161923092159277868409913397658956784299951108708153487096172322123974845806384685077710056380576237700685729185745260809996586321889
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-23025850929940456840179914546843642076011014886287729760333279009675726096773524802359972050895982983419677840422862486334095254650828067566662873690988
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-25328436022934502524197906001528006283612116374916502736366606910643298706450877282595969255985581281761645624465148734967504780115910874323329161060087
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-27631021115928548208215897456212370491213217863545275712399934811610871316128229762831966461075179580103613408507434983600914305580993681079995448429185
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-29933606208922593892233888910896734698814319352174048688433262712578443925805582243067963666164777878445581192549721232234323831046076487836661735798284
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-32236191301916639576251880365581098906415420840802821664466590613546016535482934723303960871254376176787548976592007480867733356511159294593328023167383
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-34538776394910685260269871820265463114016522329431594640499918514513589145160287203539958076343974475129516760634293729501142881976242101349994310536482
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-36841361487904730944287863274949827321617623818060367616533246415481161754837639683775955281433572773471484544676579978134552407441324908106660597905581
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-39143946580898776628305854729634191529218725306689140592566574316448734364514992164011952486523171071813452328718866226767961932906407714863326885274679
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-41446531673892822312323846184318555736819826795317913568599902217416306974192344644247949691612769370155420112761152475401371458371490521619993172643778
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-43749116766886867996341837639002919944420928283946686544633230118383879583869697124483946896702367668497387896803438724034780983836573328376659460012877
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-46051701859880913680359829093687284152022029772575459520666558019351452193547049604719944101791965966839355680845724972668190509301656135133325747381976
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-48354286952874959364377820548371648359623131261204232496699885920319024803224402084955941306881564265181323464888011221301600034766738941889992034751074
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-50656872045869005048395812003056012567224232749833005472733213821286597412901754565191938511971162563523291248930297469935009560231821748646658322120173
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-52959457138863050732413803457740376774825334238461778448766541722254170022579107045427935717060760861865259032972583718568419085696904555403324609489272
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-55262042231857096416431794912424740982426435727090551424799869623221742632256459525663932922150359160207226817014869967201828611161987362159990896858371
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-57564627324851142100449786367109105190027537215719324400833197524189315241933812005899930127239957458549194601057156215835238136627070168916657184227470
## category: inverse-identity
1648721270700128146848650787814163571653776100710148011575079311640661021194215608632776520056366643002866637756307797004671166975219609159840971452487	499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
1648721270700128146848650787814163571653776100710148011575079311640661021194215608632776520056366643002866637756307797004671166975219609159840971452490	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1648721270700128146848650787814163571653776100710148011575079311640661021194215608632776520056366643002866637756307797004671166975219609159840971452493	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295258	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999
2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295261	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295264	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
7389056098930650227230427460575007813180315570551847324087127822522573796079057763384312485079121794773753161265478866123884603692781273374478392213395	2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
7389056098930650227230427460575007813180315570551847324087127822522573796079057763384312485079121794773753161265478866123884603692781273374478392213398	2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
7389056098930650227230427460575007813180315570551847324087127822522573796079057763384312485079121794773753161265478866123884603692781273374478392213401	2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
148413159102576603421115580040552279623487667593878989046752845110912064820958576079688409459899021141292808270666326052909926237694548182780449112435422	5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
148413159102576603421115580040552279623487667593878989046752845110912064820958576079688409459899021141292808270666326052909926237694548182780449112435425	5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
148413159102576603421115580040552279623487667593878989046752845110912064820958576079688409459899021141292808270666326052909926237694548182780449112435428	5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
22026465794806716516957900645284244366353512618556781074235426355225202818570792575199120968164525895451555501092457836652423291606522895166222480137728970	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
22026465794806716516957900645284244366353512618556781074235426355225202818570792575199120968164525895451555501092457836652423291606522895166222480137728973	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
22026465794806716516957900645284244366353512618556781074235426355225202818570792575199120968164525895451555501092457836652423291606522895166222480137728976	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
485165195409790277969106830541540558684638988944847254353610800315977996142709740165979850652747349447833789438961326357823700316552823645263915628556525364005	20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
485165195409790277969106830541540558684638988944847254353610800315977996142709740165979850652747349447833789438961326357823700316552823645263915628556525364008	20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
485165195409790277969106830541540558684638988944847254353610800315977996142709740165979850652747349447833789438961326357823700316552823645263915628556525364011	20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: constant edges
2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295260	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295262	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
1999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751635
2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751636
9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	2302585092994045684017991454684364207601101488628772976033327900967572609677352480235997205089598298341967784042286248633409525465082806756666287369099
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	2302585092994045684017991454684364207601101488628772976033327900967572609677352480235997205089598298341967784042286248633409525465082806756666287369099
23140692632779269005729086367948547380266106242600211993445046409524342350690452783516971997067549219675952704801087773144428044414693835844717445879609	3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128
23140692632779269005729086367948547380266106242600211993445046409524342350690452783516971997067549219675952704801087773144428044414693835844717445879610	3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128
23140692632779269005729086367948547380266106242600211993445046409524342350690452783516971997067549219675952704801087773144428044414693835844717445879611	3141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408129
## category: tang-lookup band edge
1007812499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	7782140442054948947462900061136763678125802182518088081619532106598113303732396170164463922798562891465342290059857154328912957534089542405403735853
1007812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	7782140442054948947462900061136763678125802182518088081619532106598113303732396170164463922798562891465342290059857154328912957534089542405403735854
1007812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	7782140442054948947462900061136763678125802182518088081619532106598113303732396170164463922798562891465342290059857154328912957534089542405403735855
1015624999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	15504186535965254150854046042446835877868492867193313607613345177281923213899650394528579555156974317215608991054170129143038306762479871262860224625
1015625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	15504186535965254150854046042446835877868492867193313607613345177281923213899650394528579555156974317215608991054170129143038306762479871262860224626
1015625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	15504186535965254150854046042446835877868492867193313607613345177281923213899650394528579555156974317215608991054170129143038306762479871262860224627
1023437499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	23167059281534378228799160962289916579409064118794193112235388653780986348746434706269971789044354874634850292802047947276398453705248654490032571575
1023437500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	23167059281534378228799160962289916579409064118794193112235388653780986348746434706269971789044354874634850292802047947276398453705248654490032571576
1023437500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	23167059281534378228799160962289916579409064118794193112235388653780986348746434706269971789044354874634850292802047947276398453705248654490032571577
1031249999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	30771658666753688371028207596772164091696739958890356349861995301099807283372101919353827834273442492678349851242435596195972205735654431244750503392
1031250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	30771658666753688371028207596772164091696739958890356349861995301099807283372101919353827834273442492678349851242435596195972205735654431244750503393
1031250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	30771658666753688371028207596772164091696739958890356349861995301099807283372101919353827834273442492678349851242435596195972205735654431244750503394
1039062499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	38318864302136599193755325123797290345963050359203228152590319893117211028403547260773593428680609996091960282606477124947064398052193555184896162255
1039062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	38318864302136599193755325123797290345963050359203228152590319893117211028403547260773593428680609996091960282606477124947064398052193555184896162256
1039062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	38318864302136599193755325123797290345963050359203228152590319893117211028403547260773593428680609996091960282606477124947064398052193555184896162256
1046874999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	45809536031294203166679267614663342113932097060363812413704073814906773709918603003734225842513359281953305141235899794874085068778753026635783245107
1046875000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	45809536031294203166679267614663342113932097060363812413704073814906773709918603003734225842513359281953305141235899794874085068778753026635783245108
1046875000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	45809536031294203166679267614663342113932097060363812413704073814906773709918603003734225842513359281953305141235899794874085068778753026635783245109
1054687499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	53244514518812282865870193786528776939572087214979298271970825932906513575621656009937853559445064369866023075594359991029376256809321763563326968319
1054687500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	53244514518812282865870193786528776939572087214979298271970825932906513575621656009937853559445064369866023075594359991029376256809321763563326968320
1054687500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	53244514518812282865870193786528776939572087214979298271970825932906513575621656009937853559445064369866023075594359991029376256809321763563326968321
1062499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	60624621816434842580606132040420263286202475144723770814517699908718087922152418488641560051828197350342337964904314356655511898914216136169071559201
