gap> P:=SylowSubgroup(MathieuGroup(12),2);;
gap> sn:=ElementaryAbelianSeries(P);;
gap> R:=ResolutionSubnormalSeries(sn,9);
Resolution of length 9 in characteristic 
0 for &lt;permutation group with 64 generators&gt; . 

gap> Size(R);
[ 12, 78, 288, 812, 1950, 4256, 8837, 18230, 39120 ]
