"(C2 . S4 = SL(2,3) . C2) : C2"
