Publishing graphterm at Wed May  7 00:13:53 CDT 2014