Testing with lec2.txt