Create Lab3defs.txt