Publishing graphterm at Mon Feb  3 23:42:08 EST 2014