Added lab4.py and lab4defs.txt