gap> Q:=QuaternionGroup(128);;
gap> R:=ResolutionSmallGroup(Q,20);
Resolution of length 20 in characteristic 0 for <pc group of size 128 with
2 generators> .
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 ]
