15-123 Spring 2009: Supplementary Documents