Update thomae.py