Publishing graphterm at Fri Jun 21 21:48:19 CDT 2013