gap> G:=SpaceGroup(3,165);;
gap> R:=ResolutionBieberbachGroup(G);
Resolution of length 4 in characteristic 
0 for SpaceGroupOnRightBBNWZ( 3, 6, 1, 1, 4 ) . 
No contracting homotopy available. 

gap> Size(R);
[ 10, 18, 8, 0 ]
