gap> R:=ResolutionCoxeterGroup(D,5);
Resolution of length 5 in characteristic 
0 for &lt;permutation group of size 645120 with 7 generators&gt; . 
No contracting homotopy available. 

gap> Size(R);
[ 14, 112, 492, 1604, 5048 ]
