Publishing graphterm at Thu Apr 17 13:03:29 CDT 2014