Update and rename vera.py to hac.py