Searched refs:id525 (Results 1 – 2 of 2) sorted by relevance
3 #W id525.z GAP library of id's Hans Ulrich Besche
4221 Expr id525=vc->eqExpr(id515,id209); in testgeorge2() local4222 Expr id524=vc->notExpr(id525); in testgeorge2()4223 vc->registerAtom(id525); in testgeorge2()6832 vc->query(id525); in testgeorge2()7313 Expr id525=vc->eqExpr(id155,id177); in testgeorge3() local7314 Expr id524=vc->notExpr(id525); in testgeorge3()7315 vc->registerAtom(id525); in testgeorge3()9721 vc->query(id525); in testgeorge3()9730 vc->query(id525); in testgeorge3()9733 vc->assertFormula(id525); in testgeorge3()