Publishing graphterm at Tue Apr 15 14:39:53 CDT 2014