metadata file
metadata filled in
added mathpartir just to be sure...