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