Create Lab0defs.txt