{
  "constructed_runs": [
    {
      "word": [
        0,
        0
      ],
      "status": "division",
      "time": 3.466219095283009,
      "events": 63851,
      "parent_at_stop": [
        100,
        1,
        116,
        1,
        106
      ],
      "joint_partition_return": "1645504557321206042154433972008043939143702024302691749500363245/1645504557321206042154969182557350504982735865633579863348609024",
      "both_return": true,
      "daughters": [
        [
          52,
          0,
          53,
          1,
          53
        ],
        [
          48,
          1,
          63,
          0,
          53
        ]
      ]
    },
    {
      "word": [
        0,
        1
      ],
      "status": "division",
      "time": 0.5743017646584186,
      "events": 191557,
      "parent_at_stop": [
        125,
        0,
        1027,
        78,
        106
      ],
      "joint_partition_return": "72219537257836558787262503079605531279167919348536988038590237614168459399648031488232189997208427802283689265352854973810697784269826870568015009295437831449732201211694488154643837550854925423221745480085388405739647653754449448101822356095087786146770569774168889048237251610214353958176026787936502728429585525334704036089126330138751010504792307987724256600608915/72219537257836579360362474540064353219321212679534421933485402111976892284238018618421346984467297408799718691179432615508012914875581484603766409297568590073574734049180609175658136428693653286421390434161106464198238133103322492399329261717188107398221120251319010894658471829051335532283390160966088390841673293218536962464321440130033944094209783432892955234402304",
      "both_return": true,
      "daughters": [
        [
          58,
          0,
          496,
          36,
          53
        ],
        [
          67,
          0,
          531,
          42,
          53
        ]
      ]
    },
    {
      "word": [
        1,
        0
      ],
      "status": "division",
      "time": 0.5726885881255431,
      "events": 192748,
      "parent_at_stop": [
        1020,
        81,
        98,
        1,
        106
      ],
      "joint_partition_return": "134519370753013673458388503623090764380574429824782610205593433590725813401406475771425314063128837762639647631261862349623085871982988080041241134378508695041855713130709712988897594642750017361562644389676949278241526064644802626331607334816287270588077692732718111731044102081394569306048045459935015757790353497031148643856489807208527537086323456064798555/134519370753013676703651388250411214715468162073817890013540912628130786650326137651542847947156610728799772804937199904598319744459505164257746952208818104255152370872312428756911561691562930655519273940773879111182388166158129446952285732547171613943243623247964327958707645217052354537478443534981624019968646193330245022595527470354054019030574305789345792",
      "both_return": true,
      "daughters": [
        [
          518,
          45,
          50,
          0,
          53
        ],
        [
          502,
          36,
          48,
          1,
          53
        ]
      ]
    },
    {
      "word": [
        1,
        1
      ],
      "status": "division",
      "time": 0.445850451963631,
      "events": 270147,
      "parent_at_stop": [
        1038,
        86,
        1060,
        105,
        106
      ],
      "joint_partition_return": "435632380062264090953560213301822967809725666915125633906968604690481357619830018471982812358980007846198963949294979289735083633014273269459793114910078206308568778051059601238923826709372405046451738954156328307645852725554250099735001815985602660341380978445989006610395102103764324511146940927246223393720692516677371448879325408420361075249893207390457758745257824468839379387713196047309237722984906848829082177599343572953448861505701788374303254572225069277423370320178857819289275307162022298932625681399597800343016983032376392403088767709937482779222840261915412328173258960349177563998641800614339321069176935641741808676170597830451788862404287246037974395109643635233207/435632380062264091378077838283302548717000617590683497179678925745512388469551243524523969989261708033352779229613590529683358111028983754678616696739401436587162298197205200174049128854797276170776239296943632156668760070073089949311404543452018321259362302860334615114839872049972204064944402763298175490414795238850594894367289957080232059459576535298341506080005005101637528911549974193325012690674384191875703846168803997736002649262530459841426373815101427920156365791735187404186014868955483119217710338439939422049540163700776293371055626354212838163964135748979411269295699278538870501501348666666498440381886776414031927007215476494571215922057438485976730238411301189582848",
      "both_return": true,
      "daughters": [
        [
          513,
          44,
          515,
          48,
          53
        ],
        [
          525,
          42,
          545,
          57,
          53
        ]
      ]
    }
  ],
  "constructed_scalar_budget": {
    "premonitor": "247757/250000",
    "quota_upper_bound": "1615902847532805457872694023275116542363286463729028531352488252781926719221924733507731689982851899172367439645216224963775175638147629797458648681640625/157825130004084394671708777242789645851796028630943268868223846153668925685817419294453180630266987915266015728083886364535539807930770785835437417516859419262976",
    "assembled_lower_bound": "4950759/5000000",
    "reported_lower_bound": "9901/10000",
    "generator_table_rechecked": false,
    "capacity_per_pool_molecules": 100100212000,
    "maximum_newborn_residents_per_module": 874
  },
  "four_species_stationary_brackets": [
    {
      "z_interval": [
        "0.99579401232",
        "0.99579401233"
      ],
      "residual_signs": [
        -1,
        1
      ]
    },
    {
      "z_interval": [
        "2.97636724376",
        "2.97636724377"
      ],
      "residual_signs": [
        -1,
        1
      ]
    }
  ],
  "nominal_recovery": [
    {
      "label": "low",
      "endpoint_energy": 4.1098839889061457e-13,
      "thiol_endpoint_molar": 1.4487991152322e-06,
      "tolerance_endpoint_difference": 6.419309528382655e-13,
      "cube_tolerance_molar": 1.63664530465404e-08,
      "integer_preparation": [
        1195666503776200872,
        5549468225961,
        293102171777,
        28928608368403,
        2399274129818308343,
        718782635388153,
        7087546303714,
        51141274954967074
      ],
      "exact_preparation_energy": "995010779588679737994980262287431701137256897401/822094670998632891489572718402909198556462055424000000000000000000000000",
      "scalar_budget": {
        "terms": {
          "inherited_parent": "1062881717570463519/1000000000000000000000000",
          "second_moment": "478699/45000000000",
          "fourth_moment": "488135998440000000058953623/1036800000000000000000000000000000000",
          "refill_inventory": "5077/6250000000000000000000",
          "recovery_and_inventory_drift": "25000000000005077/25000000000000000000000"
        },
        "joint_failure_upper_bound": "13168508860776549343219258953623/518400000000000000000000000000000000",
        "polynomial_tube_certificates_rechecked": false
      }
    },
    {
      "label": "high",
      "endpoint_energy": 1.407697948715661e-09,
      "thiol_endpoint_molar": 0.0345098099810337,
      "tolerance_endpoint_difference": 1.1845337211102702e-11,
      "cube_tolerance_molar": 1.7881793405820027e-09,
      "integer_preparation": [
        316345972886838230,
        352371068533633244,
        237729813559436550,
        238134557442879452,
        1140555790456085905,
        630262775889742582,
        629181433654173311,
        21412422786833
      ],
      "exact_preparation_energy": "6299218062727041091064083594431294225667174789/144508828886478437957151454406761382558753095680000000000000000000000",
      "scalar_budget": {
        "terms": {
          "inherited_parent": "150814483164877519/244140625000000000000",
          "second_moment": "3735913/1125000000",
          "fourth_moment": "568332910512000000069241339/48600000000000000000000000000000",
          "refill_inventory": "5077/6250000000000000000000",
          "recovery_and_inventory_drift": "25000000000005077/25000000000000000000000"
        },
        "joint_failure_upper_bound": "192030350090418291594755641339/24300000000000000000000000000000",
        "polynomial_tube_certificates_rechecked": false
      }
    }
  ],
  "sensitivity": [
    {
      "label": "low",
      "group": "exchange",
      "relative_change": -0.001,
      "terminal_energy_in_nominal_region": 0.14452018022401292,
      "decoded_high": false
    },
    {
      "label": "low",
      "group": "exchange",
      "relative_change": 0.001,
      "terminal_energy_in_nominal_region": 0.1444284966870697,
      "decoded_high": false
    },
    {
      "label": "low",
      "group": "ligation",
      "relative_change": -0.001,
      "terminal_energy_in_nominal_region": 0.0007037341566826758,
      "decoded_high": false
    },
    {
      "label": "low",
      "group": "ligation",
      "relative_change": 0.001,
      "terminal_energy_in_nominal_region": 0.0007023314958106443,
      "decoded_high": false
    },
    {
      "label": "low",
      "group": "hydrolysis",
      "relative_change": -0.001,
      "terminal_energy_in_nominal_region": 7.435419016427746,
      "decoded_high": false
    },
    {
      "label": "low",
      "group": "hydrolysis",
      "relative_change": 0.001,
      "terminal_energy_in_nominal_region": 7.435284657775019,
      "decoded_high": false
    },
    {
      "label": "low",
      "group": "inhibition",
      "relative_change": -0.001,
      "terminal_energy_in_nominal_region": 0.15154817674156976,
      "decoded_high": false
    },
    {
      "label": "low",
      "group": "inhibition",
      "relative_change": 0.001,
      "terminal_energy_in_nominal_region": 0.151022233415492,
      "decoded_high": false
    },
    {
      "label": "low",
      "group": "dilution",
      "relative_change": -0.001,
      "terminal_energy_in_nominal_region": 3.081058953799015,
      "decoded_high": false
    },
    {
      "label": "low",
      "group": "dilution",
      "relative_change": 0.001,
      "terminal_energy_in_nominal_region": 3.076556728012117,
      "decoded_high": false
    },
    {
      "label": "high",
      "group": "exchange",
      "relative_change": -0.001,
      "terminal_energy_in_nominal_region": 21709.431254081155,
      "decoded_high": true
    },
    {
      "label": "high",
      "group": "exchange",
      "relative_change": 0.001,
      "terminal_energy_in_nominal_region": 21616.647483266348,
      "decoded_high": true
    },
    {
      "label": "high",
      "group": "ligation",
      "relative_change": -0.001,
      "terminal_energy_in_nominal_region": 1430713.9977590574,
      "decoded_high": true
    },
    {
      "label": "high",
      "group": "ligation",
      "relative_change": 0.001,
      "terminal_energy_in_nominal_region": 1425589.9541310056,
      "decoded_high": true
    },
    {
      "label": "high",
      "group": "hydrolysis",
      "relative_change": -0.001,
      "terminal_energy_in_nominal_region": 20.822027187127002,
      "decoded_high": true
    },
    {
      "label": "high",
      "group": "hydrolysis",
      "relative_change": 0.001,
      "terminal_energy_in_nominal_region": 20.82367913398651,
      "decoded_high": true
    },
    {
      "label": "high",
      "group": "inhibition",
      "relative_change": -0.001,
      "terminal_energy_in_nominal_region": 0.028192354813244346,
      "decoded_high": true
    },
    {
      "label": "high",
      "group": "inhibition",
      "relative_change": 0.001,
      "terminal_energy_in_nominal_region": 0.027583652096471477,
      "decoded_high": true
    },
    {
      "label": "high",
      "group": "dilution",
      "relative_change": -0.001,
      "terminal_energy_in_nominal_region": 1085302.0736265846,
      "decoded_high": true
    },
    {
      "label": "high",
      "group": "dilution",
      "relative_change": 0.001,
      "terminal_energy_in_nominal_region": 1084876.2151424347,
      "decoded_high": true
    }
  ],
  "redundancy": [
    {
      "depth": 1,
      "divisions": 1,
      "sufficient_N": 31459393107530985085524,
      "necessary_real_lower_bound": "0.0237021874172134695781340624728",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 2,
      "divisions": 2,
      "sufficient_N": 32169175820424369082367,
      "necessary_real_lower_bound": "0.0272736159886420410067054910442",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 3,
      "divisions": 3,
      "sufficient_N": 32584372091127129409513,
      "necessary_real_lower_bound": "0.029362767776931884511897415844",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 4,
      "divisions": 4,
      "sufficient_N": 32878958533317753079210,
      "necessary_real_lower_bound": "0.0308450445600706124352769196156",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 5,
      "divisions": 5,
      "sufficient_N": 33107457529863503869115,
      "necessary_real_lower_bound": "0.031994787756096906534813774721",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 6,
      "divisions": 6,
      "sufficient_N": 33294154804020513406356,
      "necessary_real_lower_bound": "0.0329341963483604559404688444155",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 7,
      "divisions": 7,
      "sufficient_N": 33452005100163625909952,
      "necessary_real_lower_bound": "0.03372845499599062710471252432",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 8,
      "divisions": 8,
      "sufficient_N": 33588741246211137076054,
      "necessary_real_lower_bound": "0.0344164731314991838638483481871",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 9,
      "divisions": 9,
      "sufficient_N": 33709351074723273733501,
      "necessary_real_lower_bound": "0.0350233481366502994456607692153",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 10,
      "divisions": 10,
      "sufficient_N": 33817240242756887865958,
      "necessary_real_lower_bound": "0.0355662163275254779633852032924",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 11,
      "divisions": 11,
      "sufficient_N": 33914837866876516522643,
      "necessary_real_lower_bound": "0.0360573003409181026359889304968",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 12,
      "divisions": 12,
      "sufficient_N": 34003937516913897403199,
      "necessary_real_lower_bound": "0.0365056249197890273690402729869",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 13,
      "divisions": 13,
      "sufficient_N": 34085901249571598703243,
      "necessary_real_lower_bound": "0.036918043553431655865265536238",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 14,
      "divisions": 14,
      "sufficient_N": 34161787813057009906795,
      "necessary_real_lower_bound": "0.0372998835674191985332839528915",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 15,
      "divisions": 15,
      "sufficient_N": 34232436513459648193104,
      "necessary_real_lower_bound": "0.0376553681158153214685771280922",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 16,
      "divisions": 16,
      "sufficient_N": 34298523959104521072897,
      "necessary_real_lower_bound": "0.0379879017029277552924197767585",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 17,
      "divisions": 17,
      "sufficient_N": 34360603571844550351699,
      "necessary_real_lower_bound": "0.0383002689931075388933271553685",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 18,
      "divisions": 18,
      "sufficient_N": 34419133787616657730345,
      "necessary_real_lower_bound": "0.0385947767080788708742321977867",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 19,
      "divisions": 19,
      "sufficient_N": 34474498622197420116573,
      "necessary_real_lower_bound": "0.0388733571080834177702537746974",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 20,
      "divisions": 20,
      "sufficient_N": 34527022955650271862801,
      "necessary_real_lower_bound": "0.0391376448989540493919566318638",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 21,
      "divisions": 21,
      "sufficient_N": 34576984083759770233940,
      "necessary_real_lower_bound": "0.0393890353557090420384758776913",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 22,
      "divisions": 22,
      "sufficient_N": 34624620579769900519486,
      "necessary_real_lower_bound": "0.0396287289123466740645603590682",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 23,
      "divisions": 23,
      "sufficient_N": 34670139184642434368910,
      "necessary_real_lower_bound": "0.0398577658317028012648988776305",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 24,
      "divisions": 24,
      "sufficient_N": 34713720229807281400042,
      "necessary_real_lower_bound": "0.0400770534912175987976117015583",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 25,
      "divisions": 25,
      "sufficient_N": 34755521952196022652706,
      "necessary_real_lower_bound": "0.0402873880949803434914934869691",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 26,
      "divisions": 26,
      "sufficient_N": 34795683962464982700086,
      "necessary_real_lower_bound": "0.0404894721248602272938369648094",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 27,
      "divisions": 27,
      "sufficient_N": 34834330058319418057490,
      "necessary_real_lower_bound": "0.0406839284963687143794241225865",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 28,
      "divisions": 28,
      "sufficient_N": 34871570525950393903638,
      "necessary_real_lower_bound": "0.0408713121388477699618553814629",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 29,
      "divisions": 29,
      "sufficient_N": 34907504037437134489359,
      "necessary_real_lower_bound": "0.041052119542669084294990395775",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 30,
      "divisions": 30,
      "sufficient_N": 34942219226353032189947,
      "necessary_real_lower_bound": "0.0412267966872438928971485566636",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 31,
      "divisions": 31,
      "sufficient_N": 34975796004923774841355,
      "necessary_real_lower_bound": "0.0413957456685951667524416467555",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 32,
      "divisions": 32,
      "sufficient_N": 35008306671997905069740,
      "necessary_real_lower_bound": "0.0415593302743563267209912053299",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 33,
      "divisions": 33,
      "sufficient_N": 35039816850472660846632,
      "necessary_real_lower_bound": "0.041717880700636517569752283868",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 34,
      "divisions": 34,
      "sufficient_N": 35070386284737934348543,
      "necessary_real_lower_bound": "0.04187169756453611032189858394",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 35,
      "divisions": 35,
      "sufficient_N": 35100069522496144693543,
      "necessary_real_lower_bound": "0.0420210553348740640613922365682",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 36,
      "divisions": 36,
      "sufficient_N": 35128916500510041727188,
      "necessary_real_lower_bound": "0.0421662052795074423028036263581",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 37,
      "divisions": 37,
      "sufficient_N": 35156973050078670916557,
      "necessary_real_lower_bound": "0.0423073780087454330847690773928",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 38,
      "divisions": 38,
      "sufficient_N": 35184281335090804113416,
      "necessary_real_lower_bound": "0.0424447856795119891988252032689",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 39,
      "divisions": 39,
      "sufficient_N": 35210880233167743027231,
      "necessary_real_lower_bound": "0.0425786239131500707990288896092",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 40,
      "divisions": 40,
      "sufficient_N": 35236805668543655859645,
      "necessary_real_lower_bound": "0.0427090734703826208205280604352",
      "criterion": "immediate_return",
      "family": false
    },
    {
      "depth": 1,
      "divisions": 1,
      "sufficient_N": 31459393107530985085524,
      "necessary_real_lower_bound": "0.0237021874172134695781340624728",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 2,
      "divisions": 3,
      "sufficient_N": 32584372091127129409513,
      "necessary_real_lower_bound": "0.029362767776931884511897415844",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 3,
      "divisions": 7,
      "sufficient_N": 33452005100163625909952,
      "necessary_real_lower_bound": "0.03372845499599062710471252432",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 4,
      "divisions": 15,
      "sufficient_N": 34232436513459648193104,
      "necessary_real_lower_bound": "0.0376553681158153214685771280922",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 5,
      "divisions": 31,
      "sufficient_N": 34975796004923774841355,
      "necessary_real_lower_bound": "0.0413957456685951667524416467555",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 6,
      "divisions": 63,
      "sufficient_N": 35701963067355914557929,
      "necessary_real_lower_bound": "0.0450496157154274569722392310625",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 7,
      "divisions": 127,
      "sufficient_N": 36419840684064582549124,
      "necessary_real_lower_bound": "0.0486617755842569190541340763739",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 8,
      "divisions": 255,
      "sufficient_N": 37133646977773213459279,
      "necessary_real_lower_bound": "0.0522534496917093907837702209879",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 9,
      "divisions": 511,
      "sufficient_N": 37845435567899578426142,
      "necessary_real_lower_bound": "0.0558349712777049743542268713492",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 10,
      "divisions": 1023,
      "sufficient_N": 38556219747865450602463,
      "necessary_real_lower_bound": "0.0594114389520182147440598681508",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 11,
      "divisions": 2047,
      "sufficient_N": 39266502827248145563347,
      "necessary_real_lower_bound": "0.0629853852280113646754855924367",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 12,
      "divisions": 4095,
      "sufficient_N": 39976535631729046959239,
      "necessary_real_lower_bound": "0.0665580721905290802160504170759",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 13,
      "divisions": 8191,
      "sufficient_N": 40686443367514961574671,
      "necessary_real_lower_bound": "0.0701301298422696337779295276554",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 14,
      "divisions": 16383,
      "sufficient_N": 41396288586130934794749,
      "necessary_real_lower_bound": "0.0737018729250542551981979356039",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 15,
      "divisions": 32767,
      "sufficient_N": 42106102550454898178470,
      "necessary_real_lower_bound": "0.0772734587449618918023876131902",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 16,
      "divisions": 65535,
      "sufficient_N": 42815900888705918532791,
      "necessary_real_lower_bound": "0.0808449659388303840227697177832",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 17,
      "divisions": 131071,
      "sufficient_N": 43525691414188710557888,
      "necessary_real_lower_bound": "0.0844164338210290289167542395408",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 18,
      "divisions": 262143,
      "sufficient_N": 44235478033354446429157,
      "necessary_real_lower_bound": "0.0879878820477301673476366436876",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 19,
      "divisions": 524287,
      "sufficient_N": 44945262699378418378028,
      "necessary_real_lower_bound": "0.0915593204467669050950377331496",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 20,
      "divisions": 1048575,
      "sufficient_N": 45655046388835699360805,
      "necessary_real_lower_bound": "0.0951307539319925304187263330312",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 21,
      "divisions": 2097151,
      "sufficient_N": 46364829590010682603873,
      "necessary_real_lower_bound": "0.0987021849603178714826923861951",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 22,
      "divisions": 4194303,
      "sufficient_N": 47074612547044778912240,
      "necessary_real_lower_bound": "0.102273614760194388401408942201",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 23,
      "divisions": 8388607,
      "sufficient_N": 47784395382008497236960,
      "necessary_real_lower_bound": "0.105845043945846822743225988868",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 24,
      "divisions": 16777215,
      "sufficient_N": 48494178155937042940772,
      "necessary_real_lower_bound": "0.109416472824387298170471127651",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 25,
      "divisions": 33554431,
      "sufficient_N": 49203960899348006426858,
      "necessary_real_lower_bound": "0.112987901549371814733893091315",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 26,
      "divisions": 67108863,
      "sufficient_N": 49913743627500179827261,
      "necessary_real_lower_bound": "0.116559330197578357013768326766",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 27,
      "divisions": 134217727,
      "sufficient_N": 50623526348022958440620,
      "necessary_real_lower_bound": "0.120130758807395913438961308528",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 28,
      "divisions": 268435455,
      "sufficient_N": 51333309064731039724404,
      "necessary_real_lower_bound": "0.123702187398018977258585927997",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 29,
      "divisions": 536870911,
      "sufficient_N": 52043091779531772359389,
      "necessary_real_lower_bound": "0.127273615979044794855869555826",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 30,
      "divisions": 1073741823,
      "sufficient_N": 52752874493378830673971,
      "necessary_real_lower_bound": "0.130845044555271989362093485007",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 31,
      "divisions": 2147483647,
      "sufficient_N": 53462657206749051829350,
      "necessary_real_lower_bound": "0.134416473129099872327815264132",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 32,
      "divisions": 4294967295,
      "sufficient_N": 54172439919880854405378,
      "necessary_real_lower_bound": "0.137987901701728099524542893044",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 33,
      "divisions": 8589934591,
      "sufficient_N": 54882222632893447691793,
      "necessary_real_lower_bound": "0.141559330273756498837087678051",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 34,
      "divisions": 17179869183,
      "sufficient_N": 55592005345846436333417,
      "necessary_real_lower_bound": "0.145130758845484984207619598906",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 35,
      "divisions": 34359738367,
      "sufficient_N": 56301788058769622652649,
      "necessary_real_lower_bound": "0.148702187417063512607164727136",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 36,
      "divisions": 68719476735,
      "sufficient_N": 57011570771677907810687,
      "necessary_real_lower_bound": "0.152273615988567062521221368916",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 37,
      "divisions": 137438953471,
      "sufficient_N": 57721353484578742388127,
      "necessary_real_lower_bound": "0.155845044560033123192534994937",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 38,
      "divisions": 274877906943,
      "sufficient_N": 58431136197475851675269,
      "necessary_real_lower_bound": "0.159416473131480439242477419944",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 39,
      "divisions": 549755813887,
      "sufficient_N": 59140918910371098317261,
      "necessary_real_lower_bound": "0.162987901702918382981734321161",
      "criterion": "immediate_return",
      "family": true
    },
    {
      "depth": 40,
      "divisions": 1099511627775,
      "sufficient_N": 59850701623265413636679,
      "necessary_real_lower_bound": "0.166559330274351640565648479662",
      "criterion": "immediate_return",
      "family": true
    }
  ],
  "joint_kernel_example": {
    "role": "illustrative state-dependent kernel, not fitted chemical data",
    "uniform_one_cycle": "49/50",
    "lineage_5": {
      "interior": "2365358841/2500000000",
      "edge": "1163110671/1250000000"
    },
    "family_depth_5": {
      "interior": "2142205938280320267515950866049419430067676003503613340623/3051757812500000000000000000000000000000000000000000000000",
      "edge": "1033587347851629889613409670529896811226429019013601368853/1525878906250000000000000000000000000000000000000000000000"
    }
  }
}
