{
  "phases": [
    [
      "3/10",
      "40"
    ],
    [
      "1/100",
      "60"
    ]
  ],
  "terminal": "0",
  "step": "1/20",
  "order": 12,
  "bits": 110,
  "records": [
    {
      "e": "1/100",
      "duration": "60",
      "steps": 1200,
      "remainder_scaled": 1530021056240,
      "global_error": "37760420638991537/649037107316853453566312041152512",
      "derivative_bound": "3133483123178290544429863961/649037107316853453566312041152512"
    },
    {
      "e": "3/10",
      "duration": "40",
      "steps": 800,
      "remainder_scaled": 57236775967795,
      "global_error": "3241002892060825847/1298074214633706907132624082305024",
      "derivative_bound": "117220917182043430795320025867/649037107316853453566312041152512"
    }
  ],
  "extinction_bounds": [
    [
      "162048985239017368901378420583907/162259276829213363391578010288128",
      "648195940956072716608405743161475/649037107316853453566312041152512"
    ],
    [
      "648381942973047165607947335910965/649037107316853453566312041152512",
      "162095485743262601652709849184203/162259276829213363391578010288128"
    ],
    [
      "1296888012946353367242612229501713/1298074214633706907132624082305024",
      "1296888012946359849248396351153407/1298074214633706907132624082305024"
    ],
    [
      "1288099360842567839860830589749093/1298074214633706907132624082305024",
      "1288099360842574321866614711400787/1298074214633706907132624082305024"
    ],
    [
      "646487225234422931925299231399307/649037107316853453566312041152512",
      "323243612617213086464095646112577/324518553658426726783156020576256"
    ],
    [
      "2510408943407103807457323294491/2535301200456458802993406410752",
      "642664689512221815711966824215543/649037107316853453566312041152512"
    ]
  ],
  "survival_AA_upper": "24892257049354995536083116261/2535301200456458802993406410752",
  "survival_AA_upper_display": 0.009818264214474147,
  "evidence": "Fresh outward-rounded dyadic Taylor enclosure of the fixed two-site source. Degree 11, step 1/20, invariant cube and one-sided Lipschitz bound; not a floating ODE tolerance.",
  "exposure": "58/5",
  "founders": 1,
  "endpoint": "Any living descendant at time 100; eraser withdrawn at 40 while original killing continues.",
  "multiple_founder_upper": {
    "1": "24892257049354995536083116261/2535301200456458802993406410752",
    "10": "1030912552419660678578086420760081247252885819679829902522847269289811417539757865972022394334639598397421584182331027359053048700249499206031736725967121719218866813781108976736882239348952307996359198646177648685357768165868651864891433995058638089886015493112358445107575723612318046086738007965111623/10972248137587377366511872502374418540148785271864664140224003976912394763519345894330351399072725587226569450675744223489916367725489295806448207436491340599228997401420012529071180395583868049283025082524719590383187907857816337980585517000782912424520905193151019179684280147612287372121298604103041024",
    "100": "15861826716775946965811022126514822614861501299842537805307139900350965106729401855531189072810873473039675889085835863752660802288933511748266902890792783159520877334083630896111289503052438015871172166215453363473053221462512158001778743704184230604473526156220393803350379783022196099373624381380984856232283162062949583181579705089209418732244804936420705742480067715098038376588766813465149827308083211144191479002042645181465779160271985040325780865868935903535577507647601302486968846326986192177045598082574471148076731549761517094068662231365963535802119791329887063055842801405002085413411212856049133384454736560633893734466148850260147874997040150406792494142262422462808510431199113036088897324696272615048216993658709038742506710148378380485290147236018393140408207522894986343419774152915201169593582180833749675601378319911706993401116912100534731276335329657224577454314373353036242769348435855677757969727290885963139048512981935121241072641709464088683883294227812876402024104009780870746646844085702423652081129620467984293112932273458717240591403067406659226304914323538427242772482292525822764281284958864574719320279118385599115944505094703161509579658731263113103001360594929952662853378756005028993181751033010212643724335101676276375222242743594255230287409084063818949978135475703384813481154221001925519835893278022716534444989664462706476082465196548168540884349324624207793838399103279104054994885581485618323971860088121484015665425108227930489047610689153176738943934608666205347978607805344941577761759243077700892511215282292538285936047762459275643263912403754557990213647852011836259484183413218137051045173568684635914447007375210562521602467893248180008600223540271272264545104856998172927754828636353862157733111995436768300928839159640751573649786181664278037558098311207239176735877018848611663008910404168209490093177136321892695442081445046018023477885776859786631377451016510054445114246422895624530128058143180753378738267274716499999334358155159251318812641955960444154928269846241134015733919696636050126236903804725117740865963810555535929183082886124667866847002228712629963633821565842345562855877487503523883891376172918021634614620028442958932984282278031254135847289499427553690527177630411174143333076448725418499298318647284202149969292397604650744200844657949465952067561667897945616075752210772573274556732134108079030733450100736004973598974228001409799642053474801167620535812560248489036011622696596022337112678179040687542142695705856908528570585724912668764434544877614180204189180841363374008078733069512767497055588065098917000775397965418052448921217306595689052600159864012788055182052568976489479830299990340033771617704600732400159648593708352896404977582854489155802195838686604794744252505011144744305529268965909294859389355836110987279058430191622303350706277890292062912653079099055692839779024845391515347432604738474347068645040790353548559408257532227083894759228551023157398307170994767997227819651185438943699967133298178090063217888708814592871291002397357311375/25290429576070955561667494024609941946371686665670576339697579828509005677120103077258982862872313592411430006749889688255118851274137366714376852576620845347231658659230964210181574395232094487355554258289459092923746050766842765855726996884034827839424914574331998524872107227062027341552931087864612583457287744581509559672388465785154719285110994482657453211878426935748378132452476490112849705113754057754302866170234098309222344855004397777731306027712921435008529839706522633817315059719407592959554718659871498886154748530057815321578809306227275683361459857579730420984007101894589794860932043556925544520838337224271279657606263140549319022519252470076286639616862893412520035050739567511585379737996180985355006932228800337816763323016910912168514859514514124350485811388853643760187061461360738139089168071862505283740045287307189080589569893515021601599041821337509716211472424246179843127721829421570644983556164953166941716116104636599569737767142090721448399363554480205814682633966527318328273040985817983670014609772235581924914121685105384165778855589902466083384263680605188650812828597612336764589714539937692276135421192585534893310904442807606274532525134972492240653627157751932972757154414565633794684110224669809177885895121794407445964182844752194470736995992005595653136520426713114682689860995912762849485836690660499396297937238786111362501089102705270797146223358900520902721232948570874882107106298409406280345403391696504592025477313571686969836089735625906952743946802318534532252373498021640997824561670933482026132802977813962715256635517085341275538081076755203201602254255303354821533971008550586332346737607672510058618003851839058646432710527154294818559865996135559149868666379495844042548473571465903481022310326991501140945768762290394665587686090954637154423366525153404478898448124226641605073020755736163096256013278326591324943523829045601351586542888606445738919309268176314996711324706589661596035063669470062184335645353897655024781478313148481770945797145271326902510469743990753805037975046480811320839705322673091781750629504810576602855439639379166280731283778904512133929360141734256145352562224661128598606936511325271360543322371929374175188565514722006675110119054917803872587037050445332455018051431192705003988354348386975143918268550401471558173608485669385563733459521676214913095791264961393762984153478687040021984889431492026083881541221783375384840090370269227400687405942556977950326214415138719778203265988410888986286829173836214207521290969824389679481796043282785318067199328544936987451044861700135734419011144415206510870576576885418926558572634640550849121737479661502101470924901797985089097187700147266636667621089267151107584376429115432315891474398440915192852525012747357577431880512119145696917151116654918324301584199297955585759235069722593931687513082153759001696337425890805469489541380265882904347798669276931085175237192101952006828594005834211359682302726118970901652667274518016484102094950494283572443963996619962894627353733247484932348197529112805376"
  }
}