Searched refs:id708 (Results 1 – 2 of 2) sorted by relevance
3 #W id708.z GAP library of id's Hans Ulrich Besche
7568 Expr id708=vc->notExpr(id709); in testgeorge3() local11197 vc->query(id708); in testgeorge3()11200 vc->query(id708); in testgeorge3()