Publishing graphterm at Mon Jun  3 22:47:57 CDT 2013