Publishing graphterm at Thu Apr  3 13:55:04 CDT 2014