[loto] Add loto.py