{
  "status": "passed",
  "checks": 3405,
  "root_intervals_rechecked": 319,
  "M": 100000,
  "b": 40,
  "r": "1/100000",
  "common_beta_integer_upper": 96,
  "common_w_lower": "9999999903/10000000000",
  "common_inertia_factor": "9999999902",
  "rows": [
    {
      "label": "W",
      "depth": 2,
      "degree": 75,
      "target_frequency": [
        "3709143485678301638067887940372543/1267650600228229401496703205376",
        "7418286971356603276135775880750939/2535301200456458802993406410752"
      ],
      "nearest_lower_lambda": 5698,
      "nearest_sign": 1,
      "beta_upper": "7321945637032702958405585097401075/96341334323900317730190783344011",
      "beta_integer_upper": 77,
      "w_lower": "4999999961/5000000000",
      "inertia_factor": "9999999921",
      "signed_branches_checked": 268,
      "angular_norm_ratio": "2925/2",
      "common_inertia_over_profile_norm_lower": "14624999856675",
      "omega_ratio_squared_over_epsilon_upper": "2/14624999856675",
      "cycle_angle_squared_over_epsilon_upper": "3872/716624992977075",
      "cycle_angle_over_sqrt_epsilon_rational_upper": "233/100000000"
    },
    {
      "label": "Z",
      "depth": 2,
      "degree": 80,
      "target_frequency": [
        "4209864847167575582079863120095381/1267650600228229401496703205376",
        "8419729694335151164159726240197405/2535301200456458802993406410752"
      ],
      "nearest_lower_lambda": 6478,
      "nearest_sign": 1,
      "beta_upper": "16634100260905399790925421034624277/205359127764902537394031445757247",
      "beta_integer_upper": 82,
      "w_lower": "9999999917/10000000000",
      "inertia_factor": "9999999916",
      "signed_branches_checked": 268,
      "angular_norm_ratio": "1660",
      "common_inertia_over_profile_norm_lower": "16599999837320",
      "omega_ratio_squared_over_epsilon_upper": "1/8299999918660",
      "cycle_angle_squared_over_epsilon_upper": "484/101674999003585",
      "cycle_angle_over_sqrt_epsilon_rational_upper": "219/100000000"
    },
    {
      "label": "Higgs",
      "depth": 2,
      "degree": 94,
      "target_frequency": [
        "11560962930492875276160232159874513/2535301200456458802993406410752",
        "5780481465246437638080116079941817/1267650600228229401496703205376"
      ],
      "nearest_lower_lambda": 8928,
      "nearest_sign": 1,
      "beta_upper": "11440536340840991606865409055475166/120426589651883669294823104399347",
      "beta_integer_upper": 96,
      "w_lower": "9999999903/10000000000",
      "inertia_factor": "9999999902",
      "signed_branches_checked": 268,
      "angular_norm_ratio": "4559/2",
      "common_inertia_over_profile_norm_lower": "22794999776609",
      "omega_ratio_squared_over_epsilon_upper": "2/22794999776609",
      "cycle_angle_squared_over_epsilon_upper": "3872/1116954989053841",
      "cycle_angle_over_sqrt_epsilon_rational_upper": "187/100000000"
    },
    {
      "label": "down",
      "depth": 3,
      "degree": 0,
      "target_frequency": [
        "3802951799543802664170614601203/3802951800684688204490109616128",
        "7605903599087605328341229202413/7605903601369376408980219232256"
      ],
      "nearest_lower_lambda": null,
      "nearest_sign": null,
      "beta_upper": "0",
      "beta_integer_upper": 0,
      "w_lower": "9999999999/10000000000",
      "inertia_factor": "9999999998",
      "signed_branches_checked": 8,
      "angular_norm_ratio": "0",
      "orientation": "absent; no inverse or angular speed bound"
    },
    {
      "label": "strange",
      "depth": 3,
      "degree": 3,
      "target_frequency": [
        "50706023887434718425788662128841/2535301200456458802993406410752",
        "38029517915576038819341496596661/1901475900342344102245054808064"
      ],
      "nearest_lower_lambda": 12,
      "nearest_sign": 1,
      "beta_upper": "3457228902453172202048767848650/1152409632768165836659292344881",
      "beta_integer_upper": 4,
      "w_lower": "1999999999/2000000000",
      "inertia_factor": "9999999994",
      "signed_branches_checked": 8,
      "angular_norm_ratio": "21/5",
      "common_inertia_over_profile_norm_lower": "209999997942/5",
      "omega_ratio_squared_over_epsilon_upper": "5/104999998971",
      "cycle_angle_squared_over_epsilon_upper": "9680/5144999949579",
      "cycle_angle_over_sqrt_epsilon_rational_upper": "2169/50000000"
    },
    {
      "label": "up",
      "depth": 4,
      "degree": 2,
      "target_frequency": [
        "57044276907590624428329122992843/3802951800684688204490109616128",
        "152118071753574998475544327981035/10141204801825835211973625643008"
      ],
      "nearest_lower_lambda": 6,
      "nearest_sign": 1,
      "beta_upper": "608472287135994451548426225996755/304236143385455539304839741888733",
      "beta_integer_upper": 3,
      "w_lower": "2499999999/2500000000",
      "inertia_factor": "9999999995",
      "signed_branches_checked": 168,
      "angular_norm_ratio": "7/3",
      "common_inertia_over_profile_norm_lower": "69999999314/3",
      "omega_ratio_squared_over_epsilon_upper": "3/34999999657",
      "cycle_angle_squared_over_epsilon_upper": "5808/1714999983193",
      "cycle_angle_over_sqrt_epsilon_rational_upper": "291/5000000"
    },
    {
      "label": "charm",
      "depth": 4,
      "degree": 19,
      "target_frequency": [
        "269401093168052454144436822879239535/30423614405477505635920876929024",
        "33675136646006556768054602859931507/3802951800684688204490109616128"
      ],
      "nearest_lower_lambda": 414,
      "nearest_sign": 1,
      "beta_upper": "98389964648316620018210022056641857/9370472618904361639564707095053957",
      "beta_integer_upper": 11,
      "w_lower": "2499999997/2500000000",
      "inertia_factor": "9999999987",
      "signed_branches_checked": 168,
      "angular_norm_ratio": "76",
      "common_inertia_over_profile_norm_lower": "759999992552",
      "omega_ratio_squared_over_epsilon_upper": "1/379999996276",
      "cycle_angle_squared_over_epsilon_upper": "484/4654999954381",
      "cycle_angle_over_sqrt_epsilon_rational_upper": "51/5000000"
    },
    {
      "label": "top",
      "depth": 4,
      "degree": 71,
      "target_frequency": [
        "6163060360135213416198715018033957247/5070602400912917605986812821504",
        "36978362160811280497192290108232914283/30423614405477505635920876929024"
      ],
      "nearest_lower_lambda": 5250,
      "nearest_sign": 1,
      "beta_upper": "23994848505823279445868907046134419719/657392934717574218925953026001409269",
      "beta_integer_upper": 37,
      "w_lower": "4999999981/5000000000",
      "inertia_factor": "9999999961",
      "signed_branches_checked": 168,
      "angular_norm_ratio": "2698/3",
      "common_inertia_over_profile_norm_lower": "26979999735596/3",
      "omega_ratio_squared_over_epsilon_upper": "3/13489999867798",
      "cycle_angle_squared_over_epsilon_upper": "2904/330504996761051",
      "cycle_angle_over_sqrt_epsilon_rational_upper": "297/100000000"
    },
    {
      "label": "neutrino1",
      "depth": 5,
      "degree": 9,
      "target_frequency": [
        "152270187967632253676440367462928031/76059036013693764089802192322560",
        "101513458645088169117626911642032101/50706024009129176059868128215040"
      ],
      "nearest_lower_lambda": 112,
      "nearest_sign": 1,
      "beta_upper": "250158166171966769325829649699685435/54382209763297738027051085226170627",
      "beta_integer_upper": 5,
      "w_lower": "4999999997/5000000000",
      "inertia_factor": "9999999993",
      "signed_branches_checked": 48,
      "angular_norm_ratio": "135/7",
      "common_inertia_over_profile_norm_lower": "1349999986770/7",
      "omega_ratio_squared_over_epsilon_upper": "7/674999993385",
      "cycle_angle_squared_over_epsilon_upper": "1936/4724999953695",
      "cycle_angle_over_sqrt_epsilon_rational_upper": "81/4000000"
    },
    {
      "label": "neutrino2",
      "depth": 5,
      "degree": 14,
      "target_frequency": [
        "11055180569517733305104875757158741/950737950171172051122527404032",
        "1768828891122837328816780121146793921/152118072027387528179604384645120"
      ],
      "nearest_lower_lambda": 247,
      "nearest_sign": 1,
      "beta_upper": "768044124852283275978445607692069607/116370320709135388429944452880629673",
      "beta_integer_upper": 7,
      "w_lower": "1249999999/1250000000",
      "inertia_factor": "9999999991",
      "signed_branches_checked": 48,
      "angular_norm_ratio": "40",
      "common_inertia_over_profile_norm_lower": "399999996080",
      "omega_ratio_squared_over_epsilon_upper": "1/199999998040",
      "cycle_angle_squared_over_epsilon_upper": "242/1224999987995",
      "cycle_angle_over_sqrt_epsilon_rational_upper": "703/50000000"
    },
    {
      "label": "neutrino3",
      "depth": 5,
      "degree": 21,
      "target_frequency": [
        "3335442068533219910848351280170449567/50706024009129176059868128215040",
        "5003163102799829866272526920259621151/76059036013693764089802192322560"
      ],
      "nearest_lower_lambda": 520,
      "nearest_sign": 1,
      "beta_upper": "9044179474054008859821346550635943692/962146731545650872723707289875405009",
      "beta_integer_upper": 10,
      "w_lower": "9999999989/10000000000",
      "inertia_factor": "9999999988",
      "signed_branches_checked": 48,
      "angular_norm_ratio": "81",
      "common_inertia_over_profile_norm_lower": "809999992062",
      "omega_ratio_squared_over_epsilon_upper": "1/404999996031",
      "cycle_angle_squared_over_epsilon_upper": "1936/19844999805519",
      "cycle_angle_over_sqrt_epsilon_rational_upper": "247/25000000"
    },
    {
      "label": "electron",
      "depth": 6,
      "degree": 12,
      "target_frequency": [
        "16943518938220179848220052788940764187/912708432164325169077626307870720",
        "4235879734555044962055013197238532567/228177108041081292269406576967680"
      ],
      "nearest_lower_lambda": 198,
      "nearest_sign": 1,
      "beta_upper": "28239198264254005096651968631828190301/5647839612186354599788136946053338073",
      "beta_integer_upper": 6,
      "w_lower": "9999999993/10000000000",
      "inertia_factor": "9999999992",
      "signed_branches_checked": 76,
      "angular_norm_ratio": "57/2",
      "common_inertia_over_profile_norm_lower": "284999997207",
      "omega_ratio_squared_over_epsilon_upper": "2/284999997207",
      "cycle_angle_squared_over_epsilon_upper": "3872/13964999863143",
      "cycle_angle_over_sqrt_epsilon_rational_upper": "833/50000000"
    },
    {
      "label": "muon",
      "depth": 6,
      "degree": 34,
      "target_frequency": [
        "1751660650692925693585901562716799846817/456354216082162584538813153935360",
        "77851584475241141937151180565252518383/20282409603651670423947251286016"
      ],
      "nearest_lower_lambda": 1320,
      "nearest_sign": 1,
      "beta_upper": "1620286107399929786456092745065832924444/131374543292995907129808817650966922373",
      "beta_integer_upper": 13,
      "w_lower": "4999999993/5000000000",
      "inertia_factor": "9999999985",
      "signed_branches_checked": 76,
      "angular_norm_ratio": "697/4",
      "common_inertia_over_profile_norm_lower": "3484999965847/2",
      "omega_ratio_squared_over_epsilon_upper": "4/3484999965847",
      "cycle_angle_squared_over_epsilon_upper": "7744/170764998326503",
      "cycle_angle_over_sqrt_epsilon_rational_upper": "337/50000000"
    },
    {
      "label": "tau",
      "depth": 10,
      "degree": 22,
      "target_frequency": [
        "24729961658714325694444314276924636885681421/383337541509016571012603049305702400",
        "296759539904571908333331771323329744644689053/4600050498108198852151236591668428800"
      ],
      "nearest_lower_lambda": 672,
      "nearest_sign": 1,
      "beta_upper": "4243912921107499738781180368782778347034337/785909789139481758393934399405283392426291",
      "beta_integer_upper": 6,
      "w_lower": "9999999993/10000000000",
      "inertia_factor": "9999999992",
      "signed_branches_checked": 46,
      "angular_norm_ratio": "121/2",
      "common_inertia_over_profile_norm_lower": "604999994071",
      "omega_ratio_squared_over_epsilon_upper": "2/604999994071",
      "cycle_angle_squared_over_epsilon_upper": "32/244999997599",
      "cycle_angle_over_sqrt_epsilon_rational_upper": "1143/100000000"
    }
  ],
  "sources": {
    "experiments/results/free-count-stability-20261014.json": "2fd0aafca59d9ee991c571be3e15584f179984df44207a0ff40f0e881218da05",
    "experiments/check-orientation-inertia.py": "2bb8693e729ff7942118b6e8486817ec6d76636375f540e29c44884e243a571e"
  }
}