doi: 10.5281/zenodo.20544136
Programs and data for the note A model-theoretic curiosity. See the README for more details.