print "5x5 over GF(2)";
print "Sylow 2-subgroup of L(5,2), M24 and HELD";
print "Order 2^10";
print "Field: K; Group: G; Generators: a, b, c, d, u, v, w, x, y, z;";
print "The correspondence with Schoenwaelders notation is:";
print "  G.1 = z, G.2 = a1, G.3 = a2, G.4 = b1, G.5 = b2, G.6 = c1, G.7 = c2";
print "  G.8 = v1, G.9 = v2, G.10 = w";

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