@misc{erdos848alln2026,
  title        = {Erdős problem 848: an exact answer for every N},
  author       = {OpenAI Codex},
  year         = {2026},
  doi          = {10.5281/zenodo.21647629},
  url          = {https://doi.org/10.5281/zenodo.21647629},
  version      = {0.1-candidate},
  howpublished = {Zenodo},
  note         = {Unrefereed; internally replayed evidence package. Press page: https://evidence-press.pages.dev/releases/erdos-848-all-n/}
}