{
  "one_edge_identities": "PASS",
  "unit_edge_jump": {
    "alpha": "1/2 - sqrt(13)/10",
    "z_v": "43/100 - sqrt(13)/10",
    "alpha_float": 0.13944487245360107
  },
  "tight_support_counterexample": "PASS",
  "identity_diamond": "-T*(u**2 + u + 3)",
  "shortcut_identity": "-u*(u - 1)*(3*u**2 + 9*u + 2)/24",
  "windmill_longest_paths": {
    "1": 2,
    "2": 4,
    "3": 4,
    "4": 4,
    "5": 4
  },
  "barrier_path": {
    "m": 7,
    "denominator_bits": [
      8,
      16,
      30,
      62,
      122,
      244,
      490
    ],
    "theta": "262143/262144"
  },
  "capacity": {
    "universal": "3/8 - sqrt(2)/4",
    "universal_float": 0.021446609406726238,
    "unit": "1/48"
  },
  "triangle": {
    "rows": [
      {
        "edge": "AB",
        "p": "7/100",
        "q": "11/200",
        "Ru": "1/25",
        "Rv": "3/200",
        "Ru_box_min": "30351981/1000000000",
        "Rv_box_min": "16488021/2000000000"
      },
      {
        "edge": "BC",
        "p": "11/250",
        "q": "1551/40000",
        "Ru": "671/20000",
        "Rv": "209/40000",
        "Ru_box_min": "26837781/1000000000",
        "Rv_box_min": "1175221/2000000000"
      },
      {
        "edge": "AC",
        "p": "57/1000",
        "q": "33/1000",
        "Ru": "9/1000",
        "Rv": "3/125",
        "Ru_box_min": "2411981/1000000000",
        "Rv_box_min": "38368021/2000000000"
      }
    ],
    "margin": "209/120000",
    "radius": "19/301",
    "box_min": "1175221/2000000000",
    "food": "5071/40000",
    "hub": "49/1000"
  },
  "degree_d_identities": "PASS for d = 2..6",
  "status": "PASS"
}