leo/examples/hello_world/outputs/hello_world.proof