The files in [reproduce-py.zip](https://github.com/potassco/clingo/files/4151887/reproduce-py.zip) can be used to reproduce the bug.