snippet include to lottoprob.py