Auto-generated HTML file for pset1