CS 309 (Spring 2025) Class Notes