print "6 by 6 over GF(4).  Isomorphic to G(2,4)";
print "Order 251596800 = 2^12 * 3^3 * 5^2 * 7 * 13";
print "Field: K; Primitive element: w; Group: G.";

K<w> := GF(4);
G := MatrixGroup<6, K |
    [ 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1,
    0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0 ],
    [ 1, 0, 0, 0, 0, 0, w^1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, w^2, 0, 0, 0, 1,
    w^1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1 ]
>;
