"(C2 x C4 x S3) : C2"
