"(C6 x S3) : C2"
