gap> file:=HapFile("HW-7dim.txt");;
gap> Read(file);
gap> G:=HWO7Gr[1];
&lt;matrix group with 7 generators&gt;

gap> R:=ResolutionBieberbachGroup(G);
Resolution of length 8 in characteristic 0 for &lt;matrix group with 
7 generators&gt; . 
No contracting homotopy available.

gap> Size(R);
[ 284, 1512, 3780, 4480, 2520, 840, 84, 0 ]
