Publishing graphterm at Wed May 29 21:14:16 CDT 2013