"(C2 x ((C2 x D8) : C2)) : C2"
