Code from the 2013 Mind Sports Olympiad programming competition