txt file to read for ex20.py