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