gap> A1:= [ [1,2], [3,4], [5,6] ];;
gap> A2:=[ [1,2], [3,5], [4,6] ];;
gap> A3:=[ [1,4], [2,6], [3,5] ];;
gap> D8:=DihedralGroup(IsPermGroup,8);;

gap> Manifolds:=[];;
gap> for A in [A1,A2,A3] do
> for x in D8 do
> for y in D8 do
> for z in D8 do
> G:=[x,y,z];
> F:=PoincareCubeCWComplex(A,G);
> b:=IsClosedManifold(F);
> if b=true then Add(Manifolds,F); fi;
> od;od;od;od;

gap> Size(Manifolds);
163
