[console_scripts]
proof_code_k = sample.main:main
