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