Lecture notes for 125 in markdown format