Searched refs:id484 (Results 1 – 2 of 2) sorted by relevance
3 #W id484.z GAP library of id's Hans Ulrich Besche
4166 Expr id484=vc->notExpr(id485); in testgeorge2() local6482 vc->query(id484); in testgeorge2()6485 vc->query(id484); in testgeorge2()7258 Expr id484=vc->notExpr(id485); in testgeorge3() local9678 vc->query(id484); in testgeorge3()9681 vc->query(id484); in testgeorge3()