Output of modular counterexamples