Create Lab2defs.txt