LogTo("c:/gap/games/topspin/topspin2.log");

r:=(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20);
f:=(1,4)(2,3);
G:=Group(r,f);;

Size(G);

h1:=(1,2);

Read("c:/gap/abstab.g");

h2:=FactorPermGroupElement(G,h1);;
FactorPermGroupElement(G,r);
FactorPermGroupElement(G,f);
h3:=Shrink(G,h2);