/* Dempwolff group 2^5"L5(2) presented on its standard generators. */ G:=Group; a:=x;b:=y;