Delete lab3defs.txt~