{
  "status": "passed",
  "exact_arithmetic": "fractions.Fraction; no floating acceptance decisions",
  "sector_uniqueness_tolerances": {
    "W_relative_error": "1/200",
    "up_relative_error": "1"
  },
  "sector_uniqueness_requires_fixed_electron_and_shared_lepton_units": true,
  "sector_factors_fourth": {
    "2": "8352100",
    "3": "7168",
    "4": "256/39375",
    "6": "1/118764389051433216",
    "10": "1/118764389051433216"
  },
  "electron_counts": {
    "d6_n13": 18564,
    "d10_n7": 8008,
    "d10_n8": 19448
  },
  "W_gap_certificates": [
    {
      "depth": 3,
      "lower_index": 45,
      "upper_index": 46,
      "lower_count": 16215,
      "upper_count": 17296,
      "lower_prediction_ratio_fourth": "8446676245889679158412601123694421900304167/10430342993601002374662400000000000000000000",
      "upper_prediction_ratio_fourth": "104279953652959001955711124983881751855607/99471502243051551577209472656250000000000"
    },
    {
      "depth": 4,
      "lower_index": 58,
      "upper_index": 59,
      "lower_count": 521855,
      "upper_count": 557845,
      "lower_prediction_ratio_fourth": "184935953945056593323026292059629336901363896823/234682717356022553429904000000000000000000000000",
      "upper_prediction_ratio_fourth": "241477202304731231465675685150881961829152044743/234682717356022553429904000000000000000000000000"
    }
  ],
  "unique_nearest_indices": [
    {
      "particle": "W",
      "depth": 2,
      "index": 76,
      "count": 2926,
      "target_eighth_power": "679950343526009499150211581346726523884462336/390625",
      "lower_neighbor_product_fourth": "40148389195098563828259400190235743187528503486779924019125991883821443392459510299361/25600000000000000000000000000000000000000000000",
      "upper_neighbor_product_fourth": "309307201470582897956160259852699777747799289178639719196085716099716282271155823780133216241/160000000000000000000000000000000000000000000000000000",
      "strict_lower_boundary": true,
      "strict_upper_boundary": true
    },
    {
      "particle": "Z",
      "depth": 2,
      "index": 81,
      "count": 3321,
      "target_eighth_power": "4780810443086674164377504747302273744896",
      "lower_neighbor_product_fourth": "4347173525720235897240481282948520355201303232691766155075812508204195238581446411971201/1000000000000000000000000000000000000000000000000",
      "upper_neighbor_product_fourth": "13542994344261030913784297578939561211509719762012786894937189407337791241357612413257876424561/2560000000000000000000000000000000000000000000000000000",
      "strict_lower_boundary": true,
      "strict_upper_boundary": true
    },
    {
      "particle": "H",
      "depth": 2,
      "index": 95,
      "count": 4560,
      "target_eighth_power": "60371870388706903012802560000000000000000",
      "lower_neighbor_product_fourth": "5573097699738914623063326389875906939404254540108599606434411725621055222925385478801/100000000000000000000000000000000000000000000",
      "upper_neighbor_product_fourth": "62843849075064906443742669370234107019379897831668795124269745063181160007820434961/953674316406250000000000000000000000000000",
      "strict_lower_boundary": true,
      "strict_upper_boundary": true
    },
    {
      "particle": "down",
      "depth": 3,
      "index": 1,
      "count": 1,
      "target_eighth_power": "23811286661761/100000000",
      "lower_neighbor_product_fourth": null,
      "upper_neighbor_product_fourth": "5831712526164420341416974409851487620488061661477624268689/95367431640625000000000000000000000000000000000000",
      "strict_lower_boundary": false,
      "strict_upper_boundary": true
    },
    {
      "particle": "strange",
      "depth": 3,
      "index": 4,
      "count": 20,
      "target_eighth_power": "1495315559180183521/256",
      "lower_neighbor_product_fourth": "5831712526164420341416974409851487620488061661477624268689/15258789062500000000000000000000000000000000",
      "upper_neighbor_product_fourth": "14001941775320773239742155558053421776791836049207775869122289/244140625000000000000000000000000000000000000",
      "strict_lower_boundary": true,
      "strict_upper_boundary": true
    },
    {
      "particle": "bottom",
      "depth": 3,
      "index": 17,
      "count": 969,
      "target_eighth_power": "93735244522051626136380824641",
      "lower_neighbor_product_fourth": "34783391098343839658467245420658857987896851819589170289197508653615709816769/372529029846191406250000000000000000000000000000",
      "upper_neighbor_product_fourth": "54273851023422462951007649459006513713206326863671175647543833589730162701969/152587890625000000000000000000000000000000000000",
      "strict_lower_boundary": true,
      "strict_upper_boundary": true
    },
    {
      "particle": "up",
      "depth": 4,
      "index": 3,
      "count": 15,
      "target_eighth_power": "72301961339136/152587890625",
      "lower_neighbor_product_fourth": "2428868190822332503713858563036854485834261416692055089/390625000000000000000000000000000000000000000000000000",
      "upper_neighbor_product_fourth": "5831712526164420341416974409851487620488061661477624268689/390625000000000000000000000000000000000000000000000000",
      "strict_lower_boundary": true,
      "strict_upper_boundary": true
    },
    {
      "particle": "charm",
      "depth": 4,
      "index": 20,
      "count": 8855,
      "target_eighth_power": "6896476000695673271705281",
      "lower_neighbor_product_fourth": "109460013287949614617367677582773827828321215271742564304336601927065904634085249/31640625000000000000000000000000000000000000000000000000",
      "upper_neighbor_product_fourth": "235045768360533667667826277134468050071018770596141150984797991266734062957674129/15258789062500000000000000000000000000000000000000000000",
      "strict_lower_boundary": true,
      "strict_upper_boundary": true
    },
    {
      "particle": "top",
      "depth": 4,
      "index": 72,
      "count": 1215450,
      "target_eighth_power": "786542859650260904271721427294880100000000",
      "lower_neighbor_product_fourth": "1147107326017360147682409454785611288595581692874989022702907877566438882568216716546403028049/1525878906250000000000000000000000000000000000000000",
      "upper_neighbor_product_fourth": "72627324143224319306377000868861944908334979422910316020292398967549502289558073374541489/62500000000000000000000000000000000000000000000",
      "strict_lower_boundary": true,
      "strict_upper_boundary": true
    },
    {
      "particle": "electron",
      "depth": 6,
      "index": 13,
      "count": 18564,
      "target_eighth_power": "119014541350294292681979069588805869805878809417910699361/25600000000000000000000000000000000000000000000000000000000",
      "lower_neighbor_product_fourth": "119014541350294292681979069588805869805878809417910699361/129600000000000000000000000000000000000000000000000000000000",
      "upper_neighbor_product_fourth": "15510094043311702516608194327882769758971932322151540251424881/731161600000000000000000000000000000000000000000000000000000000",
      "strict_lower_boundary": true,
      "strict_upper_boundary": true
    },
    {
      "particle": "muon",
      "depth": 6,
      "index": 35,
      "count": 3838380,
      "target_eighth_power": "3976229089564252929254951185765153147812108504812162106507508784001/256000000000000000000000000000000000000000000000000",
      "lower_neighbor_product_fourth": "7099742987833349955982931585311556579282650416834293422746286204789520495226721/875781160960000000000000000000000000000000000000000000000000000",
      "upper_neighbor_product_fourth": "8355758785940422659295412219675789017505340076853015333841302978897226249109685281/285727024783360000000000000000000000000000000000000000000000000000",
      "strict_lower_boundary": true,
      "strict_upper_boundary": true
    },
    {
      "particle": "tau",
      "depth": 10,
      "index": 23,
      "count": 64512240,
      "target_eighth_power": "993945466319776908495504023424116674916001/10000000000000000",
      "lower_neighbor_product_fourth": "10099192953098409019315755025858001858677811764346428655760589742445361284495796638709681/457163239653376000000000000000000000000000000000000000000000000",
      "upper_neighbor_product_fourth": "2923212214082179275247644759325824845368987221000713694978962229044615563995838807521/6975757441000000000000000000000000000000000000000000000000",
      "strict_lower_boundary": true,
      "strict_upper_boundary": true
    }
  ],
  "strict_rational_inequalities": [
    {
      "name": "electron-first-rung-d2",
      "left": "1",
      "right": "8352100",
      "positive_difference": "8352099",
      "passed": true
    },
    {
      "name": "electron-first-rung-d3",
      "left": "1",
      "right": "7168",
      "positive_difference": "7167",
      "passed": true
    },
    {
      "name": "electron-d4-lower",
      "left": "256/39375",
      "right": "1",
      "positive_difference": "39119/39375",
      "passed": true
    },
    {
      "name": "electron-d4-upper",
      "left": "1",
      "right": "256/63",
      "positive_difference": "193/63",
      "passed": true
    },
    {
      "name": "electron-d10-lower",
      "left": "8008",
      "right": "18564",
      "positive_difference": "10556",
      "passed": true
    },
    {
      "name": "electron-d10-upper",
      "left": "18564",
      "right": "19448",
      "positive_difference": "884",
      "passed": true
    },
    {
      "name": "W-d3-below-half-percent-window",
      "left": "8446676245889679158412601123694421900304167/10430342993601002374662400000000000000000000",
      "right": "1568239201/1600000000",
      "positive_difference": "1776619230635810889612189389269578099695833/10430342993601002374662400000000000000000000",
      "passed": true
    },
    {
      "name": "W-d3-above-half-percent-window",
      "left": "1632240801/1600000000",
      "right": "104279953652959001955711124983881751855607/99471502243051551577209472656250000000000",
      "positive_difference": "11216203367156604746151492452464263281803/397886008972206206308837890625000000000000",
      "passed": true
    },
    {
      "name": "W-d3-simple-lower-certificate",
      "left": "8446676245889679158412601123694421900304167/10430342993601002374662400000000000000000000",
      "right": "81/100",
      "positive_difference": "1901578927132765063942876305578099695833/10430342993601002374662400000000000000000000",
      "passed": true
    },
    {
      "name": "W-d3-simple-upper-certificate",
      "left": "26/25",
      "right": "104279953652959001955711124983881751855607/99471502243051551577209472656250000000000",
      "positive_difference": "829591320185388315413273421381751855607/99471502243051551577209472656250000000000",
      "passed": true
    },
    {
      "name": "W-d4-below-half-percent-window",
      "left": "184935953945056593323026292059629336901363896823/234682717356022553429904000000000000000000000000",
      "right": "1568239201/1600000000",
      "positive_difference": "45088194276766932757531494482060663098636103177/234682717356022553429904000000000000000000000000",
      "passed": true
    },
    {
      "name": "W-d4-above-half-percent-window",
      "left": "1632240801/1600000000",
      "right": "241477202304731231465675685150881961829152044743/234682717356022553429904000000000000000000000000",
      "positive_difference": "2065510705949447225368308705191961829152044743/234682717356022553429904000000000000000000000000",
      "passed": true
    },
    {
      "name": "W-d4-simple-lower-certificate",
      "left": "184935953945056593323026292059629336901363896823/234682717356022553429904000000000000000000000000",
      "right": "4/5",
      "positive_difference": "2810219939761449420896907940370663098636103177/234682717356022553429904000000000000000000000000",
      "passed": true
    },
    {
      "name": "W-d4-simple-upper-certificate",
      "left": "41/40",
      "right": "241477202304731231465675685150881961829152044743/234682717356022553429904000000000000000000000000",
      "positive_difference": "927417014808114200024085150881961829152044743/234682717356022553429904000000000000000000000000",
      "passed": true
    },
    {
      "name": "up-d3-first-rung-exceeds-double-target",
      "left": "16",
      "right": "76365650171817566614673601367/3401222400000000000000000000",
      "positive_difference": "21946091771817566614673601367/3401222400000000000000000000",
      "passed": true
    },
    {
      "name": "W-original-log-error-implies-outer-window",
      "left": "49977821103358339433245256993285195167441/49953151871270709760000000000000000000000",
      "right": "1632240801/1600000000",
      "positive_difference": "981911785915130683317816606714804832559/49953151871270709760000000000000000000000",
      "passed": true
    },
    {
      "name": "up-original-log-error-implies-outer-window",
      "left": "1558482656567705441115787783/1511654400000000000000000000",
      "right": "16",
      "positive_difference": "22627987743432294558884212217/1511654400000000000000000000",
      "passed": true
    },
    {
      "name": "W-above-lower-log-midpoint",
      "left": "40148389195098563828259400190235743187528503486779924019125991883821443392459510299361/25600000000000000000000000000000000000000000000",
      "right": "679950343526009499150211581346726523884462336/390625",
      "positive_difference": "4412836518221994708048866004903326281763620165316075980874008116178556607540489700639/25600000000000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "W-below-upper-log-midpoint",
      "left": "679950343526009499150211581346726523884462336/390625",
      "right": "309307201470582897956160259852699777747799289178639719196085716099716282271155823780133216241/160000000000000000000000000000000000000000000000000000",
      "positive_difference": "30799540762329407104233596133080593564723516353039719196085716099716282271155823780133216241/160000000000000000000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "Z-above-lower-log-midpoint",
      "left": "4347173525720235897240481282948520355201303232691766155075812508204195238581446411971201/1000000000000000000000000000000000000000000000000",
      "right": "4780810443086674164377504747302273744896",
      "positive_difference": "433636917366438267137023464353753389694696767308233844924187491795804761418553588028799/1000000000000000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "Z-below-upper-log-midpoint",
      "left": "4780810443086674164377504747302273744896",
      "right": "13542994344261030913784297578939561211509719762012786894937189407337791241357612413257876424561/2560000000000000000000000000000000000000000000000000000",
      "positive_difference": "1304119609959145052977885425845740424575959762012786894937189407337791241357612413257876424561/2560000000000000000000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "H-above-lower-log-midpoint",
      "left": "5573097699738914623063326389875906939404254540108599606434411725621055222925385478801/100000000000000000000000000000000000000000000",
      "right": "60371870388706903012802560000000000000000",
      "positive_difference": "464089339131775678216929610124093060595745459891400393565588274378944777074614521199/100000000000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "H-below-upper-log-midpoint",
      "left": "60371870388706903012802560000000000000000",
      "right": "62843849075064906443742669370234107019379897831668795124269745063181160007820434961/953674316406250000000000000000000000000000",
      "positive_difference": "5268746851948124243117669370234107019379897831668795124269745063181160007820434961/953674316406250000000000000000000000000000",
      "passed": true
    },
    {
      "name": "down-below-upper-log-midpoint",
      "left": "23811286661761/100000000",
      "right": "5831712526164420341416974409851487620488061661477624268689/95367431640625000000000000000000000000000000000000",
      "positive_difference": "5809004313634512161180158003601487620488061661477624268689/95367431640625000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "strange-above-lower-log-midpoint",
      "left": "5831712526164420341416974409851487620488061661477624268689/15258789062500000000000000000000000000000000",
      "right": "1495315559180183521/256",
      "positive_difference": "83296040205885016287401537553039137379511938338522375731311/15258789062500000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "strange-below-upper-log-midpoint",
      "left": "1495315559180183521/256",
      "right": "14001941775320773239742155558053421776791836049207775869122289/244140625000000000000000000000000000000000000",
      "positive_difference": "12575897731607982253681059366647171776791836049207775869122289/244140625000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "bottom-above-lower-log-midpoint",
      "left": "34783391098343839658467245420658857987896851819589170289197508653615709816769/372529029846191406250000000000000000000000000000",
      "right": "93735244522051626136380824641",
      "positive_difference": "135708605851580091292199412515489889605589586660829710802491346384290183231/372529029846191406250000000000000000000000000000",
      "passed": true
    },
    {
      "name": "bottom-below-upper-log-midpoint",
      "left": "93735244522051626136380824641",
      "right": "54273851023422462951007649459006513713206326863671175647543833589730162701969/152587890625000000000000000000000000000000000000",
      "positive_difference": "39970987784584019021506180855338300822581326863671175647543833589730162701969/152587890625000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "up-above-lower-log-midpoint",
      "left": "2428868190822332503713858563036854485834261416692055089/390625000000000000000000000000000000000000000000000000",
      "right": "72301961339136/152587890625",
      "positive_difference": "182664152837365827496286141436963145514165738583307944911/390625000000000000000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "up-below-upper-log-midpoint",
      "left": "72301961339136/152587890625",
      "right": "5831712526164420341416974409851487620488061661477624268689/390625000000000000000000000000000000000000000000000000",
      "positive_difference": "5646619505136232181416974409851487620488061661477624268689/390625000000000000000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "charm-above-lower-log-midpoint",
      "left": "109460013287949614617367677582773827828321215271742564304336601927065904634085249/31640625000000000000000000000000000000000000000000000000",
      "right": "6896476000695673271705281",
      "positive_difference": "108748797671561922495182229057851172171678784728257435695663398072934095365914751/31640625000000000000000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "charm-below-upper-log-midpoint",
      "left": "6896476000695673271705281",
      "right": "235045768360533667667826277134468050071018770596141150984797991266734062957674129/15258789062500000000000000000000000000000000000000000000",
      "positive_difference": "129813895791324785958456144688178987571018770596141150984797991266734062957674129/15258789062500000000000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "top-above-lower-log-midpoint",
      "left": "1147107326017360147682409454785611288595581692874989022702907877566438882568216716546403028049/1525878906250000000000000000000000000000000000000000",
      "right": "786542859650260904271721427294880100000000",
      "positive_difference": "53061832384527218454860789499789254617308932125010977297092122433561117431783283453596971951/1525878906250000000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "top-below-upper-log-midpoint",
      "left": "786542859650260904271721427294880100000000",
      "right": "72627324143224319306377000868861944908334979422910316020292398967549502289558073374541489/62500000000000000000000000000000000000000000000",
      "positive_difference": "23468395415083012789394411662931938658334979422910316020292398967549502289558073374541489/62500000000000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "electron-above-lower-log-midpoint",
      "left": "119014541350294292681979069588805869805878809417910699361/129600000000000000000000000000000000000000000000000000000000",
      "right": "119014541350294292681979069588805869805878809417910699361/25600000000000000000000000000000000000000000000000000000000",
      "positive_difference": "1547189037553825804865727904654476307476424522432839091693/414720000000000000000000000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "electron-below-upper-log-midpoint",
      "left": "119014541350294292681979069588805869805878809417910699361/25600000000000000000000000000000000000000000000000000000000",
      "right": "15510094043311702516608194327882769758971932322151540251424881/731161600000000000000000000000000000000000000000000000000000000",
      "positive_difference": "18923312074696792536434672064620133299134730697447801198399/1142440000000000000000000000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "muon-above-lower-log-midpoint",
      "left": "7099742987833349955982931585311556579282650416834293422746286204789520495226721/875781160960000000000000000000000000000000000000000000000000000",
      "right": "3976229089564252929254951185765153147812108504812162106507508784001/256000000000000000000000000000000000000000000000000",
      "positive_difference": "6503016888344404930337310201006937364870032670235570156803968536654985964933279/875781160960000000000000000000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "muon-below-upper-log-midpoint",
      "left": "3976229089564252929254951185765153147812108504812162106507508784001/256000000000000000000000000000000000000000000000000",
      "right": "8355758785940422659295412219675789017505340076853015333841302978897226249109685281/285727024783360000000000000000000000000000000000000000000000000000",
      "positive_difference": "3917805240556663808278408648444902561608557873278163474358424751318372248879125281/285727024783360000000000000000000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "tau-above-lower-log-midpoint",
      "left": "10099192953098409019315755025858001858677811764346428655760589742445361284495796638709681/457163239653376000000000000000000000000000000000000000000000000",
      "right": "993945466319776908495504023424116674916001/10000000000000000",
      "positive_difference": "35340339989055064405420424339267946804048660903369178281839410257554638715504203361290319/457163239653376000000000000000000000000000000000000000000000000",
      "passed": true
    },
    {
      "name": "tau-below-upper-log-midpoint",
      "left": "993945466319776908495504023424116674916001/10000000000000000",
      "right": "2923212214082179275247644759325824845368987221000713694978962229044615563995838807521/6975757441000000000000000000000000000000000000000000000000",
      "positive_difference": "2229859965819339409757895928681202825979240018429369594978962229044615563995838807521/6975757441000000000000000000000000000000000000000000000000",
      "passed": true
    }
  ],
  "inequality_count": 40,
  "sources": {
    "uniqueness-theorem-check.py": "c8aeb1b095fbc1e865e38aba156744254e0a467b6958ff9d3b3afaadd80c1507",
    "sector-inputs.json": "8c7224bbb44c801e4a302aa17bf3b388400089037fe315d0c6dc3e195e77c6ec"
  },
  "scope": "Conditional sector uniqueness and unique integer indices at the original per-particle log errors; no probability or physical selection law."
}