lottery.aleo Run Guide To run this program, run: leo run play or ./run.sh Execute Guide To execute this program, run: leo execute play