   "g: dag Edge ;",
   "g: dag Edge,Vertex ;",
   "g: dag(%{vc}) Edge ;",
   "g: dag(%{vc}) Edge,Vertex ;",
   "g: dag(%{vc},%{vc}) Edge ;",
   "g: dag(%{vc},%{vc}) Edge,Vertex ;",
   "g: dag(%{vc},%{vc},%{vc}) Edge ;",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex ;",
   "g: dag Edge directed ;",
   "g: dag Edge,Vertex directed ;",
   "g: dag(%{vc}) Edge directed ;",
   "g: dag(%{vc}) Edge,Vertex directed ;",
   "g: dag(%{vc},%{vc}) Edge directed ;",
   "g: dag(%{vc},%{vc}) Edge,Vertex directed ;",
   "g: dag(%{vc},%{vc},%{vc}) Edge directed ;",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex directed ;",
   "g: dag Edge enext(MyNext);",
   "g: dag Edge,Vertex enext(MyNext);",
   "g: dag(%{vc}) Edge enext(MyNext);",
   "g: dag(%{vc}) Edge,Vertex enext(MyNext);",
   "g: dag(%{vc},%{vc}) Edge enext(MyNext);",
   "g: dag(%{vc},%{vc}) Edge,Vertex enext(MyNext);",
   "g: dag(%{vc},%{vc},%{vc}) Edge enext(MyNext);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex enext(MyNext);",
   "g: dag Edge directed enext(MyNext);",
   "g: dag Edge,Vertex directed enext(MyNext);",
   "g: dag(%{vc}) Edge directed enext(MyNext);",
   "g: dag(%{vc}) Edge,Vertex directed enext(MyNext);",
   "g: dag(%{vc},%{vc}) Edge directed enext(MyNext);",
   "g: dag(%{vc},%{vc}) Edge,Vertex directed enext(MyNext);",
   "g: dag(%{vc},%{vc},%{vc}) Edge directed enext(MyNext);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex directed enext(MyNext);",
   "g: dag Edge evertex(MyVertex);",
   "g: dag Edge,Vertex evertex(MyVertex);",
   "g: dag(%{vc}) Edge evertex(MyVertex);",
   "g: dag(%{vc}) Edge,Vertex evertex(MyVertex);",
   "g: dag(%{vc},%{vc}) Edge evertex(MyVertex);",
   "g: dag(%{vc},%{vc}) Edge,Vertex evertex(MyVertex);",
   "g: dag(%{vc},%{vc},%{vc}) Edge evertex(MyVertex);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex evertex(MyVertex);",
   "g: dag Edge directed evertex(MyVertex);",
   "g: dag Edge,Vertex directed evertex(MyVertex);",
   "g: dag(%{vc}) Edge directed evertex(MyVertex);",
   "g: dag(%{vc}) Edge,Vertex directed evertex(MyVertex);",
   "g: dag(%{vc},%{vc}) Edge directed evertex(MyVertex);",
   "g: dag(%{vc},%{vc}) Edge,Vertex directed evertex(MyVertex);",
   "g: dag(%{vc},%{vc},%{vc}) Edge directed evertex(MyVertex);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex directed evertex(MyVertex);",
   "g: dag Edge ehead(MyHead);",
   "g: dag Edge,Vertex ehead(MyHead);",
   "g: dag(%{vc}) Edge ehead(MyHead);",
   "g: dag(%{vc}) Edge,Vertex ehead(MyHead);",
   "g: dag(%{vc},%{vc}) Edge ehead(MyHead);",
   "g: dag(%{vc},%{vc}) Edge,Vertex ehead(MyHead);",
   "g: dag(%{vc},%{vc},%{vc}) Edge ehead(MyHead);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex ehead(MyHead);",
   "g: dag Edge directed ehead(MyHead);",
   "g: dag Edge,Vertex directed ehead(MyHead);",
   "g: dag(%{vc}) Edge directed ehead(MyHead);",
   "g: dag(%{vc}) Edge,Vertex directed ehead(MyHead);",
   "g: dag(%{vc},%{vc}) Edge directed ehead(MyHead);",
   "g: dag(%{vc},%{vc}) Edge,Vertex directed ehead(MyHead);",
   "g: dag(%{vc},%{vc},%{vc}) Edge directed ehead(MyHead);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex directed ehead(MyHead);",
   "g: dag Edge adjlist(MyAdjList);",
   "g: dag Edge,Vertex adjlist(MyAdjList);",
   "g: dag(%{vc}) Edge adjlist(MyAdjList);",
   "g: dag(%{vc}) Edge,Vertex adjlist(MyAdjList);",
   "g: dag(%{vc},%{vc}) Edge adjlist(MyAdjList);",
   "g: dag(%{vc},%{vc}) Edge,Vertex adjlist(MyAdjList);",
   "g: dag(%{vc},%{vc},%{vc}) Edge adjlist(MyAdjList);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex adjlist(MyAdjList);",
   "g: dag Edge directed adjlist(MyAdjList);",
   "g: dag Edge,Vertex directed adjlist(MyAdjList);",
   "g: dag(%{vc}) Edge directed adjlist(MyAdjList);",
   "g: dag(%{vc}) Edge,Vertex directed adjlist(MyAdjList);",
   "g: dag(%{vc},%{vc}) Edge directed adjlist(MyAdjList);",
   "g: dag(%{vc},%{vc}) Edge,Vertex directed adjlist(MyAdjList);",
   "g: dag(%{vc},%{vc},%{vc}) Edge directed adjlist(MyAdjList);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex directed adjlist(MyAdjList);",
   "g: dag Edge ecount(MyEdgeCount);",
   "g: dag Edge,Vertex ecount(MyEdgeCount);",
   "g: dag(%{vc}) Edge ecount(MyEdgeCount);",
   "g: dag(%{vc}) Edge,Vertex ecount(MyEdgeCount);",
   "g: dag(%{vc},%{vc}) Edge ecount(MyEdgeCount);",
   "g: dag(%{vc},%{vc}) Edge,Vertex ecount(MyEdgeCount);",
   "g: dag(%{vc},%{vc},%{vc}) Edge ecount(MyEdgeCount);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex ecount(MyEdgeCount);",
   "g: dag Edge directed ecount(MyEdgeCount);",
   "g: dag Edge,Vertex directed ecount(MyEdgeCount);",
   "g: dag(%{vc}) Edge directed ecount(MyEdgeCount);",
   "g: dag(%{vc}) Edge,Vertex directed ecount(MyEdgeCount);",
   "g: dag(%{vc},%{vc}) Edge directed ecount(MyEdgeCount);",
   "g: dag(%{vc},%{vc}) Edge,Vertex directed ecount(MyEdgeCount);",
   "g: dag(%{vc},%{vc},%{vc}) Edge directed ecount(MyEdgeCount);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex directed ecount(MyEdgeCount);",
   "g: dag Edge vcount(MyVertexCount);",
   "g: dag Edge,Vertex vcount(MyVertexCount);",
   "g: dag(%{vc}) Edge vcount(MyVertexCount);",
   "g: dag(%{vc}) Edge,Vertex vcount(MyVertexCount);",
   "g: dag(%{vc},%{vc}) Edge vcount(MyVertexCount);",
   "g: dag(%{vc},%{vc}) Edge,Vertex vcount(MyVertexCount);",
   "g: dag(%{vc},%{vc},%{vc}) Edge vcount(MyVertexCount);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex vcount(MyVertexCount);",
   "g: dag Edge directed vcount(MyVertexCount);",
   "g: dag Edge,Vertex directed vcount(MyVertexCount);",
   "g: dag(%{vc}) Edge directed vcount(MyVertexCount);",
   "g: dag(%{vc}) Edge,Vertex directed vcount(MyVertexCount);",
   "g: dag(%{vc},%{vc}) Edge directed vcount(MyVertexCount);",
   "g: dag(%{vc},%{vc}) Edge,Vertex directed vcount(MyVertexCount);",
   "g: dag(%{vc},%{vc},%{vc}) Edge directed vcount(MyVertexCount);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex directed vcount(MyVertexCount);",
   "g: dag Edge edgeprob(1);",
   "g: dag Edge,Vertex edgeprob(1);",
   "g: dag(%{vc}) Edge edgeprob(1);",
   "g: dag(%{vc}) Edge,Vertex edgeprob(1);",
   "g: dag(%{vc},%{vc}) Edge edgeprob(1);",
   "g: dag(%{vc},%{vc}) Edge,Vertex edgeprob(1);",
   "g: dag(%{vc},%{vc},%{vc}) Edge edgeprob(1);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex edgeprob(1);",
   "g: dag Edge directed edgeprob(1);",
   "g: dag Edge,Vertex directed edgeprob(1);",
   "g: dag(%{vc}) Edge directed edgeprob(1);",
   "g: dag(%{vc}) Edge,Vertex directed edgeprob(1);",
   "g: dag(%{vc},%{vc}) Edge directed edgeprob(1);",
   "g: dag(%{vc},%{vc}) Edge,Vertex directed edgeprob(1);",
   "g: dag(%{vc},%{vc},%{vc}) Edge directed edgeprob(1);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex directed edgeprob(1);",
   "g: dag Edge edgeprob(2,8);",
   "g: dag Edge,Vertex edgeprob(2,8);",
   "g: dag(%{vc}) Edge edgeprob(2,8);",
   "g: dag(%{vc}) Edge,Vertex edgeprob(2,8);",
   "g: dag(%{vc},%{vc}) Edge edgeprob(2,8);",
   "g: dag(%{vc},%{vc}) Edge,Vertex edgeprob(2,8);",
   "g: dag(%{vc},%{vc},%{vc}) Edge edgeprob(2,8);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex edgeprob(2,8);",
   "g: dag Edge directed edgeprob(2,8);",
   "g: dag Edge,Vertex directed edgeprob(2,8);",
   "g: dag(%{vc}) Edge directed edgeprob(2,8);",
   "g: dag(%{vc}) Edge,Vertex directed edgeprob(2,8);",
   "g: dag(%{vc},%{vc}) Edge directed edgeprob(2,8);",
   "g: dag(%{vc},%{vc}) Edge,Vertex directed edgeprob(2,8);",
   "g: dag(%{vc},%{vc},%{vc}) Edge directed edgeprob(2,8);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex directed edgeprob(2,8);",
   "g: dag Edge edgecount(%{numedge});",
   "g: dag Edge,Vertex edgecount(%{numedge});",
   "g: dag(%{vc}) Edge edgecount(%{numedge});",
   "g: dag(%{vc}) Edge,Vertex edgecount(%{numedge});",
   "g: dag(%{vc},%{vc}) Edge edgecount(%{numedge});",
   "g: dag(%{vc},%{vc}) Edge,Vertex edgecount(%{numedge});",
   "g: dag(%{vc},%{vc},%{vc}) Edge edgecount(%{numedge});",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex edgecount(%{numedge});",
   "g: dag Edge directed edgecount(%{numedge});",
   "g: dag Edge,Vertex directed edgecount(%{numedge});",
   "g: dag(%{vc}) Edge directed edgecount(%{numedge});",
   "g: dag(%{vc}) Edge,Vertex directed edgecount(%{numedge});",
   "g: dag(%{vc},%{vc}) Edge directed edgecount(%{numedge});",
   "g: dag(%{vc},%{vc}) Edge,Vertex directed edgecount(%{numedge});",
   "g: dag(%{vc},%{vc},%{vc}) Edge directed edgecount(%{numedge});",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex directed edgecount(%{numedge});",
   "g: dag Edge enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(1);",
   "g: dag Edge,Vertex enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(1);",
   "g: dag(%{vc}) Edge enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(1);",
   "g: dag(%{vc}) Edge,Vertex enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(1);",
   "g: dag(%{vc},%{vc}) Edge enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(1);",
   "g: dag(%{vc},%{vc}) Edge,Vertex enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(1);",
   "g: dag(%{vc},%{vc},%{vc}) Edge enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(1);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(1);",
   "g: dag Edge directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(1);",
   "g: dag Edge,Vertex directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(1);",
   "g: dag(%{vc}) Edge directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(1);",
   "g: dag(%{vc}) Edge,Vertex directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(1);",
   "g: dag(%{vc},%{vc}) Edge directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(1);",
   "g: dag(%{vc},%{vc}) Edge,Vertex directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(1);",
   "g: dag(%{vc},%{vc},%{vc}) Edge directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(1);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(1);",
   "g: dag Edge enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(2,8);",
   "g: dag Edge,Vertex enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(2,8);",
   "g: dag(%{vc}) Edge enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(2,8);",
   "g: dag(%{vc}) Edge,Vertex enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(2,8);",
   "g: dag(%{vc},%{vc}) Edge enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(2,8);",
   "g: dag(%{vc},%{vc}) Edge,Vertex enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(2,8);",
   "g: dag(%{vc},%{vc},%{vc}) Edge enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(2,8);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(2,8);",
   "g: dag Edge directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(2,8);",
   "g: dag Edge,Vertex directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(2,8);",
   "g: dag(%{vc}) Edge directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(2,8);",
   "g: dag(%{vc}) Edge,Vertex directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(2,8);",
   "g: dag(%{vc},%{vc}) Edge directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(2,8);",
   "g: dag(%{vc},%{vc}) Edge,Vertex directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(2,8);",
   "g: dag(%{vc},%{vc},%{vc}) Edge directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(2,8);",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgeprob(2,8);",
   "g: dag Edge enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgecount(%{numedge});",
   "g: dag Edge,Vertex enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgecount(%{numedge});",
   "g: dag(%{vc}) Edge enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgecount(%{numedge});",
   "g: dag(%{vc}) Edge,Vertex enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgecount(%{numedge});",
   "g: dag(%{vc},%{vc}) Edge enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgecount(%{numedge});",
   "g: dag(%{vc},%{vc}) Edge,Vertex enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgecount(%{numedge});",
   "g: dag(%{vc},%{vc},%{vc}) Edge enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgecount(%{numedge});",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgecount(%{numedge});",
   "g: dag Edge directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgecount(%{numedge});",
   "g: dag Edge,Vertex directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgecount(%{numedge});",
   "g: dag(%{vc}) Edge directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgecount(%{numedge});",
   "g: dag(%{vc}) Edge,Vertex directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgecount(%{numedge});",
   "g: dag(%{vc},%{vc}) Edge directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgecount(%{numedge});",
   "g: dag(%{vc},%{vc}) Edge,Vertex directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgecount(%{numedge});",
   "g: dag(%{vc},%{vc},%{vc}) Edge directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgecount(%{numedge});",
   "g: dag(%{vc},%{vc},%{vc}) Edge,Vertex directed enext(MyNext) evertex(MyVertex) ehead(MyHead) adjlist(MyAdjList) ecount(MyEdgeCount) vcount(MyVertexCount) edgecount(%{numedge});"
