# 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.
313491024511071871026355288339666010041776969737452664512447996629211708463997626486808039482690691701580983320332057052945363094818827297288351819458473468098044629344985235997538138229178880466917101563039997696307207148608780707356010129657517497882305364487133552710595732132903755962670463407937755541	313489997555825504963712614248206553077342215486654828344350540279896194875434430837039227745278338356233958977047499994033930704593349607086561012437566663981698647339334077303057487848231643893194518166731641868728430764485146919032501026604703951738638325839285035904875814624360306098770807321659677825
100670845622298105811890295651082873960259618958106889140958021939664517816415818743767069935253127575912113628611850820869467100719250834910373483564214463308277574203207252555604430510323184074158241372923072755817455258721434408713778057635619159465107425235013016991503965188027397694366836690729493966362	78874116582098027360892987435370327327070541018205680120328494927432807878077148712843627925328454508932931876690572468753118633128856210554466634059186474420599184941367424888421622700744032618974247471823205191652088942184547772557401586624393304116160135566977333658231482756278776266261409866903354246051
-867623025231789732557944899014126637606378600116598793725856990954730741731088878636657242965903554674642599756604244993541643270644176289727631936454393338281572912680809203145326615113964931672911149938345180226827177079657178591625141944468562366123096077439721271147474436711864758110451119013757563037	-867601255537152365011754539794690985159587632154423798484220924822779342423035439143063161474712650972173481146994009605958441319375747870251219638051812501149967564257148493431925523106183271485147658374984240990494755330454499380307448467414245679619174936735765531471324875019249205459997744579489318749
-798140839969722564607226529399580807001708693646567467721766210347256331395574314728778979912709101443525050510020515003170423312150469193904665668113642694598517543815299160742564123787291612030178014761468204548077453310655598269994773000443727306011372979960635357362608910888294957347218240795270451463	-798123892660744677777507549595203890699630901089377186469742036859462887955786419172994242417678300631807988478030460951223675274426807935695340343426841209127007248262487827198832088806597510502849723565092982954105582919767248693818639922715116023445626595358083516418850217053470043916144724301631344335
-580654244458705705748165841782391328555070809600766669015869532123607296488014072134565874352445596459983177289621711645303085479163134587655235730640514567631172413206927468407108569520162032877785621653609708930708840381274594775706008844664268757291671313377500206294085749725404539173586138674889446270	-580647718823763591898193587326778171136247931975130328484251343868347823342212119976347908627236138642495789718533623368399203336909921669872994495659675818274032573574969761843066311240970528566628766988872578631639125819026280566890499275868394863061193855643997093903569972444454246303507872260815453285
100084555356308755931108093281977969587754753758353702374798160795827816517968586459288534732998737108325352684374835502910665058218110873546447600914897346761358200791862507576334015110972600082633057957980111140555634235415490968196930611981611280977135419638492920778153168339551639540584524773599105796549	78582076148916320559198802187311305771977116528354781646174096890022174571235871504613721386445209484684694191649566145591650652126071095019632911503421007399651745850499726357556260408977488030944245519368627131270145122225736871736586850908640215191693043295629089980364611286615762595604026723424977214889
100392617961724548789237766781535901751988854624982028928442944574292622553113368035282668843549745256821882730056335799322078166240813751547373941959144854095774468993840548184854335732243055993616145245279721439268581452325123787213243910710479834961980104934661948105047842857699934264363531622389998290684	78735740452791881577536939390250146061414283635326572246875090531837383068083853404402739582891287905933337238632012450094464267097102114105255296517221249322524081236382806230312048513942195099685897983151226243592164103565221173465316841300292062843683542652886919735433377760519090308884780050864921302331
-99443655921882815324213990354989122848139313719966087992365559276889366527326676805435079479590051530527270029324300743137159894811281748082434206907760167102595668074667814568299432151099471898209075339557106228977663372368349897627532690767792920273886090812154528894638708749576548480490350970997265125298	-78260869068875532483001764770108454586158193594841951189350074193793682374734133359317577320745473744257058575648707043906492640548756439817121416702732128072847437268692358551551544213837671314245731366466912843251097573552966455700473385411376177757380532757000787170608661597988191516352630048584311374532
-99717123795599367179101047686566616489340351625850786876723652797132033605324754321781203040037408682069401920582588931021866928477403253047886924619342520074864106900238956814615356579959892339212077693251268996101069121576254156057042235365408746387717620385037642173914948146269953265280584019244425454727	-78398178001548628064241424810872006706460496982377927314753374561198228465545081626787103415128925823162065304013536867371285664798146689876397338697445045092562829108175662988908127611073453240756974432407959997359603011454599905545277526896101134309429222335819518036603967146757116377331219994092162329430
100021424030789966088669399264332687833712482740666490230988744758943092800032388605873217429192699518245183632278667474165788150661024672488416073008546149259360243677321260423056942375138975802649872379133601845754429772606152945496374337859298272657291561207308535331333404196720875104422591334623717648543	78550527207749020752149649455706324066377224318041814394127372948395851515671959142297899929336476508813461493019733184323580460016223969265346458107128290352545811164863685915512166191997610653339537307409860251720914364788367991267244734066372193988977949981549195949639674239108256642485641931871534979595
99730490622158677353768605898411234278353907679662622823791966189543680930397964875651887069900400136261037503685410749653891975969125488714014999395409701411860602330798917130651517353881950588916297840164600151765567632294386185927334550567146831106899940306755361195645994987304004085326868211019050701122	78404879899430199946136801773311018951504576737395493071476825337345549518953350562866973093227722777473235652410463580627005781823454472494076033767475252736348282770986765014226909081916147637115597141402108962027598726061916580152846381568997544354593047729412312510735307007369686925702179751422163459446
560173495592388883197795393383057317249872453856078948478905830581253450141763104223834631673457323034520841995950684169774480400660109982167835002735732387348416475985076158703274393432444689747208056058469390680723659040434580415331949169224597790698707505746406745146090097493863826108803657701234156069	560167636393529237338583643061286691794981896956046414151854597700653124298525158916399863675714258536113643243470427181148525662793069260919265643834091947459974604493647223607280588245614342872378509391580923586194118088383106612143841866434765202633396204259756285770817796202956468920802033811983844368
-40730760732447659156506973890466853074975592222672967490933491522651772331328889859918632207124160628703088931448184388003098038862793505983215801694148919713689726374054741431632954363550762025214151534556166420136398971427503605023183332544788383746909857517094308042424110501323601653446911361700706129460109590713566162626795834594331720306470876894469678656634834954717300945852353114742061378095511136977694246865210588627101500670337543042824917250701709651639623550783332413687103357434135940155191804906219157758976413141493235579321681990868661908442710628186569413610163030114570988148926556351344132464	-157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229105
-735822303503647660131051051389423106282973157122718738646818945525954117348282394611536004117535266712941496536644386442334831171485890826929960595793835674278903551384965263097445822556700116557445757181110223804039084415158353303520346378728090869707032832690383914524913008375247871712330920775508936111189104849492199711405685341586888189830678618133913865771113954605550298102341306801451933261028818652140656777547742812425785646947025903276965424084572238968582047495293872914021059825701436102341103523980233505673852965671765235689678275055346812665510918143099575863782909838485961304375323197178718371192	-157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229337
-40166855227411586494985912705811223692746918521274278388891127339475211388976555549035354098522026071885380723671303799333235256120417919891787875970968992948093601146843895414764536816132452709193876936483445270863134278573318274290559704223395088580455819499724797363776732691543568310368335960882516157179496159371507138177094970856993685662350016964641950630738054695311536140173970193873856319592686628787421084675410915100567080557713308558445750390252434867701817813384963065012391095267475603611088174838795546887153339323246049743171065223066291632384593112686901793641008012888757774081966365226500951620	-157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229101
527681075687393022293518769019764107928304386240754675267792096406947305398327852944460739157692976278607845146948557710292320398553314589096427015827120806912345340674196936537155603713941893706214938504771993712629917157931470762950672290114696531637120400100340874095038630403082026174860913972396683643124607834174396002443447801343985940190911772414254716778318418280672068685898613383694877340067306009400045767338581425860791445186097921971991616042879584116322584940882891567389626477912190701673359361916197101167333465863747260761965642359826646423991427615966528831120804412357941824197278255537733355	157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686210399
183155796527383957722127524595143207968968939239464014458083533071912119198691262034909272573780976959998200214863108913420261137796184600833380298878199965483532018057671296868070936230395533856401350858665088645510962588024371824665209875288899647392997654542297930527003719023124125247476326210815960809735703014292342616121482036999058236801362499733771340992584796300474339285445488519483505050268906485125813581346148576450509872034889976911082230850315670539676033665137869171701910370354756985832733822529817264249231313735203331971878583942959566718210768169420369231283746773431004358731808918160918575610	157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229296
-104609251852894195867559031565509870778631313671580312261170174222546847225520952868711528504180457687597434864705005261345989479160320910705431955128898614605792992159667978351088009682975593284104299129010300499723447216489164472969323093510159824577181713475244184287587551256483516376516543340259377089078338698740163986304924774700365527104556428850412633023593682579235692480113322346888847874325049640651438863653320539029808218389448823032857538632508432022883067378995231980874271623480109098845569767269204704212834037388499099065103138903119304507600996708172971256830724442466660735511622159751522767	-157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686133756
69820516469721536369582746378252221719702200744446587198913589426809033184491004376618486791083361167424510487310340073614789174170693728011076987822042288589388094775446731437892548112421233203560933832942761802963441953337794390175227956810280306823533698987489938121917927362145296664923435575742971804444148388800449889616490708605353032864920584908445391640192757141978890675836320802365678012863324445634155099684696249394088994912543064227596017310643958316295972179664448031307790747311115691868741654135755360023888056956653552784911534059227952628679904230640837266893839065330887965156284940506974344	157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686086126
-527023195385911644916740632351292073131738348390934869430405847322283409312555684538319367853962760451891667430469626201971962389732823234350958515593374033392073191874359268982437877823150422454295646769140013166251861358893994815409129882806410542384911298970226157863161888772516114121186710156154300912692605328113779510051272787874419619915703712748815995355023647990730945613315270794591769952744918849945914233516133381653417520209574838706280334786832868786126818644012935200889035034346929853822312536470555786001482195827309593729861376182301053448199173032993437878868900482682398634747030419570723514	-157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686210376
-57059829473986094002267616621790499028906526804894949608537238891383028027614766629458981089998897998001060110272907034351881772305671009677974222429596076540407180796454477423028062138707792022641855778958141073147007257315593326015783004585441465850058122252455824222107715104788717945231761378889474594848421526491420151566430597163669338464308136332525917343404378084447528858911078237871173129365546896468770159888012890881112590100332175710582843540171343593297811476180509439762810882076808090145026087052285288539088950847566817472126786289557030538171817334440054453238932595756459003059533230286147	-157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063510974708
-592310627927755157239133161591707940481237422269882536774564924550615899844127670720188962525527490305225438419326538596314183004388867803719011668004455905377561132249090285050862122783713787795567233344094727910671261990477329479507294146536873574215198547886813878402201277099919440263211825636671816360723709300979293663671877977218303614597437635164366709069217254760762249799204977237513881096762361838924503302969003876906621934702620127069607770406009805989112645632411035640252240805358927370084226631454278517470402218990079043059891887052895364394089739849194121068350645138906201419895304517856676	-157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063669346317
707610369419363481455449672868255737702080787030935959956713753637344288164424228956367609404714866771323877763546613084541852618948067675335540051807529063234848678914852697110604359090122996228325421249905778115310013163015826701022408574045755260427597397534547045418881151510204993589954088400368282788613950933061467485279790668782459476048201795020551893997126496260423487247916078082386892701356634209739759342159158504754478906718660324039774177802901257911312611357950423846068225218515436508890539337331620692703359929309265272340536273228083221578360255463450398751225590391641199216695318179515782992	157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686215218
239236383363933031894533349096923988882583705123445518071915470361411834059081323964378945233785368207544237283436199164666468955862632533361930950528402611837828898286425914947544455244923304938754052259405331890608766168794748819678002468360670752470549171293939133422420912426931388112146844125356002843685312616093795107286416510253870635153501950314974398821454759637346876645698280539161549903575877078153633974525487947244716569600265595722077667718989954704632852789872475723470889049173944469947218092513819965638564165883222406941073845407901996415402621179173909784169978958817282752877152093947692835993	157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229309
-504882849358213844511926943431792287368882934777279626100546781322725785921507158116057771194526917176887039332822814632578095934587741852019846758222017810624910805368894633288168268393598763479209324399062618145585923697420692205202516589057761193046760738892419567614707199392835400623761362914892442090677494108469901099871859215956663145357801038450765282835875926159996390946518015746987210578732535391581514312432909715593778465316692413950068352548443604842504943259926692486333898509939560629286784580024035939981000529498083505840603836490220061196831874405641431495589017858245413952637215821003554862270	-157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229331
-64013101230145339101185793680725239421842889643785154703460037430760437772635746222684291142171566454537872570367067285559581228432674578530966517123184339981390901540951781098307630656743436330730616817330191451817168755326993206020577414705990644950032554361264200443040234266698866727420944318855397550550616393349771876530526195845981667667771526246849412664255960188459579173095801151774822840567294930977819381701202786172922395696503962419129188905226493884673975241180413938873542931478018861492375281765174572944926241753063621597543321185125559027193228018118865982239697146419752742597608959543578880629	-157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229194
-14138124621685609548623636109860017295850519565342501295867706604925897061169352573172341737858302401213768523655799089921137257799738247196748306568086177093019956527197399815428840127264189060450278672449166429604521107860902424013241887357729817903172902270407270564419980465255447923026762906462507579477459222559839455685644061034419605303695381445360154478134473868662137602965635754673671303277352670845339964212394575457070009146758848164240981894938654100732548491165895054274097650146478849675844731810592909686460277312425558867794881485389378893472727206687109344772832416959497330073716082134350471614	-157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686228643
697960073789355832845125340557136375916892410975975540608153601811943504010348633314054734540200144875438452627272316953448839596587338108766058633463857112333656502785358160295232611160588484105227718091927226280788747587457092710662823660557970843831237327913251329020506853629082188058171259662193316418981838293211282961715154355547324743229365999820097348583669453019006009762681596599503275896511175068092107969538240065135616062488608201783725107056820096274121211535401434509519324890605315183355434744862035072502351172110821144352588291462465666365566300900390486312233541852002643893053223142969391088781	157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229336
268999177457372121576615606379079402196836155440060422091438407898378434361476327484606128703719224808294138803767514141522911295491876152296829648991727724491852256044501016830519458697799239005705091216287033336989488099481133875779849111492309100039374102532237940693774124080768339696289956605248814199405485982994643342132148376174855706802070687909822916261376829767974086505873715564327982030215031465895311787727068189834373860027401514472286783769135842200443135359614997758338997635531263840663597743729378555811386732825162959769579125407074357131911573165245539291594199564051410312650128450274858651424	157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229313
-748993891601872650835979453777945855359472149512333149602509762684451378079039699011908324323826115760547849376231750749325974949445234741983210603000051891111644533832949084324781030602512055370453057543676348780486744361989784071711734158574574186840712625365023083156835236909436701915567085394087944300158745181850623368584653065228959705051662558211223811863810920659032517874092134237581145021076953642233390055150086109371790171923566616490035871000900444321765139908516939234910016313877730134539969607798168843292631014894848060707403923486974566920365935504693849366211421201274358614372251176216601	-157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063672878107
-845053067396469433634868980723338446338191852055370746269514825215180748280322631075407064010000769014557810771843791184637682512810175866818998536218452017096497671325251050383317024627241413867661928237559574383652212331366966515751350083743778518773963320360310760089262732841904955130458960661599655355913975147373056462448824468336618945004245193508236667910106990114906172992718678313108124766965460096455273569335195384742100936950256384026615718925671763110293809230028313201468924133740009605680702646361075628859013736952209111352993688207647277405719359791158554984974494681280471845126527924960562	-157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063674395774
115612864574846260624891084654900089975767394275006901004915902914493620934992716095631467658648695933368198878732437527351139989728922110903180407279934655271696809909594380266866616454775458025147113368282178700859649039660846374253454422762326862809890604048642712004313300015080807445588476001914139982713981032142669074176469283976419773721467067866188955678145342638990049589547521163966322679006935773087544203638082864147382788926980872958300918520334554086041937753739262346820968132552375950751555559866302710937463745674188355519980178922511793663627227572202997770661409150457375916060853274388966897215	157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229264
862664895091995006388456293408884515435485721273216292102905483359088565135530750019832079323827690674418454597136828527659725711947603979894468131824198033380852897725111302151415941687282139068817071712585882951826175671800355368545543934093688340027352524663463027085257280053780654198057136631165777213111270001928722916409911229857053334821596909398191412683273816744789928657460396595216096090406888437006242294552465450923848089750762689285421343561720833867277819225562621155478946246163722403447966868582134410715895272517189251251122122326203950572290079271932109019834574384596318997605671037780766710908	157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229339
203807366601941927729380526812886818475744284631003002597352738297658220915742158185253577037004969450568792290785110996164667546895064297811845697194892520468025247097564383554473547509529853605468996838568331498118073987665805075441079661922144646357284403117610262339523381558098750961637567405295715115897037883882920165186482749265947138722701633245574031325049793827397511650757822889075085201077706814446104284092735350227859084123078596025565335171501720789433513483206042361891637879464730939928004887752834045681038259557800329936179219613632535066023010814249411822964537931836321483315626794925688427180	157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229301
615135281432183632538865890101573061673034660956940220766906699351350658847513721553584459172956980623631574164114060819922795011457796957031515156771542467864442699992248132589216802473912194857046169329394191263486871192881818396142384683841150425735647835677926191801711096512573040432475139648797931126243259921124911011176021622640982916751488600379584372406778652910677074863954918264051610151729853168151538152241828970247217962606730241607289014979150465179574442156731680941140553988874813928229369168467639720080257190065942368162906961039741974407973340141723835841731048112171592330705058071252245	157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063669972764
-63955672213831188760376811749356844091829129920900196873837233160200875040656448972553218804379782215121768551075702704610924757203768676441765667086559689883236696915497251775673203599219980189921839982411146425859858294277139533261288613302501019533959041307580443101465114406889326247708518267782455031560877687169890929158428492783092652245945880401363636965079111756191301991128410450904264738753963009773517946010804423507667145370721621340606729822398539538239896604203419488207488795667120852426161102942732812111597421637241396656002755410677552534737097030890700632969189801248595059774061239104640994385	-157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229194
-391668288185238549035933642941654814564006705536868008324002042325910933579614139570504309556709703678867831126439476689013809615577452662893585821337411254071325080642491768872536419752920884222642583621886380566420721042619739388785118391885134983066698655148519535814316422622679671474591824434055097687790	-132081869767477460705462491199809064940261228510169881506560926182664367013985951619674353052110157659314593678040908024428537423558515863232851426152064751954791311560551105987599238927206283494986586116661735833911433860853984213610776037847086985012247264249944911818163386826243172977683739369199484520541
-721850668565916925791365988086543358075842194641776346577143067336525410190291437521068074303482975454266356096076276871610552032541640538594079158384365309726599635700106915322722352422528525500457735228463047871384069934443893659936578977138599980400679663831846597792760435800107322215873647298857379189615	-143313966221119630530753809583539377379302803606531792451951101931065806884894464806872402093547300047906558183771032371648653817556823005460810468966706685046963210316077387621005507191220039733323686936426170332329391774043114562300122447468849803910887340030951849515395343352302604088289272109065568399831
-134463194700511272177984427623002237527998286482275781553194108140774158405376019918069419336408255744014436655577805614835550346538516525976646678972816386458323212912591826643255448316271952042466025104704045105485520371430965860305490430592170620706669715347417459836679435406855917524762307836709624640769	-93134075642498327861465415228883544470750634518529676592185619784872122057501350343934043072004369929073585072059178300190181926721853413921189892501778554888365701057938966145922898980004658049628480114114125658033629046256194224531309644595545895089169707961752518879973245583484980324107140616614103145770
73000449188973776193577877144369892795513755503647275285591997044511611061702629763743765518785128666700992714196909233167199798188997164812787152603558215600268736295196760003099174662973519403672456857989230742408891147796882879549100931075075835317712187292226583302583260113306223729282822373264797820480	63058068753010801603320005771505964923504675297862667933788597503475086736354547295604782204397299045946345898887159448817913184914117368023330970778683568944365948388426401701347667532077271130112604273454134177638345038575419536418632351890637723346743597780408857003871096995361633618266429680613975230385
-40421592423377288216276783984605346923653475034439219888763848096980275901114460515198424242226552356343012309060291603430362495475869851008106937292037531571707847777658356735359543779946075330083101188733530387925666241983619190661096984155227288029733064123362446558153410573312897081051314652208483316989	-38413550269656632385333894510717410187869960983372394912693635924501023827705223156652742158538618734904342376224287706411415300138454203226034847893703474355584530525329278206293968776075225011896707007499173726925608787138502918402898549490790176297006961029585461896388821054208968546366207966601973555850
-700247801945335875342008359755712076899178631636867678228357658021545631512776214653609440618214766785714212207593067389016344748480239744627585671260597421959279868606859681641172365844703682082889981843058792130798593907921044617849585899750222384179138036654625784002016047472907836435820070364896133064876	-142894881539209697562320787550246176598328034373771709134923150370699637399888582687695772853381171663487107793830328576439092523710355216742535979622093379288804765830105247249841179505850787445156943172998396185086912770514661025295195609332868887373396580731076962174013933338727333072867987339389142106108
-339530940945736130532507147143404311170206302405269587877753454191042273195270516218326303071057465200003297610566943491544422088608225517077888830091785332650571391672460901152584980160539900711109839943436022161028647094884607569607027662732629865658773954172217416384233057506759949173666248225704241619932	-128437095563859374132278529177294576981799327605439339167223033908226289673472583155565515933676160328887729276928297162683315710262264331002140245119736136209501591883631300377526132658826917777145152603638744298302053552325656643698734380099483763496720278694653020771416048152229281546247106476832484267528
-939321386134819422765595814261604862317014518671360851676707565651023951681177574386122530445114486711017330743764242542256535017706697925776348967145236639028287558913900018229078644540633059889754328313338753954372541774298029323159130812487340217403701190405941377077644265125752101967526710333626038964351	-146473597298625585502219825196296855674613074235132495234039532717100687457205578161024732016069488908966324431064085493487944999548667286744649928190450239298576937720600645047548862651932039724820771168312313152442399528626238722910252774000110281696702821480610869562051933108203100462727306638063856108601
-553451461598827354878728259035609949513625161589083891425145648322457283561396440618711408578996224826664026887721879688062887258437685626315909798904755511514993625933363530430873661614537469300481112898333343758670892973638018157226292006253998263931289410569515715299714785058435544242149121946471009463801	-139204062561319853575828447830218001839789150868183394667956751420224345882187146697486781912854249546718945346393490817506496695765887409508998919769973276405081693276566391226964829889255663244619804512039161135429497817415576125773495343001360437506063242820550178114416714946819350418099623009826457876879
-407470591126158019445143413991189277369580066783265130726332310029591635425902514172168704246588936758839694900457630752012041518422376351764364066641203454644911396401024797045031031658961490350579775864399477192792185592115897653923938237684742980324939702725192966364625428438291938650817660821043426969802	-133013619123846678716808775959339196467809068336282751033066565159834170096179254596793006146859077685538121402710456263332580133377814360059476696955996655043155744754837872844583250268733372837474030311654697835461895920779807998422667535838724685848062788121851748500608611082497257864779629744166040730559
-706629330652166867575415240436930716687320093621000933147147356671528203613645353057767882628965406314000429860291112628631661969096435450566536539081415843811494534137029615451803873647443983883198363784241900412277312583438305407272479099448101749959418316473951850106015814701040860101500738964514529255314	-143021294527591649741540485151026786486693352057116528201402794563518449670721969098371243318775545306718291501786588874446725320329237660596007343864155005999126204900892106564471513528445472766852998860956110842956529163424595691413444267438221865398449804419948357303997145223106719959535453037277675506883
19436316885749746951286401492813895111889401698829800549529292061110260297606361442685921876223550148214561358344774844096619471945899464289915608749002918878859625424009691626911764986595503309800198676736941123625273464481981185506901584419095117960804825259870672603990059246536517542500486464183963253679	19196970143070100521933501132048977247822139553743047075468309579467986375599018910884046119010769774264054024564293247296036425777881275448830273060470160525569616281925827265122046594522261692686045304674111593998258531189750822988726425661197022530388656929702235454936067680316064892985402425807886624854
0	0
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114675
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114675
500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229330
-500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229330
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	147112767430373459185287557176173085185530637718323826247196351934388045569555384489340478823677216241151565684781375435397899523821213420307237763197895665589389882793782405155365951053502259671091984393327666423936154995095767058415062542564734271908133895887445802669859902279421205962866014882353542633123
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-147112767430373459185287557176173085185530637718323826247196351934388045569555384489340478823677216241151565684781375435397899523821213420307237763197895665589389882793782405155365951053502259671091984393327666423936154995095767058415062542564734271908133895887445802669859902279421205962866014882353542633123
50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	46364760900080611621425623146121440202853705428612026381093308872019786416574170530060028398488789255652985225119083751350581818162501115547153056994410562071933626616488010153250275598792580551685388916747823728653879391801251719948401395583818511509502163330649387215460973207855555720860146322756524267305
-50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-46364760900080611621425623146121440202853705428612026381093308872019786416574170530060028398488789255652985225119083751350581818162501115547153056994410562071933626616488010153250275598792580551685388916747823728653879391801251719948401395583818511509502163330649387215460973207855555720860146322756524267305

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
-338109974417529138635790073961680802250926166512239282074525701637262750615922783479988673221709507827923617298078525160128104196805938572505986583374232782768426995450789787537289992322506827555793911577396405583125235875643129216431327865163601470515863523315281280073649968616806814649554083762239241489849	-128323235018751018491842830005021816925544225336935618244352241854718320925866600139678873534813976751955192659733820569127237646359648770107659994623738844363912001486657062291825466683421664324232854061443561136275916849707459341263200606295271246630994645880151622833458654548030652481270433084366749600301
-307743054854682618204757670320484469775918652019736315055993204796878081005898720793322517618510979273650072238845543317826992649792999167788272308005452126779134690715726282612615963787853584475283825357948687177665674337146931004529891124656901395329143652424010700192194661091385589667822658758987726962985	-125661290137526243474113361544064628013822197487150192889176473148517107695722344588958612181811761059271525481808369021399832130869527187248940038475176823665767211536696649828289654006984776353260327229789294993596280932101580212010697741204589269104430007837377265856525516725445396003107881950473057765183
34694682413844981060212998500611919977512472188754155558943971397372532020396918714234964786708535997000951350633330350159049850381250770630956975727917730273736227519991963862770359852490264680858073093316934588000237863740359630859496041150884282711223983460056123998950692691020062894689213929551164333033	33395225575130780465908041227498393308101055475306385068714541752116142716750425715531833617241880682640148724819291015443335055183347867441863750163550125147906679767133195226307769740230500450257459347886457373336465943283261581622907658820824144334112672740372951190316172693163508316725177890261051980516
-688366085570706497170814589086514460238734513084755061482052827991588873028694911241896904657192704342485415771973852256945577905650364462179508038782714768821684178300448334579339798777365601325318052158069406079965240968722034804209428219773197198293707699933196389361459757311019538744641874732872199245316	-142653396881211340497744483922682051514452166906175574841772852268607841773223496945041859117241836193876806040379196910100653435859114682938914280823528120629621327662541392386709921143131801664990578868037871538572035320928511568201717562028914130080293255107746369618614935056902849954266767452664076859248
-787125077129693910774606108937800666834484654550145691166541937488257028512659128143282449472377441023782728307619423465526212359728021676318519538955313949779106857713425754592944778021777320411396036170654824320544222945378562818422777489805498148294200187061831414445150316981951862938677339825731646508700	-144442868503161760550445725545462630061338533054825488208734896425707622037864762167699957397803461002780029300998228542518891990433060377614816839705142396986839851400623767791317524842865349522760057740899428083103100414924801795163314458809256581545657941418165970128310632045056559619749056762890093608285
-640048582233080575280696133513830552128362399317015460686393740797083543508001948361033266826699796019966066095130477585844951448111919722502001697794088283486440097631142566209289220328736401366924508887218740017458626600200685990094666627425347078233914659860944536654979878389191747706728015052321073301709	-141581116223829846556547904816598034320313085175702690054334134244754666110978515026566273399899102961511352985157932326999005861838664255851048917148194255770609096994231212391331414944703565097211165923883058038173180550116949830735901613523592078177885358369216018261928655271864394506700232730043059655535
369383357392425339115840794514014122384155980811678146872824917118067903815130581707305488964772220085344892835817220871890852264599659465920907868721128057655790678336625151404749650802068201391812517132838686866985688345433087612832833886636905581673053955369723763007964387773877231451536242591269318466254	130641217988831846530565161842379472945643290199816231078326358062046162505769809068370685558777343756431816972986420644358248042741281599173970103890592985117322082197390855979966232904190626738547244171510702228859233821293899558107527460257479138902775754268192852462371545701766450463135327564471661375746
-891486920381542109634625611263802867365796464517542419662388759763152440809551080862630870762492553166594763963333471997820274668795715867890293225148476312366047435951124208480450560737190614145320456669477908447656243145344903189103390878171480507223807940459149162037420480939892953881907441239648712821410	-145909113370426184244447540235453271127655482335410886852873207542264706269509928723867430158414934589889101522746780536512849529660885746970828204011537728152490349193313449629509149572316838673995821332998200975342984260311642038879973246282219280170402500205284156975813207829314444634941053933911329659342
242726750349651688612898552435601444636528934352889767307372495421433602073791551682513265713861669209717321268122131673463505659350949177977760947159605767164901686791534772994937155040912966083846367254461083190277372453393880995220476320292384876576062252862309175018900537013468102605530704625506928000992	118000016572235617246935777944030165397749069575239664726946254775567367130051964278047143506530861693322858383705411840595710328945519731974642337586241535473192620180843088957847231473236351284518593906820949220540544372864339886149131774859254624459815033879432286567401053942189344992809498968304709758787
351609160194721224027251239740623489016921711575761658894229022822585658809173233294782656934575299397273644491786557714467849419111094047409243572752392350518428150332031559416062796653298693620272939162534711141694061137171319278163633286433361794764909781453278134562863386651887556303667438023908203595713	129370598737393546691363805498686729572208042371372956331721985701012557754297783696654813551414716185123135845527125122102137634729498534070131893007343303402366241188721524636251301323850427303634421708207359739030240589718482953994931270864716851655710658157742618477636068074516301773675044718242954962290
247143767933478815493315216542283588863909782742253641559375617513378122353566535502379766081685585797712391188856739863478220984557933083835767844007168283636419401862205651218249700215894877424233665768571092403695430090219792223101286755865358924089912345279432540706930555895350214870543908486795890519212	118631115255955814287432391235145346777238201118369723067321451543776322757562371283187695305204577324675999855938404998786459543442578847716014913914468981591844829752234539670245114662145892648946124721269231552927223535044907639188116677600532142553917606495743723686568080596307850848255288410199750438885
2523056617467746528484482747636606005995800850416770758172742804140210467397918149230247363788943118124434034500698101021027185242643917917761677811661254361699776801897333125035115340671736157798642821613748130370761452150030085358551541495942317103878098475186219754245551401525194262082074776926162405340	2522521444831747983508690950382324967283865074889454826800172524482496415597416577647342048373529667602343393266895847098391947376038862795775061812079932399831300855121370747302903291543039733262681922552035145582704295781434327932559782249472768781189848503004996356516880608959735308169709149367562441267
-579809877861153761999644551539043597654101873713906402566449993496882833248394447584306482659535198226491515278443070809269350933199842348305753596921064192235674748283384068580531318810984388263607913364829238828268924872666155721915442287583088740016177248461115492288148719486730207429990647506622004807820	-140000621269829822330759358675577487651339295926458539457028883387237265587825210340408877990745450810427870124353374498109070051723609203400090990047818559504801414845852696401033379077987597207911664937548357566701338763176746472659034882009424202713164657267279829765911872935368170726614184301620401172840
-217504894703961976195676798030036235731330208104999589549372745477919132136199072149019466825267487186384471741699500257539813699492572233748887641615714182772703345977234552287959523829473327799795589670378085256544493598082180593150922891129006499998405862587233559458121197013506175643750516510696163979349	-113985588054497565297870201047364407222066513661712459146627861822972810783966047693490985225361316675831092299295744623814469973155252388651399210305913988850957118162817742863629549410153204817219563110047616262366353828329071312827070554171454230077106519086087032247140627413959470438737468554791473238497
471395476191569223512320124289159857460502547926655496171312823836112137815194944398257646936104743399164227775106228648409270743295444530093035359973651753650307294414395611174321805135531225130050795316468192239286100896078066139825191126600507680946538828322806427927982234523513376599766004850864163080675	136175913288526924929648306300886368139361500604498028897949179544629590281308072347495481183527774730133913112432974600186975054741170702069538255185463417407629459287596175786822795315293535768344575105956563980346043681213058998732694749188648369373879444721349881869131028224745651005035103203103366901503
## category: catastrophic cancellation
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000	1000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1000000000000	-1000000000000
1000000000	1000000000
-1000000000000000000000000000000000000	-1000000000000000000000000000000000000
-10000000000000000000000000000000000000000000000000000000	-10000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000	-1000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: range-reduction breakpoint
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900	78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114625
-99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900	-78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114625
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990	78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114670
-99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990	-78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114670
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114675
-99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114675
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114676
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114676
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010	78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114680
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010	-78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114680
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100	78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114725
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100	-78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114725
41421356237309504880168872420969807856967187537694807317667973799073247846210703885038753432764157273501384623091229702492483605585073721264412149709993583141322266592750559275579995050115278206057147010955997160597027453459686201472851741864088919860955232923048430871432145083976260362799525140798968725337	39269908169872415480783042290993786052464617492188822762186807403847705078577612482850435316776463349776851081416028833088673057619382277896566992601606013968128551283774231513819495557786861936629774555360137195824168076605945602922334789565890023864320607086543254357630679083102667420090753114265921557335
## category: asymptote stress
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	156079666010823138102498157543047189353721534714317627085953287795745164993904571933457076748438444357436606197256550036862606884845406579155371324156450030154598513519641885671834571375762892414349443872160804700717871852706023202374493857448183339791236400973523731303816617817314327953713662774282636154824
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-156079666010823138102498157543047189353721534714317627085953287795745164993904571933457076748438444357436606197256550036862606884845406579155371324156450030154598513519641885671834571375762892414349443872160804700717871852706023202374493857448183339791236400973523731303816617817314327953713662774282636154824
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	156979632712822975256479788200483089808696376513328489739604124796626273080243493702274393776965013197786239404193086630263562303284163217538646828228753980335410775742899439671864047290349783865790188793666138803823191252214041069945705960192799622135636174088195420626896546935319175510525852734985697396847
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-156979632712822975256479788200483089808696376513328489739604124796626273080243493702274393776965013197786239404193086630263562303284163217538646828228753980335410775742899439671864047290349783865790188793666138803823191252214041069945705960192799622135636174088195420626896546935319175510525852734985697396847
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	157069632679522995256265502498737048960652120853315174839401026935848081948102021802937891150977234063330766489410555164920227417598331896287373088699154128791483205397547000573269309867347510139603135842192964459137577770002406655691825978684949418002361915448322063817759725599497622759274556377079256341130
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-157069632679522995256265502498737048960652120853315174839401026935848081948102021802937891150977234063330766489410555164920227417598331896287373088699154128791483205397547000573269309867347510139603135842192964459137577770002406655691825978684949418002361915448322063817759725599497622759274556377079256341130
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	157078632679489695256465500497308477686048946148120370414735685603769885693382495663446885077543834115673255448500687520117722597201568898960930469236143026126246656996302490395883439520734483440063126250025380818617997787528316722276679079135215568415292563947433002441143242062685314772317116490279069301624
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-157078632679489695256465500497308477686048946148120370414735685603769885693382495663446885077543834115673255448500687520117722597201568898960930469236143026126246656996302490395883439520734483440063126250025380818617997787528316722276679079135215568415292563947433002441143242062685314772317116490279069301624
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	157079532679489661956465502497288477543191817587802910085255166123336419159909287837939647811679057972306095177296148698128924873013287127224792421382075769716409503804226164571295712710845217654939580650078682159555627450897011179815747417683358949330756061655612139999852010330530712008527297816036878058892
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-157079532679489661956465502497288477543191817587802910085255166123336419159909287837939647811679057972306095177296148698128924873013287127224792421382075769716409503804226164571295712710845217654939580650078682159555627450897011179815747417683358949330756061655612139999852010330530712008527297816036878058892
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	157079622679489661923165502497308477343191803302090052953509134366184471107961334491286301150896507189761201646121435789616326021523085389340161823366722546511562163203068050965025641066382003470344885312773989267683355742949297636691297617113172917292868435037208681384425945253795195840126207514894498665512
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-157079622679489661923165502497308477343191803302090052953509134366184471107961334491286301150896507189761201646121435789616326021523085389340161823366722546511562163203068050965025641066382003470344885312773989267683355742949297636691297617113172917292868435037208681384425945253795195840126207514894498665512
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	157079631679489661923132202497308477543189803302088624382223420091581296493675529296481107255561841855095783391043180711426737962523261156730078408334509095412609472784539380161199580413242331519959877948778399308655614345240272702132710538291797453575905964080238672757701970757070940532160006805445802560941
## category: inverse-identity
19891236737965800691159762264467622859785050132159098192111699582542960446027706305331990605761471375776078265657058083832553950589286148411074085747346038770237448523268526583434960122913569247102425916603578617008997146492238486518990473345557693648755492371337647637148774353512637977369280511931338213635	19634954084936207740391521145496893026232308746094411381093403701923852539288806241425217658388231674888425540708014416544336528809691138948283496300803006984064275641887115756909747778893430968314887277680068597912084038302972801461167394782945011932160303543271627178815339541551333710045376557132960778666
-19891236737965800691159762264467622859785050132159098192111699582542960446027706305331990605761471375776078265657058083832553950589286148411074085747346038770237448523268526583434960122913569247102425916603578617008997146492238486518990473345557693648755492371337647637148774353512637977369280511931338213641	-19634954084936207740391521145496893026232308746094411381093403701923852539288806241425217658388231674888425540708014416544336528809691138948283496300803006984064275641887115756909747778893430968314887277680068597912084038302972801461167394782945011932160303543271627178815339541551333710045376557132960778672
19891236737965800691159762264467622859785050132159098192111699582542960446027706305331990605761471375776078265657058083832553950589286148411074085747346038770237448523268526583434960122913569247102425916603578617008997146492238486518990473345557693648755492371337647637148774353512637977369280511931338213638	19634954084936207740391521145496893026232308746094411381093403701923852539288806241425217658388231674888425540708014416544336528809691138948283496300803006984064275641887115756909747778893430968314887277680068597912084038302972801461167394782945011932160303543271627178815339541551333710045376557132960778669
-19891236737965800691159762264467622859785050132159098192111699582542960446027706305331990605761471375776078265657058083832553950589286148411074085747346038770237448523268526583434960122913569247102425916603578617008997146492238486518990473345557693648755492371337647637148774353512637977369280511931338213638	-19634954084936207740391521145496893026232308746094411381093403701923852539288806241425217658388231674888425540708014416544336528809691138948283496300803006984064275641887115756909747778893430968314887277680068597912084038302972801461167394782945011932160303543271627178815339541551333710045376557132960778669
19891236737965800691159762264467622859785050132159098192111699582542960446027706305331990605761471375776078265657058083832553950589286148411074085747346038770237448523268526583434960122913569247102425916603578617008997146492238486518990473345557693648755492371337647637148774353512637977369280511931338213641	19634954084936207740391521145496893026232308746094411381093403701923852539288806241425217658388231674888425540708014416544336528809691138948283496300803006984064275641887115756909747778893430968314887277680068597912084038302972801461167394782945011932160303543271627178815339541551333710045376557132960778672
-19891236737965800691159762264467622859785050132159098192111699582542960446027706305331990605761471375776078265657058083832553950589286148411074085747346038770237448523268526583434960122913569247102425916603578617008997146492238486518990473345557693648755492371337647637148774353512637977369280511931338213635	-19634954084936207740391521145496893026232308746094411381093403701923852539288806241425217658388231674888425540708014416544336528809691138948283496300803006984064275641887115756909747778893430968314887277680068597912084038302972801461167394782945011932160303543271627178815339541551333710045376557132960778666
-41421356237309504880168872420969807856967187537694807317667973799073247846210703885038753432764157273501384623091229702492483605585073721264412149709993583141322266592750559275579995050115278206057147010955997160597027453459686201472851741864088919860955232923048430871432145083976260362799525140798968725343	-39269908169872415480783042290993786052464617492188822762186807403847705078577612482850435316776463349776851081416028833088673057619382277896566992601606013968128551283774231513819495557786861936629774555360137195824168076605945602922334789565890023864320607086543254357630679083102667420090753114265921557340
41421356237309504880168872420969807856967187537694807317667973799073247846210703885038753432764157273501384623091229702492483605585073721264412149709993583141322266592750559275579995050115278206057147010955997160597027453459686201472851741864088919860955232923048430871432145083976260362799525140798968725340	39269908169872415480783042290993786052464617492188822762186807403847705078577612482850435316776463349776851081416028833088673057619382277896566992601606013968128551283774231513819495557786861936629774555360137195824168076605945602922334789565890023864320607086543254357630679083102667420090753114265921557338
-41421356237309504880168872420969807856967187537694807317667973799073247846210703885038753432764157273501384623091229702492483605585073721264412149709993583141322266592750559275579995050115278206057147010955997160597027453459686201472851741864088919860955232923048430871432145083976260362799525140798968725340	-39269908169872415480783042290993786052464617492188822762186807403847705078577612482850435316776463349776851081416028833088673057619382277896566992601606013968128551283774231513819495557786861936629774555360137195824168076605945602922334789565890023864320607086543254357630679083102667420090753114265921557338
41421356237309504880168872420969807856967187537694807317667973799073247846210703885038753432764157273501384623091229702492483605585073721264412149709993583141322266592750559275579995050115278206057147010955997160597027453459686201472851741864088919860955232923048430871432145083976260362799525140798968725343	39269908169872415480783042290993786052464617492188822762186807403847705078577612482850435316776463349776851081416028833088673057619382277896566992601606013968128551283774231513819495557786861936629774555360137195824168076605945602922334789565890023864320607086543254357630679083102667420090753114265921557340
-41421356237309504880168872420969807856967187537694807317667973799073247846210703885038753432764157273501384623091229702492483605585073721264412149709993583141322266592750559275579995050115278206057147010955997160597027453459686201472851741864088919860955232923048430871432145083976260362799525140798968725337	-39269908169872415480783042290993786052464617492188822762186807403847705078577612482850435316776463349776851081416028833088673057619382277896566992601606013968128551283774231513819495557786861936629774555360137195824168076605945602922334789565890023864320607086543254357630679083102667420090753114265921557335
66817863791929891999775768652308076155247225137908281618591445331524546861991829410526476468848052516406362801059635723530149870202246980073390414655797954304652967608315877242755921782645253783025357286982533767078508515889762420895837978872003753467526418065366059881117365272564704127449855871884230492666	58904862254808623221174563436490679078696926238283234143280211105771557617866418724275652975164695024665276622124043249633009586429073416844850488902409020952192826925661347270729243336680292904944661833040205793736252114908918404383502184348835035796480910629814881536446018624654001130136129671398882336004
-66817863791929891999775768652308076155247225137908281618591445331524546861991829410526476468848052516406362801059635723530149870202246980073390414655797954304652967608315877242755921782645253783025357286982533767078508515889762420895837978872003753467526418065366059881117365272564704127449855871884230492672	-58904862254808623221174563436490679078696926238283234143280211105771557617866418724275652975164695024665276622124043249633009586429073416844850488902409020952192826925661347270729243336680292904944661833040205793736252114908918404383502184348835035796480910629814881536446018624654001130136129671398882336008
66817863791929891999775768652308076155247225137908281618591445331524546861991829410526476468848052516406362801059635723530149870202246980073390414655797954304652967608315877242755921782645253783025357286982533767078508515889762420895837978872003753467526418065366059881117365272564704127449855871884230492669	58904862254808623221174563436490679078696926238283234143280211105771557617866418724275652975164695024665276622124043249633009586429073416844850488902409020952192826925661347270729243336680292904944661833040205793736252114908918404383502184348835035796480910629814881536446018624654001130136129671398882336006
## category: constant edges
173205080756887729352744634150587236694280525381038062805580697945193301690880003708114618675724857567562614141540670302996994509499895247881165551209437364852809323190230558206797482010108467492326501531234326690332288665067225466892183797122704713166036786158801904998653737985938946765034750657605075661834	104719755119659774615421446109316762806572313312503527365831486410260546876206966620934494178070568932738269550442743554903128153651686074390845313604282703915009470090064617370185321487431631831012732147627032522197781537615854941126226105509040063638188285564115344953681810888273779786908674971375790819567
-173205080756887729352744634150587236694280525381038062805580697945193301690880003708114618675724857567562614141540670302996994509499895247881165551209437364852809323190230558206797482010108467492326501531234326690332288665067225466892183797122704713166036786158801904998653737985938946765034750657605075661836	-104719755119659774615421446109316762806572313312503527365831486410260546876206966620934494178070568932738269550442743554903128153651686074390845313604282703915009470090064617370185321487431631831012732147627032522197781537615854941126226105509040063638188285564115344953681810888273779786908674971375790819567
173205080756887729352744634150587236694280525381038062805580697945193301690880003708114618675724857567562614141540670302996994509499895247881165551209437364852809323190230558206797482010108467492326501531234326690332288665067225466892183797122704713166036786158801904998653737985938946765034750657605075661835	104719755119659774615421446109316762806572313312503527365831486410260546876206966620934494178070568932738269550442743554903128153651686074390845313604282703915009470090064617370185321487431631831012732147627032522197781537615854941126226105509040063638188285564115344953681810888273779786908674971375790819567
-173205080756887729352744634150587236694280525381038062805580697945193301690880003708114618675724857567562614141540670302996994509499895247881165551209437364852809323190230558206797482010108467492326501531234326690332288665067225466892183797122704713166036786158801904998653737985938946765034750657605075661835	-104719755119659774615421446109316762806572313312503527365831486410260546876206966620934494178070568932738269550442743554903128153651686074390845313604282703915009470090064617370185321487431631831012732147627032522197781537615854941126226105509040063638188285564115344953681810888273779786908674971375790819567
173205080756887729352744634150587236694280525381038062805580697945193301690880003708114618675724857567562614141540670302996994509499895247881165551209437364852809323190230558206797482010108467492326501531234326690332288665067225466892183797122704713166036786158801904998653737985938946765034750657605075661836	104719755119659774615421446109316762806572313312503527365831486410260546876206966620934494178070568932738269550442743554903128153651686074390845313604282703915009470090064617370185321487431631831012732147627032522197781537615854941126226105509040063638188285564115344953681810888273779786908674971375790819567
-173205080756887729352744634150587236694280525381038062805580697945193301690880003708114618675724857567562614141540670302996994509499895247881165551209437364852809323190230558206797482010108467492326501531234326690332288665067225466892183797122704713166036786158801904998653737985938946765034750657605075661834	-104719755119659774615421446109316762806572313312503527365831486410260546876206966620934494178070568932738269550442743554903128153651686074390845313604282703915009470090064617370185321487431631831012732147627032522197781537615854941126226105509040063638188285564115344953681810888273779786908674971375790819567
57735026918962576450914878050195745564760175127012687601860232648397767230293334569371539558574952522520871380513556767665664836499965082627055183736479121617603107730076852735599160670036155830775500510411442230110762888355741822297394599040901571055345595386267301666217912661979648921678250219201691887277	52359877559829887307710723054658381403286156656251763682915743205130273438103483310467247089035284466369134775221371777451564076825843037195422656802141351957504735045032308685092660743715815915506366073813516261098890768807927470563113052754520031819094142782057672476840905444136889893454337485687895409782
-57735026918962576450914878050195745564760175127012687601860232648397767230293334569371539558574952522520871380513556767665664836499965082627055183736479121617603107730076852735599160670036155830775500510411442230110762888355741822297394599040901571055345595386267301666217912661979648921678250219201691887279	-52359877559829887307710723054658381403286156656251763682915743205130273438103483310467247089035284466369134775221371777451564076825843037195422656802141351957504735045032308685092660743715815915506366073813516261098890768807927470563113052754520031819094142782057672476840905444136889893454337485687895409784
57735026918962576450914878050195745564760175127012687601860232648397767230293334569371539558574952522520871380513556767665664836499965082627055183736479121617603107730076852735599160670036155830775500510411442230110762888355741822297394599040901571055345595386267301666217912661979648921678250219201691887278	52359877559829887307710723054658381403286156656251763682915743205130273438103483310467247089035284466369134775221371777451564076825843037195422656802141351957504735045032308685092660743715815915506366073813516261098890768807927470563113052754520031819094142782057672476840905444136889893454337485687895409783
## category: argument-halving cascade
36502849483042455831761094726377038853645987459003244795056073661628669654798942060821511843351852995358212181582100998364808968773603474907653629594402723353892371902597946131818606926597509352864540727383201432277058216424731382524060808090737858713649715283976688287454034828457898407188862997410678789584	34999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
-36502849483042455831761094726377038853645987459003244795056073661628669654798942060821511843351852995358212181582100998364808968773603474907653629594402723353892371902597946131818606926597509352864540727383201432277058216424731382524060808090737858713649715283976688287454034828457898407188862997410678789588	-35000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
36502849483042455831761094726377038853645987459003244795056073661628669654798942060821511843351852995358212181582100998364808968773603474907653629594402723353892371902597946131818606926597509352864540727383201432277058216424731382524060808090737858713649715283976688287454034828457898407188862997410678789586	35000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-36502849483042455831761094726377038853645987459003244795056073661628669654798942060821511843351852995358212181582100998364808968773603474907653629594402723353892371902597946131818606926597509352864540727383201432277058216424731382524060808090737858713649715283976688287454034828457898407188862997410678789586	-35000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
36502849483042455831761094726377038853645987459003244795056073661628669654798942060821511843351852995358212181582100998364808968773603474907653629594402723353892371902597946131818606926597509352864540727383201432277058216424731382524060808090737858713649715283976688287454034828457898407188862997410678789588	35000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
-36502849483042455831761094726377038853645987459003244795056073661628669654798942060821511843351852995358212181582100998364808968773603474907653629594402723353892371902597946131818606926597509352864540727383201432277058216424731382524060808090737858713649715283976688287454034828457898407188862997410678789584	-34999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
17680861712858185979999995316996033212314066180461268302404290354123920452543025150495586011753558069791967745017661541459566195740661947293076058502727949812810208797988463262538802187761457401721443733632740310216755918183636788775832952475887376221492757419682338762199510979734726773315266676614795424074	17499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
-17680861712858185979999995316996033212314066180461268302404290354123920452543025150495586011753558069791967745017661541459566195740661947293076058502727949812810208797988463262538802187761457401721443733632740310216755918183636788775832952475887376221492757419682338762199510979734726773315266676614795424078	-17500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
17680861712858185979999995316996033212314066180461268302404290354123920452543025150495586011753558069791967745017661541459566195740661947293076058502727949812810208797988463262538802187761457401721443733632740310216755918183636788775832952475887376221492757419682338762199510979734726773315266676614795424076	17500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-17680861712858185979999995316996033212314066180461268302404290354123920452543025150495586011753558069791967745017661541459566195740661947293076058502727949812810208797988463262538802187761457401721443733632740310216755918183636788775832952475887376221492757419682338762199510979734726773315266676614795424076	-17500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
17680861712858185979999995316996033212314066180461268302404290354123920452543025150495586011753558069791967745017661541459566195740661947293076058502727949812810208797988463262538802187761457401721443733632740310216755918183636788775832952475887376221492757419682338762199510979734726773315266676614795424078	17500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
-17680861712858185979999995316996033212314066180461268302404290354123920452543025150495586011753558069791967745017661541459566195740661947293076058502727949812810208797988463262538802187761457401721443733632740310216755918183636788775832952475887376221492757419682338762199510979734726773315266676614795424074	-17499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
8772399329615432079834321096277760856920032108125221765981434383469993580007983895793217799044599187456645033092249852184597515238207194222228215193119603697947612306781819519129176523787929890962498564172663880843555597358674769208097001125588530339925551221554062253455768928722909406032906356012977990397	8749999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
-8772399329615432079834321096277760856920032108125221765981434383469993580007983895793217799044599187456645033092249852184597515238207194222228215193119603697947612306781819519129176523787929890962498564172663880843555597358674769208097001125588530339925551221554062253455768928722909406032906356012977990401	-8750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
8772399329615432079834321096277760856920032108125221765981434383469993580007983895793217799044599187456645033092249852184597515238207194222228215193119603697947612306781819519129176523787929890962498564172663880843555597358674769208097001125588530339925551221554062253455768928722909406032906356012977990399	8750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
