gap> ap:=ArcPresentation(PureCubicalKnot(3,1));;
gap> W:=ThreeManifoldViaDehnSurgery(ap,1,11);;
gap> F:=FundamentalGroup(W);;
gap> Order(F);
1320
gap> AbelianInvariants(F);
[ 11 ]
gap> StructureDescription(F);
"C11 x SL(2,5)"
