Searched refs:id516 (Results 1 – 2 of 2) sorted by relevance
3 #W id516.z GAP library of id's Hans Ulrich Besche
4210 Expr id516=vc->notExpr(id517); in testgeorge2() local5368 vc->query(id516); in testgeorge2()7302 Expr id516=vc->notExpr(id517); in testgeorge3() local9415 vc->query(id516); in testgeorge3()9418 vc->query(id516); in testgeorge3()