Publishing graphterm at Tue Jul 15 11:53:37 CDT 2014