"(C2 x ((C2 x Q8) : C2)) : C2"
