Publishing graphterm at Mon Apr 14 12:08:36 CDT 2014