print "G 3^4, 1";
print "Order 640 = 2^7 * 5";
print "Field: K; Group: G";

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