Update Lab3defs.txt