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