Publishing graphterm at Thu Jun 27 10:31:53 CDT 2013