print "G 3^2, 2";
print "Order 24 = 2^3 * 3";
print "Field: K; Group: G";

K := GF(3);
G := MatrixGroup<2, K |
    \[ 1, 1, 1, 2 ],
    \[ 0, 2, 1, 0 ],
    \[ 0, 2, 1, 2 ]
>;
