"(C8 x S3) : C2"
