"(C8 : C2) x S3"
