Create Lab11defs.txt