tripe.ps
wrestlers.aux
wrestlers.dvi
wrestlers.log