{ "source": "inherited-mark N-site branching source: b=1/10, d=1/100 on a>r and 3/10 otherwise, e=1/100+v", "baseline_erasure": "1/100", "sites": { "2": { "states": 6, "ec_lower": "371/4000", "ec_upper": "92751/1000000", "cw_at_lower": [ "257/1000000000", "943/1347534000" ], "cw_at_upper": [ "-83731/673766500000", "-2/75389275" ], "witness_lower": [ "1507793/500000", "673767/500000", "1", "34839561/1000000", "346771/25000", "10282543/250000" ], "witness_upper": [ "3015571/1000000", "1347533/1000000", "1", "6967863/200000", "346769/25000", "4112991/100000" ], "gamma_half": "20797/125000", "C_half": "3741963/1000000", "w_half": [ "1091159/1000000", "1026423/1000000", "1", "747579/250000", "970511/500000", "3741963/1000000" ] }, "3": { "states": 10, "ec_lower": "5879/31250", "ec_upper": "188129/1000000", "cw_at_lower": [ "-19487/54611390625", "439/1190619000" ], "cw_at_upper": [ "-88029/158749000000", "1237/36407562500" ], "witness_lower": [ "754123/250000", "396873/250000", "1165043/1000000", "1", "12277721/500000", "5689889/500000", "6257139/1000000", "7689649/250000", "63626/3125", "16618537/500000" ], "witness_upper": [ "18853/6250", "158749/100000", "582521/500000", "1", "12277647/500000", "11379721/1000000", "3128557/500000", "3844803/125000", "2036021/100000", "33236897/1000000" ], "gamma_half": "129493/1000000", "C_half": "6462907/1000000", "w_half": [ "1259353/1000000", "220969/200000", "129457/125000", "1", "874717/200000", "2739973/1000000", "505281/250000", "2872157/500000", "2120143/500000", "6462907/1000000" ] }, "4": { "states": 15, "ec_lower": "52737/200000", "ec_upper": "131843/500000", "cw_at_lower": [ "-31413/73529200000", "2779/5211956000" ], "cw_at_upper": [ "-4607/3676460000", "151339/325747000000" ], "witness_lower": [ "760461/250000", "220083/125000", "1302989/1000000", "551469/500000", "1", "19532247/1000000", "1233307/125000", "5831799/1000000", "969803/250000", "25339151/1000000", "8518031/500000", "5212867/500000", "69827/2500", "4290169/200000", "5861859/200000" ], "witness_upper": [ "380229/125000", "1760661/1000000", "325747/250000", "551469/500000", "1", "19532137/1000000", "9866409/1000000", "5831777/1000000", "4849/1250", "25339017/1000000", "17035977/1000000", "1303211/125000", "27930659/1000000", "21450737/1000000", "29309151/1000000" ], "gamma_half": "5943/62500", "C_half": "9300617/1000000", "w_half": [ "744461/500000", "613901/500000", "1104583/1000000", "1038813/1000000", "1", "5655153/1000000", "218923/62500", "628781/250000", "1985347/1000000", "9501/1250", "5549863/1000000", "1939877/500000", "1082453/125000", "6889211/1000000", "9300617/1000000" ] }, "5": { "states": 21, "ec_lower": "324157/1000000", "ec_upper": "162079/500000", "cw_at_lower": [ "-636421/597397000000", "81053/67065812500" ], "cw_at_upper": [ "-472511/597396500000", "343/829375000" ], "witness_lower": [ "1534989/500000", "189467/100000", "354973/250000", "597397/500000", "1073053/1000000", "1", "4131301/250000", "1109437/125000", "1104393/200000", "152447/40000", "1426009/500000", "21913121/1000000", "15003981/1000000", "9605257/1000000", "265579/40000", "24522151/1000000", "18879873/1000000", "14023713/1000000", "6494229/250000", "1072303/50000", "839947/31250" ], "witness_upper": [ "1534983/500000", "947333/500000", "141989/100000", "1194793/1000000", "1073053/1000000", "1", "8262557/500000", "1775091/200000", "690243/125000", "3811163/1000000", "2852011/1000000", "1369563/62500", "15003909/1000000", "300163/31250", "6639449/1000000", "2452203/100000", "9439891/500000", "438239/31250", "3247099/125000", "21445957/1000000", "13439089/500000" ], "gamma_half": "16967/250000", "C_half": "1190601/100000", "w_half": [ "1749921/1000000", "344629/250000", "239411/200000", "1097851/1000000", "1038393/1000000", "1", "84321/12500", "2085857/500000", "2961687/1000000", "2297791/1000000", "949899/500000", "9168867/1000000", "267003/40000", "4669781/1000000", "705419/200000", "10521533/1000000", "8335621/1000000", "6477023/1000000", "5677003/500000", "4744343/500000", "1190601/100000" ] }, "6": { "states": 28, "ec_lower": "74739/200000", "ec_upper": "5839/15625", "cw_at_lower": [ "-11079/23225800000", "602311/456258600000" ], "cw_at_upper": [ "-527561/316756800000", "178967/95026000000" ], "witness_lower": [ "3099597/1000000", "400769/200000", "760431/500000", "1277419/1000000", "1140313/1000000", "65991/62500", "1", "2905471/200000", "65367/8000", "5278139/1000000", "1872717/500000", "357253/125000", "2308149/1000000", "19535247/1000000", "6799507/500000", "8970071/1000000", "635349/100000", "4767939/1000000", "11058171/500000", "17106097/1000000", "3212521/250000", "4560861/500000", "23614149/1000000", "973997/50000", "15724627/1000000", "24565791/1000000", "10575761/500000", "25213759/1000000" ], "witness_upper": [ "619917/200000", "6262/3125", "76043/50000", "638709/500000", "142539/125000", "65991/62500", "1", "7263639/500000", "4085419/500000", "131953/25000", "1872711/500000", "2858017/1000000", "461629/200000", "4883787/250000", "271979/20000", "8970033/1000000", "6353467/1000000", "1191981/250000", "11058117/500000", "534563/31250", "12850027/1000000", "2280421/250000", "23614037/1000000", "19479849/1000000", "3144911/200000", "24565677/1000000", "21151423/1000000", "6303411/250000" ], "gamma_half": "46787/1000000", "C_half": "1784891/125000", "w_half": [ "2031557/1000000", "48383/31250", "1306121/1000000", "1171397/1000000", "544857/500000", "207317/200000", "1", "1925623/250000", "4770593/1000000", "3368959/1000000", "323459/125000", "2113559/1000000", "361463/200000", "10527637/1000000", "7660631/1000000", "2683059/500000", "2017813/500000", "3203613/1000000", "12134739/1000000", "4797719/500000", "1488731/200000", "5544461/1000000", "13136353/1000000", "5475219/500000", "1800767/200000", "13806021/1000000", "2983709/250000", "1784891/125000" ] }, "7": { "states": 36, "ec_lower": "415181/1000000", "ec_upper": "207591/500000", "cw_at_lower": [ "-361141/500000000000", "1553143/1388030700000" ], "cw_at_upper": [ "-10543/11082350000", "79723/84526000000" ], "witness_lower": [ "1564731/500000", "2096007/1000000", "804813/500000", "676209/500000", "1202631/1000000", "221647/200000", "1044829/1000000", "1", "52417/4000", "7643773/1000000", "127103/25000", "92187/25000", "2857869/1000000", "2332753/1000000", "1982901/1000000", "8889313/500000", "2512057/200000", "339001/40000", "6119679/1000000", "4662819/1000000", "371179/100000", "20309559/1000000", "15794639/1000000", "2996257/250000", "2170801/250000", "82517/12500", "2182861/100000", "45057/2500", "7306561/500000", "5779537/500000", "22815827/1000000", "2452107/125000", "8306279/500000", "5874603/250000", "20794177/1000000", "11996917/500000" ], "witness_upper": [ "62589/20000", "1048001/500000", "201203/125000", "42263/31250", "120263/100000", "221647/200000", "1044829/1000000", "1", "6552091/500000", "382187/50000", "5084101/1000000", "3687469/1000000", "1428931/500000", "583187/250000", "991449/500000", "17778537/1000000", "12560227/1000000", "847499/100000", "764957/125000", "1165701/250000", "3711779/1000000", "20309461/1000000", "7897283/500000", "479399/40000", "271349/31250", "825167/125000", "5457127/250000", "18022717/1000000", "228329/15625", "462361/40000", "11407861/500000", "9808383/500000", "16612483/1000000", "4699661/200000", "10397041/500000", "23993727/1000000" ], "gamma_half": "15121/500000", "C_half": "16479111/1000000", "w_half": [ "2330259/1000000", "21663/12500", "89253/62500", "628013/500000", "17981/15625", "1081941/1000000", "258593/250000", "1", "1715709/200000", "2663041/500000", "1875657/500000", "1431479/500000", "2318677/1000000", "1964523/1000000", "1722803/1000000", "470171/40000", "133699/15625", "6002597/1000000", "4504657/1000000", "3559019/1000000", "366109/125000", "6793899/500000", "5367319/500000", "4161349/500000", "3107689/500000", "2434911/500000", "3685557/250000", "12269821/1000000", "10076069/1000000", "4056877/500000", "7759673/500000", "13391259/1000000", "11426343/1000000", "16070853/1000000", "7117599/500000", "16479111/1000000" ] }, "8": { "states": 45, "ec_lower": "112643/250000", "ec_upper": "450573/1000000", "cw_at_lower": [ "-567173/355268000000", "1476553/1087377000000" ], "cw_at_upper": [ "-17809/7235037500", "2377837/1771360000000" ], "witness_lower": [ "157961/50000", "1087967/500000", "337767/200000", "88817/62500", "1260701/1000000", "578803/500000", "1087377/1000000", "129653/125000", "1", "2408111/200000", "7234883/1000000", "4927219/1000000", "909449/250000", "571133/200000", "1175893/500000", "2011103/1000000", "1771363/1000000", "8212109/500000", "5878293/500000", "8078523/1000000", "1184999/200000", "4571373/1000000", "1837607/500000", "3056499/1000000", "1180913/62500", "7388911/500000", "5656361/500000", "8321091/1000000", "3201/500", "511149/100000", "10210241/500000", "3378037/200000", "6877/500", "10956847/1000000", "8385771/1000000", "21432349/1000000", "18421567/1000000", "15628829/1000000", "13060471/1000000", "1383877/62500", "9782921/500000", "17093269/1000000", "22662451/1000000", "10221551/500000", "5764493/250000" ], "witness_upper": [ "394901/125000", "2175929/1000000", "1688833/1000000", "142107/100000", "12607/10000", "578803/500000", "1087377/1000000", "129653/125000", "1", "12040493/1000000", "7234851/1000000", "4927201/1000000", "727557/200000", "1427829/500000", "2351781/1000000", "20111/10000", "11071/6250", "16424137/1000000", "2939133/250000", "8078489/1000000", "5924973/1000000", "2285679/500000", "3675203/1000000", "3056491/1000000", "18894517/1000000", "14777753/1000000", "353521/31250", "4160529/500000", "800247/125000", "5111473/1000000", "10210193/500000", "4222527/250000", "13753939/1000000", "6848/625", "4192869/500000", "85729/4000", "18421483/1000000", "15628759/1000000", "6530207/500000", "5535483/250000", "19565753/1000000", "2136649/125000", "453247/20000", "20443011/1000000", "2305787/100000" ], "gamma_half": "2127/125000", "C_half": "18558227/1000000", "w_half": [ "2644723/1000000", "965447/500000", "390197/250000", "168719/125000", "609847/500000", "1134223/1000000", "537501/500000", "206429/200000", "1", "9407753/1000000", "5856213/1000000", "2059539/500000", "625951/200000", "2518889/1000000", "1059507/500000", "922411/500000", "329897/200000", "12899419/1000000", "9397169/1000000", "6601511/1000000", "4948241/1000000", "487111/125000", "49884/15625", "2700811/1000000", "933747/62500", "2359511/200000", "9145371/1000000", "684207/100000", "2677157/500000", "271569/62500", "4058937/250000", "13498499/1000000", "1384537/125000", "4457669/500000", "6924303/1000000", "4278283/250000", "14746669/1000000", "12569571/1000000", "5287323/500000", "8869127/500000", "15689537/1000000", "13744709/1000000", "4550559/250000", "8209743/500000", "18558227/1000000" ] } }, "spectral_at_three_tenths": { "2": { "lower": "-1516877/14350650", "upper": "-51901/491020", "rounded_display": null, "witness": [ "1418853/1000000", "220959/200000", "1", "33691/4000", "861039/200000", "336397/31250" ] }, "3": { "lower": "-4873729/100396200", "upper": "-16077089/331188000", "rounded_display": null, "witness": [ "1987923/1000000", "167327/125000", "27599/25000", "1", "6336651/500000", "3273003/500000", "2006511/500000", "1032453/62500", "281153/25000", "18267243/1000000" ] }, "4": { "lower": "-882113/63160300", "upper": "-3046883/218177800", "rounded_display": [ "-7/500", "-139/10000" ], "witness": [ "1322453/500000", "164243/100000", "631603/500000", "1090889/1000000", "1", "15948471/1000000", "2080219/250000", "507423/100000", "867571/250000", "20938423/1000000", "14223143/1000000", "222223/25000", "11628561/500000", "8951417/500000", "24520003/1000000" ] }, "5": { "lower": "1235481/146027500", "upper": "1024781/121114600", "rounded_display": null, "witness": [ "1689761/500000", "1998879/1000000", "58411/40000", "605573/500000", "215727/200000", "1", "18850127/1000000", "4960173/500000", "3027693/500000", "205433/50000", "1514943/500000", "24812521/1000000", "16866739/1000000", "1066419/100000", "3638951/500000", "27625943/1000000", "10611649/500000", "15679519/1000000", "1823081/62500", "24083787/1000000", "6023167/200000" ] }, "6": { "lower": "1619967/67718900", "upper": "30680561/1282452000", "rounded_display": [ "239/10000", "3/125" ], "witness": [ "1048389/250000", "2403313/1000000", "337819/200000", "677189/500000", "1175233/1000000", "106871/100000", "1", "10817169/500000", "5731171/500000", "7007319/1000000", "1183329/250000", "346117/100000", "1348169/500000", "28489477/1000000", "4845319/250000", "6166599/500000", "1052433/125000", "6102251/1000000", "3176269/100000", "4873389/200000", "17999377/1000000", "2480537/200000", "33568779/1000000", "110639/4000", "5538511/250000", "8669753/250000", "5985291/200000", "17709093/500000" ] }, "7": { "lower": "1264073/36037652", "upper": "74552511/2125270000", "rounded_display": null, "witness": [ "5089461/1000000", "1427321/500000", "121721/62500", "30361/20000", "1287059/1000000", "1149503/1000000", "212163/200000", "1", "6103997/250000", "13005993/1000000", "7963087/1000000", "5363237/1000000", "389741/100000", "3011503/1000000", "2444517/1000000", "1285173/40000", "10936573/500000", "2796111/200000", "9553047/1000000", "3453329/500000", "5238799/1000000", "8962203/250000", "13736703/500000", "20301219/1000000", "7044039/500000", "10251269/1000000", "18955899/500000", "31188829/1000000", "3120023/125000", "4824737/250000", "39182793/1000000", "8439179/250000", "5685931/200000", "40029483/1000000", "4449347/125000", "20313757/500000" ] }, "8": { "lower": "27779911/640000000", "upper": "29294103/674859520", "rounded_display": null, "witness": [ "3035101/500000", "419157/125000", "111753/50000", "340241/200000", "22077/15625", "1241061/1000000", "1130307/1000000", "263617/250000", "1", "27256271/1000000", "1822947/125000", "2235221/250000", "6008799/1000000", "27157/6250", "1667613/500000", "335881/125000", "140691/62500", "35818773/1000000", "24399643/1000000", "7822873/500000", "2674901/250000", "1544391/200000", "729601/125000", "573747/125000", "9995947/250000", "30616901/1000000", "905241/40000", "7886817/500000", "2296351/200000", "8690419/1000000", "5288147/125000", "1737879/50000", "27797363/1000000", "21494061/1000000", "15675203/1000000", "21869347/500000", "37629479/1000000", "1583017/50000", "325109/12500", "44694397/1000000", "3969093/100000", "1729547/50000", "11342337/250000", "10303729/250000", "2866723/62500" ] } }, "exposure": { "2": { "q": [ "1875731443/2000000000", "4897386333/5000000000", "492564707/500000000", "1277943627/5000000000", "7257256561/10000000000", "88600353/400000000" ], "c": "916533/1000000", "eta_top": "311399647/400000000", "max_phi_slack": "-16831772629043/250000000000000000000", "B_nec_1_0.01": "4.751365", "states": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 1, 0 ], [ 1, 1 ], [ 2, 0 ] ] }, "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_top": "1717731301/2000000000", "max_phi_slack": "-161893295531213/2000000000000000000000", "B_nec_1_0.01": "5.033717", "states": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 0, 3 ], [ 1, 0 ], [ 1, 1 ], [ 1, 2 ], [ 2, 0 ], [ 2, 1 ], [ 3, 0 ] ] }, "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_top": "4400474447/5000000000", "max_phi_slack": "-140319558130353/2000000000000000000000", "B_nec_1_0.01": "5.223867", "states": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 0, 3 ], [ 0, 4 ], [ 1, 0 ], [ 1, 1 ], [ 1, 2 ], [ 1, 3 ], [ 2, 0 ], [ 2, 1 ], [ 2, 2 ], [ 3, 0 ], [ 3, 1 ], [ 4, 0 ] ] }, "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_top": "8888636971/10000000000", "max_phi_slack": "-445025107581801/8000000000000000000000", "B_nec_1_0.01": "5.387069", "states": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 0, 3 ], [ 0, 4 ], [ 0, 5 ], [ 1, 0 ], [ 1, 1 ], [ 1, 2 ], [ 1, 3 ], [ 1, 4 ], [ 2, 0 ], [ 2, 1 ], [ 2, 2 ], [ 2, 3 ], [ 3, 0 ], [ 3, 1 ], [ 3, 2 ], [ 4, 0 ], [ 4, 1 ], [ 5, 0 ] ] }, "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_top": "8930882897/10000000000", "max_phi_slack": "-678915129041381/16000000000000000000000", "B_nec_1_0.01": "5.534843", "states": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 0, 3 ], [ 0, 4 ], [ 0, 5 ], [ 0, 6 ], [ 1, 0 ], [ 1, 1 ], [ 1, 2 ], [ 1, 3 ], [ 1, 4 ], [ 1, 5 ], [ 2, 0 ], [ 2, 1 ], [ 2, 2 ], [ 2, 3 ], [ 2, 4 ], [ 3, 0 ], [ 3, 1 ], [ 3, 2 ], [ 3, 3 ], [ 4, 0 ], [ 4, 1 ], [ 4, 2 ], [ 5, 0 ], [ 5, 1 ], [ 6, 0 ] ] }, "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_top": "8953375577/10000000000", "max_phi_slack": "-257222669409959/8000000000000000000000", "B_nec_1_0.01": "5.671883", "states": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 0, 3 ], [ 0, 4 ], [ 0, 5 ], [ 0, 6 ], [ 0, 7 ], [ 1, 0 ], [ 1, 1 ], [ 1, 2 ], [ 1, 3 ], [ 1, 4 ], [ 1, 5 ], [ 1, 6 ], [ 2, 0 ], [ 2, 1 ], [ 2, 2 ], [ 2, 3 ], [ 2, 4 ], [ 2, 5 ], [ 3, 0 ], [ 3, 1 ], [ 3, 2 ], [ 3, 3 ], [ 3, 4 ], [ 4, 0 ], [ 4, 1 ], [ 4, 2 ], [ 4, 3 ], [ 5, 0 ], [ 5, 1 ], [ 5, 2 ], [ 6, 0 ], [ 6, 1 ], [ 7, 0 ] ] }, "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_top": "8755997/9765625", "max_phi_slack": "-3117878617413349/128000000000000000000000", "B_nec_1_0.01": "5.800437", "states": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 0, 3 ], [ 0, 4 ], [ 0, 5 ], [ 0, 6 ], [ 0, 7 ], [ 0, 8 ], [ 1, 0 ], [ 1, 1 ], [ 1, 2 ], [ 1, 3 ], [ 1, 4 ], [ 1, 5 ], [ 1, 6 ], [ 1, 7 ], [ 2, 0 ], [ 2, 1 ], [ 2, 2 ], [ 2, 3 ], [ 2, 4 ], [ 2, 5 ], [ 2, 6 ], [ 3, 0 ], [ 3, 1 ], [ 3, 2 ], [ 3, 3 ], [ 3, 4 ], [ 3, 5 ], [ 4, 0 ], [ 4, 1 ], [ 4, 2 ], [ 4, 3 ], [ 4, 4 ], [ 5, 0 ], [ 5, 1 ], [ 5, 2 ], [ 5, 3 ], [ 6, 0 ], [ 6, 1 ], [ 6, 2 ], [ 7, 0 ], [ 7, 1 ], [ 8, 0 ] ] } }, "amplitude": { "N2_vmax1/50": { "N": 2, "e_hi": "3/100", "v_max": "1/50", "q": [ "23683881/25000000", "19651613/20000000", "24684213/25000000", "7433697/20000000", "38411441/50000000", "32149781/100000000" ], "eta_top": "67850219/100000000", "one_minus_max_q": "315787/25000000", "max_slack_baseline": "-98330125327/200000000000000000", "max_slack_vmax": "-17503277839/6250000000000000", "states": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 1, 0 ], [ 1, 1 ], [ 2, 0 ] ] }, "N2_vmax1/20": { "N": 2, "e_hi": "3/50", "v_max": "1/20", "q": [ "19360387/20000000", "12367177/12500000", "49614059/50000000", "62169253/100000000", "3440279/4000000", "14318271/25000000" ], "eta_top": "10681729/25000000", "one_minus_max_q": "385941/50000000", "max_slack_baseline": "-18183217307/100000000000000000", "max_slack_vmax": "-4136010231/4000000000000000", "states": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 1, 0 ], [ 1, 1 ], [ 2, 0 ] ] }, "N2_vmax2/25": { "N": 2, "e_hi": "9/100", "v_max": "2/25", "q": [ "99724627/100000000", "49953981/50000000", "49966487/50000000", "24195931/25000000", "98805713/100000000", "96214271/100000000" ], "eta_top": "3785729/100000000", "one_minus_max_q": "33513/50000000", "max_slack_baseline": "-125927929/100000000000000000", "max_slack_vmax": "-929710871/100000000000000000", "states": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 1, 0 ], [ 1, 1 ], [ 2, 0 ] ] }, "N5_vmax29/100": { "N": 5, "e_hi": "3/10", "v_max": "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" ], "eta_top": "17008641/100000000", "one_minus_max_q": "1447/781250", "max_slack_baseline": "-2255170219/200000000000000000", "max_slack_vmax": "-2213553751/6250000000000000", "states": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 0, 3 ], [ 0, 4 ], [ 0, 5 ], [ 1, 0 ], [ 1, 1 ], [ 1, 2 ], [ 1, 3 ], [ 1, 4 ], [ 2, 0 ], [ 2, 1 ], [ 2, 2 ], [ 2, 3 ], [ 3, 0 ], [ 3, 1 ], [ 3, 2 ], [ 4, 0 ], [ 4, 1 ], [ 5, 0 ] ] }, "N6_vmax29/100": { "N": 6, "e_hi": "3/10", "v_max": "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" ], "eta_top": "45962721/100000000", "one_minus_max_q": "434343/100000000", "max_slack_baseline": "-103581627227/1600000000000000000", "max_slack_vmax": "-1318791/400000000000", "states": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 0, 3 ], [ 0, 4 ], [ 0, 5 ], [ 0, 6 ], [ 1, 0 ], [ 1, 1 ], [ 1, 2 ], [ 1, 3 ], [ 1, 4 ], [ 1, 5 ], [ 2, 0 ], [ 2, 1 ], [ 2, 2 ], [ 2, 3 ], [ 2, 4 ], [ 3, 0 ], [ 3, 1 ], [ 3, 2 ], [ 3, 3 ], [ 4, 0 ], [ 4, 1 ], [ 4, 2 ], [ 5, 0 ], [ 5, 1 ], [ 6, 0 ] ] }, "N7_vmax29/100": { "N": 7, "e_hi": "3/10", "v_max": "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" ], "eta_top": "30674487/50000000", "one_minus_max_q": "504729/100000000", "max_slack_baseline": "-536309388901/6400000000000000000", "max_slack_vmax": "-720374993671/100000000000000000", "states": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 0, 3 ], [ 0, 4 ], [ 0, 5 ], [ 0, 6 ], [ 0, 7 ], [ 1, 0 ], [ 1, 1 ], [ 1, 2 ], [ 1, 3 ], [ 1, 4 ], [ 1, 5 ], [ 1, 6 ], [ 2, 0 ], [ 2, 1 ], [ 2, 2 ], [ 2, 3 ], [ 2, 4 ], [ 2, 5 ], [ 3, 0 ], [ 3, 1 ], [ 3, 2 ], [ 3, 3 ], [ 3, 4 ], [ 4, 0 ], [ 4, 1 ], [ 4, 2 ], [ 4, 3 ], [ 5, 0 ], [ 5, 1 ], [ 5, 2 ], [ 6, 0 ], [ 6, 1 ], [ 7, 0 ] ] }, "N8_vmax29/100": { "N": 8, "e_hi": "3/10", "v_max": "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" ], "eta_top": "70130311/100000000", "one_minus_max_q": "503641/100000000", "max_slack_baseline": "-563861409493/6400000000000000000", "max_slack_vmax": "-1117678043991/100000000000000000", "states": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 0, 3 ], [ 0, 4 ], [ 0, 5 ], [ 0, 6 ], [ 0, 7 ], [ 0, 8 ], [ 1, 0 ], [ 1, 1 ], [ 1, 2 ], [ 1, 3 ], [ 1, 4 ], [ 1, 5 ], [ 1, 6 ], [ 1, 7 ], [ 2, 0 ], [ 2, 1 ], [ 2, 2 ], [ 2, 3 ], [ 2, 4 ], [ 2, 5 ], [ 2, 6 ], [ 3, 0 ], [ 3, 1 ], [ 3, 2 ], [ 3, 3 ], [ 3, 4 ], [ 3, 5 ], [ 4, 0 ], [ 4, 1 ], [ 4, 2 ], [ 4, 3 ], [ 4, 4 ], [ 5, 0 ], [ 5, 1 ], [ 5, 2 ], [ 5, 3 ], [ 6, 0 ], [ 6, 1 ], [ 6, 2 ], [ 7, 0 ], [ 7, 1 ], [ 8, 0 ] ] }, "N6_vmax17/50": { "N": 6, "e_hi": "7/20", "v_max": "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" ], "eta_top": "14866289/100000000", "one_minus_max_q": "66841/50000000", "max_slack_baseline": "-4139424003/800000000000000000", "max_slack_vmax": "-30260971399/100000000000000000", "states": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 0, 3 ], [ 0, 4 ], [ 0, 5 ], [ 0, 6 ], [ 1, 0 ], [ 1, 1 ], [ 1, 2 ], [ 1, 3 ], [ 1, 4 ], [ 1, 5 ], [ 2, 0 ], [ 2, 1 ], [ 2, 2 ], [ 2, 3 ], [ 2, 4 ], [ 3, 0 ], [ 3, 1 ], [ 3, 2 ], [ 3, 3 ], [ 4, 0 ], [ 4, 1 ], [ 4, 2 ], [ 5, 0 ], [ 5, 1 ], [ 6, 0 ] ] } }, "added_death": { "N2_no_eraser": [ "33181/1000000", "16591/500000" ], "N3_no_eraser": [ "54493/1000000", "27247/500000" ], "N4_no_eraser": [ "66139/1000000", "3307/50000" ], "N5_no_eraser": [ "7309/100000", "73091/1000000" ], "N5_eraser_at_.3": [ "4447/500000", "1779/200000" ], "N6_no_eraser": [ "2421/31250", "77473/1000000" ], "N6_eraser_at_.3": [ "24937/1000000", "12469/500000" ], "N7_no_eraser": [ "40187/500000", "643/8000" ], "N7_eraser_at_.3": [ "4543/125000", "7269/200000" ], "N8_no_eraser": [ "82373/1000000", "41187/500000" ], "N8_eraser_at_.3": [ "8953/200000", "22383/500000" ] } }