MySQL database 'pset7.sql', exported