Finite topology countermodel generated; see submission.json.
