"(D8 x S3) : C2"
