Notes and exercises for CS30-13F