labs for CSE 444