"C2 x ((C12 x C2) : C2)"
