gap> K:=QuillenComplex(SymmetricGroup(7),2); Simplicial complex of dimension 2. gap> Size(K); 11291 gap> K!.nrSimplices(2); 4410