{
  "lattice": {
    "r": 2,
    "h": 3,
    "m": 12,
    "T": 8,
    "coordinates_s_j": [
      [
        -6,
        8
      ],
      [
        -3,
        6
      ],
      [
        0,
        4
      ],
      [
        3,
        2
      ],
      [
        6,
        0
      ]
    ],
    "step": [
      3,
      -2
    ]
  },
  "bound_example": {
    "q": 214375,
    "H": 8,
    "U": 175,
    "L": 1225,
    "W_exact": "25*7^(5/6)",
    "terms_approximate": [
      154.72274432691128,
      23691.92022505829,
      64782.59436539376
    ],
    "comparison_H6": 262144
  },
  "proof_locators": [
    "Lemma5.20/equation5.58",
    "Proposition5.22/equations5.65\u20135.66"
  ],
  "scope": "Exact integer fibre; numerical display of explicitly stated proved upper-bound expressions. Bars are not measured character sums.",
  "source_attribution": "Own CC0 figure; classical Burgess method credited in the lesson. No source figure copied."
}