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