Update leet.py