[
  {
    "k": 19497,
    "n": 50000,
    "L": "25/4",
    "lower": "382247023/1000000000",
    "upper": "397669661/1000000000",
    "lower_exclusion_margin": "10751462811360922876836807321003355852877184690188038411765038659019803120027459394245707349697676600523077811193316983797330677941640756614271447998498622326723832286501090581494336257796164455634091883637608776130841362683917711208225837610493045416555198688276666226273982314896374685609205555007229235090155395500949517464629448767471122678453815098792447332556241672730989722765962344577101891376866223646596585425662154737003889617506393695006768165684963861021265327112362742763736690042657377453772904150601706520845676948309522928127275325917954543056864563493930816395349024272216055768634241611628906690703744651351220639248274625700565975969652791526723217773329037732109351321912322564130276882001973144579734320216373947588643034165007052433771156191469570389531264827499726515714269622213518725617008788491677144924695562033852055093225537594940584406319759379621578484019412728027098684171370863786298532786232249533264136294150954657708733965611407369694221439951967591150646746841239268748873687532837015631098439994025424558533738671696501710980800589348836687830256764409389454313127975606180038098975815884167743313840369812980297315518934984912991401859364834779372869108377748082065540632534634634216244474664205589389904924236886569979544551825881723831302723379366126076436844377194734530935388408389483377390055679316768952327384609237804297964862633745763981007751436640806383950845977/17174322630357738536317426155067718898774847525164996710690020755739380061219721025400941824671140679477362739212625909668470145169532834770744722846083115980410821078452086122844591568064717862054761016231549613879013983763607806197989529656635684005598809642476672190562096042788098463373473047122187693769907207771325195928474636236021372590110470995930152361335924357531959464539484089917876567371548634366189580215623820794169574484695175630864680510265820047862978366030526418605305364693124059206561964015481923083771296297599015799330976507553700054403458673339986699720388479311602007036506481512811308137383610771627004537508788529642108117780909102270213417793235483500169376720875063006652797029147639941924548581702685610493111883660553813333462104825801371870202063037268165642268123652679940098234833932255928830480442010426965581016546431823053868415778817915199970418460248120793715673548971358862908652346295981270145641296842510461980247447006098360231349343558109016812151928642445094910344431035228999409600079505845816500047996524910571331150427559517789064474903112138587555905903924596350237115109228691596117087291565374487109684251500815214611013529356365318437486653845816075113264770873464341313348413002165637294352313840062344974783724001115824503888113744245361537198652336880808926087691308675764608071208317556834732609078447231580327664262576130850141443017907094943000000000000000000",
    "upper_exclusion_margin": "33841833185359463257416015931937685243439929480193299928367360188528160720721398123847432025528168085116229112963833274823499502399043562585599888343430468823108111842089289857564951781523039142651996759716636468281097588014642064002306195372079904760655899395183283224227456681699874637883489017317324979744605800048086882448053090681379080830687550207606998917075472789465385323696846873751378256782119772646919749541997668653406603757648707148250753306705955545911134516651984314675701252383387619559818484202291437023872264445087904622613530874111850782675757184462252497033122642486485191639043841686823202017311354179316095310673164723499729641912625758912685830538717749731336948365101620246979036669610839222590256784516058181146382638828511586951058638538465660880046305670564150326545579713382129911755468975758979799840164177667065306065898391576290389396264833260207590421610816952791563395613353819816509066759329498799120412801287122916359735451192360011853623701096847414249911131127425074909553492062830042300636298344975879661535847876646113296103723677824316669066004229215846404451168596092492911266898867049539547151454999806023819397079509874684692432179973399875843114733078138796676298563783178720211819816764838074953668319502896302078552833842729998352029390758642783496009394887397330399279160697463952005527234337278441086857952759477637549/42823339999215461473068496699386349055252724726098085239563886196579510385880641823534770673075519750106338161265780260898026854092891468343404175004652989647843482997390383119928262786615841493563570971406936429073781620204603912592329633510031420062203758900750419818606134780977323914058037757774872896070437032839800338585814742271832022625412723389994404752408883400264073884230263275784032474783158977564030031024486384562699261347347386171819231615593303295368141404435530580889691024065550388860636195993379813481801284202173379431746433809172177495926983056851576845063194940982273852411490155020339933456256518922907834383768868021379826859885699627823061030053915714055288311857883972058736713374391663478552836936983310496255260439629258861559470212229578116703709514310134573725695795152885986548223147458350489936932266038200119154172869913171452929494236742810131335988895401576938305241405169100724071937566408092700666952625574370866242673362769035090666079397200543062311234373815487906462050855889018415037706776645351665965101468305889119354603325953355347423304868267382084249978628634856856448505597099373041722737492890296169858675848805311055833322503678512668527480411084133988667478711362433384552868321861368284263641126251052062705256023442941605613841488432566555845843914594083180034739320773060001451980349591597110108087098000000000000000000"
  },
  {
    "k": 4654,
    "n": 50000,
    "L": "25/4",
    "lower": "44276969/500000000",
    "upper": "97741689/1000000000",
    "lower_exclusion_margin": "26708944271822900889665638316184204353150774857272813827830834595826233073245225353780922397920876237068537192451976675128094248432553969682570444589530719416253454053867416265171075575447408295563967351990027741695336088973315961234283884408109757203943510537590606071176547749711611126009238744190601114385524645991458151760898405519136376242796634101107907176647560846574435563770658859001423070212895584558639559968546045408245571794013781830339173100979825135296409009614847878269568597978960631831282299949554191684063457255718733994207216630567818354638952048617254885891667648326309011765005885119791349604215311741034871107639971406273919617892109430162585169643636889390294806888732038249447233022483089305463837015356731351398011631339106881165512966097970647003886593825714819567388455380903361271066186109820642990616432044791188281036601856574569915784508932194526122828193324937042781890975943402140695683256736062279408687423990788316952300712381697888611450931578709516833387672487145412089937264629465684967502266413994586816174071833106062818589841153144419651736302829307557834357847787044908687092540180871315160108659191458071918126320929902504957738350068184379561576375347997335100794324117130980743896119714583562544735848094739624748522718311803793375267153950059479100068451001427650783544901789858491292223428413716059891394480480988321730042860313566368973533918413071753615286004261672322945813049217953/69652325273167062530570048209235231405116923053737110407237979062139208305318033346239945952518563623149267061790202778990174772908703477886459820630561309685111389571575258350766938648264320013398174264471535531594261125820762661957616806769437679281789675853757409674065053895605017359535730656833848373006247168624256689354498146203304011999822352823165144736355203744908209953395457614489566738159145961009648913589554258283338925308168390488621405427075927501646454078403798268631035560442218379816231856390935237346984712208871687826761014792453882184172010235496729987021544607123126499206011255403934954408256121814662764456911649185172560086344068099139210632629915731858534100547065455362276265990183654757781383383485839327142759065520168380371299097913905361470045718557471887357194429179008068669430113141831015688916602992656728767639435857674683525348763998543084032150127103385543903034714476423313941493906843200867037657731628067408968152228036843671065444974890457346855712816272909874835292832481375147549991870102769760743707073119556986298338070655240331056883148796628094029862130121063460643010176094020259424621373163917490104191636901064340717198755248636174282200503858885523231728961295027738587301890407686826726297445733776304725919225572354125913724462203482119549979744673056997087263104857107800898028486148575969104771777282238836234088870564650527322275690783798365530477468215434702511000000000000000000",
    "upper_exclusion_margin": "830343784954904373606687153122203601049751003348411545367427710998951583129017633264451640410360650975650736464116441787035909215169319301522103745190134977532811321547961270151236004154269440135340677360215135097687916012130301341652014072800762686228231416011177008178016731948106870311309522299246461265466976513579694831169254799876635174878230840641968435956543113884242618155772376654214292639607029402957577947381328150684861821153632691347787509092555426440691403030562357088676413164270896607890991702115105625042848107259367736924335057738884029129314116886470967478326252308719227022532040474740552337283115784066066209165273928335837231766977951440730824401590064141060485770266658475333067679368050870652383572248825124901385394332705742591256287923931780413397467354544838602832766606927621804635495035712749195056875698124656970025749057873287102281954713062340399918357105905544848231358682086188629259000818431794135118760396016538324028564665186022135513733534917079176672345931409124201255049374587854651940556840290183230528288591993203170558104203530234222189889612403424382075173303097564272712223082538663317166859277513008841851247178782711091280378563299277833240012045305279831787170216967706923170865060041568315439026649786893743756300488973223705622436779957612649192014517270549263498213147983745579635262717832791208300294050262066346751985708373185258112209927204993282893812839295402430708238083622459106129078818232278134515123/1184429288317350123610244046311000117718452252295776465880994912525284185947406883951983336463080255909332017608744775850683483487282492116391503143265311081461638816830009953621638572290989264482129443641860901756678702779537049036365035345279972135468112785204867743473479139032652860044944737019785008511884460437189979126494050271122640597291336404972929565767959901158776097871900295746482946891325517064535556546021005225159252749040596555984546805081447544219477103803465511567400343737806045698132675436759158793091424540206464418241296967348663276096782002774121300186442881502811945910655184433960423891327314301761727554282748389358239944571003291394192845176298704000642187993444634354334391085775016622746677201126774742446831938490292884289457619217038063792130603858042548027230423710990606288436728207935328315298228633333868486669151206393624477765054357361654422231963533256954791689375909915558522445008477582377787262936425656606948743468263776078840380826908446879884360558029812941205663872913944394721406200570624674423732225511032805423569513482507531689567110449733975817673970743779257750583103895195965523855860728299268550288324097049545128224246833404724373673687554515860721727342813837664361318708105542898571204928195246361360354850308627576420008927569071809052690962252659674573995362064178871950761201582784385057550713434180356205292820637010397465950956816835058342225108419511632531648469993486563019553269210741750000000000000000"
  },
  {
    "k": 4270,
    "n": 50000,
    "L": "25/4",
    "lower": "16210039/200000000",
    "upper": "89887991/1000000000",
    "lower_exclusion_margin": "1046226068766385088026615014070122269445561158101459194792465463933183123182483224107777050966130670786445478042036644733970040238196512476344899786211154281423803421261348233502722807745771629641709441253410934021451147955320147581014868150593143791941242547374616377206231225696886227369673734230159749203460164698912621577309962740665148522810685679170626084226705753451518244651487490635714716452516929489768690535045778096243334319605851905214027955512704373597544558420044419807418129490359409029855987054577082838600853203249271884431204508907764512624412415221342647974182177043869516084748557581244209016115226197126439799253698806092494577827419864390971980581665166599877678677703886738886381539397662870195847761597926272790895433575150807352984193112724981719050716172390443182245852182697622755293949322596940252744822103408981793488687627330338173817617453564032673453806552174655844371670029017439333692625116807555690619512437769153565632795732917046062866351547425911042207834204378249299163570092242390389521014385129948296698960720815375434813457271113562032541130337846925108971333144894531453698039707406906034026735861707757145261180758702376460831094976108387387583545813772223227640766749485987893861017148729622923209840910619185669607063495771059385832248307067102224160134264553736938956492062304325137121381245462138950106025548606515895847874106529481003756415746527195515633114061856965107581120357377067833247467677/787684115754952241051282715863192378136418765504032466835915979339937996317925382939818878802115224232339921786926192561364795990547718668275834039560499520497168570872524321556566154493691464943953482304898423752666262346641949504968894242511540240658277197396528503523367256412334230023971928743876223449452820746241153378378565780064809246864549451288714994573312795304742970044426038241088051689727318894453754166832343671759908482511856759240438051696121844237575160261190244817121224296107227262885673025884311058291171882777520009558657447816451589548569950155902319714620412120493771200299780457839808749209875390658502639069115167236406324880844144290683026540571152724422429690418425081780880927185903232710051529119303771680742428359177526449902459067949026861159978832316766173593542872554854334769830740386622266947815210257273019461312620368917648411482299657448197091254029393632290441207198555940199926724023607302016598668510720829587761489109018283697141672210527157237917657654619457538857027682931660039073044033244290917993719587728906725588887233355392279058306195333456713637919967091063454911092266876510094407271831997518613815934064884930035339467218233191215979446457912493339467695087450383084518478470122487339577334055585695180639776978360923722276932727433601541340908665555443549844449742817119372463963196181815954224992572782621550012452438094929196734732248610360131465278550768359590475169290966024600000000000000000",
    "upper_exclusion_margin": "26085200218789180017942171337022042762590636538822271882365495710464386158567393037466325193433167798916798148950678772915418238423863987532991736148012433497791762081346202978347386360712223843853378698584247018721142831883925158914036248103775730967859311392254411441386938038935224226157079757391970849211944009024183240327765825460278391243129275236607568193400472897158309700440462385519989914547355277576647250043139810840158221592001140836167796691788696615645425050737577819691339551932720389916476143591170783255292884886192745452632214723421176103896657201571452419030136980430525102537964394604217679970168554102511399146419891222116503317203720845457455440588018151488605603640539450762519719337228372458106079275764426476934126159996584934181011373658595887994455297662383009778973179780017455770184638805393882867010448937142981368182664413633178416256508723705117033409745378823771965269146407362978953210146834769439175098051374700492707939275629510450102825546385855961489845097485312103321924703283938036343001718019690010626234804823610117990213600984815675960613192620881518576243410527868801136803251378764172783033287764414597350521916587820576573682194296931509452074313544045798624887250517205087181173268234061936269962345105851806418493636815580315389795347882919572027921783078254010589071943877541332157028760641666302569671848238988214347000732830130159794252880307907025701039067761124536578851941435928567334760432661/47928626859563008455213874337527244072184138409455864038612136882572082558537161617005916017991971556865110625229646933591796235588574534076269436718365217852864172034270496944367989697202012873999533218494996924998700435091412087840817250113829647646874342350252093198024081264436862983962806305878273950760726015782123399813484717229854087194018995089273589140749555562611662140246009769407881672559011695399209622003214898565537473224852272052848617629980221849769752439827179678666069425600449812385570873501975617655141946190879802101091874995287162967005495008125882124965234577583052833079483111696270099120594337803591819085176379030604975391980663496941160344910892315418246519876880558769555601495427733204605906138675612359122913324314428567034520916073864526690992820173600554905229299303506142851322103884648094772801582806373670686665345113371612836165739794529560906400744393036361646760118545933374504101215773153456240859039414273535931415395628841911370107339421922766996958933163900943981082779075529564346819198446737168202050366562944700440229635499044263958850945762326260765300731032536880044931302575682242174061367304106497269238592422893180721832890115554427062424455953654437803342613173937963108498091597537527972763076920770715835635663430785496800467173767882475064432976758470263616905685918783944615071606400716879809712761943321191574706199025495177413540411730008149564250093880334580285723151127449431800000000000000000"
  },
  {
    "k": 10288,
    "n": 50000,
    "L": "25/4",
    "lower": "99708747/500000000",
    "upper": "106100289/500000000",
    "lower_exclusion_margin": "23788668960437220277102745685108927098139989361524701106615387194442838258410633694251040572490651138711988259516459523807505212106732403586461574291452027285581054353380620828323807241628190319405533040098855063826846336731767828378887814594765574586342062730420160660839721003480855256590173646038905910291329076429519331459378367140952656107263770800018370295970994894109533338778634715249812502008171189202243302333167395306703658082890737228494400975821326621566647557109641889570593118837312459731876055193652210795129857150771173749928665350973221235372513759345607060445810140107206883728760703760127988567293984192450649356143213724685480347617567678348052985283213628915033436476575352463904711266139419298317354673420776430206215861511019849497816140406533570145152284129611505735097384004732844459489295322276138561584823322421804441329051454633396216890670088185952879773881730565468471807553876909257821567840106949890276148659741216939359749187693992805539923741054212461327759995091001712423269445541855423350965311234545504635561065516529420667611701056203269954659568473344800697290990448049107006423268209951389999201432528052199599694355630002924138798478501984046171943127614837783657459732929529643246450050561542242746518943282596080675915707758131276145012145280672950869527095244903848343346256910462606499694624806720829219909726468460052193183255753889007591992811088159638253493509512435392291/18785946938243828237853601131039942150065889561011064272135957659260497924014908319001402111889750589054261754478350828584681228402905796948820700847698883520070622436002139332307363858615449664847049914486101271045504378137564924776352273540712881704365350361319355646699920768980816993478065346466333516609253543121776705463482389936596150121051466471735179011749170078472687506608638643954514329846745086877634360425573439669626106354799507966320798458287093476081225857351317345066367992413353628585101860796669275415093215642905510988954884357269485930536039924844980059706253817548560449514192656531140215232241210752426786054117039622772787407814693358985503623425785022304820389850540308212384089016452491892620843810614239327830137260734713345334283517490108736351472939751860531510244797645695098540787893702576552620433156308294780442872547926881461989357093530175903342922307909881993458305924557226529689644937333895559711271748645752198927270144580294179207466168605980317339802801284491285381935588991948341194574303802047614826333166258421370929538001012646230576918935105819172575162343636532632555440413125731720634183771161534407809712487509799780701740283355840177475650217984039247225210327398569708711079193867519935615867569728118955354884306220450348554023309598476759436922066201827280901007838170269344999025120060216430983939531143585061396418436367653054498936676095524989183923201375000000000000000",
    "upper_exclusion_margin": "15802577502380745975589636662023949698072258146995072873412869081609628623656140172491729048112384233618659640234994179162209441139452613172616311500336543609678480160441662271513782091792935389527741528755130009595764236102876632844241010845572011769419530619946763774200979354525325990781038330854627270624129550991881160673401845258730018750636784828363934959546437940483460453621671261551372825264265433854415957233851333463832458764656417702547708309740156417080269006076618903489557051227211271839206838999663865096415803539747788323747750441395723537277141685232955273143826519143177014975944616264779761450449848687198785749131441287556427025710575759615348358085028618037515482367638228793104821709950902786565472742878525788204997713319541126808078640927154183451487411043711922351408538877749343322087522835307596369773012615085951505149445985819436216232842935380426347542107786549512669184536798937585744882709412493063472540785084133780490677378734324889471390142009518812481125018114519033010571193736549183317908919454666491072486132362048287530279073526648819715335919665857673400275254610614030156182205346169188794739275893326624061890051841812162562262693396544723386841954384629008157247277137916865021512717435384963919123163377392013977801977935589307993937607276092661149400071579131163461207669201489644324081080241959974210081700429593892084143848094392606922912204096324502547976029083369276632022499413249038194018019377/14380320838935960031288545186412111516443599448337687963920750313185869722789561507762107233901028257935613143325532147945054247553398893087709619617257490616505931198311662996493691264658563381502266379689586921442107167429602113036171980131212798888778323471409026024610426485197680920882651546367037493454993783388801219957445350223385632740621545264688641109479454167876200076780603218932284290188623456533729345189078598554915240815165749775801194244542292591223230217971302479218521745990245642071200139993054593490966997235042620772343441860822253149778404232367384649994433189219547047922283611727278639348065783967718573156904806989953720660954814622699705828368731200125636459363496859936206154579245323546501128907043343265077272342672096335280118881076051507545450299567507406398854528305144742191799258294450472702033186176187757670868083213744592406043137791231819759704486033930689028794723912295400654053651541836138629326523300639226175404686155357117378790813510352397184334002171942884521090109436330781486846484244064880915401572714179265712591002289237430984724257858193331836260943830454921961249876302342946025936570032321154758865036331528184699085191009231123204974682758544429134735240440132115023911030427812111868849782182822646759149205649254818315849928439457968505973561532402316749241562715696150258610357475224084503292610079757531603887802212782440464568653950285592206156160275998863487171144990155483812500000000000000"
  },
  {
    "k": 18023,
    "n": 50000,
    "L": "25/4",
    "lower": "352892127/1000000000",
    "upper": "368074383/1000000000",
    "lower_exclusion_margin": "18976698596007597293346213497621417018996307394948049292553559840637547172542815193969201175213677250192441974112191472644525550778780401338963621840577632531571661647760894284802050081338240352152117842264673777949321515779992490837145082102534879942121470418032028085823651366886959709818615891910902328441380737722377497243717099430520735348209836597012984004225172536392491326761898168206985806299900978888373631209723622288182870641188159544310713486405694309482033863128410374505726725540199235998637430683893124095391468551689944745762251197377600462327565526295054606182167458952103133306549311669227111185658014381636480109233512773038217975298154893254255721385408513129320326772078710658627655580917012737927513849773332918025702893050938685525340110212396726988592511690716911229134588788956526048504490915056590224017709679625621411831976089895742922183115564423193265548277700765713040509714781634795115206016743128292660988500375227470748367196889428128692786622771426985389110767588170624575386090637122440563717105007092675863077750801174464781076861486211705108891789543284382643118780920375825444000549553232012243171430074923474172718164005230048831016023517242005865714281149688136159533870170756845111026733356024869730430538518738772731397378392985210088255389635262606654005665019021756049752305220747373529678999577896811176701307768011988030461895664495145215606050928015906824783085861200075089776977992258201750622043719/19956355187351080819817458259713437234147174358914891348353767441319194111746922155295241610912190653077173515348037368586871815074409817178979558793504475549256011783954797909726181969243542269232462652226199228320298585509680276428185129376588066546023667413772432305824609274613735110836234688688562741388516833462889187774287111720275628456189413630963065836343902362964831523925248238984064306845935910223886807632598480687690470994973528875319374827065205309346171941117827799765775457928102277398154297789690234796131890340483104544245415430111413800465763753370839910544173519437766178241998552058056377958405989863902920562333914382016170152335800515019996785841762205324264136089419239022096369696693775835258599152865952999344401018386580853902845042690797651202043060140743796245540970457094901972594536544282705898740417962926004883312428472657607543452464135435641985812111995299845871041757795030938135585727815043270874783177405547904537772543811760927568105735481108082248285251009250037070120738050305777682142273216791727058210258885655142358783175263250878146256797317252249407241781170998161028919240220392678237832442692878115101838737311864043833780991157589497754253381868856778643752356712221646138086718625461193785785059228201054152391529596843400096251821830866386693264682944849955099211298240582320524374765736999294038033615716604663867262704478304374247613455870583672205149855685360507437498259791534558000000000000000000",
    "upper_exclusion_margin": "140062162775673802793179778238973421644331159177038688766270527468599278095534130534859895907952240617618172390074489650512070087186841604259577279386926309436899776544429335774991806387179662720161624378245497495460970045288293241804569770539040209552984485933008729971296086780299612807637147073360588827029686693623787477169980544159256939081287609235283642338898231447113896561758154799891556854189022606354815353372476621167845825869525228141094451164049816082641567930129591202870207227407750117757412148651044064987111899894780027942521786831525785978619947047892764637818217588156509080988548486845924465648657387624081280001536016739583931260930747292994184627787933912946097478969919809518843377096128943172250240483037614312949835336140707921511869918303719087906145742027527695942677210740035290361112259858612315384445990219705890095449986252733772380819195370897433968698776819425963344730443056729140374328486163102190552428790194153619548610418830414237215142770217428899070662103181598791031553809091182943651514701432936160030005547194222540666593064766858376168747952701407061698444136068229792523004031773545454214201641591525221142846153496829855670871763065603419586400565620331291164473250257838887580821160668163063991493890629979539703401775011927289438625377004575987743758528731089721347065259589906559496353227707711199905723766068259622795232860778188740355413206837731325253268356586913494342293230356899378976200852096562374057/110764290591544717563686703714281634178480555529541432734942334635992520287232263326523333901712925301607587391163373005549012563663413942633381569808938243307950332569240847213545125109459916369032747446877634794892673221723852707591156815800560216653606685157718167088074227316585689538490164976832480225947936581562578340413825681580286216644628987450389840766202364430166314906612080632201805644136268568094115651004884200852423780746025349394329472639564359913281956402747229915823998990670413796623804411087677685020415835975614132006685796472610542374510594454709885345016265635614223681183414168173168509880190569839445990619729740173744966092975097814371272217296491153048131523859320496168276257732424045637223721397477598767968208710174693004740257197158586624439098269115129210132707736511287230362700753661312986706242029188696762478824861575295978068940792910128766981698919125743300532237637986401670642658442982364862293785125676514919487494849171481025265472007642076859984601799349435578699179593391420646664154881416535295632507003899908546184536677243619504746220365084904227420243026659061663335578537499700897029953781587077649598466802739807344152189316584146412702980868631229778580311540778644988441970018836975844875659331875419983372885902762180146361399774795035377159310139962024242676004658807922292823198966896473102328691325970372960503601767653396865895805879889274739139946655109304786749537560206315553362250727000000000000000000"
  },
  {
    "k": 13937,
    "n": 50000,
    "L": "25/4",
    "lower": "271687769/1000000000",
    "upper": "285865979/1000000000",
    "lower_exclusion_margin": "1536392550553282339838646511333729228897416923924274564513432639672143336126939063152613173250335756146848553333733774129542630874731492552165506191901342369799874266370279199423209682612173684630700612189215337433212220414086049449844553562299102223218280032232957462541784519159228061311497349727570137277226218398869915706016559151747612111386348872455437122993056465269911689593024093661093016025598962347007113319482627490194098726338058706230980479435559066180077781964528320381196178490460523403945448768043131283107690433348889129355833143663021961716024735502913942571560499460988074001197175185969063926575924544894775014407326379781063951908441364618131097427888158817325091014404248497776979355003187056864926739899027346564694813307612003799279472492043262762575731620441295194612724720823455794902607004211943628555138453274283594870856902423556059019492014295763653281360392504792838828529872145489309915643791259773502670210897833036766008936910002398086585876909275800349228239156459116542868961959328034194868602154847175902543887170379768155644696030717057406822660503461700627877736475278249731819400642992444154978490565648315362461569939787939049102156199211864107100091450573813853388965266134848629608984181529966730782875727005878914270369805140410320440442923385827598695017078917662223550794022296255052028283450796884356001240516344524971079635618537406549393558576117300203504643246059368705932537509845294344224827355121/2035545646749700860942604255366816455388535128119694668866330097204525883956994741602777818401627612908624573682000374694202308414303554130053009303183903170857436333425375212767182990875308896164000485554056463888310886799944281123915847800952818267313195025687148895840431582061422942124180294620404335491521068529814240111332326701029181343508195598169540935848085344194040524033139594880084409689275087562404881021852367392733256329918090367071948600822763887059328539622080872496220383297647602751138577465446510545838625847466572074430360772798689697804783843920723887465755586536223105633285411829142849786891275110868178305533372648604663317727783098204287979226538082552149743973309985252725424266278476161127819660646971057650250812798688679886757339318664012934260294967162340900695187774751171601593679905316645590593088842987068128086114668248871084668552790953844886836080497651983047531834125304904169732023493530812758423161444217835235523250940280460329895751028798722923589522181610845359280296577736019365144193251486155001449171379334212576129119875537920799380724748468073655003789185912913070461371041148449059877475470124228207664936800529956421374360633057710713570624898172307651211235124886893132844741892003958651820547872659667257187873257590084946915301216221648782516261660960134858159903940684357003210992574578674800250856050409268270798588598180057376361331654356126797092648743314064125358102299250338223560000000000000000",
    "upper_exclusion_margin": "9660671355930955850647067723376539426424020650963941268623738008054736386665176789711568601505250615061266839630118654810399539287230755713868628260867571499965315923742898755409710053782778757952380712442995729466181525417968925965960850317405003891496422809354084580656067729082169904579604741358856042160193830544736707356873158436279712355198239708411497615473986935929178300403459114122389902034287357515894142435764566250771315553776865202759346221384480195303930413519471211362601164016803772313980920157327302091824242436950561147085108219271441500575315902799804776394149967745650725640227085534302883089517117933348792181151853987948941125305372836571563170333802935113337085601552023337105523240818096993566639133789587104057630242710337804543961509290478337708003067044167241448815661985371028079570884038525874190802527406659547184052842559424984203327488115704078571720754001220886219340187040574449011100233363462850501870166571914385458296329283724057949935910152039569269697917234023761867353601444044597763094582050209813931942266516414126863374740880471230871136876212084566804907363691359393704648773487320561536454120145237463044089018257480255032952416930295042082729227778351872325216296073897674002636835377464954050741637558350308439601563295140911778185293221174617344765553612625938387651839463160734415661463490034414554073586967958549380917334902075336732179695444803841604924390518950780079376329856301235132587620315736646821416756586012826454803909276575777/6741893515766956885799561961335638875732233622893506320504138137900708140985395978589955893444184647522369246591197659195028226198634131949545252751715718778525719286993856126484131020755054763933091384795106751360821586724534765389799315279374575065145913516071672663228096225230034744608815528685529984279421982519499475172664079911415103906376638063109919081902772303290955987642361529591623764621618809067011052526025581861997291368179760620769641437002676307388711055114914740645934929487848121914961576776591216514199104207295698512250440234967356814468433807199085291702395670293100534267805463034145135298252908979371475356743227332824092611903201123355697115549231635243239265293892676744773709344790384858991093892506901253208581265162962468664630765351452305285486353627155579292665254309540297031939996056655562173030292815949916513318381852764747598756297095559638045416024008414459563234206266803085973824172615560638898253799927268931122777299388621801786219947063730415660204401376701974330389341522134547303477565583266243729476887065408089921797853932342774356457163173131408781035612428095440362648786890562731898875615582746381970528367943374571455423403252849143722101498925594462925506889373767496049748259651499035094242243477524448970943151138581459838315007191355982930623718452771815823046180044251498464438597202013634968465475965642237823009884825898172533282554220585371347679775759488351318235056571632069263016321184036174925917300690350214851921000000000000000000"
  },
  {
    "k": 10895,
    "n": 50000,
    "L": "25/4",
    "lower": "211420093/1000000000",
    "upper": "224473933/1000000000",
    "lower_exclusion_margin": "8140971969105570026066637136903927602691285937921258787495567944228288619788618607079284800832331662748503636583083252214243941652139634573759378662031219961115064696944968033709790232660701130406928603344477890687731413850539384057357679150983951381713813252909506712356106184012070715618386244787493652372244869565612546671774787612918866146010909806144974378543433540359771950405179487819508384902052455790476789795736400448892880250995528964697518240792393809524686189516935364314462092399781219717694962998763137320143679968786608023491576868249076469143835216765469426683397842005694898870327002183759961789369913550569047296034652371603034067160309440320404644525177417527855880751461387084155287729082275870865667506720163876291393034759420988557078428272187574271446712997828708799692485143720260839377492355193842542596001310105652144187419103914350060446741930752947243839656170204624098059205896767619631780218741390506977326425457662541676326284515222796702888434508365945293789167299286014632988147258884194986464385611610821271502914747575852597036060755740851830070173314595248441024741734247605929078867132723558438218363702992094916848522676359683787004281554770118134164201819723024663419343159714167789171385765055156879828776847093397577040590537628050001431602253788685600761678164983745984260394953271639610996404365360247602352203700973582571715687825651796208105727954183328147498374383029595501414007769257523323388598214316252552543993180296224693/9394124864193132490275209202716192355759756094731490337693303405433802213536687223343875149730858747432455250708241716229128285774987251993262378617925016399975086137779457055784919499749424842944716653452685034723106413964214571665536672128964672425723440508694731473229259354058928300529213702282781741037332112116714219071221030861863295488025133790203054172066429653410439809366134892421825338542812077173516655706948653628147655265364938813116678726172294308854131387505117067960282510967551386329418770742904010222480945006399521844606450186557340977251181595001344869548487192390756858908242090984839316820492249941652487522091104322095970862601077688673010423475094028444761020087992675157112306933959106548334417167845542844699805139125086691172794215839857896246804249425351885589987015880835378181151819658685897292160142698153694527079529872701894678519352969162150125331809203701801224306417156053022095700131557280742190224132908821508742563128138987119020444582854472868752750645668573538026369501135537563618327408855426282745574928814138678401272706175826521345342621998471079888857217681621032337752338987025520930876125249131227809819219613804438977445158430578971940674450098557550312324040147450028274074457652201361193348979908714493376118771148537926644189485144035627825520220011959054843459765089488877722429440544410173533443403245996633081306724101463133585017108152334205745797325060678926819487639619047824705440755950204770626176384400000000000000000",
    "upper_exclusion_margin": "45639243115460260576673068205415249511154676981211775958232034710256375965176927474441725901015418748534297114186737795990697348936827001476194142225315277899907456764187552564638896558727033007903601353294505882377013729645662095310883816423796096967021091878390288007410872657705791547187446372813415787321796445778389005744863232300688356220583483969654516841680841011953541501713981041953889842025909695929030044553673280301621899477365110452181658774004411826998006818791773630679979903781455824874280460886020842464049559253042370613738435873557767770519386458980003464873434222821148193525325419761070933166464373481904553274619489026287912242301358257708646402381584263318308123468822608273735105120306999033235708746634328905637229666603677037428479249870682644961239158169855064011362095875346681320740533289951528334666436534874599709488333217610818002361509556214275745014947462583048946388554630884290109806164017619802807627851171394756660065839519168445280928131479182125890497863587146040098973761382998115655087052761878829890165798215170027956767162891269439294840675127086578094923245626392392122084498240471061568218854322527875661533190955427375827774526516915285377009934163199619448892959134426619932086104177125318379648057058481621185831542620108317741514028224925335695785763660106011313382063761505629680068433279870009282718787691714106630314306764342163018025116291763182832134374556244283483174813050046176703672748217306149543883/37036004889778395622242175513012445433585636486249829085199209216307278462143386462112048812843284974470025490882385918332426946716065163906603075900215613265168168704984849636053868925183366249217008202328205145797827050328628682732719743960612632352295811527820208955936951105417234859902215234489432831458315057308743486019944098412750390701248407915028002109378159110281149559322768743656618201522965661546025941988575500619353867993937076634917839672160526301624936270748570724225777012965817234012857131492709821742312451219546948695598619778191916144257981985317857825174967122459030352292372883201695343019247099926867538254982670697992177436304763498036369632847426312493158317159417922288314493426925409463748564032036365665953941038760377795925420805543727072411738601178076879887879872510485441879340837252607125011710402017648739523551109848169358727967057127355804569452816659349934748714620511986849889556203611366661078816275467389184877347747551676193519146514507522690420490042329907990462317204051905546275306173472281852777535339840928968359274181344426592198476492916307344954426477632446351385308819930652980209633552339942796945319497087557006559671123978809174709627413875579773139963637266414530118031250570994291453335126104308271952453532445408156636733375877622321897290534133947563287363174159661422174423946911575418781551440781651193879824459059845065049422288989949984357204475807809220296943072766920402488520227535450000000000000000"
  },
  {
    "k": 3754,
    "n": 50000,
    "L": "25/4",
    "lower": "17746037/250000000",
    "upper": "79317477/1000000000",
    "lower_exclusion_margin": "90547170661599716675433029886157008633926902172390111684611186095288011173257194898981989291849980469451561487003283871192750831543736546542889554771752091301621565952069416048302505490263287930990448716597196160078371157105026516407517271468500928755158851933544752471537236751174377294413612237766018542387660474795381714558719356933214100834781190577932104102232606680139469265040153406650435355787337030250084758621864459477641957209272653806466926407165711674592244880437263828983679703222319853690849415288450328423968608870273805768247571389804892651965372776468437790573271352062932704004004000889641244774058306876632156165711533064765366238517913389371293001508860466596140644375963249900531891714386359498082655064432715945477367262466724142487745737944948818451345701693909699713230195124502633615959828604017208006309180043519883074040251581681423389665658289735072696834255949651903406376974166859023188654107123600696267603468790227946720657785902786626119156092065082549766702181604275282551966458535578714476754158569619645124106693727884439585771034335016073804964340980961944545418979269154284205619582763117674793849347338275775746945776994321477062400635443132071330625489226628480866091620241375269017523625206598171603537699087296654644334568606220044073903767552214346149156024723975076461610186416706061493975718176854074635202264571813215079185297748635345276631786224379170562565683226439814635375047947196674304813150694793461988959676801135124042694318691/29887901913206629309722656306317378241676721806821469676810597587592771202513744157928836680607687437577231039955152076670979918564348799691403043899009499986452064895273807769430666799088765347317341877323398500840356479954248553618174243722459799236652318742350921337481141016082230074864288770562986813381255248088961188201690370577173632512818632069014547875173105903795904385700000752241930021690605962934100268674143216804129821848888287169279295007530057585346604937576639164114788841558109225279101787157460678909447568791400142877603882619984588167095305680787950439377014328857484210643138250018951422505263648917976661940785118122965160350423592375430869295962170428631443397886380339535450790445079049962293623795690858427354891930902440277702962513542683561885544201369003120484798522627223840995160927739781771418887445066825839470017351201347140202075775733454748705629904860109985489876684656588645363318652369022752961357021708047969533653953546623103603903134153733629099667549854260258195933271493267439336953010751195582131945917092291398205006675508719868366377063929368204079733978201117535489201222112369349895661300501244852432855877570451374422463571327407674792535245798218404349306285310987643124799508661438794459064542189276445507940267424891663685932339818263766920725022825297694203775885545620074450120534348240668216758886118929555529452249028343715883684527285338142478979809464327313245147364058018262790374029913611834678935354028950395925000000000000000",
    "upper_exclusion_margin": "5808555314120743987150306476924541942924803595208503797326995594339563118561214793343576430517860832752485798337628623679038025734761804579626330714632358828536286646646984506945067244874950155385921505877618636911818555244028213900960188342042767444559132363967280046477801493910458456200112823673559013662372954590516141165637573319804648066117050141987554551643127585723989096554877254155961365841480655457173139212613397276463519249721719311686992182358454859923080183700711493941942237303208744209780161435689047077895378148462867139178714465112874579463118477640331253668359164535494804320874641340014355412416389255903238031414724573392308880257574503376826145899817352146834873958239297580918364246185640867532642662144420322296561233018044522049576242299088427824335353109256507283945035794152053596200008734651358686769492126689707424165265583838644427100780678739942043651605540941688681111820533613396819940026164954799524884845323067611107757791812076420217193223081971808710341102782816730643589849499235459285709701881562119539809920137564636356822291841483537848991777834939109779917014979356832888112972647707795903711004987000565733449077645612806380118199546855732066717988495807002718081394753700963985276284236441942323974658448573321301946299910018288536700146583048302640495287676901463105589917600062563820843227536582107680356117272319289683067246514435196387731717665264072816496787572484959743556531045501982570466910351671312620903/2903311697896943952882796287101786319993613460353622911059127840768938704338976068977130092544394196471290359135077604840888276447579555925826084614970115138000253931963262025706814027338865459183549109153713264571616785445999653851909658935326992298209082155197875789684574743733189100485995062892885210532092041785195378119736790053933625077779425011470620408392733339543962768239349681194784084542715398616371933951121309250903230519204018061345237034759442970428274013302150735603176924995628454376104605521140065364534113861165971468798375211320323922707513135063626270576924467005262737319103000624811197143675785318688533825155770246520133479794216978769466481811002611025995692724501809945506606141543639815508005944694876581655344280431526097938330285856367513231787199701063487452121669349249762904476698797338984611430366671490588834450614231313856088809099402374760090278871430159445544312742288438110595322187162365480831454417329095492088306018155377686976110013121979980172523949811905559397401478572868069237001930063136669741578101706461431323104547444197832166249193806493715221948840418431165109838128302477167060733939126120735102731731202635366674268846597230724282239054279680965170376270488642144873431876002513286917319882469251142074261034125741245312337271726941789443291692153347092455750542477826066501664122569032950421849363994126854579240314277816681523263097197927404548224421003377070386681459354473566228530103783500000000000000000"
  },
  {
    "k": 11178,
    "n": 50000,
    "L": "25/4",
    "lower": "43403779/200000000",
    "upper": "46038649/200000000",
    "lower_exclusion_margin": "9000776092772047480172216190886713532142709628771525195538278094596522891831287850325814688915201238395051512137733213976546339995268418169962369132965289051471956442343061569071726629007244928070338792411155921650494025364685064232545044593161758822226858349409153286884715066209803269182177549719822764732787995875635057691398665749772250275496058264090630083485353461171423095403898613617448994942833548110195129183123942226395156428036602969323782877108487622159081904475142269246770209050004251199676360852684578862244725395654867109576885199730117369125532948690288963842015698161910730250465211267918404236243698129545548684536969723712990631587893956792835467749980389083798082531881096257783016921425041528130341543499172425841712764664094997320387304279703012185650012697666062709055178913363153269960413083861243804942130051294033327675325784740497201278332375091491749645009161684942274958593721932366072586818940103433431432203805867493127703061070135452537973891830105431023671220421002254012100896306594000530568838809180018051042718225164860556146744906562661983681427074501775254254357213458117820086317554391556658633626777496344184419397993777740328732426458640620700280141984114579683221534270689740999907628947827311134513578209644735589473725481712213354992765597817514806589702487944690002179207769783229514150087965434025689414905412579719342833841971382478901/63131071921637387710007219977974281976195105350921011431569293525582011259229808643511341658262983636041559864345766677317934721219553716758143392168530019463228002349926763470084196273488968866068991620005015630156500872245463620018992396257395815543603915180144483274243458682251906088687177697600421834374245382183179294268433232757883700701843317653473124893151002001432533538470229434213342496626370513129518145368629394923217746803316739984851505666690493209846070830563862804372721322826590832961116288397307161644185910755668075684602248080489449582472055094711721622187334784707082327702721425093537433582978706161337746890053940633377578715971760512518456178313921638752883315707988764183652002674423536676993252255592347265095490576936434220558770963303178848902415810425438447739217733479008133393391935606009214276649610046791485533780411482849156833221946501038847115948009322432919908935297751728849643174016053769058306319031486194397745948631875518531520769220650827019898562522178541749063998312678704215686538629541448138296415944418819028575858693887004533317584858090882953826819483846458272357408083195457402807293470223900326992628448232579978736308309791721173963496441484322026831012455339890690866570954915240464717711675094072900801312815370079039462172384944175076715169087578941588922493439935864325178283322397087847156060377099190191497705171500000000000000000",
    "upper_exclusion_margin": "564350523927385653163437520292115064821074406884299698135976842528319081926080196184150302158553119012425051511399429967262163187113280800684977642939260316914338874198526344100654015608564708494755873089438658930863458590654214754806730687870930339667711146794698230748252256511885703766272915437079775116979668789927710169601572522701612600990135510533622851143101509459842288362619766884813917606790009950729811734458222816106170689919895724673001900597155688699363662949542271232048242497143189209123027334893091267429306669657151786983773550283050803952850171474427641777207129979034097851962217038666243530237981515774180906974588689388809955060800160386653644908073038484508796735672566510729539979179204761352676270347290350811719589183587234446405930879054966582951806747733408112373643081298203421395053063931578463788562746818623501807492436755998555179932177242189692354812855475407793097865864081682340900886922991411956596571882320989820922324399520694491863695794645733509521203397791145073629318885651384496868513287181491943571625134804297499583249846453240853891485838551710716304763240202080813442806044238265532655021452361999566961643059996914691285817835537025376100551985126564077314090222229047181380579499523701079064100506206397546668510283161123559802845931174747560759635926590045167669023212239273650400699126249925464047125426124417035199909695389328875539616725326648958522446578470512203788429608883583549345417028710169897730667535379506601/392194785114666088651469464463431176818483705778273161660827824046890915429717568019149425009040897001243449790995190607910504588895073829144514551401304857090921014734828833778631218612142516544055107111274876258586563991597063803068495281858404809280025545921539305728228332947474638850012279506984371529558577043590315668816930624098761021840487441877770964089502915238393417013432386637681641518001593022736664184194511896322940989964145935949500022192209924593240018076660464598495760294914534502096792341199849842897518109849204100919588641827528562738468432575580582876197237581938969043773625385584962737762401054611405463377150659151064166102208886551968460098806896950446762293787374884816401038725199035617322306739228852888341132310913839867843349545462594542733826065769763273332900980303517647564663184725108693573042757574441424943139062290491021029871016626998640843162251232561762141514026238727172494635376098080248860804175538822157672942345588890353343824064087282166927112266127627422839292045128109850082445201919829786116935941477310297898871529822923567452763967567836947990483576115352870519466254716007824901015115936178738082365277735582379165489821887127137665805612970122315299272791840242846633483795182282366067582242739861757880949879498736860863503788801876521350704969882435782132881470206093232257761026987294472067739977568994933889770291547718256771347968704012626307024307787475548388561450806095083725865045437399779761670440000000000000000"
  },
  {
    "k": 18242,
    "n": 50000,
    "L": "25/4",
    "lower": "178625807/500000000",
    "upper": "93118359/250000000",
    "lower_exclusion_margin": "466586581559972594258759653157414943860355698004296873167196953762003307282722062628986660679929247504403751921005074954985368570767800778757982902475982233947980971154811392761865679019471205858090936051313570996422355529606655102629557129669226405566677587007788197793893749558021384749946243892285836552995847487287571020962529576594322123853952808585811424913509397389775635441685686138493091453348635742658734968475148436786015051505352650315957411228368435511899537869411235634985717339207550287354958948687011564975054070245820578839343862785039229612525811701600766977271955274009930906226497992756984656317479522768720496069232774679965848064806683723604471967198583795895926176201042797449426808196644999036989143375865153344454518228942832143518115140124277494335431093363067421609870086128529936914716326878869279445055838143428475660976533022549317121746589649929620984711961000874621390635081864849771741056880457512386086735278211845460774352390054994207462308313805974318795007328251337433912949206502922571453143757162867030339698705275110623889661159550103570526280705017327579929165055919420012481462596506688478886259122001246346305789912626858399399034547490382395453036929219514642220888638104873018810757031532760810805630936612441892696333066363090425761704445907828412157064452355835136229495859388363677251867955304672572944807339910588564284995790647070764821068343786529299424541177960067493099830796674966493299510810219695246216927/461325512657964954660990671147180551626191438066928700106528642930140161925713980469554984623868194801605807140882072346008815374098497417933407724288080801704689478038980498762402222732791855627575207028769012897812618269219342546704027653299973652785190140229522874615615892221336282713416244012487018920246938291179372256305721055238070706771407136262069754068645252512306867388780452840134746025353339794753966482129869016405292893084145722185338780965573068999551768338749164495238169730577489247094011263427333422519728146676429013144263077802660503380251233862054203953227239549096664537248207932392884632419214946574681946678698211494265945781925358004692521923187078538966845560306280250785903022045090010784599967793828054970311161611612339762684130691977690317739544338635584962070004097051578513074624169617354283988192762800369372765169877604069089378503751095962061711491920302525649188617154975638457737350851844555165730723600114394485558065904029856867113512153305355415147521060142938612961062402761014354449290596443036750056319610324494719046827218682451363524256434821547165810594146313635540989926755582123917249237887307682722887813232806930818181317345237967808869163809663769229981177329946634554470855776784096996155262897285418088580820462050657447430912797067761021003310485256258963802284967315564379503876989941455799226393443487607304228798281145139626506104708279120701435411968023109004665889051470772817495485218247000000000000000000",
    "upper_exclusion_margin": "89129386121953379323922973011460815552346910777888813876845891729696402473530308510417790819084155617938236659488772939845693129972258713717932530485812556263565136885958177678478166052400396522148829317142153476339829428575987490325280138920711196788254451795504820804114611684143341060087440857772131169807756164750014646713849224193280929005839823822521505355137825826774465726659030618469303125805151346511462568156041836610722723594969011638517898307265650610162851481696630594197846496260205462076572002121552076635346102571941422927474729199363794203832865782592443682925635938937999131335364653499908045931948583739284395540085286627122294127797991084880986223188322404807022204705848960474181703079761919960537531324737745609648342737803464114859891706993870123134266987301059548105818204637263919714604509880399461542438329945489803516917988250417201120430028173516304211364453141026468941738257288280245946861632696458777703504780220416360978080283126134735845208749024049039120829050176792674167771077796399377703730090304494957156504346119418971462821012906059846503008620827460154185957520872854358274270990311344469244419289300321193724230694833303841961591597716035388318822317649311423889873476546960252806107596766723034353859792841545837098940718613760493235172761766865984983900500524371551748633536600813958797371307133232657237216966033378305930127465268143449527008134326233265400419549282603677701578462578591/78302817885278325666168229736259034383120287772477103302099147873828557233120251724254159745364980819137477496891560512734877978522100604567429272395958572464471699262898976836594445192226585171657761157678823046744940061006744516106332811383440661571991862692387410168895689623023816054283781642839841091946387270064566617279976571763333218576482882522145952668989473360060080536679491276759219136665585804118761890293256374023877556329283618110962628028490334721245296445226187469529382017790975883175663404109480768413717469889435000060561752924818791964343166706372521073102074286819297745242258491785001836854244433980069232925405136005700604985778416266219503476516766531267129216077840374345968685168399126523554408602606673116204208773212667085580414753935048521366836458623734611114218603229734734728523321378236584303226729280277397992876551911272102726925295596104696157798300740806107323073799639091577528576908938990312178338590022790418754373548670130293359013410450979544323028040418636345577424543954278323191089858877427766213462615982945621354291678965830266607754019789646036959191890123374996061199060295660575658718809166082369829220280179800850765980877425331727558065088206031521010072785783006677087402878729622142883881652074086291376233602777776469994743206775038244579821474728445855207980454979021518713831524656260141996996990284019925625551161719696627602026456923134338318820106611078206535400000000000000000"
  },
  {
    "k": 10211,
    "n": 100000,
    "L": "6",
    "lower": "49412461/500000000",
    "upper": "105458737/1000000000",
    "lower_exclusion_margin": "18548765315525553391439543118595134203286012241185887512794674796774004557270503259280347505474213104285581055989632076930294858774762665173777499066716600453608558601329981059556095792282371976355446926042145129516738035253052601905898940376619103670387780504512927640628141567428536643710369739581702665609029616305151930650349408649832018590362642022622298987350610340201161476818676632484992410601413472895070581506710978639413925665499538752253756674220381986018362222450903301015512635514682669214316327686804548342939322146474353645248088833559947685986646520750019631950648212543691724088918467935763396281136674716656974649895957831811165682209438446609720807931956111811605332789511300639659730685645311925750465709811411341006806085269015897861724657673319850524999665054477252922934884121414572235467888603396829674470252960564206303824411203270518486616597458456296721561996128197947382887421512568954226908604131941188701823730239603294086293435176123581464463577951021612734529567050321581208337240469037351671524175389441388201956480047489071816841876279852660433500766905159059103468173437159772928439523328772192302293483875197635924796204396217574991186638479803514484956887576960726818030643415541186867008087615261563719631548679244654785249650101111003161410663339854370863541312180799042760708226578971153675635472232974112653031/6886242880220602791245734394069757770064112906400316932651494619402498179803250093588498386485039046039423738013305372337241230004700550332145558783616078038054776986416465744822189259410066242059107004423480792004578198240074100577902600112314953378144216434316289964901288374373853375319890827827012714359599937505006340020885750047518234694257816408632775866857753817215409115844377926914579815071343484747142620005965171642491242383981037288004565565591550221871336405645619078509911872889715743355997395134546091852105212896043462828630959774934686457746784321994349793633563111636887592541189749224437275314656738590583555741474405937158376889531924686062917827648208762886356382959951536016973369417613187769551436874009792675525934085805746655118087535540019366434845218068956150856376044138313852702048330782574662604616396257697262887286745949570173597030822590019017236353519784948131816856856040341154938679084656268011061384883007044852089739759868080008043238096818015703413334104855637244051944909507344635138508991209871406028548459817709165684317897523336348175816360591280797590262707366451541284613391616383872725240747129754737365702192046157518045859508476786201971634477927164929658760037537956941815720912114613371894689375542037481835943537129879049065569960616885271412438272031573839734245577101392485618399964876500000000000000000",
    "upper_exclusion_margin": "18898141984129165051370813125524872472665236842919242195613261030276655339336885719110824353275205514939875005692701647465616180391963818129595867657191761511129794086755239990953599784482688837440207071000345825321172366529502489063238172704411100973947213048348269960918007823380340067647777114461391217433870007599028253175515554614386458956801351960548489869967263351412692956280136649294666931373393006523214291953013831226881643892364697066363757262415307289736488174609296902675751810645946715261498125685004030004634441622817316051044198458123048879002795743736409685827136053768850898301563307549436540455075052770510066766520550070161460548640142608899076415483776214251348884017024203110142397392275424651446803130921417267191245213461446357623419382920607882647044005701560791526318240517199587514914672978489369029729782980105131562225303949812011856550358012832887169767603831679632624440347319976059791578393457979360350891906258127591963635757338930119275989265791645756786115297547898135651251657396631809836812134920401439109666016246923600842362561155252850435979424598849454219161261366126785941020822712262335919094212788910350284870713438450962100966155315323165148353996947401865484118847020797049732716780665722109744865647701820389487696586874335058617323485728876052888763699231405770633288896130304334996199322313672970107362572108677355433480583871515386440744815502669775031101128621975122818869549856192448949541484213834502593816734909/25558176771056852129026013067412785920300657905961856012539252911782078147360230624083200132883215660763997421978119074834646025677611542560014819386976188624209839486422725292390005964704110957386869571265159955466238189977608165495289629306279038702339721968712924011624774525318400162310736958262166985344961008843918676231777721236245547938835296074457627377757823759625126503816758124366650417174929324777902766458898152694391315909070679307545832034831772745657451208636281637766445769291558702020705515916180666143108517746551909522066736262056151710797186151060775777056485960569197273938783866607895448510167436995468723757932497032778206997005174409726175623049633513568666412780825260659178437010698020651687794278669756716337210488093077662371076193428146240250292776092674692498659602308670919415046192106757205598543628121145230927225289497142836187236596655565502912622179507688201912835944620085844470970040600751064447601950989522852221943527975309227777545174900838411421937716168043562299860911186009038274167473153552353288814435641152818300204512368234087678956235557126799932654071119696991908526489757586562067877890704093607893359927695013740943458471719686397235509523971360696365955748910744253953948045576513039677001040456456829818468364254457320153362354477208996776235101672912567368399321704925590236891948491849444049262509127247999801752452811228325811260125179930819476891679306001492582518278869401578512744633366825126000000000000000000"
  },
  {
    "k": 85049,
    "n": 100000,
    "L": "6",
    "lower": "33862231/40000000",
    "upper": "213592037/250000000",
    "lower_exclusion_margin": "96990900645587962297130721003426882047953750823533929292259026643621592827602055684681724766082213815327025261760959831671518760912561733606725550879865900191975684510749284211770525525282689379142731496799532426873292075660555516918338447564024531031877491476304777513745053986674699950962387058843072422154218010793277931077138955964487869553232915075527595735406187919072521701510752042741914544302139468710680070158819534665979584028328257152141120297287381244180812535939845169491791083575725540626121044109683504633796953033040208916800424337645523174002282593850430809365141346013659730511605141649914913780099003663151339048994245643578657072364079407617452608616445450332521394609094336150947696272308337733675352734711992256228574573102585178744844674345030631097022288650757736710846993379094911494188070368355157051959423481550794556545058330571488233742102578214044176800492987831406228534057989934527033374068190403875331899387703818609105303907137313989716385770205718846521031224145324955782583680097570397984327302014707768577289198576103516028431070231961352213924168280089509251346187199110255861546111981482579325887463331857512795971545188011128792339652112435329232931002408877764538779406448877595538840466634273909766752565259491941787819974485110877757371217524305170682452791397986072682104520532558423336806783832979349082427402625432628749190238296489225189542380948210440587/32327979311835973076442002414501914681159611517637428315580860032795273768232618245725092988339118207640482112455356840733953009708546135335577114542134384462903107693706863526374484662602933961645717070514712437675457205131683374147472628284729919795529130296447977621575340592825761237100873657910867051218342894956947832021550588079787004126669963680058222403813610780901163779952714975504231232867371143290071197960196930123458876121536255614131850317808380594917740782366081860402534203479736609260794992341882033576616178145944263530237120564824138554088372886267176485869654891812002060960131392467227050410127977574097785861699212807020716909149490451486864334388381006310594859492450864897526584904027163624740287473765727862481878438467164961448131638245069780448939018721474179909103848175456249028904739052603883348947257574691799827145718782901985227082169165270857267985703459788247319460075150735964729802456278895953104998584938277973943575202425653898231290829755016074727347073666657225161833660610969438264534121266489265182741496764258434952507268563676253674691523219173836759296267758998630619007710371040131082288186891430837132918699045672228749396164744849807061180790053788283261568404769882398368811112351675704910349938059409886575773599583866156551958727465606228341477012695112462716326119930325428147022997855700758338176679263795512376055673836619810508660326000000000000000000",
    "upper_exclusion_margin": "3383709979155493435521941005950399730222913458093878880645858824954580081993586766505135794390416647970034578123356890711095108721826374697578123608113818568759430473192848106970337897812745093627051589679117876958908566715945406859235790034065383664158398600496527523004114188555019646846021644411671276427187991705090364962292847619094787339987324865543669462119761672067343833572356693150861603862133441333480937404236349728683883753199915533507963764714194594635378408477306857289335556264706931856776592633794974768983470661972540513052968221314564272757377378694890682461047485981802386920790092514764796159592137044708235355411010049917914864584927040282136138463357631452831237913297368196217105721649551404719065296287520688773019984085341219200532098129075008915941375516483509432826590809294768371492419988476875250560743315856344857858415206209309082518277110193255070826591094623248675082717305323406586066229734923176729774748244156748244349348878631465530238449364092559876600528726889940437268041774253250515733769443632618642185150655334957374149260026683943089737222556985827493548425688246693976428555389314837356773573112720694869816379809048961585067006299698784938694831864636208029762399361463638641570433946168335107581169170319491535062313134335596265392617020309399236705106267112616053093550258042902271750409322279141088416248657517551788335234432965180409173834641475013788737519967697271224742616433397271185714496575254950265200888963366591557/13096025164745008847755900294217894419320568837490222751037638500995738948345360729585080738304721994339169009073473032175793519945285748155382836416859649045258591122728481633700697188731278983317438098617949547533822992554437400150816517382652700733149375130266023108313566644939000167027168102518714795157070906359980813210899857372652195821113409135100506846935543727096898744668941129848742995075219285647783534374554905852654319343047980864333710186674551744384489186766816986675830416486294282411744695569172128926384948153201745397876561542322516963986044922697316778724148717491378701214329102923062426221171984495591160514935143136050656761409439170991206622040233453555303680743250950843993070186655577917936777641527985292181367832266204505049059624705206142610712386933078143807565141247047759418611503861644692608089750340963240068023134888001012219768060732726451151336632556960436160900293384936144449603500279832332673438016264417378590774450350815656299658102607294253241078627209659468464289208368417025233637507992666917704449557358551185298809150355078611435468485987806225980097713340343798867706944519987178969801028934355551971160623772783006774725691275686554425346880244264167365161966450075320181796489120070306559953929869775599385165299714968513649276845767243736887064194373164407418670395840491835404658483103324987446545493134666805524076993885498380541117123897196957651651818339253265623964688692695461216512198648314916832197442000000000000000000"
  }
]