Publishing graphterm at Thu Jul  3 17:42:40 CDT 2014