[console_scripts]
proof_code_k = sample:main
