@misc{indiciaeb6ff880d892b,
  title = {Exact certification of the coordinate fields of the triangle-free Exoo-Ismailescu unit-distance graphs EI17 and EI19 (HoG 51375, 51376): a solvable-non-solvable dichotomy (origami vs. S20) and the Laman-number conjecture},
  author = {Haroldo Costa Silva Filho},
  year = {2026},
  url = {https://arxiv.org/abs/2607.19995},
  note = {Source identifier: 2607.19995}
}