"C4 x SL(2,3)"
