Publishing graphterm at Tue Jul  8 13:52:55 CDT 2014