@misc{schroeder2026nine,
  author = {Michael Schroeder},
  title = {Nine Prime Divisors in Odd Distinct Covering Systems},
  year = {2026},
  month = sep,
  howpublished = {Preprint, Zenodo},
  version = {1.0.1},
  doi = {10.5281/zenodo.22759614},
  url = {https://doi.org/10.5281/zenodo.22759614},
  note = {Version 1.0.1, 15 September 2026; original manuscript 13 September 2026.
          Accompanied by the complete Lean proof sources and exact verification materials.}
}