Update Vernam.py