"(C2 x S4) : C2"
