Publishing graphterm at Mon May 20 22:09:25 CDT 2013