add formatted lab4 sources to repo