"(C2 x C2 x C2 x S3) : C2"
