K:=QuillenComplex(SymmetricGroup(7),2);
Print(Size(K),"\n");
Y:=RegularCWComplex(K);;
C:=CriticalCells(Y);;
n:=0;; Print(Length(Filtered(C,c->c[1]=n)),"\n");
n:=1;; Print(Length(Filtered(C,c->c[1]=n)),"\n");
n:=2;; Print(Length(Filtered(C,c->c[1]=n)),"\n");



