gap> Q:=QuaternionGroup(128);;
gap> R:=ResolutionSmallGroup(Q,20);
Resolution of length 20 in characteristic 0 for &lt;pc group of size 128 with 
2 generators&gt; . 
No contracting homotopy available. 

gap> Size(R);
[ 4, 42, 8, 128, 4, 42, 8, 128, 4, 42, 8, 128, 4, 42, 8, 128, 4, 42, 8, 128 ]
