printing functions for ExplGraphs