@misc{efxninechores2026,
  title        = {Nine chores for three agents: complete EFX existence with an exact computational certificate},
  author       = {Anonymous},
  year         = {2026},
  doi          = {10.5281/zenodo.23234194},
  url          = {https://doi.org/10.5281/zenodo.23234194},
  version      = {1.1.0-candidate},
  howpublished = {Zenodo},
  note         = {Unrefereed; internally replayed evidence package. Press page: https://evidencepress.org/releases/efx-nine-chores/}
}