/* 2^14"U7(2) presented on its standard generators. */ G:=Group; a:=x;b:=y;