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