{
  "u0": {
    "initial": "0",
    "AA_lower": "25382545292005535110479695532971577510359/115000000000000000000000000000000000000000",
    "AA_upper": "25382586797179700956971038546771577510359/115000000000000000000000000000000000000000",
    "AA_interval": [
      0.2207177851478742,
      0.22071814606243217
    ],
    "error": "207525870829232456715069/1150000000000000000000000000000",
    "error_decimal": 1.8045727898194128e-07,
    "max_integer_round": 1,
    "tail": "4194304/209183781407773494720458984375"
  },
  "uz": {
    "initial": "299/300",
    "AA_lower": "51971635621463755250652473677482463008307/230000000000000000000000000000000000000000",
    "AA_upper": "51971718631812086943635159705082463008307/230000000000000000000000000000000000000000",
    "AA_interval": [
      0.22596363313679893,
      0.2259639940513569
    ],
    "error": "207525870829232456715069/1150000000000000000000000000000",
    "error_decimal": 1.8045727898194128e-07,
    "max_integer_round": 1,
    "tail": "4194304/209183781407773494720458984375"
  },
  "deadline": 300,
  "threshold": 300,
  "joint_hit_by_deadline_lower": "14793478649563133890625111478023685358653786668111914214882299667559443678220942685721264906498423803806136936541552211392661347486226940862920749244402154462289137373983985650163653377694193199690725963853682087793262983057283626757313879452109091849201232887096403713375667131686946690194836235287368869286416082015495302126052088277675944519404231309000718447881654885964011176181548423790186886488294373167872912730789537512472925403970538114767528772381093093589038193269747873809619854752683403802557420119103398337770265067746176620990346086419718003793325518744911442013564385577924923043406652013484397455431771144407441707392055555585468128083374169109151283166645691972766894838223239589836404050257980855046263847840624325448347526974093138675701275339493710813184118059/19336735172358966574660472576940048708355876344064090531682927180232842011174874374871267097190522564031310153163301844103478296571195564240255541878252177218512008242954520774507197809670490748859721483141423761632374722094847582111464548895172733841343345626250972598006421688458876693616582299396920877736641200235707619360209734394901463488412879200307496511646057282884986553031094039781821981048772255642616945693208828468106719129545481410099017626698848037602448910510751533692173858981515918131073347399468431416519060827749673305986218431309395234672891963881227337623768762268383502874770830670447965434601770334223051402443298130265407409684837915195635742168043538843584716237349481034677077731268475470499325421614737474552465385000000000000000000000000000000000000000",
  "scope": "Fresh 15000-step outward integer Taylor integration, twice. The coefficient of u0 is positive: its LOWER enclosure is required. This is a first-passage lower bound from an endpoint event, not an equality.",
  "gap_against_independent_eventual_upper": "17463248986896136912914613272694948298101897515438449420951434039003619010668045468540847693446748461686918917298054188106870483645391771375905806964216130031811115476682086993204962458868891487540894655646353829904000681694903607009895516550163969180233835757141642887838011318582071382442878054053152541843962686191785295119896217688520675065242415418406503861999938113003548111687810782124615148572911979203905329791061732695851780013911392012741962813777989948011120939044459737092479214328252996404983424003730973387187669907710891838205688364956735348006925891898632844237847841111729618170308110331790130205838064512453371442196023603410403563384846468993209723178769682336119938279040476241288791347223417147941553016737947884390972768744292584474142483900709906074688608772116293848350165406624445350603965984701160642206319061363143606102541519014657272838066605026486087338508661604738447694368593438081505311331956785081608397280350139346996478366192986620507379819017344706339178014031219959142989405089819743412315560806310526071399812007759443346349542423946485659599593193609424692787395542803289019892363776938645925142645467790172902794623088306620553067891905868362412148075136352506450536474475474094847115126259278271111702594472282221886660909031128486411505998267473595590976635233463412368950665460211275830775467364604285241865430492595316896157518276142485484246678061534058226374930028971124815813645036326180277841466560284740060813393819736624397443701973077137879469970565285917853198880214745268495464400683029246393003555711669696245582363072486746731993081413031064447888841583091620988967660158571150908835057364225032211947108259777187082610048804576169873808917189061237348681733970989133743192982214728140152648232797461228044191085469601300481128017028974781320960330655636650641100335902320970515723847513933226170275202181905933054128334059105864265434761554532899254407234717879925737853119631838240782051095352767022912822766262915677034240018260386408996945956046169233464588474337556397004635974622754393184164302444498534884360611879595648967494378765574033641174641663161630734260280448405263862941198871691245821040753977612835517799344191582627382918065211173442500612408298486484342298657978101796872078273093174966255685249898597046384179051281470157024208416451714105367792583806820438240328469326366328397121316064393748981604596955501824913544857073769650278605888055605957681764851112909295675920190248891387861911358423700198453212605443138661798406814290087622976931284604152876698329305934265244479509398987812826959304006540534729777383174850293647434480726757733319637471801493622614162327219643664769844473178072749579799161448727039294209997405595216841515175102049898224070374545494033472465771568790235160515584665169985937862649950831756830100362055020568615783011965136250532709995664365537943353771324381597699336196987692303519999274434873114740990840121821987567306863904283269011960368395684567222613287243081426428788308228050977201564614613837065183768043895507040947316835075407177699053179800536857243056777114519542492677110101863718364035784387321239400406705304196404160653057860311840573248169030300148570721579741020858932367773710250380889290926208155622186866171599525854409232352954463179868711522572987094653178291682484917685052456375115535009801374376025982266898662731640544256663968144160784662736754407941412096825174163401985502629719605980156271230138005132702923780937457907965362508881690094262105973250839400424253164508766588630047600141803124964513372412708690509612314213377833189200996924680630614167724941527104904520062287244579138462089149035167863126682857732436703507327096737390800921075069858185682405923880737196903435679403236842967197986006799698917456907099821068930879451081324174428032177494833434018054178744786301139283799623683090930067911540530518566826467561265904231059080624855327286910061809231124963168143408341484258136515981243061952438703800236121954753164200221150856931260458998717991479750330034012790363389466865958309586199374607990986996215019849081239012438339975758849427488491115664040122406527628753067068878518024020401639929273048631330567682225319597375550874160484553571948293389772882456009566224140081546106247003367014589077696937322327576497642593213500567495244801257706599207170202386726567870935129775610812409930427156488535764365208351/207490200535207948693765374012137463640463352446160417834548691835716677621696233350449958209152849267189731311872083224366791108689894507462626234249368059008267529985826845749763995406894167622855123827856119564466816371657709649673968765759855607123357582006698648135146215539670330256176636203258453402482055224159081541223140249740950634084455243672098960805300794493862513552567189285819106217038142398873517914964467953115670143060840955385122428617369219266645460144452917049997808173551340051999741513499213643317812177421611748831454672685267600718689256205933563406773701821491832958369167442553546685896714100160758508934864890535422617284066302788794593240360677667311258420315535489252595592173902717418731622303435328805413749808882664077968933861192345810002450561471886861932755593766495808238485560811246151051763050413669810023764626849275925209146397022000767922461849745193468284615853901415525936500521103208176790038414176345559803407475063271256140100835008308665206697918409460812222385126044811117374794183963821332133992503853738161504855741065627008795377643079229337354261191805621887084920013904837323620142929854565663779269146160030165303024527703857644276001574726533768587893279062463365092674164757524229178410524371998094618320498483935189456807552171069569578335940690913312752673391745693270622324812344231274856213053139599488942516568750769180675074084678368054140047931736234584799776484720075554038456813469779404173978029163539589237694916157903534777537142853447496206094818735084768743500021819653952452867707922831257465768477190663300179683567447203940719809372392523223108585733170760908379192772731352866144719931505887318895102796626337699490647577500004224982115966972563239477996427323339813984520422758563657146624747095540807924199293044121601868986863511613546078321583354639054405394396018106231081168074188034343013858913564111298349769282166970045262251296954594955082173661364576543573612244014778231274026915527145734709199822363890308221737587542925174122452578774327805039129965005586333715770503663219426167405518148609582544676038675834219416756571150835504689653523660109170101966486619383037154981863114245254996367498403601122890384620229822954049407770374248691685159974694559448651495479642583560698105617752386685587662184692453787665798890690440336324187718703501852850112060849704488671936789175301555109779288628654422252330223513233812505228103681790501799338539545243596099772610309553872276864025640509557457127301034746005753718082877051317101256924794525197935709545286710556842745772814009054533341258503600705137578275801867677188247571099050906750240818387240836984714525150704144917376733093805409481613884586043608019343471061267761158607445962384691547172910654665395108579393139585359773961650473716045444088302613920024849522130070408818653451284713710429884230659956344547848445518914822116270441277681194397542142836144778029160865098162179555326970742589978147660478235075785610042583954424563416799538960905267341675067856568158706235646275485048301763523302412509770078449725361674353015420060953560456568261392256985623818385951713214225761914217402262904422006523976034278502072432822242587488761322668718490788311283648547660075520140512274408788375686484826431206558853083112627378408612170589657062274431682582764827132771064456373326090472386080550392673959981061065750665481707633833894575826759322706575847942185729301971932412436776848787096282499021222884065569371098735725769098035624256005559409302071451396721660353477313576822654186996161039605012864841926717265779544933623778329595340165507194056658751933267879166153772717721037339627509012484927790224747245467456241066317785640419198101366516959813455400345374489218706579723765507454604726284191836215583050414166974265090795722930940382093784740069792506652891384279658656307826087046367481727708572144553973010559584939610361286703641926591079143062334322140517410034825895253180822504456495431690936676786779802077798922704446304170855346492987235484087602857260212017268870937161356395248880627578434939683734583261330764123776660280217494113268525397526895448311378943902590537068648233316897859054733222740946490747891644279025553252396019888673437691281114530339942052594941961074841339447551854187365221242721680368250614299702039124899330929230855224501567965234578985765000000000000000000000000000000000000000"
}