gap> G:=MathieuGroup(12);;
gap> P:=SylowSubgroup(G,2);;
gap> StructureDescription(P);
"((C4 x C4) : C2) : C2"

gap> R:=ResolutionNilpotentGroup(P,9);
Resolution of length 9 in characteristic 
0 for &lt;permutation group with 279 generators&gt; . 

gap> Size(R);
[ 12, 80, 310, 939, 2556, 6768, 19302, 61786, 237068 ]
