Problems from 2012 University of Chicago Invitational Programming Contest