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