lab1defs.txt