@misc{Schroeder2026EightPrimeSupport,
  author = {Schroeder, Michael},
  title = {Eight Prime Divisors in Odd Distinct Covering Systems},
  year = {2026},
  month = sep,
  note = {Preprint and formal verification companion, version 6, 6 September 2026},
  howpublished = {Preprint},
  url = {https://michaelschroeder.ai}
}