Publishing graphterm at Fri Jun 21 16:50:01 CDT 2013