update leet.py