sol4_2:= [ 
    MatrixGroup<4, GF(2) |
        \[ 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1 ]
        /* order = 5 */ >,

    MatrixGroup<4, GF(2) |
        \[ 0, 1, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0 ],
        \[ 1, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 0, 1, 0, 0 ]
        /* order = 10 = 2 * 5 */ >,

    MatrixGroup<4, GF(2) |
        \[ 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 0, 1 ]
        /* order = 15 = 3 * 5 */ >,

    MatrixGroup<4, GF(2) |
        \[ 0, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1 ],
        \[ 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 1 ],
        \[ 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1 ]
        /* order = 18 = 2 * 3^2 */ >,

    MatrixGroup<4, GF(2) |
        \[ 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1 ],
        \[ 1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 0 ]
        /* order = 20 = 2^2 * 5 */ >,

    MatrixGroup<4, GF(2) |
        \[ 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1 ],
        \[ 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 1, 0, 1, 0 ]
        /* order = 30 = 2 * 3 * 5 */ >,

    MatrixGroup<4, GF(2) |
        \[ 0, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1 ],
        \[ 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 1 ],
        \[ 1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 1, 1 ]
        /* order = 36 = 2^2 * 3^2 */ >,

    MatrixGroup<4, GF(2) |
        \[ 0, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1 ],
        \[ 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 1 ],
        \[ 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1 ],
        \[ 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1 ]
        /* order = 36 = 2^2 * 3^2 */ >,

    MatrixGroup<4, GF(2) |
        \[ 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 0, 1 ],
        \[ 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1 ]
        /* order = 60 = 2^2 * 3 * 5 */ >,

    MatrixGroup<4, GF(2) |
        \[ 0, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1 ],
        \[ 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 1 ],
        \[ 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1 ],
        \[ 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1 ]
        /* order = 72 = 2^3 * 3^2 */ >
];