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

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