Replaced lab2defs.odt with lab2defs.txt