@misc{indiciaec5333498c74e,
  title = {Lean-certified four-point HRT results for three lattice points and one off-lattice point},
  author = {Vignon Oussa},
  year = {2026},
  url = {https://arxiv.org/abs/2604.21228},
  note = {Source identifier: 2604.21228}
}