"C3 x ((C2 x C2 x C2 x C2) : C2)"
