Create Lab1defs.txt