{
  "mean_sign_endpoints": {
    "2": {
      "intrinsic_erasure_bracket": [
        "371/4000",
        "92751/1000000"
      ],
      "amplitude_bracket": [
        "331/4000",
        "82751/1000000"
      ],
      "lower_collatz": [
        "8073123/20000000000000",
        "5440079/13475344813000"
      ],
      "upper_collatz": [
        "-37934621/625000000000000",
        "-817519917/13475330032000000"
      ],
      "lower_weights": [
        "30155861849/10000000000",
        "13475344813/10000000000",
        "1",
        "174197803011/5000000000",
        "5548336187/400000000",
        "411301721311/10000000000"
      ],
      "upper_weights": [
        "6031142873/2000000000",
        "842208127/625000000",
        "1",
        "2721821491/78125000",
        "27741520899/2000000000",
        "411299101563/10000000000"
      ],
      "published_weight_collatz": [
        [
          "257/1000000000",
          "943/1347534000"
        ],
        [
          "-83731/673766500000",
          "-2/75389275"
        ]
      ],
      "lower_M_matrix": {
        "subcritical": false,
        "leading_minors": [
          "6/25",
          "43041/200000",
          "31914831/400000000",
          "7738315527/160000000000",
          "15819785283249/320000000000000",
          "-3719096613/128000000000000000"
        ]
      },
      "upper_M_matrix": {
        "subcritical": true,
        "leading_minors": [
          "6/25",
          "10760261/50000000",
          "1994684523011/25000000000000",
          "120911821882919751/2500000000000000000",
          "61796483705264704988001/1250000000000000000000000",
          "2730065850088490549751/625000000000000000000000000000"
        ]
      },
      "contraction_gamma": "20797/125000",
      "contraction_slack": [
        "88777/125000000000",
        "73369/125000000000",
        "3/4000000",
        "119699/62500000000",
        "16201/7812500000",
        "299239/125000000000"
      ],
      "founder_weight_ratio": "3741963/1000000",
      "scope": "Fresh endpoint sign certificates. A global first-crossing/uniqueness assertion is not inferred from bisection or endpoint checks."
    },
    "3": {
      "intrinsic_erasure_bracket": [
        "5879/31250",
        "188129/1000000"
      ],
      "amplitude_bracket": [
        "11133/62500",
        "178129/1000000"
      ],
      "lower_collatz": [
        "3342561/248045700250000",
        "16875073/1250000000000000"
      ],
      "upper_collatz": [
        "-676507393/1747563413250000",
        "-18433987633/47624695095000000"
      ],
      "lower_weights": [
        "30164923409/10000000000",
        "992182801/625000000",
        "2912607169/2500000000",
        "1",
        "245554424957/10000000000",
        "56898891041/5000000000",
        "62571387943/10000000000",
        "153792977691/5000000000",
        "203603200251/10000000000",
        "332370737453/10000000000"
      ],
      "upper_weights": [
        "15082397953/5000000000",
        "3174979673/2000000000",
        "2330084551/2000000000",
        "1",
        "61388235901/2500000000",
        "113797209629/10000000000",
        "6257113701/1000000000",
        "153792122029/5000000000",
        "203602104559/10000000000",
        "83092241753/2500000000"
      ],
      "published_weight_collatz": [
        [
          "-19487/54611390625",
          "439/1190619000"
        ],
        [
          "-88029/158749000000",
          "1237/36407562500"
        ]
      ],
      "lower_M_matrix": {
        "subcritical": false,
        "leading_minors": [
          "13/50",
          "707819/2343750",
          "598797057373/1757812500000",
          "6589222841998609/36621093750000000",
          "214943036203491022993/1373291015625000000000",
          "5794395752673224765379347/21457672119140625000000000",
          "37596888211227516116541577165741/96559524536132812500000000000000",
          "5213295308990005640541574202852663693/18104910850524902343750000000000000000",
          "4438636967550931589883707282381153045868209/13578683137893676757812500000000000000000000",
          "-18440627818811347965142931995767930684593/1697335392236709594726562500000000000000000000000"
        ]
      },
      "upper_M_matrix": {
        "subcritical": true,
        "leading_minors": [
          "13/50",
          "90600901/300000000",
          "153292304047687/450000000000000",
          "26989583753480747623/150000000000000000000",
          "3521646816208981134575287/22500000000000000000000000",
          "3037952957120789950727297301023/11250000000000000000000000000000",
          "39423539904931287008013725868295731109/101250000000000000000000000000000000000",
          "43732720678643037478162392681881923288774183/151875000000000000000000000000000000000000000",
          "148937766004297833445289700527622489533571485892463/455625000000000000000000000000000000000000000000000",
          "142075143852570832298980151944268515431370583925181/455625000000000000000000000000000000000000000000000000000"
        ]
      },
      "contraction_gamma": "129493/1000000",
      "contraction_slack": [
        "1481971/1000000000000",
        "345283/200000000000",
        "297847/375000000000",
        "1/625000",
        "3740557/600000000000",
        "6308933/3000000000000",
        "584967/250000000000",
        "2793599/500000000000",
        "10382503/1500000000000",
        "9128849/1000000000000"
      ],
      "founder_weight_ratio": "6462907/1000000",
      "scope": "Fresh endpoint sign certificates. A global first-crossing/uniqueness assertion is not inferred from bisection or endpoint checks."
    },
    "4": {
      "intrinsic_erasure_bracket": [
        "52737/200000",
        "131843/500000"
      ],
      "amplitude_bracket": [
        "50737/200000",
        "126843/500000"
      ],
      "lower_collatz": [
        "237535013/3521328664800000",
        "595581/8823503103200"
      ],
      "upper_collatz": [
        "-996190107/3257470566500000",
        "-1783021963/5831776979900000"
      ],
      "lower_weights": [
        "30418437073/10000000000",
        "4401660831/2500000000",
        "13029893629/10000000000",
        "11029378879/10000000000",
        "1",
        "195322467503/10000000000",
        "98664556823/10000000000",
        "29158997361/5000000000",
        "38792116707/10000000000",
        "253391506903/10000000000",
        "170360617477/10000000000",
        "2606433619/250000000",
        "279308002987/10000000000",
        "214508447327/10000000000",
        "58618589929/2000000000"
      ],
      "upper_weights": [
        "15209157773/5000000000",
        "17606608617/10000000000",
        "6514941133/5000000000",
        "11029375491/10000000000",
        "1",
        "97660683841/5000000000",
        "98664090213/10000000000",
        "58317769799/10000000000",
        "38791997143/10000000000",
        "253390171437/10000000000",
        "170359765539/10000000000",
        "104256884501/10000000000",
        "34913324071/1250000000",
        "13406710861/625000000",
        "146545754243/5000000000"
      ],
      "published_weight_collatz": [
        [
          "-31413/73529200000",
          "2779/5211956000"
        ],
        [
          "-4607/3676460000",
          "151339/325747000000"
        ]
      ],
      "lower_M_matrix": {
        "subcritical": false,
        "leading_minors": [
          "7/25",
          "925211/2500000",
          "142752779507/250000000000",
          "38054100808542977/50000000000000000",
          "91868187947385686839/156250000000000000000",
          "7556947840360562998735781/12500000000000000000000000",
          "1615143885881791989657866006197/1250000000000000000000000000000",
          "715352679327546191571610792618764567/250000000000000000000000000000000000",
          "16952951346580041037568832286234550228751/3125000000000000000000000000000000000000",
          "1935588447064091330985416300338827236654224287/312500000000000000000000000000000000000000000",
          "737592220606890058835613379684862748647662718425557/62500000000000000000000000000000000000000000000000",
          "4884164397013880300646813110943622495701400352917898649/195312500000000000000000000000000000000000000000000000",
          "791264719278725171714424016544503335920046997179255381141939/39062500000000000000000000000000000000000000000000000000000",
          "15084769072427827672256557465203472833564546316705194334136703417/488281250000000000000000000000000000000000000000000000000000000",
          "-57907986491232548161129119417008404648674126683130328751216949/6103515625000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "upper_M_matrix": {
        "subcritical": true,
        "leading_minors": [
          "7/25",
          "2313029/6250000",
          "892206064947/1562500000000",
          "594596767960124463/781250000000000000",
          "114835882784283622543743/195312500000000000000000",
          "23615614524921386399264255283/39062500000000000000000000000",
          "12618404574268846587127134484363569/9765625000000000000000000000000000",
          "13971851759859231108691346143144072800501/4882812500000000000000000000000000000000",
          "6622316096132452124020561048454440820982333561/1220703125000000000000000000000000000000000000",
          "1890244353502381591723754111865580522163150100409923/305175781250000000000000000000000000000000000000000",
          "1800785001571865311611604864884556282219616427865357171767/152587890625000000000000000000000000000000000000000000000",
          "953952128525425894968305331625847033342012552685130200048091287/38146972656250000000000000000000000000000000000000000000000000",
          "386365765663491628925686941800078548789452970070485640436225096793323/19073486328125000000000000000000000000000000000000000000000000000000",
          "147314851846344642878890528934866180409794428920007064957612403072038444203/4768371582031250000000000000000000000000000000000000000000000000000000000",
          "51251483565072019574177216785467476265353216357069446651386331724360800383/1192092895507812500000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "contraction_gamma": "5943/62500",
      "contraction_slack": [
        "42027/31250000000",
        "31357/31250000000",
        "11589/15625000000",
        "57483/31250000000",
        "0",
        "283221/62500000000",
        "293927/125000000000",
        "103693/62500000000",
        "49601/15625000000",
        "8737/1250000000",
        "711507/125000000000",
        "591037/250000000000",
        "954761/125000000000",
        "1662983/250000000000",
        "2178301/250000000000"
      ],
      "founder_weight_ratio": "9300617/1000000",
      "scope": "Fresh endpoint sign certificates. A global first-crossing/uniqueness assertion is not inferred from bisection or endpoint checks."
    },
    "5": {
      "intrinsic_erasure_bracket": [
        "324157/1000000",
        "162079/500000"
      ],
      "amplitude_bracket": [
        "314157/1000000",
        "157079/500000"
      ],
      "lower_collatz": [
        "124187293/1000000000000000",
        "111151217/894211016500000"
      ],
      "upper_collatz": [
        "-313363697/1341316239625000",
        "-232508113/995660733250000"
      ],
      "lower_weights": [
        "7674944261/2500000000",
        "592084427/312500000",
        "14198919737/10000000000",
        "11947935441/10000000000",
        "5365266099/5000000000",
        "1",
        "82626018443/5000000000",
        "8875495947/1000000000",
        "5521964789/1000000000",
        "38111747991/10000000000",
        "3565022277/1250000000",
        "109565603673/5000000000",
        "75019906479/5000000000",
        "24013143423/2500000000",
        "33197372703/5000000000",
        "245221507733/10000000000",
        "5899960331/312500000",
        "70118562591/5000000000",
        "51953832191/2000000000",
        "10723029869/500000000",
        "134391519127/5000000000"
      ],
      "upper_weights": [
        "30699657767/10000000000",
        "3789332097/2000000000",
        "2839780701/2000000000",
        "11947928799/10000000000",
        "10730529917/10000000000",
        "1",
        "33050228541/2000000000",
        "11094319163/1250000000",
        "27609719213/5000000000",
        "19055815047/5000000000",
        "14260053577/5000000000",
        "219130084231/10000000000",
        "150039089949/10000000000",
        "96052160057/10000000000",
        "13278898849/2000000000",
        "245220300811/10000000000",
        "37759564063/2000000000",
        "70118240467/5000000000",
        "259767916971/10000000000",
        "214459571731/10000000000",
        "268781775123/10000000000"
      ],
      "published_weight_collatz": [
        [
          "-636421/597397000000",
          "81053/67065812500"
        ],
        [
          "-472511/597396500000",
          "343/829375000"
        ]
      ],
      "lower_M_matrix": {
        "subcritical": false,
        "leading_minors": [
          "3/10",
          "1720157/4000000",
          "1560977061649/2000000000000",
          "2881789916319594679/2000000000000000000",
          "70557420689538204788983/31250000000000000000000",
          "63239906816439233471751223699/25000000000000000000000000000",
          "89926980108260363819817066695647243/31250000000000000000000000000000000",
          "108723373180411699822568702926084993684151/15625000000000000000000000000000000000000",
          "296431934908652951050050313377517108374881877121/15625000000000000000000000000000000000000000000",
          "387904215807475364705067038086573966050663029790281/7629394531250000000000000000000000000000000000000",
          "5961399543311437319826484902778848147517642733598963615369/48828125000000000000000000000000000000000000000000000000",
          "4183795182298114686066752840367057325607529544531888870398258933/24414062500000000000000000000000000000000000000000000000000000",
          "10109583021841882965112867701494608153637379538966747581959204885473443/24414062500000000000000000000000000000000000000000000000000000000000",
          "56750911173778797248930677422049741648106633931777490665282697730492369517/47683715820312500000000000000000000000000000000000000000000000000000000",
          "1027508476133690077812168979835620305038245891170236563066375761471253012896307533/305175781250000000000000000000000000000000000000000000000000000000000000000000",
          "1353830355360664854458312750745670271743706643306614972841484486719755935915747065764043/305175781250000000000000000000000000000000000000000000000000000000000000000000000000",
          "194371434063237619234127325337322242306044953317346409843789070235046600236106204487020369969/19073486328125000000000000000000000000000000000000000000000000000000000000000000000000000",
          "97361914019662899880811564626531955477698076237961424858863176236864902793964569580017004204890383/3814697265625000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "5203291602944290894603269761648944739683286962439097288788736817247721633599974977841507466897584015689/238418579101562500000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1035634921352288670190081700612249857596069629515041082996232913689572440235422612110811194509017062554877649/23841857910156250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "-458309816877295512465080829412856821210840216533112878811988971464111705505618177200681569819118645638137089/9536743164062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "upper_M_matrix": {
        "subcritical": true,
        "leading_minors": [
          "3/10",
          "860079/2000000",
          "390244725741/500000000000",
          "360224443214911617/250000000000000000",
          "141115307785298731745361/62500000000000000000000",
          "7905040366789753135934592447/3125000000000000000000000000",
          "5620477233590973874895787602455563/1953125000000000000000000000000000",
          "3397632890813728247069257469456858062977/488281250000000000000000000000000000000",
          "4631790893961423350654752471248809612750742549/244140625000000000000000000000000000000000000",
          "3103265811188758563059367397094046402993547774068117/61035156250000000000000000000000000000000000000000",
          "372592039519658437880115414139553727696725088358742896059/3051757812500000000000000000000000000000000000000000000",
          "130745286657215299542916122307293383140289126426118949787591661/762939453125000000000000000000000000000000000000000000000000",
          "157964442325270747185551589102891384972711807372210385439204884659657/381469726562500000000000000000000000000000000000000000000000000000",
          "113503552265233639227360043376985759735743000225368941278710394046343470681/95367431640625000000000000000000000000000000000000000000000000000000000",
          "16055092139675791667877060296861671414193976262157548733218235463757517016240087/4768371582031250000000000000000000000000000000000000000000000000000000000000",
          "10576987071594351280884770698497526572144679965449257806122976973249619579591308562619/2384185791015625000000000000000000000000000000000000000000000000000000000000000000",
          "6074223950404250513491985876028753501136461220679401871056251331473199351557517271918772927/596046447753906250000000000000000000000000000000000000000000000000000000000000000000000",
          "760656041007043126986485217183809501228244837498513535963243872394712640422374860343371032661429/29802322387695312500000000000000000000000000000000000000000000000000000000000000000000000000",
          "162606563658503264059077681721297032809359407322193434241688277842465890923433564184848720257989318657/7450580596923828125000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "16182201903853423075442137076396704757348801084966951174108413385156099454710368375749590170566822312512139/372529029846191406250000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1682870352267227711868660401202714974109626592301832868166263248166904806947559558072652656019293674594553/18626451492309570312500000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "contraction_gamma": "16967/250000",
      "contraction_slack": [
        "715393/250000000000",
        "149757/62500000000",
        "41563/50000000000",
        "820833/250000000000",
        "105969/250000000000",
        "197/80000000",
        "31093/3125000000",
        "868031/125000000000",
        "1547921/250000000000",
        "31429/7812500000",
        "261521/62500000000",
        "4221111/250000000000",
        "96449/10000000000",
        "1448273/250000000000",
        "464779/100000000000",
        "4008339/250000000000",
        "1940809/125000000000",
        "6338393/500000000000",
        "4544573/250000000000",
        "7118651/500000000000",
        "1925707/100000000000"
      ],
      "founder_weight_ratio": "1190601/100000",
      "scope": "Fresh endpoint sign certificates. A global first-crossing/uniqueness assertion is not inferred from bisection or endpoint checks."
    },
    "6": {
      "intrinsic_erasure_bracket": [
        "74739/200000",
        "5839/15625"
      ],
      "amplitude_bracket": [
        "72739/200000",
        "22731/62500"
      ],
      "lower_collatz": [
        "87889533/285802421540000",
        "4260056693/13848896902800000"
      ],
      "upper_collatz": [
        "-19098183/475268840656250",
        "-63700173/1596772221125000"
      ],
      "lower_weights": [
        "6199193723/2000000000",
        "4007689233/2000000000",
        "3041724701/2000000000",
        "12774187501/10000000000",
        "5701564561/5000000000",
        "10558558987/10000000000",
        "1",
        "145273545337/10000000000",
        "40854374577/5000000000",
        "263906969/50000000",
        "4681791909/1250000000",
        "14290121077/5000000000",
        "11540747419/5000000000",
        "24419058561/1250000000",
        "135990140727/10000000000",
        "22425178053/2500000000",
        "63534904327/10000000000",
        "47679392241/10000000000",
        "110581708047/5000000000",
        "8553048569/500000000",
        "64250421271/5000000000",
        "22804303987/2500000000",
        "29517685809/1250000000",
        "194799401113/10000000000",
        "39311566279/2500000000",
        "61414478113/2500000000",
        "211515216473/10000000000",
        "50427517897/2000000000"
      ],
      "upper_weights": [
        "1239833997/400000000",
        "2504799951/1250000000",
        "15208602901/10000000000",
        "12774177769/10000000000",
        "11403124617/10000000000",
        "10558557307/10000000000",
        "1",
        "18159097411/1250000000",
        "8170838277/1000000000",
        "52781195601/10000000000",
        "2340888689/625000000",
        "14290084771/5000000000",
        "23081447187/10000000000",
        "195351482911/10000000000",
        "27197899869/2000000000",
        "89700332279/10000000000",
        "63534666163/10000000000",
        "47679235391/10000000000",
        "221162341543/10000000000",
        "85530081919/5000000000",
        "64250133253/5000000000",
        "91216842763/10000000000",
        "236140369953/10000000000",
        "194798488469/10000000000",
        "157245547531/10000000000",
        "15353548341/625000000",
        "211514234573/10000000000",
        "252136437173/10000000000"
      ],
      "published_weight_collatz": [
        [
          "-11079/23225800000",
          "602311/456258600000"
        ],
        [
          "-527561/316756800000",
          "178967/95026000000"
        ]
      ],
      "lower_M_matrix": {
        "subcritical": false,
        "leading_minors": [
          "8/25",
          "14574821/30000000",
          "8798392789157/9000000000000",
          "431732102653943341/200000000000000000",
          "69143169048694425842311/15000000000000000000000",
          "15430597500545775439685966137/1800000000000000000000000000",
          "1625327501858216510593874428245011/120000000000000000000000000000000",
          "118932592870278520918935822787163759399/7200000000000000000000000000000000000",
          "93699373487906393968430742076007898540834583/2160000000000000000000000000000000000000000",
          "58024842946424021614990242728443863917372108121511/432000000000000000000000000000000000000000000000",
          "127220369975288442970911739103027894648137756586237651929/291600000000000000000000000000000000000000000000000000",
          "16102805703593170654947583243790747696090424052830595755409981/11664000000000000000000000000000000000000000000000000000000",
          "85798605734149100358716009143862548483032436657525639933404259125061/20995200000000000000000000000000000000000000000000000000000000000",
          "40985005542694421571830524971524267833829793266883143634740279228156335237/6298560000000000000000000000000000000000000000000000000000000000000000",
          "68498190403478543276549516425214733356206350362606910541655734350538819672490287/3779136000000000000000000000000000000000000000000000000000000000000000000000",
          "5878591126838241714517058425353176753488632055105788005339534707458962973928088460359/94478400000000000000000000000000000000000000000000000000000000000000000000000000",
          "7526930108275352398185674244991353512825075735178211960481549237419331253726523593346321259/34012224000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "15921172516014218510706329309120750576202585789759765966909198819629639655776650909753028087209793/20407334400000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "5323650847123988348995186114017796925865537923731856933389494927542115036479760595330856508258137338081/4081466880000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1142585575899064293255311590485249576145645612581077202091373149166672320607810468706264772823616482914158601/306110016000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "442130792421764039082184831199563266912051873107813226489182385100389621842762256540752351000080746139510985069767/36733201920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "325569112951809791481310345374272114301575317274414584388508194086399897114358340035775432064302415633571370865816369703/7346640384000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "35194154060422498099603622495748251108447510367800324193097576728391856153670378165230873709989092644353269556166919998401963/550998028800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "3842983481318412661701835722510987970414546078888462422607050487255081416030158412907035640501214200706024131740555266986816849007/22039921152000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "21837205230542211858676898866362460194754414965729420924880815789346511138010056270938893705788376628319722982236159235842302488515995767/39671858073600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "2325216567474239852791480273267653731027804813968653569838165481574475303389995497415547280977238764855920099132370500425934757080617543415889/4760622968832000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "3508669290060776751152671794550631314263858518784341968634809279814818596395937133078367009928337859169137790690386087667978861480944751368483424803/2856373781299200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "-1306900175537191168307951150261610633379115765886031647253680976477315215847491287876674117537272829351646041847213931439902448352262362218625238191/190424918753280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "upper_M_matrix": {
        "subcritical": true,
        "leading_minors": [
          "8/25",
          "2277317/4687500",
          "1718437953349/1757812500000",
          "52701764016326371/24414062500000000",
          "84403507498554402183523/18310546875000000000000",
          "47090649273792744904075523887/5493164062500000000000000000",
          "74402147562941214227446586173117237/5493164062500000000000000000000000",
          "3402716517702499278830279973194113803239/205993652343750000000000000000000000000",
          "69812093393960187881267210362854809894841271/1609325408935546875000000000000000000000000",
          "81060556971905980982155831126046834171638358386693/603497028350830078125000000000000000000000000000",
          "74052797867007680405840573282262800272397664421352077619/169733539223670959472656250000000000000000000000000000",
          "23432950568399931364508337112408541664180298755307006597343537/16973353922367095947265625000000000000000000000000000000000",
          "624275779636277522951050463986799546105649739493516218926572966599483/152760185301303863525390625000000000000000000000000000000000000000",
          "2982095220389356252357880353737796193170804990536711066273993630766365400633/458280555903911590576171875000000000000000000000000000000000000000000000",
          "3114985457933541414145583467177209976496357642034406750328940341161914693352682639/171855208463966846466064453125000000000000000000000000000000000000000000000000",
          "99011778768076440854631966812492647296903517352714244329242960492920687755403866491597/1591251930221915245056152343750000000000000000000000000000000000000000000000000000",
          "8557281726330996660870608355741158726249970423149402280064964988041085948320549586370021922833/38667421904392540454864501953125000000000000000000000000000000000000000000000000000000000",
          "90503155751338861726760454520892299724442509388081098444640316489603310398235751326449195443757116449/116002265713177621364593505859375000000000000000000000000000000000000000000000000000000000000000",
          "18913788509896573924909719205403127850788845837034636863907871532731996374763682330842215736204124968967689/14500283214147202670574188232421875000000000000000000000000000000000000000000000000000000000000000000",
          "40593659082273226625489057601324465885428201426397747297830441422674700325150656926695889976812268656268151565007/10875212410610402002930641174316406250000000000000000000000000000000000000000000000000000000000000000000000",
          "39269996244028371456067317417266124551505304759530144770120789994558555688561713689045779584556976066785193674827503683/3262563723183120600879192352294921875000000000000000000000000000000000000000000000000000000000000000000000000000",
          "144585254091588256057974612707143534499356455718852871567563515917334752178006800913955083073794550927596380869416054915978833/3262563723183120600879192352294921875000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "156297393017844942509607263900984213799670278345714718698975853507999104232245792289923670023272221362100000080645157267003816718429/2446922792387340450659394264221191406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "14222277967167941217479154337091038531598892399040711732711851519260338415539399662491101870032342905376905207663456632706030464804881889/81564093079578015021979808807373046875000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1212243270511659673163390759199775713329011720918340341881109898904998062821322269965045816073399213313133624136735164299238591645419679491222153/2202230513148606405593454837799072265625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "322698686732578373904495146405843000296503215157828585754140376345778258395428280205709127373760304573181097868069679279212635127894856843537665126357/660669153944581921678036451339721679687500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "2434709978193011568952812721641790134331017791870889530108876288499671217854730503571396051606222635042807716746223347059656708033688617024378358569452509621/1982007461833745765034109354019165039062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "590802985821530254409611359818167983549089990932367099388918912134175057640868459843611653326132555860152248930986854646149768914428176535707899818647672557/660669153944581921678036451339721679687500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "contraction_gamma": "46787/1000000",
      "contraction_slack": [
        "2902641/1000000000000",
        "132487/93750000000",
        "1856773/1000000000000",
        "1263561/1000000000000",
        "2827873/1500000000000",
        "304521/200000000000",
        "123/80000000",
        "2606699/250000000000",
        "21715927/3000000000000",
        "19340801/3000000000000",
        "1443227/750000000000",
        "4202567/1000000000000",
        "474991/300000000000",
        "39333043/3000000000000",
        "28617209/3000000000000",
        "4362317/500000000000",
        "1406897/250000000000",
        "1012979/375000000000",
        "18791407/1000000000000",
        "6984897/500000000000",
        "5959609/600000000000",
        "6846943/1000000000000",
        "52066567/3000000000000",
        "20318441/1500000000000",
        "6308113/600000000000",
        "53050169/3000000000000",
        "3401669/187500000000",
        "21290139/1000000000000"
      ],
      "founder_weight_ratio": "1784891/125000",
      "scope": "Fresh endpoint sign certificates. A global first-crossing/uniqueness assertion is not inferred from bisection or endpoint checks."
    },
    "7": {
      "intrinsic_erasure_bracket": [
        "415181/1000000",
        "207591/500000"
      ],
      "amplitude_bracket": [
        "405181/1000000",
        "202591/500000"
      ],
      "lower_collatz": [
        "957593617/3507673933750000",
        "2731712851/10000000000000000"
      ],
      "upper_collatz": [
        "-2461356847/36569022325500000",
        "-1340063911/20000000000000000"
      ],
      "lower_weights": [
        "31294620789/10000000000",
        "20960068121/10000000000",
        "16096261129/10000000000",
        "13524177311/10000000000",
        "1202631063/1000000000",
        "11082353723/10000000000",
        "10448293403/10000000000",
        "1",
        "26208499559/2000000000",
        "15287546993/2000000000",
        "50841202787/10000000000",
        "36874804747/10000000000",
        "28578691897/10000000000",
        "5831882017/2500000000",
        "4957253357/2500000000",
        "22223282521/1250000000",
        "125602851361/10000000000",
        "10593781511/1250000000",
        "61196787171/10000000000",
        "5828523771/1250000000",
        "37117900981/10000000000",
        "10154779697/500000000",
        "157946391611/10000000000",
        "119850276569/10000000000",
        "4341601817/500000000",
        "2640544067/400000000",
        "1746288811/80000000",
        "90114002103/5000000000",
        "146131220301/10000000000",
        "14448842609/1250000000",
        "5703956723/250000000",
        "196168564537/10000000000",
        "2595712153/156250000",
        "117492059973/5000000000",
        "207941769941/10000000000",
        "29992293113/1250000000"
      ],
      "upper_weights": [
        "31294501881/10000000000",
        "20960016939/10000000000",
        "4024059139/2500000000",
        "270483293/200000000",
        "6013151981/5000000000",
        "1385293799/1250000000",
        "10448292093/10000000000",
        "1",
        "65520909661/5000000000",
        "76437396873/10000000000",
        "1016820261/200000000",
        "18437344941/5000000000",
        "28578618179/10000000000",
        "5831869631/2500000000",
        "2478622363/1250000000",
        "88892685917/5000000000",
        "62801133381/5000000000",
        "42374948391/5000000000",
        "15299139719/2500000000",
        "46628036579/10000000000",
        "37117793613/10000000000",
        "203094613657/10000000000",
        "157945655183/10000000000",
        "23969949409/2000000000",
        "86831684117/10000000000",
        "16503339459/2500000000",
        "218285075323/10000000000",
        "90113584887/5000000000",
        "29226112713/2000000000",
        "14448780629/1250000000",
        "91262887/4000000",
        "196167664271/10000000000",
        "33224965499/2000000000",
        "234983053177/10000000000",
        "41588164779/2000000000",
        "119968634089/5000000000"
      ],
      "published_weight_collatz": [
        [
          "-361141/500000000000",
          "1553143/1388030700000"
        ],
        [
          "-10543/11082350000",
          "79723/84526000000"
        ]
      ],
      "lower_M_matrix": {
        "subcritical": false,
        "leading_minors": [
          "17/50",
          "377529209/700000000",
          "2860812770067803/2450000000000000",
          "49690820639097877844203/17150000000000000000000",
          "13925180063365621063980282161/1875781250000000000000000000",
          "190811318579807469824709175955586573/10504375000000000000000000000000000",
          "2980257278731882478688656507194503297089571/73530625000000000000000000000000000000000",
          "12790308626843807862253338706360751740821017383539/147061250000000000000000000000000000000000000000",
          "5750563504134159866777446373336189633947288923177607719/51471437500000000000000000000000000000000000000000000",
          "56132948350766221012143434116140804425972418233707168002233973/180150031250000000000000000000000000000000000000000000000000",
          "1327967214191583878079336861902260014491616528720586068336085341206373/1261050218750000000000000000000000000000000000000000000000000000000",
          "267278580458109582435171743089582080649326862227789114996448208428895442663/68963683837890625000000000000000000000000000000000000000000000000000000",
          "2812217793192993215019674676025633804187560139302954560954607361124054863361914667/193098314746093750000000000000000000000000000000000000000000000000000000000000",
          "72535025055534846407384805145730537867469534863037419796051030534257706699440557282191909/1351688203222656250000000000000000000000000000000000000000000000000000000000000000000",
          "3623944452479335267740756641982056175952692651547473831560175486909597938374869140848307006032467/18923634845117187500000000000000000000000000000000000000000000000000000000000000000000000000",
          "22036641738257486537696945962021617234955590606152338934088741042883056381948135988992956284603695301689/66232721957910156250000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "473278083119373633701620555462264831868101551261720175655847372467688892346479804034504709446932927762276424889/463629053705371093750000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "28559200027100633933496924669209792742721168530371555514027693891200664794298823507250029465743471506686066124673549/7244203964146423339843750000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "4628894468982690113794945410793607874206098594084922161563226154747491708725575414784563975165336954872004248135760673491949/283972795394539794921875000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "136735182916406108332225604237402940151691410714142550671019556858991254929641882139006194517563565272906880122391205250822225209923/1987809567761778564453125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "8106837936814540119344496266576090786837749912540862485743721797027537869238621087905262651056318481081221080759728804190697547883162668549/27829333948664899902343750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "109931750254092912997147156274826200193636802001962063280470515602572899862987556179047257574084670065127714875075967651239752723363297238021559749/194805337640654299316406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "158327901447939955663241667245535355497512479992367317748518761221269165276907736016995545801162132827171603621759698598487877158631938348298140402593777/85227335217786255950927734375000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "120345502484072324978648954392160436367346172401083986540302281766707123853540510207954115753617634712698768238585441758410680472094346986020916930699135252387/17045467043557251190185546875000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "3668233613381593845111341523600855998474820265615960666361264055305982722635613755116427633834820437400612829339181936091451613573588824876788284598662680267598754349/119318269304900758331298828125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "233812126355747003745892935362941608908331184345045245759326063335130797024510389165034228899110985963639209186227692472490883970392485346645413031781017737124696990504818187/1670455770268610616638183593750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "191605260795574108387467032256881071062793344524745001523031883146909592794667499820430134613599658964791621982695179639070010575324008119862372577776877936053158828019373899887451/730824399492517144779205322265625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "3039490483776141172494608032968949219196714224885161727521968224352145550443129976577307989710334401194928683707603115914420772886926819698518113112449518725517520711538126615962066303/3497108942884115243572369217872619628906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "5205861206952861688316728224039686517822967070870025055034595666202303023016914060812563072724194767887061815765914267873688192534362982471783278561179714628171209136274610396725976780304586859/1566704806412083629120421409606933593750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "308576384399063448510176496532937640798194057614881978241821121561847596353022777998516251790975136876738796249917720828403332555619775139770767907623043902763663193981163753006421062921081791033834317/21933867289769170807685899734497070312500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "21209913569328099780078282463966074487968850950357557697230801453849837646241012761045313724339651596705064773552399146927140375345340615532489254742734801763407895401075492610109865353492300459428232410772823/982637254581658852184328308105468750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "475808713658959419466130076304342304058286629300989511424689183171280321132317912657496544040889592799617603788544385292732300669426135487674782305578694734553215755013022268602888305487410547577318651481243963053321/6878460782071611965290298156738281250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "25694644169925048486653619892371305936428744093854474261757542011719835940240443359339955254036996491971768156217799774929068961204372120569723905765180823591394537110332541198984502052439717650836151291432822668500256391023/96298450949002567514064174194335937500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "164078613758297573359373796132663319159462071417035625333910631460142961390229748840176022130586960640254978081433197688063730022744159222905377786456788861347386115260335512461358902339967813798534502422520908485787818982564384721/674089156643017972598449219360351562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1013365272760374144295827323423409198080431934594372509932563435310934904425015242050795986997199898951951237910483133689714306880231420727690871327459567824457218848344882056199341370805521485752049840044051564781215703725145235833769889/1348178313286035945196898438720703125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "-21182145472631101283473501395350951062709387567636366757718568357095833773520456751697008278195954770521119384533455000340119900504221995571807784052266715423414550906874064126401793219851253032234449651370404542763915079017937594467744399/2696356626572071890393796877441406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "upper_M_matrix": {
        "subcritical": true,
        "leading_minors": [
          "17/50",
          "188764699/350000000",
          "715203919193263/612500000000000",
          "6211362516049117138093/2143750000000000000000",
          "27850425779067348135331496107/3751562500000000000000000000",
          "23851498107434672113820459168417767/1313046875000000000000000000000000",
          "372534169971827936570423368739697426441823/9191328125000000000000000000000000000000",
          "1598802074203523687010500017818998626498456228129/18382656250000000000000000000000000000000000000",
          "359413463456666098407187737879858927410391147660700849/3216964843750000000000000000000000000000000000000000",
          "1754171663808662767517308146695441645463125975075665534607813/5629688476562500000000000000000000000000000000000000000000",
          "20749704948773087506479938308456931189485125150235292778770830468143/19703909667968750000000000000000000000000000000000000000000000000",
          "133640809188400858828384593795405001159912633207628918760674847587909886057/34481841918945312500000000000000000000000000000000000000000000000000000",
          "175765805996275633890916129878978884713751887698427327491889435625659646888838717/12068644671630859375000000000000000000000000000000000000000000000000000000000",
          "4533502212641745493850777342239982903221201494311877307073216776931400050032216483802373/84480512701416015625000000000000000000000000000000000000000000000000000000000000000",
          "226500107803880904187317920581576579798518163751544945021291329693387787243390736048228744335453/1182727177819824218750000000000000000000000000000000000000000000000000000000000000000000000",
          "688656310981814687597011051766509016461305361790424142871042759325020370422121825921771465970085805561/2069772561184692382812500000000000000000000000000000000000000000000000000000000000000000000000000",
          "7395097056617950446642651227981562095783616500284955054713381373359424020857114196779706777878784271432699571/7244203964146423339843750000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "7139929047117291473486451454894164954972596567313203564938470579329479401945951559186367686935757197107165601512547/1811050991036605834960937500000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "72327861754172161771963741903673526713743980772917386644347437470478487143080989643347428591184398210449250650838300709849/4437074928039684295654296875000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "2136531027966315605076524080874298976844878779987967443355605419567956765330133046179720979575975302164616239553088959115284486881/31059524496277790069580078125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "126672145516593293301167669400426431022329375722317654002060021316241564769409743878190855912735084118184567543948789957366143171975127641/434833342947889060974121093750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "858861280743029878449350374791700279860625536913743893236333306692720015458754513670345775713682139339533487272141782716997235823248671778744451/1521916700317611713409423828125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "4947863991705239434959148007980197561244724604947450675996530975936879536131990121866950926078425690790690519607163378935439954489935758253940580382449/2663354225555820498466491699218750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "940222593152421070930435991032969380987295009443442759019312211048543055891090921196752136634386332258037364069426769178267734717702428416102831414537792367/133167711277791024923324584960937500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "28658825003516274728883057833622625371515766802556602669521531314816977892542892563099586547742485502660789985146424823400864310534409200145934049905799265709109223/932173978944537174463272094726562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "260958262786817429327582969378761000105282086460342014054204479003378032488516353009196483062601115709211168694177227979400885259883982492111363708056693043537920033138329/1864347957889074348926544189453125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "855404923943622283716775880827928317083648168708453927340403212635886062452084052827696951638190087312452342423229905909688959323893452996726522513580158331735430689272192866771/3262608926305880110621452331542968750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "48633289387076009254467946831441394717125801299220299781711699395225474163737279301625731717179944092166753607577033904811463117347967932405617895109526036428545419147214169184669776299/55953743086145843897157907485961914062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1301505831369596836728209345866629492595464008520918194755800292662543101885892191732513961034381661252906471166735364121023009635790658368585118210945710837242262444707880099836740034867266931/391676201603020907280105352401733398437500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "77146626810725293715371275335229728847718068307202517784824994222316685308591673498480216134109360587747556337263994580475966469806818352104095783691984823975237909548350670301216571445908018220645691/5483466822442292701921474933624267578125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "41427021918359033163839297939176233711902089240049740281239948515072506545200774585640403199355347343863700681597550518757669956649854276102303454195388135237053086909924976661332541225693539454601070984771/1919213387854802445672516226768493652343750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "929347070125630631682579729837006030097328753083846420320927694522092679389493864902715822538083429446651938714532135031170427103604810431036445926267995857351095710751495659841759704190989150435346992383358585899/13434493714983617119707613587379455566406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "50186735223020604917195247416508395228942186547289639737436384815464297002050380072911232620065488870987703639385221123124762929734323276268932632609329645192716205386419120004418780420441214685031963193975999989527173939/188082912009770639675906590223312377929687500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "320479339464596968415398329887675828289995317128717233632616891057870841045015614237359271079523267144087063498904434217131191712899721934259848008685930441277205441270231561630430669905311104717290999091078214091335787857932091/1316580384068394477731346131563186645507812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1979315792057890767990575486150652822598528588011506126513560963243760723081734025262873277706373679895959875225453903324584075471329510063992465846998202000813402184761703480498123952484515294300717096884299564832222577700210824123493/2633160768136788955462692263126373291015625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "10172666301588072152756068939378889325193325822352930699059395091773365597105894006744667714858890993359439485520483897134232228674880545021719364273338036489304257841191751880856962298968387407599734632033230740310267598557527744364539/5266321536273577910925384526252746582031250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "contraction_gamma": "15121/500000",
      "contraction_slack": [
        "2708661/500000000000",
        "206439/43750000000",
        "1897293/437500000000",
        "2089239/1750000000000",
        "4767351/1750000000000",
        "13718473/3500000000000",
        "11939457/7000000000000",
        "789/320000000",
        "13920477/700000000000",
        "20449273/1750000000000",
        "19056021/1750000000000",
        "10022287/1750000000000",
        "10650603/1750000000000",
        "17197413/7000000000000",
        "18420859/3500000000000",
        "3989163/140000000000",
        "2284519/109375000000",
        "45516591/3500000000000",
        "5832753/500000000000",
        "75483689/7000000000000",
        "10377083/1750000000000",
        "58643797/1750000000000",
        "2687277/109375000000",
        "31866147/1750000000000",
        "107166543/7000000000000",
        "168431189/14000000000000",
        "57999567/1750000000000",
        "102627863/3500000000000",
        "6591263/250000000000",
        "241303323/14000000000000",
        "65984469/1750000000000",
        "26939813/875000000000",
        "7205311/250000000000",
        "271254393/7000000000000",
        "238182713/7000000000000",
        "75035901/2000000000000"
      ],
      "founder_weight_ratio": "16479111/1000000",
      "scope": "Fresh endpoint sign certificates. A global first-crossing/uniqueness assertion is not inferred from bisection or endpoint checks."
    },
    "8": {
      "intrinsic_erasure_bracket": [
        "112643/250000",
        "450573/1000000"
      ],
      "amplitude_bracket": [
        "110143/250000",
        "440573/1000000"
      ],
      "lower_collatz": [
        "6962309/231521227640000",
        "629270999/20744481460000000"
      ],
      "upper_collatz": [
        "-3156561593/10372239668000000",
        "-3040152513/10000000000000000"
      ],
      "lower_weights": [
        "3159219601/1000000000",
        "21759344799/10000000000",
        "16888353641/10000000000",
        "7105357963/5000000000",
        "1575876419/1250000000",
        "5788030691/5000000000",
        "10873774183/10000000000",
        "1037224073/1000000000",
        "1",
        "120405549167/10000000000",
        "72348826281/10000000000",
        "49272193389/10000000000",
        "18188979761/5000000000",
        "14278326931/5000000000",
        "2351786069/1000000000",
        "20111032259/10000000000",
        "2214203667/1250000000",
        "20530273049/1250000000",
        "11756585967/1000000000",
        "16157046097/2000000000",
        "59249949921/10000000000",
        "11428433017/2500000000",
        "36752135569/10000000000",
        "6112998311/2000000000",
        "47236519111/2500000000",
        "36944554601/2500000000",
        "56563607957/5000000000",
        "20802727787/2500000000",
        "64020000117/10000000000",
        "51114901629/10000000000",
        "102102408699/5000000000",
        "42225463627/2500000000",
        "137540000499/10000000000",
        "54784234491/5000000000",
        "83857708369/10000000000",
        "214323490209/10000000000",
        "18421567497/1000000000",
        "78144144087/5000000000",
        "130604711323/10000000000",
        "55355080529/2500000000",
        "195658417489/10000000000",
        "170932688871/10000000000",
        "45324902067/2000000000",
        "6388469489/312500000",
        "115289858857/5000000000"
      ],
      "upper_weights": [
        "789801911/250000000",
        "21759289541/10000000000",
        "8444162717/5000000000",
        "7105350243/5000000000",
        "6303501293/5000000000",
        "11576056429/10000000000",
        "543688579/500000000",
        "2593059917/2500000000",
        "1",
        "120404934317/10000000000",
        "7234850939/1000000000",
        "49272010219/10000000000",
        "4547230723/1250000000",
        "28556579269/10000000000",
        "23517809601/10000000000",
        "4022199209/2000000000",
        "4428400741/2500000000",
        "164241368847/10000000000",
        "23513063429/2000000000",
        "16156978797/2000000000",
        "7406216183/1250000000",
        "45713581187/10000000000",
        "4594003561/1250000000",
        "1222596529/400000000",
        "188945167341/10000000000",
        "9236095907/625000000",
        "113126720581/10000000000",
        "83210575557/10000000000",
        "64019764179/10000000000",
        "5111473029/1000000000",
        "204203859569/10000000000",
        "168901077809/10000000000",
        "13753938821/1000000000",
        "21913600757/2000000000",
        "20964344391/2500000000",
        "107161252259/5000000000",
        "92107417467/5000000000",
        "31257517777/2000000000",
        "13060414399/1000000000",
        "221419319211/10000000000",
        "24457191597/1250000000",
        "170931923981/10000000000",
        "113311748053/5000000000",
        "25553763313/1250000000",
        "7205584239/312500000"
      ],
      "published_weight_collatz": [
        [
          "-567173/355268000000",
          "1476553/1087377000000"
        ],
        [
          "-17809/7235037500",
          "2377837/1771360000000"
        ]
      ],
      "lower_M_matrix": {
        "subcritical": false,
        "leading_minors": [
          "9/25",
          "3697251/6250000",
          "1057879074393/781250000000",
          "713489314060284597/195312500000000000",
          "516721749130836563513859/48828125000000000000000",
          "150566800881580285723160983299/4882812500000000000000000000",
          "422419075398483838380000346079843793/4882812500000000000000000000000000",
          "2275107659802769045641354610714205691171219/9765625000000000000000000000000000000000",
          "25482111760373482533709200281821100247508424493201/39062500000000000000000000000000000000000000000",
          "1705179662331449390746392715853560850370056552227872999/1953125000000000000000000000000000000000000000000000",
          "311331578750429240137479117677756147874461601125160648591741/122070312500000000000000000000000000000000000000000000000",
          "280659632087241844629464136382424276726700977828706906642490421889/30517578125000000000000000000000000000000000000000000000000000",
          "282223714934255625351694117321081216808168349452581622484934152372153633/7629394531250000000000000000000000000000000000000000000000000000000",
          "119372855927186213901281443033327764466175686853271429099573839847123687308913/762939453125000000000000000000000000000000000000000000000000000000000000",
          "511079450919917395760326545761575943982342055140548506113608828244670301523619413291/762939453125000000000000000000000000000000000000000000000000000000000000000000",
          "4341168521168599386277074154737575368255918662728951123910299811179480152013221317377509953/1525878906250000000000000000000000000000000000000000000000000000000000000000000000000",
          "73296611888360930221168713349653739448618044606764277886097956069975504401153591670676891716296587/6103515625000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "16988379550307231120952531523891885844228853916267802456291726674143173206976743851863373859449798506691/762939453125000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "13988681921783449535639226927948339336080872079881028170480325211518557895556377584383333192080160759408087939/190734863281250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "14700366794926386836285898325054789029775501756253629405416992641955946147629477492205218112714983668625573374196733/47683715820312500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "6762681831863783424796083665956979869303829427605979443474106753600892669327440666663872242765360274987999510912907773013/4768371582031250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "32463868337204875471704808349831122015047295866163678719522748483315504689571478158324112288765791203697274100526389031054391991/4768371582031250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "317842306589045169185166547447043180628273689333598098408585246034738224322603336633200412572939594157362299082739646218827453640502053/9536743164062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "6308779134394768406150225108432189977890148239507636304262645016012596535740140447333075132116452790576961885024848081055622999584576117382487/38146972656250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "3384596945898844834327961194140049108629683684315442422231704512483157478509661839713200143166966604247240987925132322942238803096009471517792359423/9536743164062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "3073624211697627251505422948861893631461712268123891021967748846419797368084347244802806184759637270690737174540140150033857428552374503560505613584379331/2384185791015625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1311029359804080105679539854009562836505646747553075949618091366304666295875118557610901938634134115406454130305424472354484953300323220453097961509558704766291/238418579101562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "6455147883078302499655703055587885520556147438573391857314574735945249127185186510214792142725621610742709691436626262958691671068687878726771414762240793593719990337/238418579101562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "67083327341179997467197002960422520508138211395345419029184689568335228003695982203097052561515326732723815108538955719463752861347766580911739596970183563068253873225185571/476837158203125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1446019352763592750396441382923063008481894248427328159397986019093118973968952700232522797327485193978483593730562480368519406132438886882685649681985237160675704238020454964822209/1907348632812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "798070500434287363222116749816501867169726687912820768051909317513963068798177826117421340496860304287912891760147408143235504332618869742431300189548685953399192538423388882991133477923/476837158203125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "301953360972238170254868851858673075105399856849119823793160834233246642987635538483316137022694178772452430486877916495109510803375540749559110349028071947233102530912496622210273728552372603/47683715820312500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1326262116575496342324095987900080429016728726636276957654144738117377759592975286515742081318423867216244774357673109151252094044260122424541338237579936507017237846007993346964503995595755680706121/47683715820312500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "12898337943031575052304090139915513942680012964666999362790643525997406261568380870882101770050196973499694723179263649287572087393438577729408819949428793976236064229214877129031806085543081442325896018843/95367431640625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "284239721908105056103543362602505657226182156497950015684361012980952319986485111119272745579491782985653940723638213965988925279323280881844955653050852549956079547280288631604912325552809242257575624261588337897/381469726562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "57716284458713887090934456646867657076981693161577769816484103953469882228716103029876364247384935907775276673216487872444395713103889870603877887612698800971997564708066848797932701146698287077056465663095922197104417/38146972656250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "218572986104113718051452558271380031976365643059921181355952413399376273468905079459531167274182282682209719753119899872163888798057500302913153008343988266193398290586330627277301264954809381720540134331493796859336080119019/38146972656250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1955246994079796164681608489049246920673984073042354215808876783747367436282269394467901497704293970331998257184871883083524489829144522818888764040385192061108459369387300857103160951298306953799655052941433458754375492467150839777/76293945312500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "39456078928862951420625784902312642719462643699732979470510132030095245646234464102334214590928814422339477848107968046907627574383987630965563915924590197373260244972140515962598107154571221324648269486065950353685432520066930072234135083/305175781250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "63429134242115193490840379401864937521419000133898258122348420012632380740563962784064410703895259115932356781342149879285536810444784329737703119639997397947228341899636685825135253010944364737476443638895578668709551478304353357319291455907481/305175781250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "472278594026521679443342850880283636275030904247473555175233345825196429337766583135922425691452059265352388650492958634736886440419134279949532675066089727280805281658741378586948818881692798835298526948497273459871151500949399571030569597033436559723/610351562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "8662958580819840154458769199999795032442177542987485860748567990441081242744976464724053579213395754207182366850222659632555012353512366114580208264419058852131870622480650109252783603464300106610079839229180570939718834756312004972663326936094626586198875417/2441406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "16157696791370698315199471155319457313480499884465593714782455710430808109083154778567969204536761618911716134719301230564892325696123016952574042299291465072339362844091607699387409609767026203064016810926589120059585064135521270677265797525414796474015133464971211/4882812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "239129719596416430975739998346071080530568371040482722591720166428897025472341009416780387259874718522438367306597192290385412785008798948608351104389429205148197852858124387726220611925148170280491796672448691901763144413267608028937472757169981376411111214519445531891769/19531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "-2389933148757870123819782198267058741271788309893779256900474981316622226558049573488185545357667809691736413607036278540890807955873983480433937876070266328076379087715563230113899678811927692884080527947655702031903250551102086500613340649854413501321029598490862598318349/78125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "upper_M_matrix": {
        "subcritical": true,
        "leading_minors": [
          "9/25",
          "14789011/25000000",
          "16926081523303/12500000000000",
          "45663384942130637857/12500000000000000000",
          "64590358894502239531453/6103515625000000000000",
          "1204538111827909274307707521083/39062500000000000000000000000",
          "3379367572920064900495784597733605979/39062500000000000000000000000000000",
          "18200980080032859248441746723414416576269163/78125000000000000000000000000000000000000",
          "203858802661012284232791925040221559806886717358393/312500000000000000000000000000000000000000000000",
          "54566289734117230308733962505330300943127743545437204027/62500000000000000000000000000000000000000000000000000",
          "79701725009718795030199147946975485346988770058331971402937971/31250000000000000000000000000000000000000000000000000000000",
          "287398699294314627709598517919574855586604757635548856954778120182149/31250000000000000000000000000000000000000000000000000000000000000",
          "36125071564074824455936229595486174216821078495883867478249155469575179469/976562500000000000000000000000000000000000000000000000000000000000000",
          "122239398171619649947942666469550060451306470373771250999251051506913955314283073/781250000000000000000000000000000000000000000000000000000000000000000000000",
          "523352806459815516627063798751460225279857278368773991323268154646884707381712963318849/781250000000000000000000000000000000000000000000000000000000000000000000000000000",
          "4445426499486949039230530486771261341921505127187910914088984619857662847987810545538231393553/1562500000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "75057049119672940159299034923741351882033567555464760327036774668727568320605648017549438850959054683/6250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "69585660671911463628580074200803221448391998461441161267750151092428875081803675047766871285132783599794359/3125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "229194884131260373866968367939424408518507042495624069152979073674554173823519016803629965751961360505952708883121/3125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "30106943158012812119606033218543453277351430019891815874782676653666558145611048626533469359166791436574481911749393151/97656250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "27700515836830615753809138740385298206048391143976748197003934165107864111068701340142861549179355512015662324081889068181273/19531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "132974897615159480436814960089550339139762835620785205451752345207446607364431120220176176900511418733585108519822299088573722355449/19531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1301912189297672807184433597797060485230411767237988779973840172057850349708057345902196056347045259016040787893030563923280488061354623753/39062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "25841398004938914435146228346741071005816390597674412197972383077274316174206657295873671218135494015463268114555263018662779416334112023526626883/156250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "55454635474942077740770689035725729872060186372197204127838577667934084678152674343521131012344791775548614276612254480179795444906721747314367016421877/156250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "25179786829983418226775891696130876472976125749482688998264783241635144404400298861979192369539992968332648125612470318475526480915659057219498361538547098073/19531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "21480487754576410861165836847379843089489137000557001676875356605997431640241000273922788215183477525060334311981234163199839376820648686294715176781991157331744079/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "105764132255313495594558815430464733184013109825438371589454954750304769847990562424974761138074602641485332927706710015871489043520982226579870227121984908074205368387727/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1099125746426044658785416533177143989498761320173286230093338815287885542328548586729381999758824382106229577942997727533386769149325902789584677964782398028563688480632290969119/7812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "23692317035242208333347864862434311544382662882194898422852891685891152613826048440795071372440284871165211351173341787533473341736614317322779062090756813287973189937761138366148829109/31250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "3269000274878345286608908844566226019290616584531877999964731338855836902218225410356510546338749522394558056586467385421731966773470446814708786379972175907328357112553068648034463113079083/1953125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "2473682860652196971743788028221330744649643913050017959730672113782403644831584516856886996745817739718818366188953050856014914385713188701129210932513800985684482653892366459461328083001849890309/390625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "10865108328530692764234164343684319116886655309004233321823353645709453253325330444225915534591663203264835665751938284064905029082748255447475304687823127008011092021392336562475749697419251020676992717/390625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "105666923374565304407329749030500994444095329622568540758382370523591285512079709170084274732102638836269251076894910945855107343167134866854467658176666801470699630696559672504470938235777188441099112033645149/781250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "2328577603572458265478993070449247130386005621313658707839904898694422637115427597719003843443931662942525457574112442023659630601754347517837866219023152573804323101534487299163162297117294490523699535358469340121439/3125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "945659268962004537226023547077222072696264903629668921237920902229748898514462816824972032013111458621843355886957947156770704844292919367759939395859008247587965881390743589980430663968340869220626087172564592189739684297/625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "3581239661801071403836347609393522316654588877289316332955310976669893844710354192726179531256785494789469559892086554329670356652988312931114580579470842161374549341954923681158043042324169913846817814653086235899022800014567961/625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "32036066777195438526064878871028277567027535313651994036186465176756632680043923488290674217473043743592880713324506320417102091657514432325279674902328788981570812842948410858517344467163545536233297122049784414910171351664984671035017/1250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "646475669913518970799125960774913068773197189538907870469576114335622531916540374474921398105144713315314974436122873816254314782607219397519595395251532424421945335883910847579340573604931170530836305924582491287785759200337703086046445003587/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1039268614747805457145511542954129231153386884061793319115689959011960948440593999980384321775257676729958655779215842548854627002076310779964538812603397943622069845728453003521231065646153373115378508575358881892295408526982971125721518735972940731/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "7738166247386045098766625238816936064895029332673271396850446637047268680965291534782774957285247666763484691281332619766665337339889760786945871605935303739447240676538205757468716085907980675712031445937329483783574538921640829707785080036018090813589707/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "141940653324571627730273036014842467595846334369385289029389306506195211759518853383474815193789268705687983069429863137455531069205788906448012612338198902943636383770551661864297454818511214696377193544081562990758388156539114110128839449587444032860522418593177/40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "264742098067514259689127388292173601767873507372663858148966611993878479798029080334854139454889669869375234141815566287526290547152180760042703851425833073819287728171389853353888980993056570995780402798307343586594850433242445440518942865539821892481883485415763897769/80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "3918123964846308749042718573039446779558902804597077971636418678141981096826881218804445906426730010808033615400602718054036377187631610359264914980462267468330149307133710052296509037348380079999983218608299881249402940991818527804938467300041349551275253881800857537568484259/320000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "394516155197403973766820139304240476160545893333188841753971259585046042341073149139190627117785666257532235208580068109348433712112664128246008438960094678428823863476747345118676628601367507472103854317575740890524519935584397151166826646494235124744766394723690546329279783649/1280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "contraction_gamma": "2127/125000",
      "contraction_slack": [
        "739179/125000000000",
        "196731/62500000000",
        "290087/62500000000",
        "361871/125000000000",
        "928599/250000000000",
        "249733/250000000000",
        "2127843/1000000000000",
        "690147/400000000000",
        "957/256000000",
        "2666869/125000000000",
        "3101773/250000000000",
        "566797/62500000000",
        "17231/3125000000",
        "3323013/500000000000",
        "5142151/1000000000000",
        "4955821/2000000000000",
        "650699/100000000000",
        "3337037/125000000000",
        "1221081/62500000000",
        "3681581/250000000000",
        "5166197/500000000000",
        "4383771/500000000000",
        "4964017/500000000000",
        "6790673/2000000000000",
        "4221471/125000000000",
        "1403331/50000000000",
        "9206657/500000000000",
        "910469/50000000000",
        "8824851/1000000000000",
        "16936297/2000000000000",
        "8957383/250000000000",
        "3533877/125000000000",
        "25501639/1000000000000",
        "8407421/500000000000",
        "39023429/2000000000000",
        "9314597/250000000000",
        "32079671/1000000000000",
        "55704103/2000000000000",
        "103787781/4000000000000",
        "627499/15625000000",
        "66287441/2000000000000",
        "65490187/2000000000000",
        "76857573/2000000000000",
        "147204271/4000000000000",
        "81905611/2000000000000"
      ],
      "founder_weight_ratio": "18558227/1000000",
      "scope": "Fresh endpoint sign certificates. A global first-crossing/uniqueness assertion is not inferred from bisection or endpoint checks."
    }
  },
  "exposure": {
    "2": {
      "q": [
        "1875731443/2000000000",
        "4897386333/5000000000",
        "492564707/500000000",
        "1277943627/5000000000",
        "7257256561/10000000000",
        "88600353/400000000"
      ],
      "c": "916533/1000000",
      "eta": "311399647/400000000",
      "residuals": {
        "baseline_residual": [
          "-15458541137751/40000000000000000000",
          "-12768873431481/100000000000000000000",
          "-16831772629043/250000000000000000000",
          "-462996954636239/100000000000000000000",
          "-3235164214263221/2000000000000000000000",
          "-60312280965417109/2000000000000000000000"
        ],
        "control_slack": [
          "113896233352881/2000000000000000",
          "302106537556511/5000000000000000",
          "12466838799169/500000000000000",
          "2513214809/5000000000000000",
          "4677668074376987/10000000000000000",
          "258137778343851/400000000000000"
        ],
        "continuation_residual": [
          "-15458541137751/40000000000000000000",
          "-12768873431481/100000000000000000000",
          "-16831772629043/250000000000000000000",
          "-462996954636239/100000000000000000000",
          "-3235164214263221/2000000000000000000000",
          "-60312280965417109/2000000000000000000000"
        ]
      },
      "necessary_one_founder_point01": 4.751364942330638
    },
    "3": {
      "q": [
        "1132195731/1250000000",
        "4852683437/5000000000",
        "9805771913/10000000000",
        "9838906831/10000000000",
        "915256703/5000000000",
        "6735726451/10000000000",
        "8489908467/10000000000",
        "744216409/5000000000",
        "3939812927/10000000000",
        "282268699/2000000000"
      ],
      "c": "5529/6250",
      "eta": "1717731301/2000000000",
      "residuals": {
        "baseline_residual": [
          "-13891830375639/15625000000000000000",
          "-52115077577659/187500000000000000000",
          "-8107017911227/60000000000000000000",
          "-161893295531213/2000000000000000000000",
          "-1445049907795321/187500000000000000000",
          "-1372225736710427/500000000000000000000",
          "-2469199004015479/2000000000000000000000",
          "-149673766190159/4000000000000000000",
          "-2310586831085291/150000000000000000000",
          "-54229145513241729/1000000000000000000000"
        ],
        "control_slack": [
          "651339803301/7812500000000",
          "2838891483077/31250000000000",
          "2328950080523/62500000000000",
          "1511963843901/62500000000000",
          "6807863/31250000000000",
          "30145497339921/62500000000000",
          "22052424748457/62500000000000",
          "21392223799639/31250000000000",
          "13878980957867/62500000000000",
          "9208251401979/12500000000000"
        ],
        "continuation_residual": [
          "-13891830375639/15625000000000000000",
          "-52115077577659/187500000000000000000",
          "-8107017911227/60000000000000000000",
          "-161893295531213/2000000000000000000000",
          "-1445049907795321/187500000000000000000",
          "-1372225736710427/500000000000000000000",
          "-2469199004015479/2000000000000000000000",
          "-149673766190159/4000000000000000000",
          "-2310586831085291/150000000000000000000",
          "-54229145513241729/1000000000000000000000"
        ]
      },
      "necessary_one_founder_point01": 5.033717008665937
    },
    "4": {
      "q": [
        "881050017/1000000000",
        "4822069363/5000000000",
        "489145499/500000000",
        "9829806487/10000000000",
        "4925661221/5000000000",
        "1675280921/10000000000",
        "1644778023/2500000000",
        "2096906807/2500000000",
        "4557625291/5000000000",
        "328472161/2500000000",
        "3826825239/10000000000",
        "6720331087/10000000000",
        "307572577/2500000000",
        "2469253573/10000000000",
        "599525553/5000000000"
      ],
      "c": "857113/1000000",
      "eta": "4400474447/5000000000",
      "residuals": {
        "baseline_residual": [
          "-14163264299711/10000000000000000000",
          "-21190053670829/50000000000000000000",
          "-96296945600081/500000000000000000000",
          "-43460594974077/400000000000000000000",
          "-140319558130353/2000000000000000000000",
          "-991213573174343/100000000000000000000",
          "-3519307419948857/1000000000000000000000",
          "-1541607537682519/1000000000000000000000",
          "-6424389386337469/8000000000000000000000",
          "-79712938410322279/2000000000000000000000",
          "-33728621141094181/2000000000000000000000",
          "-30245448063735079/4000000000000000000000",
          "-56896791845341067/1000000000000000000000",
          "-255646903165579881/8000000000000000000000",
          "-5293652631173811/80000000000000000000"
        ],
        "control_slack": [
          "101953576779079/1000000000000000",
          "569325940070981/5000000000000000",
          "23180659315613/500000000000000",
          "286564593507969/10000000000000000",
          "106748643885027/5000000000000000",
          "5694958927/10000000000000000",
          "1192723008622401/2500000000000000",
          "900933295931809/2500000000000000",
          "1113322192455117/5000000000000000",
          "1680548602168807/2500000000000000",
          "2299471227924993/10000000000000000",
          "5263466275028169/10000000000000000",
          "1816459293809799/2500000000000000",
          "3620948929285251/10000000000000000",
          "3709225450691511/5000000000000000"
        ],
        "continuation_residual": [
          "-14163264299711/10000000000000000000",
          "-21190053670829/50000000000000000000",
          "-96296945600081/500000000000000000000",
          "-43460594974077/400000000000000000000",
          "-140319558130353/2000000000000000000000",
          "-991213573174343/100000000000000000000",
          "-3519307419948857/1000000000000000000000",
          "-1541607537682519/1000000000000000000000",
          "-6424389386337469/8000000000000000000000",
          "-79712938410322279/2000000000000000000000",
          "-33728621141094181/2000000000000000000000",
          "-30245448063735079/4000000000000000000000",
          "-56896791845341067/1000000000000000000000",
          "-255646903165579881/8000000000000000000000",
          "-5293652631173811/80000000000000000000"
        ]
      },
      "necessary_one_founder_point01": 5.223867375163752
    },
    "5": {
      "q": [
        "268849067/312500000",
        "4795996049/5000000000",
        "2441510437/2500000000",
        "9826138921/10000000000",
        "394147951/400000000",
        "9868619497/10000000000",
        "1636411417/10000000000",
        "6473548291/10000000000",
        "82943599/100000000",
        "2265607359/2500000000",
        "9414635449/10000000000",
        "1250639981/10000000000",
        "233403821/625000000",
        "3255055541/5000000000",
        "7985510361/10000000000",
        "289843433/2500000000",
        "239368649/1000000000",
        "863928921/2000000000",
        "140745657/1250000000",
        "218429219/1250000000",
        "1111363029/10000000000"
      ],
      "c": "832987/1000000",
      "eta": "8888636971/10000000000",
      "residuals": {
        "baseline_residual": [
          "-3814645287147/1953125000000000000",
          "-8913484413717/15625000000000000000",
          "-123442613596671/500000000000000000000",
          "-66217674262933/500000000000000000000",
          "-81645448119357/1000000000000000000000",
          "-445025107581801/8000000000000000000000",
          "-365441936402061/31250000000000000000",
          "-834678618559323/200000000000000000000",
          "-112878106508257/62500000000000000000",
          "-1466853928242311/1600000000000000000000",
          "-8427099556697013/16000000000000000000000",
          "-82253290880124847/2000000000000000000000",
          "-4461268490945599/250000000000000000000",
          "-32750895748966393/4000000000000000000000",
          "-64840984704003199/16000000000000000000000",
          "-232109336724553361/4000000000000000000000",
          "-52853222061407831/1600000000000000000000",
          "-140698264818592283/8000000000000000000000",
          "-538345017713649077/8000000000000000000000",
          "-18098926486832219/400000000000000000000",
          "-72385393239960259/1000000000000000000000"
        ],
        "control_slack": [
          "36360659726871/312500000000000",
          "664343616131637/5000000000000000",
          "135745870614681/2500000000000000",
          "325115537612973/10000000000000000",
          "9284257380363/400000000000000",
          "184041861052461/10000000000000000",
          "1835987421/10000000000000000",
          "4656181496724783/10000000000000000",
          "35907173999787/100000000000000",
          "580370803598667/2500000000000000",
          "1457361787243837/10000000000000000",
          "6516560282146753/10000000000000000",
          "139047454169173/625000000000000",
          "2444917178069033/5000000000000000",
          "3950403367921693/10000000000000000",
          "1772582001525629/2500000000000000",
          "354794909175437/1000000000000000",
          "402435799682973/2000000000000000",
          "907290209412541/1250000000000000",
          "613842243152847/1250000000000000",
          "7331107909562377/10000000000000000"
        ],
        "continuation_residual": [
          "-3814645287147/1953125000000000000",
          "-8913484413717/15625000000000000000",
          "-123442613596671/500000000000000000000",
          "-66217674262933/500000000000000000000",
          "-81645448119357/1000000000000000000000",
          "-445025107581801/8000000000000000000000",
          "-365441936402061/31250000000000000000",
          "-834678618559323/200000000000000000000",
          "-112878106508257/62500000000000000000",
          "-1466853928242311/1600000000000000000000",
          "-8427099556697013/16000000000000000000000",
          "-82253290880124847/2000000000000000000000",
          "-4461268490945599/250000000000000000000",
          "-32750895748966393/4000000000000000000000",
          "-64840984704003199/16000000000000000000000",
          "-232109336724553361/4000000000000000000000",
          "-52853222061407831/1600000000000000000000",
          "-140698264818592283/8000000000000000000000",
          "-538345017713649077/8000000000000000000000",
          "-18098926486832219/400000000000000000000",
          "-72385393239960259/1000000000000000000000"
        ]
      },
      "necessary_one_founder_point01": 5.3870694370591625
    },
    "6": {
      "q": [
        "4212619337/5000000000",
        "4773147789/5000000000",
        "9752308689/10000000000",
        "4912210821/5000000000",
        "2464370371/2500000000",
        "4937645901/5000000000",
        "9885988153/10000000000",
        "328250283/2000000000",
        "6415199829/10000000000",
        "2060072149/2500000000",
        "451517829/500000000",
        "9397924247/10000000000",
        "9585035787/10000000000",
        "38397217/312500000",
        "1849851503/5000000000",
        "642160351/1000000000",
        "7918416307/10000000000",
        "1741426109/2000000000",
        "45141237/400000000",
        "1186709959/5000000000",
        "4313270797/10000000000",
        "3277048449/5000000000",
        "1092129559/10000000000",
        "172326921/1000000000",
        "37018137/125000000",
        "538289013/5000000000",
        "1403835703/10000000000",
        "1069117103/10000000000"
      ],
      "c": "202901/250000",
      "eta": "8930882897/10000000000",
      "residuals": {
        "baseline_residual": [
          "-620594033680431/250000000000000000000",
          "-178816699804107/250000000000000000000",
          "-59629410860753/200000000000000000000",
          "-307244431992783/2000000000000000000000",
          "-2183883203585951/24000000000000000000000",
          "-179374130297621/3000000000000000000000",
          "-678915129041381/16000000000000000000000",
          "-3952883675432887/300000000000000000000",
          "-1771341600675697/375000000000000000000",
          "-24308288750443111/12000000000000000000000",
          "-24183214853720929/24000000000000000000000",
          "-4520782136748983/8000000000000000000000",
          "-16675676307891803/48000000000000000000000",
          "-251295304613948557/6000000000000000000000",
          "-36951821239662127/2000000000000000000000",
          "-34356333220530873/4000000000000000000000",
          "-51373575933083041/12000000000000000000000",
          "-859392504949313/375000000000000000000",
          "-23415542748704927/400000000000000000000",
          "-40293208556694313/1200000000000000000000",
          "-869736131574833869/48000000000000000000000",
          "-12546066488567853/1280000000000000000000",
          "-812990399002729489/12000000000000000000000",
          "-1097372571240219791/24000000000000000000000",
          "-2758520720516428391/96000000000000000000000",
          "-3496960448519231653/48000000000000000000000",
          "-210335517362580071/3840000000000000000000",
          "-605762854408914037/8000000000000000000000"
        ],
        "control_slack": [
          "159760323903363/1250000000000000",
          "186160653464111/1250000000000000",
          "153263370193211/2500000000000000",
          "44854869583279/1250000000000000",
          "15494247853729/625000000000000",
          "23783157791199/1250000000000000",
          "39177644268147/2500000000000000",
          "326379017/500000000000000",
          "1138072705746071/2500000000000000",
          "222896640958251/625000000000000",
          "29538817103071/125000000000000",
          "374840130109453/2500000000000000",
          "245522075031913/2500000000000000",
          "12292445978527/19531250000000",
          "269168082189797/1250000000000000",
          "117766793521749/250000000000000",
          "988994874143393/2500000000000000",
          "141128378457791/500000000000000",
          "68995797301463/100000000000000",
          "431975328733941/1250000000000000",
          "542518946767903/2500000000000000",
          "678278602149451/1250000000000000",
          "1771014454349341/2500000000000000",
          "118699115877179/250000000000000",
          "8692495959563/31250000000000",
          "895565912848287/1250000000000000",
          "1426692867525597/2500000000000000",
          "1800893686184197/2500000000000000"
        ],
        "continuation_residual": [
          "-620594033680431/250000000000000000000",
          "-178816699804107/250000000000000000000",
          "-59629410860753/200000000000000000000",
          "-307244431992783/2000000000000000000000",
          "-2183883203585951/24000000000000000000000",
          "-179374130297621/3000000000000000000000",
          "-678915129041381/16000000000000000000000",
          "-3952883675432887/300000000000000000000",
          "-1771341600675697/375000000000000000000",
          "-24308288750443111/12000000000000000000000",
          "-24183214853720929/24000000000000000000000",
          "-4520782136748983/8000000000000000000000",
          "-16675676307891803/48000000000000000000000",
          "-251295304613948557/6000000000000000000000",
          "-36951821239662127/2000000000000000000000",
          "-34356333220530873/4000000000000000000000",
          "-51373575933083041/12000000000000000000000",
          "-859392504949313/375000000000000000000",
          "-23415542748704927/400000000000000000000",
          "-40293208556694313/1200000000000000000000",
          "-869736131574833869/48000000000000000000000",
          "-12546066488567853/1280000000000000000000",
          "-812990399002729489/12000000000000000000000",
          "-1097372571240219791/24000000000000000000000",
          "-2758520720516428391/96000000000000000000000",
          "-3496960448519231653/48000000000000000000000",
          "-210335517362580071/3840000000000000000000",
          "-605762854408914037/8000000000000000000000"
        ]
      },
      "necessary_one_founder_point01": 5.53484254838602
    },
    "7": {
      "q": [
        "8269699321/10000000000",
        "1900771211/2000000000",
        "9739232783/10000000000",
        "9822564461/10000000000",
        "9860776527/10000000000",
        "988126063/1000000000",
        "309171461/312500000",
        "9901375413/10000000000",
        "1663692449/10000000000",
        "1274307851/2000000000",
        "256142453/312500000",
        "4501444459/5000000000",
        "9384684681/10000000000",
        "9580428891/10000000000",
        "4844693729/5000000000",
        "1224010173/10000000000",
        "1837785231/5000000000",
        "6354151479/10000000000",
        "62840329/80000000",
        "8669417469/10000000000",
        "9119027311/10000000000",
        "557356153/5000000000",
        "2360085937/10000000000",
        "4282557867/10000000000",
        "1286271513/2000000000",
        "3863716859/5000000000",
        "537581179/5000000000",
        "1710878639/10000000000",
        "294755937/1000000000",
        "573338813/1250000000",
        "529248309/5000000000",
        "694855297/5000000000",
        "1074320061/5000000000",
        "1050667157/10000000000",
        "1228771501/10000000000",
        "1046624423/10000000000"
      ],
      "c": "396219/500000",
      "eta": "8953375577/10000000000",
      "residuals": {
        "baseline_residual": [
          "-2996946252138959/1000000000000000000000",
          "-1203001518665883/1400000000000000000000",
          "-610870803322053/1750000000000000000000",
          "-304484348556923/1750000000000000000000",
          "-2796507886294011/28000000000000000000000",
          "-1418920308258501/22400000000000000000000",
          "-9794452859593181/224000000000000000000000",
          "-257222669409959/8000000000000000000000",
          "-101071598063110097/7000000000000000000000",
          "-1459445656131563/280000000000000000000",
          "-62327140504496169/28000000000000000000000",
          "-30574818878076743/28000000000000000000000",
          "-2402182235536847/4000000000000000000000",
          "-81088618347947933/224000000000000000000000",
          "-104877361613868533/448000000000000000000000",
          "-42381910292594933/1000000000000000000000",
          "-531084281734876351/28000000000000000000000",
          "-62425396573372691/7000000000000000000000",
          "-100240120107087847/22400000000000000000000",
          "-134350041993063273/56000000000000000000000",
          "-43851758573977833/32000000000000000000000",
          "-1645611995025233201/28000000000000000000000",
          "-135798349385645367/4000000000000000000000",
          "-9263619572795829/500000000000000000000",
          "-2269191281088308077/224000000000000000000000",
          "-127356413066967583/22400000000000000000000",
          "-543322266061861719/8000000000000000000000",
          "-5153669450668681641/112000000000000000000000",
          "-1631292681991799077/56000000000000000000000",
          "-1125765754709238587/64000000000000000000000",
          "-2044723930543695931/28000000000000000000000",
          "-1760938724422645601/32000000000000000000000",
          "-8729801912252692969/224000000000000000000000",
          "-17006460751149155387/224000000000000000000000",
          "-27610776937435569281/448000000000000000000000",
          "-310378904558268337/4000000000000000000000"
        ],
        "control_slack": [
          "685578004732701/5000000000000000",
          "162732004948791/1000000000000000",
          "338697653952523/5000000000000000",
          "195300848827041/5000000000000000",
          "131587117248587/5000000000000000",
          "9825705194203/500000000000000",
          "2465029331541/156250000000000",
          "66687248736553/5000000000000000",
          "5549669/5000000000000000",
          "445086018184631/1000000000000000",
          "13814374115417/39062500000000",
          "597366108649479/2500000000000000",
          "769345223378861/5000000000000000",
          "505186700736871/5000000000000000",
          "173948322389349/2500000000000000",
          "3037531637264113/5000000000000000",
          "517835249308411/2500000000000000",
          "2280728455142099/5000000000000000",
          "15626881091949/40000000000000",
          "1440687555850289/5000000000000000",
          "1011681142862891/5000000000000000",
          "1678286502164493/2500000000000000",
          "1676539138127797/5000000000000000",
          "1080440716495127/5000000000000000",
          "500327628790653/1000000000000000",
          "1039805309593879/2500000000000000",
          "1728545174837799/2500000000000000",
          "2303750921034059/5000000000000000",
          "136099471097797/500000000000000",
          "114285091226953/625000000000000",
          "1750564589256329/2500000000000000",
          "1387123566827957/2500000000000000",
          "936244683750641/2500000000000000",
          "3522407326720617/5000000000000000",
          "3081562277645281/5000000000000000",
          "3533347948743363/5000000000000000"
        ],
        "continuation_residual": [
          "-2996946252138959/1000000000000000000000",
          "-1203001518665883/1400000000000000000000",
          "-610870803322053/1750000000000000000000",
          "-304484348556923/1750000000000000000000",
          "-2796507886294011/28000000000000000000000",
          "-1418920308258501/22400000000000000000000",
          "-9794452859593181/224000000000000000000000",
          "-257222669409959/8000000000000000000000",
          "-101071598063110097/7000000000000000000000",
          "-1459445656131563/280000000000000000000",
          "-62327140504496169/28000000000000000000000",
          "-30574818878076743/28000000000000000000000",
          "-2402182235536847/4000000000000000000000",
          "-81088618347947933/224000000000000000000000",
          "-104877361613868533/448000000000000000000000",
          "-42381910292594933/1000000000000000000000",
          "-531084281734876351/28000000000000000000000",
          "-62425396573372691/7000000000000000000000",
          "-100240120107087847/22400000000000000000000",
          "-134350041993063273/56000000000000000000000",
          "-43851758573977833/32000000000000000000000",
          "-1645611995025233201/28000000000000000000000",
          "-135798349385645367/4000000000000000000000",
          "-9263619572795829/500000000000000000000",
          "-2269191281088308077/224000000000000000000000",
          "-127356413066967583/22400000000000000000000",
          "-543322266061861719/8000000000000000000000",
          "-5153669450668681641/112000000000000000000000",
          "-1631292681991799077/56000000000000000000000",
          "-1125765754709238587/64000000000000000000000",
          "-2044723930543695931/28000000000000000000000",
          "-1760938724422645601/32000000000000000000000",
          "-8729801912252692969/224000000000000000000000",
          "-17006460751149155387/224000000000000000000000",
          "-27610776937435569281/448000000000000000000000",
          "-310378904558268337/4000000000000000000000"
        ]
      },
      "necessary_one_founder_point01": 5.6718831171844455
    },
    "8": {
      "q": [
        "8132410851/10000000000",
        "4732137667/5000000000",
        "1945328119/2000000000",
        "1964076047/2000000000",
        "9863367277/10000000000",
        "9886315203/10000000000",
        "4949968649/5000000000",
        "619292303/625000000",
        "61966407/62500000",
        "339030183/2000000000",
        "3170779363/5000000000",
        "1020617551/1250000000",
        "8983116957/10000000000",
        "9375696537/10000000000",
        "95783061/100000000",
        "4845697209/5000000000",
        "1951858771/2000000000",
        "307077031/2500000000",
        "733007497/2000000000",
        "63109703/100000000",
        "3906410113/5000000000",
        "216069919/250000000",
        "4552542457/5000000000",
        "9372800959/10000000000",
        "1109611247/10000000000",
        "2357724283/10000000000",
        "4267947459/10000000000",
        "1592036791/2500000000",
        "1535107213/2000000000",
        "8453025207/10000000000",
        "533331969/5000000000",
        "341680747/2000000000",
        "2948373573/10000000000",
        "4589477097/10000000000",
        "6474677853/10000000000",
        "524351713/5000000000",
        "1384460257/10000000000",
        "429784373/2000000000",
        "3318037669/10000000000",
        "520193453/5000000000",
        "122124281/1000000000",
        "336327741/2000000000",
        "518088321/5000000000",
        "284394413/2500000000",
        "1009628/9765625"
      ],
      "c": "775121/1000000",
      "eta": "8755997/9765625",
      "residuals": {
        "baseline_residual": [
          "-3491414537455799/1000000000000000000000",
          "-500755713375383/500000000000000000000",
          "-798091684092099/2000000000000000000000",
          "-31028724612753/160000000000000000000",
          "-432926887260619/4000000000000000000000",
          "-1069680380906407/16000000000000000000000",
          "-287315276772623/6400000000000000000000",
          "-1031444680767409/32000000000000000000000",
          "-3117878617413349/128000000000000000000000",
          "-3105101254284267/200000000000000000000",
          "-2823273420458391/500000000000000000000",
          "-9627082533509399/4000000000000000000000",
          "-4674387687899921/4000000000000000000000",
          "-5064051540407503/8000000000000000000000",
          "-2398852432591581/6400000000000000000000",
          "-15248544838424079/64000000000000000000000",
          "-20532206412449011/128000000000000000000000",
          "-85437915385609251/2000000000000000000000",
          "-77372799328968269/4000000000000000000000",
          "-18349172308989537/2000000000000000000000",
          "-74031242507414651/16000000000000000000000",
          "-39716399697167153/16000000000000000000000",
          "-90500392061507649/64000000000000000000000",
          "-109019593058430853/128000000000000000000000",
          "-235382087603958423/4000000000000000000000",
          "-34176800678213409/1000000000000000000000",
          "-150440575711958723/8000000000000000000000",
          "-41442160030313103/4000000000000000000000",
          "-46752287648652087/8000000000000000000000",
          "-218072402742400151/64000000000000000000000",
          "-271694363599923307/4000000000000000000000",
          "-147678027574631263/3200000000000000000000",
          "-939725305329474029/32000000000000000000000",
          "-571749139730444813/32000000000000000000000",
          "-275205979612636557/25600000000000000000000",
          "-292168280676750461/4000000000000000000000",
          "-881962723172857787/16000000000000000000000",
          "-313250019852048923/8000000000000000000000",
          "-3370606131517818791/128000000000000000000000",
          "-607749302871159871/8000000000000000000000",
          "-394964128011280543/6400000000000000000000",
          "-6086740295205238943/128000000000000000000000",
          "-2485587691031030707/32000000000000000000000",
          "-68136471124368707/1024000000000000000000",
          "-2518144105230532421/32000000000000000000000"
        ],
        "control_slack": [
          "1447607568762029/10000000000000000",
          "873557960917293/5000000000000000",
          "147323427472601/2000000000000000",
          "84089194373313/2000000000000000",
          "277855060884483/10000000000000000",
          "202859103535437/10000000000000000",
          "79646635818471/5000000000000000",
          "8247708931337/625000000000000",
          "711012739753/62500000000000",
          "598322857/2000000000000000",
          "2179712930872077/5000000000000000",
          "438432050376329/1250000000000000",
          "2405473770173203/10000000000000000",
          "1566558304544023/10000000000000000",
          "10319025094619/100000000000000",
          "354596847662711/5000000000000000",
          "102497890763709/2000000000000000",
          "1466359249154249/2500000000000000",
          "398809871717863/2000000000000000",
          "44433698040937/100000000000000",
          "1930142644801327/5000000000000000",
          "72652582864801/250000000000000",
          "1029332937187703/5000000000000000",
          "1455264499858961/10000000000000000",
          "6535036389614113/10000000000000000",
          "3249861826036757/10000000000000000",
          "2134412126632461/10000000000000000",
          "1195426332773289/2500000000000000",
          "825902865752227/2000000000000000",
          "3130359237524953/10000000000000000",
          "3376313572856751/5000000000000000",
          "894289598704613/2000000000000000",
          "2667507859722667/10000000000000000",
          "2002440227096263/10000000000000000",
          "5469921403904787/10000000000000000",
          "3424267695867727/5000000000000000",
          "5394125222133903/10000000000000000",
          "723440042215867/2000000000000000",
          "2329479595967051/10000000000000000",
          "3447442570517187/5000000000000000",
          "600615027386999/1000000000000000",
          "912965871068339/2000000000000000",
          "3459287938538159/5000000000000000",
          "1596298644201027/2500000000000000",
          "1692212783753/2441406250000"
        ],
        "continuation_residual": [
          "-3491414537455799/1000000000000000000000",
          "-500755713375383/500000000000000000000",
          "-798091684092099/2000000000000000000000",
          "-31028724612753/160000000000000000000",
          "-432926887260619/4000000000000000000000",
          "-1069680380906407/16000000000000000000000",
          "-287315276772623/6400000000000000000000",
          "-1031444680767409/32000000000000000000000",
          "-3117878617413349/128000000000000000000000",
          "-3105101254284267/200000000000000000000",
          "-2823273420458391/500000000000000000000",
          "-9627082533509399/4000000000000000000000",
          "-4674387687899921/4000000000000000000000",
          "-5064051540407503/8000000000000000000000",
          "-2398852432591581/6400000000000000000000",
          "-15248544838424079/64000000000000000000000",
          "-20532206412449011/128000000000000000000000",
          "-85437915385609251/2000000000000000000000",
          "-77372799328968269/4000000000000000000000",
          "-18349172308989537/2000000000000000000000",
          "-74031242507414651/16000000000000000000000",
          "-39716399697167153/16000000000000000000000",
          "-90500392061507649/64000000000000000000000",
          "-109019593058430853/128000000000000000000000",
          "-235382087603958423/4000000000000000000000",
          "-34176800678213409/1000000000000000000000",
          "-150440575711958723/8000000000000000000000",
          "-41442160030313103/4000000000000000000000",
          "-46752287648652087/8000000000000000000000",
          "-218072402742400151/64000000000000000000000",
          "-271694363599923307/4000000000000000000000",
          "-147678027574631263/3200000000000000000000",
          "-939725305329474029/32000000000000000000000",
          "-571749139730444813/32000000000000000000000",
          "-275205979612636557/25600000000000000000000",
          "-292168280676750461/4000000000000000000000",
          "-881962723172857787/16000000000000000000000",
          "-313250019852048923/8000000000000000000000",
          "-3370606131517818791/128000000000000000000000",
          "-607749302871159871/8000000000000000000000",
          "-394964128011280543/6400000000000000000000",
          "-6086740295205238943/128000000000000000000000",
          "-2485587691031030707/32000000000000000000000",
          "-68136471124368707/1024000000000000000000",
          "-2518144105230532421/32000000000000000000000"
        ]
      },
      "necessary_one_founder_point01": 5.800436908108177
    }
  },
  "amplitude": {
    "N2_vmax1/50": {
      "N": 2,
      "maximum": "1/50",
      "q": [
        "23683881/25000000",
        "19651613/20000000",
        "24684213/25000000",
        "7433697/20000000",
        "38411441/50000000",
        "32149781/100000000"
      ],
      "residuals": {
        "baseline_residual": [
          "-17503277839/6250000000000000",
          "-4629749947/5000000000000000",
          "-98330125327/200000000000000000",
          "-57734106361943/5000000000000000",
          "-2337483458307/200000000000000000",
          "-444981033284531/200000000000000000"
        ],
        "maximum_action_residual": [
          "-17503277839/6250000000000000",
          "-3527170749947/5000000000000000",
          "-38401290125327/200000000000000000",
          "-167067361943/5000000000000000",
          "-731106043458307/200000000000000000",
          "-43484713284531/200000000000000000"
        ]
      },
      "fully_marked_floor": "67850219/100000000",
      "any_type_floor": "315787/25000000"
    },
    "N2_vmax1/20": {
      "N": 2,
      "maximum": "1/20",
      "q": [
        "19360387/20000000",
        "12367177/12500000",
        "49614059/50000000",
        "62169253/100000000",
        "3440279/4000000",
        "14318271/25000000"
      ],
      "residuals": {
        "baseline_residual": [
          "-4136010231/4000000000000000",
          "-857182501/2500000000000000",
          "-18183217307/100000000000000000",
          "-346571198419089/20000000000000000",
          "-859270033127/200000000000000000",
          "-995070346804451/200000000000000000"
        ],
        "maximum_action_residual": [
          "-4136010231/4000000000000000",
          "-2670208432501/2500000000000000",
          "-29088383217307/100000000000000000",
          "-244378419089/20000000000000000",
          "-1091587370033127/200000000000000000",
          "-15836546804451/200000000000000000"
        ]
      },
      "fully_marked_floor": "10681729/25000000",
      "any_type_floor": "385941/50000000"
    },
    "N2_vmax2/25": {
      "N": 2,
      "maximum": "2/25",
      "q": [
        "99724627/100000000",
        "49953981/50000000",
        "49966487/50000000",
        "24195931/25000000",
        "98805713/100000000",
        "96214271/100000000"
      ],
      "residuals": {
        "baseline_residual": [
          "-929710871/100000000000000000",
          "-137609913/50000000000000000",
          "-125927929/100000000000000000",
          "-58820243607263/25000000000000000",
          "-7705995461/200000000000000000",
          "-182339981139907/200000000000000000"
        ],
        "maximum_action_residual": [
          "-929710871/100000000000000000",
          "-7333537609913/50000000000000000",
          "-4002045927929/100000000000000000",
          "-2183607263/25000000000000000",
          "-147166105995461/200000000000000000",
          "-115021139907/200000000000000000"
        ]
      },
      "fully_marked_floor": "3785729/100000000",
      "any_type_floor": "33513/50000000"
    },
    "N5_vmax29/100": {
      "N": 5,
      "maximum": "29/100",
      "q": [
        "24531693/25000000",
        "99425781/100000000",
        "99670431/100000000",
        "2493879/2500000",
        "2494847/2500000",
        "779803/781250",
        "89263963/100000000",
        "18992427/20000000",
        "19506963/20000000",
        "24661853/25000000",
        "99160819/100000000",
        "85898343/100000000",
        "45419997/50000000",
        "4743561/5000000",
        "97031053/100000000",
        "10542373/12500000",
        "44121293/50000000",
        "91735451/100000000",
        "41749359/50000000",
        "43275009/50000000",
        "82991359/100000000"
      ],
      "residuals": {
        "baseline_residual": [
          "-2213553751/6250000000000000",
          "-2846722767/25000000000000000",
          "-10834661307/200000000000000000",
          "-6544511647/400000000000000000",
          "-18835947517/800000000000000000",
          "-2255170219/200000000000000000",
          "-642604303720641/25000000000000000",
          "-157573791677/200000000000000000",
          "-143305849897/400000000000000000",
          "-36785599939/200000000000000000",
          "-80164497107/800000000000000000",
          "-781110506159167/40000000000000000",
          "-3832400450817739/400000000000000000",
          "-1305695471559/800000000000000000",
          "-32615495521/40000000000000000",
          "-217257920495217/16000000000000000",
          "-9027056967205523/800000000000000000",
          "-11241941571772037/1600000000000000000",
          "-7810805597150389/800000000000000000",
          "-8636240193346531/800000000000000000",
          "-5901154173952281/800000000000000000"
        ],
        "maximum_action_residual": [
          "-2213553751/6250000000000000",
          "-94180999222767/25000000000000000",
          "-283804834661307/200000000000000000",
          "-294863464511647/400000000000000000",
          "-359340435947517/800000000000000000",
          "-60623855170219/200000000000000000",
          "-50651220641/25000000000000000",
          "-716182653791677/200000000000000000",
          "-3491446345849897/400000000000000000",
          "-1293461725599939/200000000000000000",
          "-3295795604497107/800000000000000000",
          "-286666159167/40000000000000000",
          "-1348490817739/400000000000000000",
          "-6347113535471559/800000000000000000",
          "-376659211495521/40000000000000000",
          "-195147695217/16000000000000000",
          "-5453927205523/800000000000000000",
          "-5824291772037/1600000000000000000",
          "-13137117150389/800000000000000000",
          "-8225153346531/800000000000000000",
          "-15789773952281/800000000000000000"
        ]
      },
      "fully_marked_floor": "17008641/100000000",
      "any_type_floor": "1447/781250"
    },
    "N6_vmax29/100": {
      "N": 6,
      "maximum": "29/100",
      "q": [
        "188573/200000",
        "12284121/12500000",
        "49528343/50000000",
        "99331683/100000000",
        "49728719/50000000",
        "99525067/100000000",
        "99565657/100000000",
        "70705469/100000000",
        "86090037/100000000",
        "23276689/25000000",
        "96203017/100000000",
        "19530347/20000000",
        "614933/625000",
        "61949773/100000000",
        "75113027/100000000",
        "85816369/100000000",
        "11464999/12500000",
        "5928999/6250000",
        "58024251/100000000",
        "34147859/50000000",
        "77595263/100000000",
        "5391017/6250000",
        "27992399/50000000",
        "2556211/4000000",
        "35836349/50000000",
        "54795331/100000000",
        "60968199/100000000",
        "54037279/100000000"
      ],
      "residuals": {
        "baseline_residual": [
          "-1318791/400000000000",
          "-74999501/75000000000000",
          "-30885974491/75000000000000000",
          "-22857607089/100000000000000000",
          "-26742181159/200000000000000000",
          "-164815999/2000000000000000",
          "-103581627227/1600000000000000000",
          "-41041138862789/600000000000000",
          "-986415453131/150000000000000000",
          "-1741820125951/600000000000000000",
          "-3540511382809/2400000000000000000",
          "-668811811737/800000000000000000",
          "-4900542035141/9600000000000000000",
          "-30502415124576617/600000000000000000",
          "-1020761991550353/40000000000000000",
          "-7534815140813/600000000000000000",
          "-10258350409121/1600000000000000000",
          "-2771027612289/800000000000000000",
          "-13697017314862889/400000000000000000",
          "-1774451424083293/60000000000000000",
          "-1127292442868757/64000000000000000",
          "-48411385125419/3200000000000000000",
          "-19022222377803537/800000000000000000",
          "-67285473587408041/2400000000000000000",
          "-56872248110678327/2400000000000000000",
          "-173904310293231/10000000000000000",
          "-237932488859931031/9600000000000000000",
          "-21361489457501123/1600000000000000000"
        ],
        "maximum_action_residual": [
          "-1318791/400000000000",
          "-867131789501/75000000000000",
          "-340948215974491/75000000000000000",
          "-239270247607089/100000000000000000",
          "-291778342181159/200000000000000000",
          "-1961405815999/2000000000000000",
          "-1130129181627227/1600000000000000000",
          "-10144922789/600000000000000",
          "-1393698510453131/150000000000000000",
          "-14067045740125951/600000000000000000",
          "-42877954831382809/2400000000000000000",
          "-9255540891811737/800000000000000000",
          "-71050854462035141/9600000000000000000",
          "-32593044576617/600000000000000000",
          "-1033135550353/40000000000000000",
          "-11884618215140813/600000000000000000",
          "-40586218510409121/1600000000000000000",
          "-16243852147612289/800000000000000000",
          "-36200754862889/400000000000000000",
          "-3051384083293/60000000000000000",
          "-1771726068757/64000000000000000",
          "-89060937145125419/3200000000000000000",
          "-96098537803537/800000000000000000",
          "-182060387408041/2400000000000000000",
          "-110566670678327/2400000000000000000",
          "-1431595293231/10000000000000000",
          "-944154779931031/9600000000000000000",
          "-257321777501123/1600000000000000000"
        ]
      },
      "fully_marked_floor": "45962721/100000000",
      "any_type_floor": "434343/100000000"
    },
    "N7_vmax29/100": {
      "N": 7,
      "maximum": "29/100",
      "q": [
        "91556427/100000000",
        "12182939/12500000",
        "3946657/4000000",
        "24773219/25000000",
        "99288047/100000000",
        "49696297/50000000",
        "99454993/100000000",
        "99495271/100000000",
        "7562009/12500000",
        "81090261/100000000",
        "11317451/12500000",
        "4738499/5000000",
        "96778507/100000000",
        "97809753/100000000",
        "4919173/5000000",
        "3069463/6250000",
        "66561989/100000000",
        "5044561/6250000",
        "17726499/20000000",
        "23235373/25000000",
        "47667371/50000000",
        "11028463/25000000",
        "14405943/25000000",
        "34954093/50000000",
        "40565311/50000000",
        "17580453/20000000",
        "20791423/50000000",
        "25955613/50000000",
        "15533401/25000000",
        "35968253/50000000",
        "1254509/3125000",
        "48120283/100000000",
        "56523101/100000000",
        "39248963/100000000",
        "45514593/100000000",
        "19325513/50000000"
      ],
      "residuals": {
        "baseline_residual": [
          "-720374993671/100000000000000000",
          "-189632357329/87500000000000000",
          "-1261275336667/1400000000000000000",
          "-311032331259/700000000000000000",
          "-182070784507/700000000000000000",
          "-980090535147/5600000000000000000",
          "-92056271459/800000000000000000",
          "-536309388901/6400000000000000000",
          "-7884513086377099/87500000000000000",
          "-18369013123823/1400000000000000000",
          "-50601457827/8750000000000000",
          "-3203635342727/1120000000000000000",
          "-17990376049001/11200000000000000000",
          "-10746988404781/11200000000000000000",
          "-4028836112299/6400000000000000000",
          "-231460466295153/3500000000000000",
          "-94375113000045519/2800000000000000000",
          "-65902008101113/2800000000000000000",
          "-33738855468019/2800000000000000000",
          "-36619581719611/5600000000000000000",
          "-168212829079069/44800000000000000000",
          "-30550070496383869/700000000000000000",
          "-54147131345911327/1400000000000000000",
          "-15962086332118511/700000000000000000",
          "-314237896581151/11200000000000000000",
          "-101123631084393/6400000000000000000",
          "-16562275554954793/560000000000000000",
          "-8164827713797103/224000000000000000",
          "-43370720827080127/1400000000000000000",
          "-239863989859948943/11200000000000000000",
          "-14780264566677633/700000000000000000",
          "-102446863734610273/3200000000000000000",
          "-1466459769981665867/44800000000000000000",
          "-355362667497204761/22400000000000000000",
          "-1226566175131253413/44800000000000000000",
          "-39829591579278621/3200000000000000000"
        ],
        "maximum_action_residual": [
          "-720374993671/100000000000000000",
          "-1499112451107329/87500000000000000",
          "-9768914835336667/1400000000000000000",
          "-2597397622331259/700000000000000000",
          "-1584970590784507/700000000000000000",
          "-8490196490535147/5600000000000000000",
          "-868686136271459/800000000000000000",
          "-5233454069388901/6400000000000000000",
          "-2948005127099/87500000000000000",
          "-17155377293123823/1400000000000000000",
          "-273386980332827/8750000000000000",
          "-27183182195342727/1120000000000000000",
          "-179455959016049001/11200000000000000000",
          "-116074421708404781/11200000000000000000",
          "-44004387876112299/6400000000000000000",
          "-351787095153/3500000000000000",
          "-134693440045519/2800000000000000000",
          "-70293427208101113/2800000000000000000",
          "-93280465295468019/2800000000000000000",
          "-155322817501719611/5600000000000000000",
          "-911716554589079069/44800000000000000000",
          "-114954456383869/700000000000000000",
          "-129923485911327/1400000000000000000",
          "-35636072118511/700000000000000000",
          "-362845896616581151/11200000000000000000",
          "-222243740591084393/6400000000000000000",
          "-120860578954793/560000000000000000",
          "-30663835397103/224000000000000000",
          "-117218507080127/1400000000000000000",
          "-559210019948943/11200000000000000000",
          "-178900866677633/700000000000000000",
          "-564342134610273/3200000000000000000",
          "-5265250301665867/44800000000000000000",
          "-6400795497204761/22400000000000000000",
          "-9409355931253413/44800000000000000000",
          "-987604059278621/3200000000000000000"
        ]
      },
      "fully_marked_floor": "30674487/50000000",
      "any_type_floor": "504729/100000000"
    },
    "N8_vmax29/100": {
      "N": 8,
      "maximum": "29/100",
      "q": [
        "89482253/100000000",
        "96844413/100000000",
        "3074671/3125000",
        "98941789/100000000",
        "99194679/100000000",
        "99329671/100000000",
        "99409841/100000000",
        "24865327/25000000",
        "99496359/100000000",
        "54428967/100000000",
        "78060327/100000000",
        "5559201/6250000",
        "2933599/3125000",
        "96241717/100000000",
        "9746537/10000000",
        "24537243/25000000",
        "19711847/20000000",
        "41668901/100000000",
        "61550709/100000000",
        "38819647/50000000",
        "10841521/12500000",
        "45875967/50000000",
        "47280739/50000000",
        "96195247/100000000",
        "18070179/50000000",
        "12863523/25000000",
        "1022037/1562500",
        "15609019/20000000",
        "858637/1000000",
        "45279533/50000000",
        "16694271/50000000",
        "22515183/50000000",
        "28310699/50000000",
        "16940121/25000000",
        "4919311/6250000",
        "31853397/100000000",
        "5098429/12500000",
        "25140271/50000000",
        "29928631/50000000",
        "15457493/50000000",
        "37886827/100000000",
        "22826411/50000000",
        "7574609/25000000",
        "17920541/50000000",
        "29869689/100000000"
      ],
      "residuals": {
        "baseline_residual": [
          "-1117678043991/100000000000000000",
          "-335799297511/100000000000000000",
          "-53936929003/40000000000000000",
          "-10618430783/16000000000000000",
          "-310128652433/800000000000000000",
          "-186021162511/800000000000000000",
          "-476362581959/3200000000000000000",
          "-90335916401/800000000000000000",
          "-563861409493/6400000000000000000",
          "-10170294084377349/100000000000000000",
          "-1891010405949/100000000000000000",
          "-1657137900413/200000000000000000",
          "-3262480659877/800000000000000000",
          "-1779788779873/800000000000000000",
          "-4276545648563/3200000000000000000",
          "-1080451076623/1280000000000000000",
          "-7374152395037/12800000000000000000",
          "-7414426594899479/100000000000000000",
          "-3816389110662023/100000000000000000",
          "-2568136615711/80000000000000000",
          "-26378387900693/1600000000000000000",
          "-28601255279069/3200000000000000000",
          "-1633932987459/320000000000000000",
          "-9929678404833/3200000000000000000",
          "-154613299116541/3200000000000000",
          "-1742183531265809/40000000000000000",
          "-2551360930744133/100000000000000000",
          "-121104007030269/3200000000000000000",
          "-137051189974117/6400000000000000000",
          "-160143354685571/12800000000000000000",
          "-25764615254010727/800000000000000000",
          "-32748090305872291/800000000000000000",
          "-27868267423570327/800000000000000000",
          "-35933139899779691/1600000000000000000",
          "-255837844283561/6400000000000000000",
          "-36152170221190409/1600000000000000000",
          "-114707124098041823/3200000000000000000",
          "-59260358489970847/1600000000000000000",
          "-401665002625413591/12800000000000000000",
          "-26723487632842189/1600000000000000000",
          "-195377052011344793/6400000000000000000",
          "-228330658160183003/6400000000000000000",
          "-82679112392275561/6400000000000000000",
          "-82453107842812811/3200000000000000000",
          "-132755093064510183/12800000000000000000"
        ],
        "maximum_action_residual": [
          "-1117678043991/100000000000000000",
          "-2135362199297511/100000000000000000",
          "-358507624929003/40000000000000000",
          "-76893144830783/16000000000000000",
          "-2347129328652433/800000000000000000",
          "-1566093221162511/800000000000000000",
          "-4464341962581959/3200000000000000000",
          "-835914415916401/800000000000000000",
          "-5204936341409493/6400000000000000000",
          "-4841144377349/100000000000000000",
          "-1407600470405949/100000000000000000",
          "-7153939897900413/200000000000000000",
          "-22547247680659877/800000000000000000",
          "-15112482668779873/800000000000000000",
          "-39481062465648563/3200000000000000000",
          "-10545918467076623/1280000000000000000",
          "-73125162312395037/12800000000000000000",
          "-13588314899479/100000000000000000",
          "-6534990662023/100000000000000000",
          "-2220795768615711/80000000000000000",
          "-60312144467900693/1600000000000000000",
          "-103031942695279069/3200000000000000000",
          "-7648294540987459/320000000000000000",
          "-54717051598404833/3200000000000000000",
          "-698661996541/3200000000000000",
          "-4953959265809/40000000000000000",
          "-6835390744133/100000000000000000",
          "-110023791367030269/3200000000000000000",
          "-252733417269974117/6400000000000000000",
          "-425911472634685571/12800000000000000000",
          "-227762774010727/800000000000000000",
          "-144944705872291/800000000000000000",
          "-89014303570327/800000000000000000",
          "-106836859779691/1600000000000000000",
          "-281905174164283561/6400000000000000000",
          "-536806221190409/1600000000000000000",
          "-742831298041823/3200000000000000000",
          "-248560089970847/1600000000000000000",
          "-1290538625413591/12800000000000000000",
          "-598125392842189/1600000000000000000",
          "-1763048171344793/6400000000000000000",
          "-1261493360183003/6400000000000000000",
          "-2576936392275561/6400000000000000000",
          "-997267522812811/3200000000000000000",
          "-5434383944510183/12800000000000000000"
        ]
      },
      "fully_marked_floor": "70130311/100000000",
      "any_type_floor": "503641/100000000"
    },
    "N6_vmax17/50": {
      "N": 6,
      "maximum": "17/50",
      "q": [
        "98269301/100000000",
        "9946959/10000000",
        "9970989/10000000",
        "9979443/10000000",
        "99833079/100000000",
        "99853853/100000000",
        "49933159/50000000",
        "91249589/100000000",
        "47862367/50000000",
        "48934259/50000000",
        "19764991/20000000",
        "12409243/12500000",
        "99502587/100000000",
        "88294433/100000000",
        "92330449/100000000",
        "47799611/50000000",
        "48712947/50000000",
        "49201929/50000000",
        "86823769/100000000",
        "90132233/100000000",
        "465211/500000",
        "95717779/100000000",
        "21498537/25000000",
        "22164843/25000000",
        "11395203/12500000",
        "1068483/1250000",
        "87636499/100000000",
        "85133711/100000000"
      ],
      "residuals": {
        "baseline_residual": [
          "-30260971399/100000000000000000",
          "-960994341/10000000000000000",
          "-1003214501/20000000000000000",
          "-340847127/40000000000000000",
          "-34139063363/2400000000000000000",
          "-24661568197/1600000000000000000",
          "-4139424003/800000000000000000",
          "-2386854892432711/100000000000000000",
          "-30163977639/50000000000000000",
          "-7143551297/25000000000000000",
          "-62155066181/480000000000000000",
          "-16030551271/192000000000000000",
          "-210633565399/4800000000000000000",
          "-6029987731344619/300000000000000000",
          "-11233266670078187/1200000000000000000",
          "-29390530071/25000000000000000",
          "-735893810513/1200000000000000000",
          "-3181064176597/9600000000000000000",
          "-300182013173521/20000000000000000",
          "-2235554803178077/200000000000000000",
          "-15111509559559847/2400000000000000000",
          "-575509298841/400000000000000000",
          "-9035330502851221/800000000000000000",
          "-26343166340110711/2400000000000000000",
          "-8222292237307417/960000000000000000",
          "-4213155142589119/480000000000000000",
          "-96591082875019403/9600000000000000000",
          "-22567287440495359/3200000000000000000"
        ],
        "maximum_action_residual": [
          "-30260971399/100000000000000000",
          "-40810786994341/10000000000000000",
          "-32681803214501/20000000000000000",
          "-34492660847127/40000000000000000",
          "-1261537499063363/2400000000000000000",
          "-565077461568197/1600000000000000000",
          "-203432939424003/800000000000000000",
          "-152812432711/100000000000000000",
          "-124179293977639/50000000000000000",
          "-207933803551297/25000000000000000",
          "-3100594507066181/480000000000000000",
          "-807412779351271/192000000000000000",
          "-12924818313565399/4800000000000000000",
          "-1469491344619/300000000000000000",
          "-2846350078187/1200000000000000000",
          "-169940480530071/25000000000000000",
          "-10942863413810513/1200000000000000000",
          "-70886946824176597/9600000000000000000",
          "-166557173521/20000000000000000",
          "-949683178077/200000000000000000",
          "-6272439559847/2400000000000000000",
          "-3947828629298841/400000000000000000",
          "-9054022851221/800000000000000000",
          "-17211140110711/2400000000000000000",
          "-4193037307417/960000000000000000",
          "-6609862589119/480000000000000000",
          "-90727035019403/9600000000000000000",
          "-50322320495359/3200000000000000000"
        ]
      },
      "fully_marked_floor": "14866289/100000000",
      "any_type_floor": "66841/50000000"
    }
  },
  "added_death": {
    "N2_no_eraser": {
      "bracket": [
        "33181/1000000",
        "16591/500000"
      ],
      "lower": {
        "subcritical": false,
        "leading_minors": [
          "6/25",
          "197/1000",
          "14423/250000",
          "8131744563/250000000000",
          "1397657822193/50000000000000",
          "-945126374067/50000000000000000000"
        ]
      },
      "upper": {
        "subcritical": true,
        "leading_minors": [
          "6/25",
          "197/1000",
          "14423/250000",
          "4065879493/125000000000",
          "698830158923/25000000000000",
          "183748611493/12500000000000000000"
        ]
      },
      "scope": "Added death makes the Metzler matrix componentwise smaller, so this endpoint bracket has a monotone threshold interpretation."
    },
    "N3_no_eraser": {
      "bracket": [
        "54493/1000000",
        "27247/500000"
      ],
      "lower": {
        "subcritical": false,
        "leading_minors": [
          "13/50",
          "7831/30000",
          "2280341/9000000",
          "22397963/300000000",
          "51614110773277/900000000000000",
          "7111984347271577/90000000000000000",
          "24669302404162740713/324000000000000000000",
          "52394929552030456128920527/972000000000000000000000000",
          "112668959360968922358369230688433/2916000000000000000000000000000000",
          "-76643198062327809148562975425531/2916000000000000000000000000000000000000"
        ]
      },
      "upper": {
        "subcritical": true,
        "leading_minors": [
          "13/50",
          "7831/30000",
          "2280341/9000000",
          "22397963/300000000",
          "25807088983583/450000000000000",
          "3555996824199283/45000000000000000",
          "12334667345596615627/162000000000000000000",
          "13098770774614028879016607/243000000000000000000000000",
          "14083681172279204767622974500287/364500000000000000000000000000000",
          "1620842504593564017643571107463/60750000000000000000000000000000000000"
        ]
      },
      "scope": "Added death makes the Metzler matrix componentwise smaller, so this endpoint bracket has a monotone threshold interpretation."
    },
    "N4_no_eraser": {
      "bracket": [
        "66139/1000000",
        "3307/50000"
      ],
      "lower": {
        "subcritical": false,
        "leading_minors": [
          "7/25",
          "773/2500",
          "102051/250000",
          "21451059/50000000",
          "2574820017/20000000000",
          "2265818183574363/20000000000000000",
          "746262898507982853/4000000000000000000",
          "233570969338027812381/800000000000000000000",
          "95321445746491169931663/320000000000000000000000",
          "102249373992609168452372819157/320000000000000000000000000000",
          "136344565852607025967271125398989823/320000000000000000000000000000000000",
          "13009467989297057899667961449041949169/25600000000000000000000000000000000000",
          "10189241574816052962030810452625752390653491/25600000000000000000000000000000000000000000",
          "7643217925590190557266659031118422783022554503749/25600000000000000000000000000000000000000000000000",
          "-4815812343102985013277502643411409207807811057389/25600000000000000000000000000000000000000000000000000000"
        ]
      },
      "upper": {
        "subcritical": true,
        "leading_minors": [
          "7/25",
          "773/2500",
          "102051/250000",
          "21451059/50000000",
          "2574820017/20000000000",
          "113291037919719/1000000000000000",
          "37313187503464089/200000000000000000",
          "11678561800424245953/40000000000000000000",
          "4766077729812810854619/16000000000000000000000",
          "255623996062788069956889033/800000000000000000000000000",
          "17043121073466644005800574521381/40000000000000000000000000000000",
          "1626188435817142999114458307190043/3200000000000000000000000000000000",
          "63683055365051798017775040133427124951/160000000000000000000000000000000000000",
          "1194260237147139734161688565569826224769291/4000000000000000000000000000000000000000000",
          "26397682388298006650912871925820738960481/100000000000000000000000000000000000000000000000"
        ]
      },
      "scope": "Added death makes the Metzler matrix componentwise smaller, so this endpoint bracket has a monotone threshold interpretation."
    },
    "N5_no_eraser": {
      "bracket": [
        "7309/100000",
        "73091/1000000"
      ],
      "lower": {
        "subcritical": false,
        "leading_minors": [
          "3/10",
          "703/2000",
          "108121/200000",
          "1638721/2000000",
          "3614155409/4000000000",
          "177304551091/640000000000",
          "16918982845486119/64000000000000000",
          "3072083129583342213/6400000000000000000",
          "4771754008676994005787/5120000000000000000000",
          "3198980677398835602898317/2048000000000000000000000",
          "2705332031211495484941755931/1638400000000000000000000000",
          "351510877057615164409556896853679/163840000000000000000000000000000",
          "60445644692127326185942868882383129311/16384000000000000000000000000000000000",
          "8740518778028425597074263910270399521517/1310720000000000000000000000000000000000",
          "384034096913692201431732866403255935714499/41943040000000000000000000000000000000000",
          "48431651561601180410927553723655932898429787691/4194304000000000000000000000000000000000000000",
          "6892535456975281568264416127473675680471643623326769/419430400000000000000000000000000000000000000000000",
          "97213233865385979947995181255676829550980169961422934939/5242880000000000000000000000000000000000000000000000000",
          "8064299778645485425128285404067451815173842796005778993878401/524288000000000000000000000000000000000000000000000000000000",
          "157298660727068056603849320008482539087260161789429030062113838321/13107200000000000000000000000000000000000000000000000000000000000",
          "-366673900268459649543928913574105085954570020172015543775537859/327680000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "upper": {
        "subcritical": true,
        "leading_minors": [
          "3/10",
          "703/2000",
          "108121/200000",
          "1638721/2000000",
          "3614155409/4000000000",
          "177304551091/640000000000",
          "169190005759412281/640000000000000000",
          "30720863621188754587/64000000000000000000",
          "47717590320623307098413/51200000000000000000000",
          "31989840455744364647931883/20480000000000000000000000",
          "27053348798381660728121754669/16384000000000000000000000000",
          "35151155012768934232754529226971879/16384000000000000000000000000000000",
          "60445795953219278172463369833729453502989/16384000000000000000000000000000000000000",
          "8740541018566453684318460411932347623671383/1310720000000000000000000000000000000000000",
          "384035076960133942720324675475661922665693561/41943040000000000000000000000000000000000000",
          "484318218700428495753693110035618164939739773222051/41943040000000000000000000000000000000000000000000",
          "689256523136374048039693792321613414183471254450495362141/41943040000000000000000000000000000000000000000000000000",
          "777710014024238595841213981885147639950793090970178114689621421/41943040000000000000000000000000000000000000000000000000000000",
          "645148464807848649839366640544411862902626437557624850666607829889811/41943040000000000000000000000000000000000000000000000000000000000000",
          "503360040062016945284567017074635391356535576781670464195523979080320917051/41943040000000000000000000000000000000000000000000000000000000000000000000",
          "777555748855360690692417173823583081394305269556615601795415309250082265891/41943040000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "scope": "Added death makes the Metzler matrix componentwise smaller, so this endpoint bracket has a monotone threshold interpretation."
    },
    "N5_eraser_at_.3": {
      "bracket": [
        "4447/500000",
        "1779/200000"
      ],
      "lower": {
        "subcritical": false,
        "leading_minors": [
          "3/10",
          "53/125",
          "37927/50000",
          "3436769/2500000",
          "130338787/62500000",
          "21552475029/10000000000",
          "759017630099193/312500000000000",
          "92166439145935507731/16000000000000000000",
          "24547724610585349042989/1600000000000000000000",
          "12749184767764604865001401/320000000000000000000000",
          "4671785148971797150790609043/51200000000000000000000000",
          "3259534291959657241124868144694221/25600000000000000000000000000000",
          "7703124805669500464622524592231039035949/25600000000000000000000000000000000000",
          "8589000405022960238887149729843435288910287/10240000000000000000000000000000000000000",
          "3727310004218028236202560730839108663717521533/1638400000000000000000000000000000000000000",
          "2446146813668076717077157034614141959558434586219751/819200000000000000000000000000000000000000000000",
          "2723796189541954159322552085782981739177675828823912153947/409600000000000000000000000000000000000000000000000000",
          "1632302051622734043229045613363563818447694015840276912731207717/102400000000000000000000000000000000000000000000000000000000",
          "695989991621914491818629519681786738286232228087291232222216226091249/51200000000000000000000000000000000000000000000000000000000000000",
          "329297529019594273598572721067659162928031943492749825268168894671666025589/12800000000000000000000000000000000000000000000000000000000000000000000",
          "-411962772221803895158523505381721846246294433913363243197386785103965325671/3200000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "upper": {
        "subcritical": true,
        "leading_minors": [
          "3/10",
          "53/125",
          "37927/50000",
          "3436769/2500000",
          "130338787/62500000",
          "21552475029/10000000000",
          "4857717143129841/2000000000000000",
          "36866608631325225567/6400000000000000000",
          "9819098635311757093473/640000000000000000000",
          "5099678474132878473392757/128000000000000000000000",
          "1868715733268745018176186151/20480000000000000000000000",
          "521526506126963887476801737146629/4096000000000000000000000000000",
          "123250291625065255397838204501034547433/409600000000000000000000000000000000",
          "34356085039333822321372010472574425436851/40960000000000000000000000000000000000",
          "14909276289018077557366376295085228937559009/6553600000000000000000000000000000000000",
          "3913850511717758617486380678192813927821713357011/1310720000000000000000000000000000000000000000",
          "1743237533411617474652424109855901636165549124875413569/262144000000000000000000000000000000000000000000000",
          "835742871327041804331532639006723062652952977145479096889751/52428800000000000000000000000000000000000000000000000000",
          "142540001228498321982826016205853469682638249766958167825301415529/10485760000000000000000000000000000000000000000000000000000000",
          "53952625886086588205844206631307617287706249936920561738407213520042841/2097152000000000000000000000000000000000000000000000000000000000000",
          "27566636729526303528874559835354170442335213039094793368269089009964889/419430400000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "scope": "Added death makes the Metzler matrix componentwise smaller, so this endpoint bracket has a monotone threshold interpretation."
    },
    "N6_no_eraser": {
      "bracket": [
        "2421/31250",
        "77473/1000000"
      ],
      "lower": {
        "subcritical": false,
        "leading_minors": [
          "8/25",
          "5869/15000",
          "59507/90000",
          "60594059/50000000",
          "119916095759/60000000000",
          "328022091927247/144000000000000",
          "164485380379435141/230400000000000000",
          "62272705141568775229457/86400000000000000000000",
          "1204836081749322063340937/864000000000000000000000",
          "7957886302684573775843368177/2592000000000000000000000000",
          "61145658499754781501810859341871/9331200000000000000000000000000",
          "85637705720137103451590031528068741/7464960000000000000000000000000000",
          "267276358364329703623197381707383646339/21499084800000000000000000000000000000",
          "146010424883702943833384280959163274965546253/8062156800000000000000000000000000000000000",
          "108706968571581053008631224232297720698487130772781/3023308800000000000000000000000000000000000000000",
          "32541218244990546359824500271463168799278243696390069/403107840000000000000000000000000000000000000000000",
          "1403066914730434333222824309100473473941950878890564879517/8707129344000000000000000000000000000000000000000000000",
          "2007021461867321546070856821466824315152650858041308853669497/8358844170240000000000000000000000000000000000000000000000",
          "397959989038453310549139370193482551401175534000006491065851968323/1044855521280000000000000000000000000000000000000000000000000000",
          "565515384331378591980095114086814620722832191637135440052144151991438967/783641640960000000000000000000000000000000000000000000000000000000000",
          "1493060550344301132720366269940743989305297447045254538350814030646209289726511/1175462461440000000000000000000000000000000000000000000000000000000000000000",
          "152776759012452302205853188493599721225491477005018017781575308917319999972508909/75229597532160000000000000000000000000000000000000000000000000000000000000000",
          "159154451879428647319579611647601615713932704520032706526445573751083038705957296409161/56422198149120000000000000000000000000000000000000000000000000000000000000000000000",
          "39532832245451262701470995565568201990324197166189947005931565517398614275812428304895832457/9403699691520000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1292030642717156962536103098077885048068102176774498552700873054736910472689078346347900472751755633/253899891671040000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1669069616519262058192455828476386221508761637363980037189335419253355127398902661687186053848780168575289/380849837506560000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "4030989272934571841601611220973417894290809247126153498633103628210625560522730867928176173225128855107002173849/1142549512519680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "-386830476174409275537930605665083813839479829085485081077001429145112088193682162147977087731140283047373422799/380849837506560000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "upper": {
        "subcritical": true,
        "leading_minors": [
          "8/25",
          "5869/15000",
          "59507/90000",
          "60594059/50000000",
          "119916095759/60000000000",
          "328022091927247/144000000000000",
          "164485380379435141/230400000000000000",
          "498182134588691340141079/691200000000000000000000",
          "12851597653899593763615977/9216000000000000000000000",
          "28294735008465825511114010089/9216000000000000000000000000",
          "1956663019224861738429428254035323/298598400000000000000000000000000",
          "2740409310413468281357395912634054633/238878720000000000000000000000000000",
          "8552851980116715327863855322771134921407/687970713600000000000000000000000000000",
          "37378734543027949161828411154912202825701853533/2063912140800000000000000000000000000000000000",
          "222632376646286319067800978252504304505479193773231327/6191736422400000000000000000000000000000000000000000",
          "22214855982570093856136892599645514636295207862803839041/275188285440000000000000000000000000000000000000000000",
          "2873487649302708828704131068928226233225157486475817804500139/17832200896512000000000000000000000000000000000000000000000",
          "4110389411221962703564141792915269361066547539399492292430282799/17118912860651520000000000000000000000000000000000000000000000",
          "6520196373971027072542812426951762040827875593750674238095090387611927/17118912860651520000000000000000000000000000000000000000000000000000",
          "37061751206972159734462144778200603866875622629822939306159155051048626088913/51356738581954560000000000000000000000000000000000000000000000000000000000",
          "195699267797827071977209877428167580763954729228339442327126910776813245820369021797/154070215745863680000000000000000000000000000000000000000000000000000000000000000",
          "20024842511930159456080564661233149734641785360454402173835098704740661447048701256743/9860493807735275520000000000000000000000000000000000000000000000000000000000000000",
          "83443209506238862215686338757170471576428596386288608511595916106319675108272237417478598817/29581481423205826560000000000000000000000000000000000000000000000000000000000000000000000",
          "124360294282959588386117978173929594542628019900696134296272467861366979394996795696181801931103191/29581481423205826560000000000000000000000000000000000000000000000000000000000000000000000000000",
          "338700518213241688881514483422070802169784003676661669374893196760207867494663228210962922860896375532553/66558333202213109760000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "875080908677416715549380197487724649795855108189881831080946341147738517808004178042457600301111958460251186957/199674999606639329280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "528355376648116355801628071104823397190631768683137903309850848656306954153315456297729037680648777506972389149176777/149756249704979496960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "192630899108871178047272891605984911689394480382957908848181271166714424463007251799883680782143991619724705177401599/37439062426244874240000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "scope": "Added death makes the Metzler matrix componentwise smaller, so this endpoint bracket has a monotone threshold interpretation."
    },
    "N6_eraser_at_.3": {
      "bracket": [
        "24937/1000000",
        "12469/500000"
      ],
      "lower": {
        "subcritical": false,
        "leading_minors": [
          "8/25",
          "7/15",
          "162427/180000",
          "7609697/4000000",
          "18251247617/4800000000",
          "72313320407257/11520000000000",
          "47261557295296433/6144000000000000",
          "18698964762749225659907/2048000000000000000000",
          "62753081847781319798383171/2764800000000000000000000",
          "109457223893777544305514847811/1658880000000000000000000000",
          "1183856460628655827636454377788869/5971968000000000000000000000000",
          "2698084832925493171975180721422380799/4777574400000000000000000000000000",
          "19804926777079422878452095847869625132729/13759414272000000000000000000000000000",
          "92936332896001877809960728127680355823878969219/41278242816000000000000000000000000000000000",
          "731725469515693025323769855624549278437310676359457609/123834728448000000000000000000000000000000000000000",
          "930225173494246126328205643335089035124773551720139824919/49533891379200000000000000000000000000000000000000000",
          "21560774827346360711357515624059909448164745655508847908314381/356644017930240000000000000000000000000000000000000000000",
          "2562291228169160832412851826983802439615844973110834239940905393/13695130288521216000000000000000000000000000000000000000000",
          "4232637376970226742333970739385812329319830274299645431790803742970241/13695130288521216000000000000000000000000000000000000000000000000",
          "33730444110513519162100965009732755628442373887817546227409983500542904211951/41085390865563648000000000000000000000000000000000000000000000000000000",
          "295012756170510837132814853860449886743595543786980320538230506169050833572213189011/123256172596690944000000000000000000000000000000000000000000000000000000000000",
          "1532070701483909294573476230179056279291214983021992141685997390641620821327856825160441/197209876154705510400000000000000000000000000000000000000000000000000000000000000",
          "6567064802115900758279002075875316763351823655515531611296000384983897119138090158603611264151/591629628464116531200000000000000000000000000000000000000000000000000000000000000000000",
          "16137695710622946492012436430710583823069505649252571622660960584769904749303818624665733140610819737/591629628464116531200000000000000000000000000000000000000000000000000000000000000000000000000",
          "99929972930135421768741391538226279554174650513049259253584904587218537511486400639620914579035184209115249/1331166664044262195200000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "264206837044360895764315561495142026558840697029794028303343952682884542330361330373394417003190615823859525084189/3993499992132786585600000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "425084692274703299858523854870031609179467143857138409265295809587200486786019224998969175225509937254805061020149240351/2995124994099589939200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "-1183531334980622031702720047777436703246177905933963716726990010632390227148762362056529414365879548624067788763815388497/748781248524897484800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "upper": {
        "subcritical": true,
        "leading_minors": [
          "8/25",
          "7/15",
          "162427/180000",
          "7609697/4000000",
          "18251247617/4800000000",
          "72313320407257/11520000000000",
          "47261557295296433/6144000000000000",
          "28048470774902486138077/3072000000000000000000",
          "1162095095922237352734101/51200000000000000000000",
          "54728658510417811105159368407/829440000000000000000000000",
          "591928734083104556771601610360753/2985984000000000000000000000000",
          "1349043564720206327553775008920284163/2388787200000000000000000000000000",
          "9902471817535386008323571946939634127573/6879707136000000000000000000000000000",
          "23234124607175541370556871663665511273687153211/10319560704000000000000000000000000000000000",
          "91465882556369142790169219333490997210829449427831377/15479341056000000000000000000000000000000000000000",
          "116278403073631553500824680233417947760336864471358027807/6191736422400000000000000000000000000000000000000000",
          "2695102808806985845419614308011837710436991494327064620925093/44580502241280000000000000000000000000000000000000000000",
          "320287111533663764121213579967737273966458781095511501745522729/1711891286065152000000000000000000000000000000000000000000",
          "88180242529497315300764016674068374767217595247587869131170201853467/285315214344192000000000000000000000000000000000000000000000000",
          "351360146413234563809080043827060255117952598891153069951372827814820058819/427972821516288000000000000000000000000000000000000000000000000000000",
          "96033206314215954399173045793943825881694706985187244337119847745051026228434513/40122452017152000000000000000000000000000000000000000000000000000000000000",
          "997446136064836059118006899726587168358839208405054792307528155948758444994841151731/128391846454886400000000000000000000000000000000000000000000000000000000000000",
          "2137729503735486528400859237855614187460971741196824167206437876755490296221663347210120267/192587769682329600000000000000000000000000000000000000000000000000000000000000000000",
          "109441491376813301051619895343624244714894262529412694868258163972013286009851758237008746890827/4012245201715200000000000000000000000000000000000000000000000000000000000000000000000000",
          "8132380824198005434490009971732936858680448052054800571935550192273238006853427468292495424105195623727/108330620446310400000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1343841760994623170878348733304554575402565129468230731525382659492876257360626440205444547156678240404916283/20311991333683200000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "8648482700781139072405034408326819927233639474530560303166273859067051576667157483406158503492351354667416810108237/60935974001049600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "2267908652121310528283543821142630503652584794077238315262589579853460312570910351341913940495311091028123342393681/60935974001049600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "scope": "Added death makes the Metzler matrix componentwise smaller, so this endpoint bracket has a monotone threshold interpretation."
    },
    "N7_no_eraser": {
      "bracket": [
        "40187/500000",
        "643/8000"
      ],
      "lower": {
        "subcritical": false,
        "leading_minors": [
          "17/50",
          "6019/14000",
          "38005413/49000000",
          "54952454901/34300000000",
          "314904425682537/96040000000000",
          "3080343178453666113/537824000000000000",
          "1611945976193294812677/240945152000000000000",
          "41281444279982560546400031/19275612160000000000000000",
          "152315145790858064829287981670579/67464642560000000000000000000000",
          "215931163905344684875405031638617429/47225249792000000000000000000000000",
          "1447431973817584898742464464009009727697/132230699417600000000000000000000000000",
          "10019382892278561646713177180223724767267533/370245958369280000000000000000000000000000",
          "127454837855713773097730370359496164302003565013/2073377366867968000000000000000000000000000000",
          "2576499060970303285997108655230260442848219146246849/23221826508921241600000000000000000000000000000000",
          "63732069090212248512106961602965673273482192817301225037/520168913799835811840000000000000000000000000000000000",
          "351258586611945338915253545680481528164192702637424174422243433/1820591198299425341440000000000000000000000000000000000000000",
          "2681747749519921456818443428298635484709605551156281766706823630066297/6372069194047988695040000000000000000000000000000000000000000000000",
          "2755614796916101581207844385682586980152569306470727551001411644614851539/2548827677619195478016000000000000000000000000000000000000000000000000",
          "267738307324467879344232035108682086191158841979994753030104606832586360485789/99914044962672462738227200000000000000000000000000000000000000000000000000",
          "6373966457526116397352415484735038207748025910626303475968162755046623300859587177/1119037303581931582668144640000000000000000000000000000000000000000000000000000",
          "45033032334448790756252473660993557040762202056108403934034033025346283823327496840849/5013287120047053490353287987200000000000000000000000000000000000000000000000000000",
          "287515585401123749464621932309645573109509382747702239575982671622421444632087586712213333841/17546504920164687216236507955200000000000000000000000000000000000000000000000000000000000",
          "2255085492594228163000811692970241605485096664867875487981575959992281530024326575112346157529569119/61412767220576405256827777843200000000000000000000000000000000000000000000000000000000000000000",
          "1268928873430328528820176523500503952416026083401570506336999801796265290666743508778370506881591971762939/15353191805144101314206944460800000000000000000000000000000000000000000000000000000000000000000000000",
          "31320222751979004841192400180780052789413283313970687226795269396574577024826979801968781750226319115261912327/171955748217613934719117777960960000000000000000000000000000000000000000000000000000000000000000000000000",
          "254091066874189573256971609859322509826501116859421732080863332907445042405520426774659908577413488082193205167711/770361752014910427541647645265100800000000000000000000000000000000000000000000000000000000000000000000000000",
          "1595640468491525920966912926449654987538770088451156487925813989043773240044108763501364623398441687708977617147069842449/2696266132052186496395766758427852800000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "39597752951770540900804741133804605115421362387401455214991650465486903934557357203769848889945599680605049016025743857404061031/33029260117639284580848142790741196800000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "514415841118204562494787929000777559470209685771147453869115553613310235477588222087526212513032093577498761696318486403928615273066033/231204820823474992065936999535188377600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "11286333923921570925752469676606140158340305388677116185669556776143799940512997787771044256151651983820818616911192654115085923202379488826913/3236867491528649888923117993492637286400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "29264960374393153171448743291763542358917988260023547272575485156760245473168884831336902781549881041461268886691970204323617460836309895564511161121/5664518110175137305615456488612115251200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "315591768092054399670867999444569051498931524692196468501848968155486455251315542900105719577300987002776067364485329143195244650119061115547944057101232903/39651626771225961139308195420284806758400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "5681596527996097313881797733473313576539779649972492319830404212967001407871449728443294284427659387985958853874500058272655205361552260971318916639134467093896983/555122774797163455950314735883987294617600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "35171923473059501356293018920288601708978071693521722813646099519064335510267913503780995628913250574734278035337403217009638982759499617477802609642942739816363065418369/3885859423580144191652203151187911062323200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "58041684661014334002205150134175287279482546188628898764942079487192270468349602331457464993044320764697669975615194616021871535453373021260110478283876455166223773842137666887/7771718847160288383304406302375822124646400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "-203249634252216228583233666535687567453095600664265958917469173792057625482498206840732960452687517520281526536890475298223223883453701550053256427923912747234432881350184200399/15543437694320576766608812604751644249292800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "upper": {
        "subcritical": true,
        "leading_minors": [
          "17/50",
          "6019/14000",
          "38005413/49000000",
          "54952454901/34300000000",
          "314904425682537/96040000000000",
          "3080343178453666113/537824000000000000",
          "1611945976193294812677/240945152000000000000",
          "41281444279982560546400031/19275612160000000000000000",
          "2437044644414608716291998305131/1079434280960000000000000000000",
          "3454901913497083080092963671291101/755603996672000000000000000000000",
          "23158933651898189790186145941406313793/2115691190681600000000000000000000000",
          "160310279075410646341716116844778613969277/5923935333908480000000000000000000000000",
          "2039279349530455166716184363543572963169224197/33174037869887488000000000000000000000000000",
          "41224024271408679858339849842209189605268081490481/371549224142739865600000000000000000000000000000",
          "1019714077482323878117687497426430943829189129715904253/8322702620797372989440000000000000000000000000000000",
          "89922347213005751484351159170208591063517613531234618463393/466071346764652887408640000000000000000000000000000000000",
          "10984462073627807627510975703793119920531673697345116107204825853/26099995418820561694883840000000000000000000000000000000000000",
          "11287022365422872946181197393943493616447108326072705332502305716351/10439998167528224677953536000000000000000000000000000000000000000",
          "1096658456880783833646192939907988803184632853399898739757316316999910961/409247928167106407375778611200000000000000000000000000000000000000000",
          "26107822579164151523074319579941351839674101282192270750978565663683940166573/4583576795471591762608720445440000000000000000000000000000000000000000000",
          "184455695933397533175090313174196174617316188541909530808793201241141149218890101/20534424043712731096487067595571200000000000000000000000000000000000000000000",
          "18842674006607197526536537304353149327715286778725319602979870742801318869437164999521/1149927746447912941403275785351987200000000000000000000000000000000000000000000000",
          "2364636283035282256694468901784879327504827565319685632962316126175039844206876222413736681/64395953801083124718583443979711283200000000000000000000000000000000000000000000000000",
          "6082621099841153417794740056774213743304204621577979046902522951953232170569214939538816902519/73595375772666428249809650262527180800000000000000000000000000000000000000000000000000000",
          "150133755925225136568978043671591295391866814616166166389248896408695559282736122884884878562507147/824268208653863996397868082940304424960000000000000000000000000000000000000000000000000000000",
          "8525914015468065314182871770048839449997040252950840994231450770724633845402662441497767084289368514197/25849051023385174927037143081007946766745600000000000000000000000000000000000000000000000000000000",
          "856656824949321939428450101633943193898058832168338465818050196728462577102451780112265025310696636945784317/1447546857309569795914080012536445018937753600000000000000000000000000000000000000000000000000000000000",
          "680287679730256723853318831075505201665743564973926469440878892955691716414298659311553939232650623968759628483869/567438368065351359998319364914286447423599411200000000000000000000000000000000000000000000000000000000000000",
          "35350591747220518408012137486842801574099112671918137632896409935547549452294580506130206099032513364714616590999717327/15888274305829838079952942217600020527860783513600000000000000000000000000000000000000000000000000000000000000000",
          "6204768282481660705034270912358603210385495426364257615633574173034844399187912431473776862271377097681088177767957130108509/1779486722252941864954729528371202299120407753523200000000000000000000000000000000000000000000000000000000000000000000",
          "514838459680150816375710267695570449036650025368752268766793878152901433198970658401967170970292926194459183968677047106010605659/99651256446164744437464853588787328750742834197299200000000000000000000000000000000000000000000000000000000000000000000000",
          "22207979780496493280733595645391995857234394304541656721445419644688989959961029538566971868611924713360872778984293800754372218915897/2790235180492612844249015900486045205020799357524377600000000000000000000000000000000000000000000000000000000000000000000000000",
          "3198484502120557611366321182685912661777579985466948995453537174487901212368208618209004346818267568190758556841763934143144369491394792539/312506340215172638555889780854437062962329528042730291200000000000000000000000000000000000000000000000000000000000000000000000000000",
          "79201006139942595725193285992655061886561413632728554350509981913486243383553259446023574225417048805603837324608807544384358299208684420750937/8750177526024833879564913863924237762945226785196448153600000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1045599340886643020579110718769406227142284778540122835809988216218622083383914121939746590987903667044173012526266541244988329804938352193009124717/140002840416397342073038621822787804207123628563143170457600000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1543628500647388663377907622146464345772257748597743558621577819943147228110133794484813130057360817687120560537854361060056688792707935542575697/2240045446662357473168617949164604867313978057010290727321600000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "scope": "Added death makes the Metzler matrix componentwise smaller, so this endpoint bracket has a monotone threshold interpretation."
    },
    "N7_eraser_at_.3": {
      "bracket": [
        "4543/125000",
        "7269/200000"
      ],
      "lower": {
        "subcritical": false,
        "leading_minors": [
          "17/50",
          "4447/8750",
          "1017427/980000",
          "331596709/137200000",
          "10962110535353/1920800000000",
          "132793382829884681/10756480000000000",
          "2667827595718185872453/120472576000000000000",
          "12286746661973168419115927/385512243200000000000000",
          "13265088218561167912651959353277/337323212800000000000000000000",
          "4776068204350105476716115869392929/47225249792000000000000000000000",
          "5161201175720198936486578837674641607/16528837427200000000000000000000000",
          "23913630450653555807658345764849781832083/23140372398080000000000000000000000000",
          "440464666069434258606571543770574683647657907/129586085429248000000000000000000000000000",
          "15228090956608534129558059603739696650940162492263/1451364156807577600000000000000000000000000000",
          "191607332982105624230319980608567623084259315814976159/6502111422497947648000000000000000000000000000000",
          "566730274923735583957463948456259746474968303127369050681593/11378694989371408384000000000000000000000000000000000000",
          "11177034772827182364817253665719700242178390959517570543208981898819/79650864925599858688000000000000000000000000000000000000000000",
          "2218653234324423958932655935452478407560760950338535136873834335399623/4551477995748563353600000000000000000000000000000000000000000000",
          "2209506536217111438966275439960736577017918349076356782315588996111539786183/1248925562033405784227840000000000000000000000000000000000000000000000",
          "88577868677624486917280254686542654362734258404931427350871946989439292201948747/13987966294774144783351808000000000000000000000000000000000000000000000000",
          "1367393892431538618025746953397394337245529814537421611032925640830434315381928417699/62666089000588168629416099840000000000000000000000000000000000000000000000000",
          "35527772041959256733538149767425130591011500264473113990780890984871262064589929198557641/856762935554916367980298240000000000000000000000000000000000000000000000000000000",
          "370439414433888718098933315284372458665973682087679965783700882482075864644195203655771232888889/2998670274442207287931043840000000000000000000000000000000000000000000000000000000000000",
          "309158454872607869532094550215629895398736511098872829055016820176555891333107087027352845202456423579/749667568610551821982760960000000000000000000000000000000000000000000000000000000000000000000",
          "12823977329009987393354000905155775374638556895363622962919253988351090745882200861028095328146466507616351/8396276768438180406206922752000000000000000000000000000000000000000000000000000000000000000000000",
          "43103061611807143127980657259463012921716081834011749558118263437940803820365497168854307741457205492653052459/7523063984520609643961402785792000000000000000000000000000000000000000000000000000000000000000000000",
          "557160562284134645577334845973104429101582352567141528122470554791877727960401443554231466264765517462678144875496147/52661447891644267507729819500544000000000000000000000000000000000000000000000000000000000000000000000000000",
          "39789056830914465537485995936984796320208011917555640727195279162057326166668125915425180953298501981592348739793955245209041/1290205473345284553939380577763328000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "899173282030306349930541355862774189753661672788918453497631937733838878884594201823874171519872393998679047584319418733656999340853/9031438313416991877575664044343296000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "43642977973624411340897981065269953595925470926466553327191432270167719008652902076770870316027910082291669693990184505627267717609734970673/126440136387837886286059296620806144000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "231715575972667761788355550307581648087380561419678595988216936565040022939387793390783127337581934500331951547311133733833077325030590950055716417/442540477357432602001207538172821504000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "4344619427604435201327852472728696071004285882964631347202875402743845557582778435705135682043705669355014297218834028526270836119783777574182221098764261/3097783341502028214008452767209750528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "188721158991127453168548868209761563282816943372136707788543475795749824136844348235260853471894312386824835876474442492792322049557715940463876563197542854605601/43368966781028394996118338740936507392000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1193766887003992208469466252660558804147029494546796069362528957118291887260027515534953822474044927434290847382928813774211798995115638162830306678868714974948342227333/303582767467198764972828371186555551744000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "5723039178347868101919489283741651957907215989911419050122501517108337730213951520019809152465855033738073364047300968825677793793609550989086042860671590890199003178818575479/607165534934397529945656742373111103488000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "-95479994309659821256067616456161051712277200240797705099621212924900008116429740294862371196941128886565888225599780378966450708026104384419080446422926131377082722011410524323/1214331069868795059891313484746222206976000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "upper": {
        "subcritical": true,
        "leading_minors": [
          "17/50",
          "4447/8750",
          "1017427/980000",
          "331596709/137200000",
          "10962110535353/1920800000000",
          "132793382829884681/10756480000000000",
          "2667827595718185872453/120472576000000000000",
          "12286746661973168419115927/385512243200000000000000",
          "21224158351143195422678921727541/539717140480000000000000000000",
          "7641715379702017011406904328484207/75560399667200000000000000000000",
          "16515857292180244271863202611364758737/52892279767040000000000000000000000",
          "153047360301468020911233089618399926234731/148098383347712000000000000000000000000",
          "2818976173207090588346161226930667225944274699/829350946747187200000000000000000000000000",
          "97459862003069608875190443373616999809926307364991/9288730603568496640000000000000000000000000000",
          "1226287936209478697319013386050737397847354077809107063/41613513103986864947200000000000000000000000000000",
          "2901663855254898618705513422934030774365072132212181625718629/58258918345581610926080000000000000000000000000000000000",
          "11445306921215563610384719028725483055777474894678590403369501627157/81562485683814255296512000000000000000000000000000000000000000",
          "15903339203063338189035184844894142690799876980059552691087350195125383/32624994273525702118604800000000000000000000000000000000000000000",
          "2262539371764087653202471599093963963972991509505202180879351015293882088449/1278899775522207523049308160000000000000000000000000000000000000000000",
          "90703925182237465424143032635004187720893981503918907953836704156192399549205341/14323677485848724258152251392000000000000000000000000000000000000000000000",
          "1400214243040674106590840950371534562706322886206902879549760271483841630313727593797/64170075136602284676522086236160000000000000000000000000000000000000000000000",
          "3725368220959087245766682402395006134682022982978629940766097902573966543391652488169299751/89838105191243198547130920730624000000000000000000000000000000000000000000000000000",
          "15537408954451182670748776006696239280579237105633686942001643256562414995607227949837909639005633/125773347267740477965983289022873600000000000000000000000000000000000000000000000000000000",
          "4320564693367485121275352289251401846680354836196046140280456066262157972598138486986755693047535227/10476746961077924028819932446720000000000000000000000000000000000000000000000000000000000000",
          "430302929061902180421542005256345233178315609875649248913815671457434193425947024372918110719215258263464063/281732297879738670643802567411236864000000000000000000000000000000000000000000000000000000000000000",
          "1446304315061474560529944785168283419447031414709351679380462516941461560959166126653966983791315062266536501067/252432138900245848896847100400468230144000000000000000000000000000000000000000000000000000000000000000",
          "3739060417475872056424275362553867809662779664658826171699256952644668417581757997508620070355992250476911236534425661/353404994460344188455585940560655522201600000000000000000000000000000000000000000000000000000000000000000000",
          "106808537944479946891783407297980322245026378551956348741529530571330556423905265837436333424099449940937891161994977349094391/3463368945711373046864742217494424117575680000000000000000000000000000000000000000000000000000000000000000000000000",
          "120685727785678027520570677663410469503365636032450212601883661542197958922188935732655664272968407742320850498519721246707548054657/1212179130998980566402659776123048441151488000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1171539772206242881707754240485869320983950050105229373313379711945360267898459517491543286184974079417423789439637188499794369985010433387/3394101566797145585927447373144535635224166400000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "2488048443726597283879667824506537053622408988389672840972050748376518572636380679882599834122461345494041406225789938160013095586384869400364471/4751742193516003820298426322402349889313832960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "2332521364500055642576787597812210442419129141247773097130960487615142502025288198903553813158046029990908680896451080654962814238609155067895655664817/1663109767730601337104449212840822461259841536000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "20263976892025672880479799138509885711143027608690280165077035398014233419657701412027150634111833010395642312810450355295006695759796103629127899160998725947/4656707349645683743892457795954302891527556300800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "6409090447148015932113729767827359373434191338244136486366328424725503854027577309764764225388166399265067772243738945316589834497616617744207256842675557996634269/1629847572375989310362360228584006012034644705280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "6145171438785159514816947468165179692115494469664406712331228434661058725772429185922989295226944652134409961463415588981688605454193310473362142558425512231752106243097/651939028950395724144944091433602404813857882112000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "20951174500030115905754475382836436043673642162830996398591777696204181455153396198199778065790828294605527622474994983639460604792184143897934573781792319918148737019061/260775611580158289657977636573440961925543152844800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "scope": "Added death makes the Metzler matrix componentwise smaller, so this endpoint bracket has a monotone threshold interpretation."
    },
    "N8_no_eraser": {
      "bracket": [
        "82373/1000000",
        "41187/500000"
      ],
      "lower": {
        "subcritical": false,
        "leading_minors": [
          "9/25",
          "2341/5000",
          "443557/500000",
          "49797209/25000000",
          "23407991761/5000000000",
          "41364708203203/4000000000000",
          "120555230076248121/6400000000000000",
          "459365873374461996019/20480000000000000000",
          "960329208189824170066369/131072000000000000000000",
          "1048857468061942905432698268637/131072000000000000000000000000",
          "880132322202987682637170447439263/52428800000000000000000000000000",
          "223872701461298073695464913423224397/5242880000000000000000000000000000",
          "122350682025603077183050410873120308983/1048576000000000000000000000000000000",
          "261735624959316297428041987387126718420649/838860800000000000000000000000000000000",
          "994474134172999478302335936184303231717253499/1342177280000000000000000000000000000000000",
          "5875895306542333059091219538799686437442377385769/4294967296000000000000000000000000000000000000",
          "42160031361108786598433243765782681006230400691246259/27487790694400000000000000000000000000000000000000",
          "70323208911802536320881833215997585037036675504338468392607/27487790694400000000000000000000000000000000000000000000",
          "164089480548732634571682088926135386832016032352146120365378076411/27487790694400000000000000000000000000000000000000000000000000",
          "92503672556379006484012883785530924307467474085113032730492648125799/5497558138880000000000000000000000000000000000000000000000000000",
          "422544879279315643830062343456913218166718289917206943764514846830182411/8796093022208000000000000000000000000000000000000000000000000000000",
          "1789712934104602230555349905428124746837385576656266114075485135405535067649/14073748835532800000000000000000000000000000000000000000000000000000000",
          "12740293032997373678074660146930594763949024260008481434339705736310203727063403/45035996273704960000000000000000000000000000000000000000000000000000000000",
          "26830352495397668496810678320023092478168288713013456624758984867651430906252862997/57646075230342348800000000000000000000000000000000000000000000000000000000000",
          "53863422917334519520027025873140044474287966857289796456664085300214313648009272547381881/57646075230342348800000000000000000000000000000000000000000000000000000000000000000",
          "135025098143867762183491253775783621652911186815922879902635211557018519459407512583391514176113/57646075230342348800000000000000000000000000000000000000000000000000000000000000000000000",
          "355514474250836162115128779144773180133185757294364918725790686409259427416990564206690881583550034899/57646075230342348800000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1543222752352341916259958017640464383878467016301289293877242299885424211681806334941895577378720904324041/92233720368547758080000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "11868769200813618853583856766479258387214491491799137297814731448483741251986974638400743405223319133717029731/295147905179352825856000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "29821760011018337002053639748801197246568217820878271295040624631289154592824290777111750119810296356150789626909/377789318629571617095680000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "62720375038854069768966030763252110073983910161412695359002846754140670831408163072674185338608908187546742824358082557/377789318629571617095680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "152895600393558069543717381715170140510773995893238979159115970279459296966672179543561111475178734145756610056781997803901511/377789318629571617095680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "22852815094157739872501040255905973653676257078204753698428691997946599770575103781646317802505018172520544371281851283383280500233/23611832414348226068480000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "98876322780224772910343736989747516126462607446742876951181803937613739523279585049061272682674023303587942443083334657569551346494395193/47223664828696452136960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "258362141821486972179423248199631934519762363547871402200967942237960189719214776340728066799496739791931228488828306337233469562562216197959/60446290980731458735308800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "504307733350538987675098974008215284432638709694517177163103690317351918976355658743789558621522594308486375765769076430986226319240033306111337957/60446290980731458735308800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "133979958621831318889084849196580587778088971359558735538106476596664758256394932236907703176640682520679960625461837394102188429707272846526512299532667/7555786372591432341913600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "520086251783876298714435182368435144129633117722161935559887661494213318357414063669841510006353282654031938442090567730522995989976737735448728691943849629457/15111572745182864683827200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "3498325293770179147334414571013038138124036320584863217162395911753700427942311952142970611452091631889138848214728370914127597455530240518227968141067870891219312719/60446290980731458735308800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "339353145416140841873097013194591143672972863823925777550882895752728931394736661335281474075549751605025614614649589734852715585772356573988434465475283998173336346099707/3777893186295716170956800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1072105755181781276615136846850553184786097097289103461494256335851418706541095242388931852100143421711069775273408275170095447658994559914983412557108567420842171180007051138797/7555786372591432341913600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "5793042310753454210633899176882869601185450098026419110048383237113832914062143764121632119342347137181351132146448323838379404959959605323275090360370902119690396377238430052108480499/30223145490365729367654400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "10451483884811839404457700785147155450039572110113510195467478615424935770640383857435520095018476447880058278586125252143293289840007880025108972500636194992409552838020193928307939071453879/60446290980731458735308800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "35191417517440281653275422787273826785126987941702239726951433407162682495413065430267363258259794504774939250616190663437933768625161581896012011870919874890326662456148729076461910168500175167593/241785163922925834941235200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "-263528751296025193718678043925427463142447004337561774091829358294342847797404546842954339695556331556221432114844513731336495611702571905407305443344618262204521193072940448449005737095345157495369/967140655691703339764940800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "upper": {
        "subcritical": true,
        "leading_minors": [
          "9/25",
          "2341/5000",
          "443557/500000",
          "49797209/25000000",
          "23407991761/5000000000",
          "41364708203203/4000000000000",
          "120555230076248121/6400000000000000",
          "459365873374461996019/20480000000000000000",
          "960329208189824170066369/131072000000000000000000",
          "524429214195575547628434167503/65536000000000000000000000000",
          "440066565754950430532634919117597/26214400000000000000000000000000",
          "111936453709765496655217618013803943/2621440000000000000000000000000000",
          "61175397300620671637029418886830683777/524288000000000000000000000000000000",
          "130867932898558130784670742681236853321631/419430400000000000000000000000000000000",
          "497237524635014244311258891859428949789890781/671088640000000000000000000000000000000000",
          "2937950356761954829414142510911716151176443242911/2147483648000000000000000000000000000000000000",
          "21080035078552275876475746316901678283241814787685221/13743895347200000000000000000000000000000000000000",
          "17580830055202013337796935239282708600187117578462779047327/6871947673600000000000000000000000000000000000000000000",
          "20511226412148415260564580360507416440989464801309931930516987149/3435973836800000000000000000000000000000000000000000000000000",
          "11562982557890584041255528848397109998043820534827281965368127709741/687194767360000000000000000000000000000000000000000000000000000",
          "52818217305497016150421610962522422467566828368135959640100811351528649/1099511627776000000000000000000000000000000000000000000000000000000",
          "223714571778038901018448830016880257832304220331049058696493904245075568891/1759218604441600000000000000000000000000000000000000000000000000000000",
          "1592539868628806263058862983799052341055790365268165582648552266707565197247977/5629499534213120000000000000000000000000000000000000000000000000000000000",
          "3353800884550785377901705736730536578195998647213416492026522365318975345867369623/7205759403792793600000000000000000000000000000000000000000000000000000000000",
          "3366472744883843227232801648899401304044158996194182582698419697919283131208828058697501/3602879701896396800000000000000000000000000000000000000000000000000000000000000000",
          "4219547187368454849368675014119783418312270804398002125147500875517113468039820164628084644937/1801439850948198400000000000000000000000000000000000000000000000000000000000000000000000",
          "2777466425077366500476731429343894511348419855994254095688049314314284032726358155200371091726662297/450359962737049600000000000000000000000000000000000000000000000000000000000000000000000000000",
          "12056469825913149208402122827477307493729201567160633157287654664605150617521263394064241412363274895523/720575940379279360000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "92725083566264599820958526790712694962620682734349768802274433314298096873638104138181826116065174060918593/2305843009213693952000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "232983315060741512869571535454416080032495769387765951139614968029756610119774366630398677003466830286625387327/2951479051793528258560000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "245002465192172887730174117492941277919719431906292109673705811936598103715072481159918933159477672291306040964148399/1475739525896764129280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "149312788654948711568496357050691368034881854515895441431960953220654667457432729519885165675233322887885319635366200782619/368934881474191032320000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "357077041075047177709601358407623558217033093338961538467790403994196024714054665680373757988147086362036292048489589527348950631/368934881474191032320000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1544951186517770719773300663798289642783544345393724719874978206191986648096364662488727106247299664973706279304321057602913156428684113/737869762948382064640000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "4036931344610959632122526307490111507467965631602594117472168208192660529483819340450249095817308642540950088111450350140561091421739151919/944473296573929042739200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1969964552380077761797834860676190505340228145850586407490719333281727306099640678184637369028128713087095257253985797403202445049738756086496739/236118324143482260684800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "4186902558636876260871702197408024391977963157311198324313936583182462118688921558830095756600695369711800778984352357757624324680892944989426584384011/236118324143482260684800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "16252818791273827034346414225020968995583485217855434052287030958309137842902373682200096456548606405184962121802600347137790632865068674188680182832598159853/472236648286964521369600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "109323587028523102910070008848188298509620837133418530272582870227222101271958490350377038048523101553424507960434964015585575731175225638022508929585973040077663463/1888946593147858085478400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "169678153999087338846357026908562112321143455404489867013155061879047570824111319600029576604478256000754896861215067077331110345114941164257129254941613166075141040696787/1888946593147858085478400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "536058310679819150823611999768385041209287604948896393241159059720421285437174517176947841980689122755165418820325843259821321844361248215716965417243299757111051163607659355301/3777893186295716170956800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "2896553710748915759300112392841085625039345054635251310582522633665589649079756620171875940468492159880727486556746938930044112453908924416471402584554732897862138849876661097983702671/15111572745182864683827200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "5225809567360375727796220555207502197163807616187711297633169477310650489892909537919416574203985098934627550271237147075164319258605762094995696123379572158618750637662827936553605269445033/30223145490365729367654400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "17595965882534098422295619223523596880611313392043251145374411314651092919605020970768439729312597676310116521854957283919229350568644692313285097102324946253051779028352299157136463353242797945243/120892581961462917470617600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "4185195131601145085682007994610363700313744770235007013059063364395390000973614188231144373296656625549862321300841202070189466905955546678731157628681222035271979871783110249857337524624921583153/483570327845851669882470400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "scope": "Added death makes the Metzler matrix componentwise smaller, so this endpoint bracket has a monotone threshold interpretation."
    },
    "N8_eraser_at_.3": {
      "bracket": [
        "8953/200000",
        "22383/500000"
      ],
      "lower": {
        "subcritical": false,
        "leading_minors": [
          "9/25",
          "2747/5000",
          "585019/500000",
          "29242343/10000000",
          "30926271511/4000000000",
          "63686764368753/3200000000000",
          "236167695667529667/5120000000000000",
          "1472500144904996951553/16384000000000000000",
          "3152509031864554628755071/20971520000000000000000",
          "802464887632466559644639565663/4194304000000000000000000000",
          "52961589276476396444006367679929/104857600000000000000000000000",
          "54705809044024541367530968846244097/33554432000000000000000000000000",
          "77618965736993059026967627906523276769/13421772800000000000000000000000000",
          "225990348360532810536020036495603282417367/10737418240000000000000000000000000000",
          "1281303381632514497973219676864661494706040453/17179869184000000000000000000000000000000",
          "13612316239905433996243032989918352972528590102967/54975581388800000000000000000000000000000000",
          "53518116451463955986923448096403180699664532583459273/70368744177664000000000000000000000000000000000",
          "19152622255284867683012216225796809343851136156570279359169/14073748835532800000000000000000000000000000000000000",
          "11365145111399950969007697267952855943669792613515956615664598057/2814749767106560000000000000000000000000000000000000000000",
          "16842717382301933594249780265246635327202156431244210785625564952479/1125899906842624000000000000000000000000000000000000000000000",
          "53360763938175664079559986464333389562139334912573233877288963148029897/900719925474099200000000000000000000000000000000000000000000000",
          "341507218653816242047272011202256176396036737389562823268427179747954294923/1441151880758558720000000000000000000000000000000000000000000000000",
          "4270904844133743613908886328833164539816201757074815564535016761522253163046457/4611686018427387904000000000000000000000000000000000000000000000000000",
          "4131673901149701535422073951298605775271196493145978946184995197458477823133936347/1180591620717411303424000000000000000000000000000000000000000000000000000",
          "1728789921791479392715346046650235674460287849926397560356867851823103828520564137538691/236118324143482260684800000000000000000000000000000000000000000000000000000000",
          "1116831446238666588733789920990406321884853251790444110906883824491426537175556881739371496023/47223664828696452136960000000000000000000000000000000000000000000000000000000000000",
          "822007142676482244888907162268161723542394002755112676452514502495383512959743068105632437138670169/9444732965739290427392000000000000000000000000000000000000000000000000000000000000000000",
          "5405178986953794091461441507730510234400937673568473618546237003562522127085858970871249713685374156763/15111572745182864683827200000000000000000000000000000000000000000000000000000000000000000000",
          "72350048826350065586666028309021411238830403903300722810467694766100093435480505934041984852331152263313609/48357032784585166988247040000000000000000000000000000000000000000000000000000000000000000000000",
          "1939398011003310070042184216727672891465278931607818004476845339164267071175276679021501805100312969674440624787/309485009821345068724781056000000000000000000000000000000000000000000000000000000000000000000000000",
          "839966786294256197532430118633587041377876265906623315483167317281608774859650171686676178081308904422681759007336511/61897001964269013744956211200000000000000000000000000000000000000000000000000000000000000000000000000000",
          "551318027602749388869073188300929960959681435534207362431448239366626979832843819344121775672764225042122218288445500543233/12379400392853802748991242240000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "50392172006905473029136583283502056407799365761156595499390496143774682880100262923329761596893766777167851230176008822375020553/309485009821345068724781056000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "78521515285963636266315101818417063054083157660547764876825792584278248582494174665109264847557621430739784991358904043203134762187393/123794003928538027489912422400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "432322382662747285397782902718020577487290376400967400050385244425141293589709014777697219577060667954034112075391709567531794502764521599/158456325028528675187087900672000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "172855425849686550946646479607628294576792512592759413361279410481697699478381686155375111625961870721306250226789216424006362502449964313568097/31691265005705735037417580134400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "212553762993457324684143070645896782863239338627186658031815178894169851836269565170876694670465820857899077883857164581404437994490394173157307943/12379400392853802748991242240000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "4815502974315114291193387041389681106125774558186360901251323787734676298025114886161705403525525521033329832026129740718357555853766155377797359777819353/79228162514264337593543950336000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "14957726521675863242541329082414044956803260004566320029883103680584794196832483744801984265918028733958020807655181093628565636411915262528537828739858689898011/63382530011411470074835160268800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "148303084111516011657127749409371645338984938788779538163373083620256563158054078098361950970742564549274849037496826826020302355695923787679827863028119415883362519/396140812571321687967719751680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "687140995784070904110527284596024424456507420437459037867424212470229810904180059543968053214122425809665182256314045090010232741904306989527932983682229590709014385220981/633825300114114700748351602688000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1891762217225805328939022651231578625361045109065696201492294134755012756716715878503472384574041849515912602234674964679410779608068979825944981474632970650062908907888552706447/507060240091291760598681282150400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "697545103438140347359126922795129662141943831792366679547560898564834518111107034772408915331457748618054520963481380261305128897312093181196006145977038611030156705872819272917284607/202824096036516704239472512860160000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1478318311581776622233147477023815831535773821070731973812457943925033282041537149757709106723482455267866490318835945876814773653794984463163757005921449385608963728104220265211697146722509/162259276829213363391578010288128000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "-20386998371890355173385315092008875273531508767912647009838933929963940196900729461961858637733173087272120891462536339888677985718301579726372410635460113520734976211388401430920593527003817/129807421463370690713262408230502400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "upper": {
        "subcritical": true,
        "leading_minors": [
          "9/25",
          "2747/5000",
          "585019/500000",
          "29242343/10000000",
          "30926271511/4000000000",
          "63686764368753/3200000000000",
          "236167695667529667/5120000000000000",
          "1472500144904996951553/16384000000000000000",
          "3152509031864554628755071/20971520000000000000000",
          "2006163795335682331388913291693/10485760000000000000000000000",
          "264808156613337166967193248328213/524288000000000000000000000000",
          "136764631324561951185033480563132667/83886080000000000000000000000000",
          "194047568643287272403625827883257329659/33554432000000000000000000000000000",
          "564976320216086010311333972496291218294637/26843545600000000000000000000000000000",
          "3203261001757818494885824331446351489814797383/42949672960000000000000000000000000000000",
          "34030817666838669146383900776093655421465311956237/137438953472000000000000000000000000000000000",
          "133795397547046274569712320873142934702273836138924403/175921860444160000000000000000000000000000000000",
          "119704079692099208242067155817423136793033248087003489332349/87960930222080000000000000000000000000000000000000000",
          "177580736941763624325507512264679167098785025163105006165237762667/43980465111040000000000000000000000000000000000000000000000",
          "263167976051673893369375861183279702283480547770957630452800147333149/17592186044416000000000000000000000000000000000000000000000000",
          "833763577424785201280430823998665713941007695268179414500649525789847707/14073748835532800000000000000000000000000000000000000000000000000",
          "5336060798228211104148315109595436310249307702817388583874463903592563855713/22517998136852480000000000000000000000000000000000000000000000000000",
          "66733019607687686126399621282020718152045058559938410989798048022799056454873067/72057594037927936000000000000000000000000000000000000000000000000000000",
          "64557531844029908569728123571340275931165788601723502989175880772140683037082981457/18446744073709551616000000000000000000000000000000000000000000000000000000",
          "67531046924006878757352045188382580425851677163095889312090630074018511468833359980312031/9223372036854775808000000000000000000000000000000000000000000000000000000000000",
          "109065921106051790631315664544850342149289977623283620208969516690108894620128052761057272353623/4611686018427387904000000000000000000000000000000000000000000000000000000000000000000",
          "100343022042368741772267977815565873793334604586962485559307809443373695593568669156834313542428792117/1152921504606846976000000000000000000000000000000000000000000000000000000000000000000000000",
          "659814233839737737352045943721784275963471900292769804964153862907457728425657091779020474989248204298359/1844674407370955161600000000000000000000000000000000000000000000000000000000000000000000000000",
          "8831824520414160400042689368446123895057365427423529884675948780790461921728937969839156604236987967808407037/5902958103587056517120000000000000000000000000000000000000000000000000000000000000000000000000000",
          "236743764540052209901215984240885491720582787189834238739332763095328349230099897173481666076363021377799482894991/37778931862957161709568000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "256338694458001345740712164836600250580054610217781333777721847987944294303345800389768170379408014741414708802992134803/18889465931478580854784000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "210312192780120696250085892385159541927030426152214493942495742713937763186864722077971813703685742795932986060846488054301837/4722366482869645213696000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "768927679142441954903471994856055128986426153416084453221161942464778524823270817916854569071064305455671987527710399110128193382017/4722366482869645213696000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "5990750429755373821228616438298192420754289360253248060800629623800404803499839701235720181811219434464448962617340552638488280784119712919/9444732965739290427392000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "32983769492111845569554551322720725805032811421723066082395778749513234884877989217803576115335686717778333335104646944448793121855268934128617/12089258196146291747061760000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "16484896191907878857873766454056720101714554590634252559282153890033197931268745043890281157514649153735148538923830568827592666759613936016867519343/3022314549036572936765440000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "51893407998534928366662449492424428247130913590450770711334804095147498437287046049546995455334162966496090703714262615618288247588257168599739715789436863/3022314549036572936765440000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "367396711217338890647944383787740725403079215456802565286325401137629306270486966502442906134726190898481602829769447661875124298763719617688567789630809447751241/6044629098073145873530880000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "5705968181594455690935579116891022766098495088102231088574337896564673281314235093669680259020178546859879592660465325409757730160840003428334439386646612926830485230299/24178516392292583494123520000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "9051802362341094938011013978726648334576175851379170484564696743405857507647916598029091409461143888991534001295750422555208347675201960441271375755261541745126063538201743159/24178516392292583494123520000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "52425315347995690102270823369099902434742814531335576523161781801423814067138353794200891509281373163975124524766588902491406858886210973851077383708591705173410495066365128777029713/48357032784585166988247040000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "721658831991554393304890669218763153995839162057898550144935911693726854674799026388682499911616157449364235859270300061362406478464941779137172982994110330407852974872219234766145927195507/193428131138340667952988160000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "1330489077863235871138291508856634536476469703452391572937180859736867306095800764840266761010093858984273738497187834646299827094235374333524640209219218697775268665046454319980360176487030643349/386856262276681335905976320000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "14098647442937445605026494304741174946942902037288877232852283087568349571663156396920982458802128328587078677067875603330885774657184843273922340336317795518799625037518909128057231557309991859368139711/1547425049106725343623905280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "414940821700066954468935539695695663532523579257588035769210644433621837097072804751147172334555209362974324265748914215480209846530592839324428561654591569924821620592542891598106990424010460347581053629/6189700196426901374495621120000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        ]
      },
      "scope": "Added death makes the Metzler matrix componentwise smaller, so this endpoint bracket has a monotone threshold interpretation."
    }
  },
  "spectral_at_point": {
    "2": {
      "bounds": [
        "-1516877/14350650",
        "-51901/491020"
      ],
      "scope": "Mean growth at one constant action only."
    },
    "3": {
      "bounds": [
        "-4873729/100396200",
        "-16077089/331188000"
      ],
      "scope": "Mean growth at one constant action only."
    },
    "4": {
      "bounds": [
        "-882113/63160300",
        "-3046883/218177800"
      ],
      "scope": "Mean growth at one constant action only."
    },
    "5": {
      "bounds": [
        "1235481/146027500",
        "1024781/121114600"
      ],
      "scope": "Mean growth at one constant action only."
    },
    "6": {
      "bounds": [
        "1619967/67718900",
        "30680561/1282452000"
      ],
      "scope": "Mean growth at one constant action only."
    },
    "7": {
      "bounds": [
        "1264073/36037652",
        "74552511/2125270000"
      ],
      "scope": "Mean growth at one constant action only."
    },
    "8": {
      "bounds": [
        "27779911/640000000",
        "29294103/674859520"
      ],
      "scope": "Mean growth at one constant action only."
    }
  }
}