@misc{schroeder2026seven,
  author       = {Michael Schroeder},
  title        = {Seven Prime Divisors in Odd Distinct Covering Systems},
  year         = {2026},
  month        = sep,
  howpublished = {Preprint},
  version      = {1.0.1},
  doi          = {10.5281/zenodo.22739035},
  orcid        = {0009-0004-3249-0195},
  note         = {Version 1.0.1, revised 14 September 2026. Accompanied by a
                  complete Lean 4 formalization and an independent
                  exact-rational checker},
  url          = {https://doi.org/10.5281/zenodo.22739035}
}