Publishing graphterm at Mon May 20 21:56:51 CDT 2013