{
  "threshold": 300,
  "joint_eventual_lower": "194818677269/250000000000",
  "independent_eventual_upper": "94979324191000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/139494727673236263963190032084826256382962416654363483794184665296980020000133367869912777956533207048309050322599239561007450227673055180409088723519669109249224681841922836958809457038235326286927306013373580818400563206130180007070790066775960498879735440787770730295656624858220903168200241976055203649363355092420618077897883778727417658012710830315652936092981992748956456242839426907790149685550744819377966225892760585635768927738334875909295141876420651570977347291762816817877435107037796404102724642459466003933855140872149337861799420791481810556175402852997299603675019940753744165477869126522048308166177864280043518912449373132518536587590482502331780741810147607398718393412545101839563223785730331329324349119520781619389915807315547539742725964020783002957973026585535935188953604112702073088263262494315286473433186803887097461981793765776066727598377883388641910126137567146181175287107416378445098781495194818404264805394404699677429020758589322169195384430174261655553123312495916887428579659729459950233827628021904112843108296661771638359963408879695709421486072597444582823509907521356029257443447254787379425898759586853194642245204620815052826254869634495199919604740118113552350168668727814054696099589344866133776540727447217666238179287873951281253410833587336397023869357115060628654289329961300900162384293286596644394057866770357372319492845001137110188472611692110118491697570054740083074858285277612949207214158271554161575334862706876906019189077726649539379456909540422137439151101623078212776024921515381887511580323987406502344708952486688949479616508178812851711761684159397644173859323029071833579293136916020715621122962390216008541097782989181941389806974166684691417106006096439737613652008188581511754161427369538107734865402354371311736231137098292554576288593493070583052178854477742781340942923125303975573956397886078631923521229996528495139029306135299673961734796471298836698422114241956004396367302732313033222018921878225577559246344740051584916076704448862065872351111981195580522751345887375685149895382656198895080940592122705747115394658651854693856222048906312214715075311578434193854052313124500882132619072616766686534938902773666461683720389072902526137541866922547524227818540828419052090570223345333267275462084062234875308930616402204954136675873620900259332362960979365506284104375792896507429182317815658816626308107937360700930066376030531856698504698756737460033821980642348050848733747736341994455345249934186619749593680110620399495654922815711401250866847152981688993822144187846896663832179662912308870689336190254208594239063488380096907344344173593295720034401748571313894977274840757452398781295341424218926120746215154344669542411082607573559955220095742701311197142760940864413684170565375938925499740817401097923460265999983397271147562944006897702814032338585869402671496949113582068575787063163831580552837816724980013306719705904936245999829566361761513782294581777584708582469380644895036990496876630718441122687368845682354190620934957818813139855101740887836174324834185419772935371983943584607538065417088189099398488607912175050017079973221548372081330934618298930098386949670810177668559372713876543367654417469654853274575802879073735376716211017722928584483948707773997142406050973206703033199642847332580865245344709925358670760794631548141533999896180353771244055744387036792980034164632721617384602856772443169985242334401645264339630744494462107848980949708847025555730279953208152935162844942244146419324243160792718362419878044639321165900553486134509523374715950379180612197970079197053416995800286348857",
  "gap_lower": "3431347283549258997832013756451521674209806320342750269917773927481134556747147932006591463893100174026076966970341589260727682409617510039346827421765585968493406180230769647879205057197088625167802923883030639390868220022911461198400388056076807758743414882934165027433968950695541015835302565100805545493390513065340061319494921825966988238150123151086210755710940621187445985307654602937683793566512387488969699491783675936458303915712844269220133162491961999292933668943671391736429579715486928235817419642884121834466809112567793043269943882786823395027333203374142760816865316194843185177624716521717857761454062562425481348279572290605488348617958760957766732300780561595063435290452799771188605910633421826712080126939403462246551200338489245391165080874871829461950019436774682380978852733446896280529610687589041742601061162380670035158980076808443721128197316311799144389071697775348687734062098167968700467546937508600981526695347619444833912798822314715389942612706506946903565572302102266972195464015891493896264865750175118222845273278165998863427091805182527260708497871739860735205717459227095989153196666749246487588420944218572302289208432585435296295333777262388342867110611113381096402646350599379125681739769660906458219668143773988750851207970475559814337294994119555057130456373417505513168246746280932328134735327356114987584317607644852253706150528031170607827337501290757168043377956445926908239065447410011222295544506873397066999043248295475700661640454717892813033922188247627503781140592432296417157711765406238362406628639073006600605945204239309467058054000772839901183253757689599193745997579407565050702386761988869752309981289264717411165476507140834757943678226384765108872029267663839732061110791765006829334105186434428212395695440430097352533005952741150320943536535532451307480093237765486461655594396498072064865270521245706820665523196763606884852785677905948830152133969109368088005031356036275399792626706990514717162979566005352112895942362780025420177095933671955325482190235317820998630996766368034026575224442811272523048156849715174594325599705462098230658120433480773775528889915428590192806800878445070372900523565839944422320749992095895350609876830028911352684606076959532341854338737546271212723700100095731334587566677766684683687010430374404859946003539408798076110025102208248737153721812307000663563130847090224030935170655206691662138229450640583080569342741968900765691950271359970232670661537555270320407693678900446563014112759352979828711846775825184242936391201988291139153965643317728673134314194525738310526471640808976647190066282375523430994862783407732790943461091832404083536873067290639486384803066034698073788319411015607511198773438610653772352093445924360607608379291578657883003423332669924311184788640848410755676871625595659032325912350464343321274424439295489827002840170554477060642411686326179822765193487218642451742877151893736368103461188518036234855897743653614603679637516738932121303831428028272444072687608545129755625150729634262343485270047627481187417173533495141233248787495334369459558954391124313789867357914131215110965111436240811994536985141171388518964605637565398913792971619280909798980252348370542884460919131183974827086010783651262265263162113404210571940676532678701920044252444612320550309095077589547604871958018076021565151349060364639847178242748700383679198806040680176206694370643803286036905998233838550304976004716418296811946780091431856988185832412783815079567855085370762951305870711673410157072853488398648926685726820737363711877157945798491468205864458177596009120301458495514575758230031533/34873681918309065990797508021206564095740604163590870948546166324245005000033341967478194489133301762077262580649809890251862556918263795102272180879917277312306170460480709239702364259558831571731826503343395204600140801532545001767697516693990124719933860196942682573914156214555225792050060494013800912340838773105154519474470944681854414503177707578913234023245498187239114060709856726947537421387686204844491556473190146408942231934583718977323785469105162892744336822940704204469358776759449101025681160614866500983463785218037334465449855197870452639043850713249324900918754985188436041369467281630512077041544466070010879728112343283129634146897620625582945185452536901849679598353136275459890805946432582832331087279880195404847478951828886884935681491005195750739493256646383983797238401028175518272065815623578821618358296700971774365495448441444016681899594470847160477531534391786545293821776854094611274695373798704601066201348601174919357255189647330542298846107543565413888280828123979221857144914932364987558456907005476028210777074165442909589990852219923927355371518149361145705877476880339007314360861813696844856474689896713298660561301155203763206563717408623799979901185029528388087542167181953513674024897336216533444135181861804416559544821968487820313352708396834099255967339278765157163572332490325225040596073321649161098514466692589343079873211250284277547118152923027529622924392513685020768714571319403237301803539567888540393833715676719226504797269431662384844864227385105534359787775405769553194006230378845471877895080996851625586177238121672237369904127044703212927940421039849411043464830757267958394823284229005178905280740597554002135274445747295485347451743541671172854276501524109934403413002047145377938540356842384526933716350588592827934057784274573138644072148373267645763044713619435695335235730781325993893489099471519657980880307499132123784757326533824918490433699117824709174605528560489001099091825683078258305504730469556394389811586185012896229019176112215516468087777995298895130687836471843921287473845664049723770235148030676436778848664662963673464055512226578053678768827894608548463513078281125220533154768154191671633734725693416615420930097268225631534385466730636881056954635207104763022642555836333316818865521015558718827232654100551238534168968405225064833090740244841376571026093948224126857295579453914704156577026984340175232516594007632964174626174689184365008455495160587012712183436934085498613836312483546654937398420027655099873913730703927850312716711788245422248455536046961724165958044915728077217672334047563552148559765872095024226836086043398323930008600437142828473744318710189363099695323835356054731530186553788586167385602770651893389988805023935675327799285690235216103421042641343984731374935204350274480865066499995849317786890736001724425703508084646467350667874237278395517143946765790957895138209454181245003326679926476234061499957391590440378445573645444396177145617345161223759247624219157679610280671842211420588547655233739454703284963775435221959043581208546354943233842995985896151884516354272047274849622151978043762504269993305387093020332733654574732524596737417702544417139843178469135841913604367413713318643950719768433844179052754430732146120987176943499285601512743301675758299910711833145216311336177481339667690198657887035383499974045088442811013936096759198245008541158180404346150714193110792496310583600411316084907686123615526962245237427211756388932569988302038233790711235561036604831060790198179590604969511159830291475138371533627380843678987594795153049492519799263354248950071587214250000000000"
}