sol2_31:= [ 
    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 0 ]
        /* order = 4 = 2^2 */ >,

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

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 0 ],
        \[ 4, 13, 13, 27 ]
        /* order = 8 = 2^3 */ >,

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

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

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 30 ],
        \[ 22, 27, 5, 9 ]
        /* order = 12 = 2^2 * 3 */ >,

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 8 ],
        \[ 11, 25, 6, 25 ]
        /* order = 16 = 2^4 */ >,

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 1, 0 ],
        \[ 23, 1, 30, 0 ]
        /* order = 16 = 2^4 */ >,

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

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

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

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 0 ],
        \[ 24, 24, 7, 24 ]
        /* order = 24 = 2^3 * 3 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 30 ],
        \[ 9, 10, 2, 23 ]
        /* order = 24 = 2^3 * 3 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 6, 0 ],
        \[ 26, 26, 30, 5 ]
        /* order = 24 = 2^3 * 3 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 1, 0 ],
        \[ 6, 0, 0, 25 ]
        /* order = 24 = 2^3 * 3 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 6, 5 ],
        \[ 1, 0, 5, 25 ]
        /* order = 24 = 2^3 * 3 */ >,

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

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

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 1, 0 ],
        \[ 9, 20, 11, 28 ]
        /* order = 30 = 2 * 3 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 17 ],
        \[ 27, 8, 23, 8 ]
        /* order = 32 = 2^5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 26 ],
        \[ 16, 23, 5, 15 ]
        /* order = 32 = 2^5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 1, 0 ],
        \[ 26, 30, 1, 0 ]
        /* order = 32 = 2^5 */ >,

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

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 27, 0 ],
        \[ 29, 11, 13, 2 ]
        /* order = 40 = 2^3 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 23 ],
        \[ 15, 0, 0, 15 ]
        /* order = 40 = 2^3 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 23, 0 ],
        \[ 29, 0, 0, 2 ]
        /* order = 40 = 2^3 * 5 */ >,

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 26, 17 ],
        \[ 25, 22, 8, 6 ]
        /* order = 48 = 2^4 * 3 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 26, 17 ],
        \[ 27, 20, 24, 26 ]
        /* order = 48 = 2^4 * 3 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 23 ],
        \[ 23, 20, 23, 16 ]
        /* order = 48 = 2^4 * 3 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 26, 14 ],
        \[ 0, 26, 6, 0 ]
        /* order = 48 = 2^4 * 3 */ >,

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 16 ],
        \[ 22, 3, 14, 9 ]
        /* order = 60 = 2^2 * 3 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 0 ],
        \[ 27, 28, 28, 7 ]
        /* order = 60 = 2^2 * 3 * 5 */ >,

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

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

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

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 25 ],
        \[ 13, 20, 4, 18 ]
        /* order = 60 = 2^2 * 3 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 1, 23 ],
        \[ 9, 13, 13, 29 ]
        /* order = 64 = 2^6 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 0 ],
        \[ 16, 12, 12, 11 ]
        /* order = 64 = 2^6 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 9 ],
        \[ 22, 1, 13, 9 ]
        /* order = 64 = 2^6 */ >,

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

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 5 ],
        \[ 3, 11, 20, 27 ]
        /* order = 80 = 2^4 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 27, 0 ],
        \[ 25, 30, 27, 7 ]
        /* order = 80 = 2^4 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 23 ],
        \[ 27, 0, 1, 4 ]
        /* order = 80 = 2^4 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 28, 0 ],
        \[ 0, 7, 2, 0 ]
        /* order = 90 = 2 * 3^2 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 5, 0 ],
        \[ 17, 18, 6, 14 ]
        /* order = 90 = 2 * 3^2 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 20 ],
        \[ 0, 26, 5, 24 ]
        /* order = 96 = 2^5 * 3 */ >,

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 5, 0 ],
        \[ 7, 14, 1, 24 ]
        /* order = 96 = 2^5 * 3 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 29, 0 ],
        \[ 0, 29, 8, 0 ]
        /* order = 100 = 2^2 * 5^2 */ >,

    MatrixGroup<2, GF(31) |
        \[ 23, 0, 0, 15 ],
        \[ 0, 1, 1, 0 ]
        /* order = 100 = 2^2 * 5^2 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 26, 17 ],
        \[ 0, 27, 20, 25 ]
        /* order = 120 = 2^3 * 3 * 5 */ >,

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 29, 23 ],
        \[ 3, 14, 4, 24 ]
        /* order = 120 = 2^3 * 3 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 6, 0, 0, 25 ],
        \[ 0, 1, 18, 0 ]
        /* order = 120 = 2^3 * 3 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 19, 0, 0, 21 ],
        \[ 0, 1, 30, 0 ]
        /* order = 120 = 2^3 * 3 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 1, 0, 21, 25 ],
        \[ 0, 1, 11, 19 ]
        /* order = 120 = 2^3 * 3 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 25, 20 ],
        \[ 25, 10, 2, 6 ]
        /* order = 120 = 2^3 * 3 * 5 */ >,

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 0 ],
        \[ 3, 5, 17, 28 ]
        /* order = 128 = 2^7 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 6, 0 ],
        \[ 0, 1, 26, 17 ]
        /* order = 144 = 2^4 * 3^2 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 25, 0 ],
        \[ 25, 0, 0, 19 ]
        /* order = 150 = 2 * 3 * 5^2 */ >,

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 23, 5 ],
        \[ 0, 23, 2, 22 ]
        /* order = 160 = 2^5 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 29, 0 ],
        \[ 30, 12, 24, 14 ]
        /* order = 160 = 2^5 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 29, 19 ],
        \[ 25, 11, 1, 6 ]
        /* order = 160 = 2^5 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 26, 0 ],
        \[ 0, 20, 11, 0 ]
        /* order = 180 = 2^2 * 3^2 * 5 */ >,

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 10, 0 ],
        \[ 0, 24, 17, 0 ]
        /* order = 180 = 2^2 * 3^2 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 26, 5 ],
        \[ 11, 15, 6, 20 ]
        /* order = 180 = 2^2 * 3^2 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 5, 11 ],
        \[ 8, 26, 6, 15 ]
        /* order = 192 = 2^6 * 3 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 21 ],
        \[ 22, 6, 3, 9 ]
        /* order = 192 = 2^6 * 3 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 1, 0 ],
        \[ 25, 2, 0, 6 ]
        /* order = 192 = 2^6 * 3 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 2, 0 ],
        \[ 29, 0, 0, 16 ]
        /* order = 200 = 2^3 * 5^2 */ >,

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 17, 4 ],
        \[ 0, 6, 9, 24 ]
        /* order = 240 = 2^4 * 3 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 29, 29 ],
        \[ 26, 11, 1, 21 ]
        /* order = 240 = 2^4 * 3 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 23, 0, 26, 8 ],
        \[ 0, 1, 17, 20 ]
        /* order = 240 = 2^4 * 3 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 30, 0, 0, 27 ],
        \[ 0, 1, 24, 0 ]
        /* order = 300 = 2^2 * 3 * 5^2 */ >,

    MatrixGroup<2, GF(31) |
        \[ 13, 0, 0, 17 ],
        \[ 0, 1, 30, 0 ]
        /* order = 300 = 2^2 * 3 * 5^2 */ >,

    MatrixGroup<2, GF(31) |
        \[ 13, 0, 18, 18 ],
        \[ 0, 1, 14, 0 ]
        /* order = 300 = 2^2 * 3 * 5^2 */ >,

    MatrixGroup<2, GF(31) |
        \[ 16, 0, 7, 15 ],
        \[ 0, 1, 8, 0 ]
        /* order = 300 = 2^2 * 3 * 5^2 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 15, 25 ],
        \[ 30, 2, 30, 18 ]
        /* order = 320 = 2^6 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 15, 0 ],
        \[ 27, 22, 11, 15 ]
        /* order = 320 = 2^6 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 1, 0 ],
        \[ 23, 18, 13, 23 ]
        /* order = 320 = 2^6 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 27, 2 ],
        \[ 0, 7, 15, 22 ]
        /* order = 360 = 2^3 * 3^2 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 16, 13 ],
        \[ 6, 11, 26, 25 ]
        /* order = 360 = 2^3 * 3^2 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 26, 0 ],
        \[ 23, 12, 8, 8 ]
        /* order = 360 = 2^3 * 3^2 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 1, 21 ],
        \[ 10, 20, 4, 21 ]
        /* order = 384 = 2^7 * 3 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 19, 0 ],
        \[ 15, 8, 3, 13 ]
        /* order = 450 = 2 * 3^2 * 5^2 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 13, 0 ],
        \[ 17, 22, 24, 26 ]
        /* order = 480 = 2^5 * 3 * 5 */ >,

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

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 3, 30 ],
        \[ 18, 0, 13, 13 ]
        /* order = 480 = 2^5 * 3 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 5, 0, 0, 13 ],
        \[ 0, 1, 27, 0 ]
        /* order = 600 = 2^3 * 3 * 5^2 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 23, 0 ],
        \[ 27, 8, 0, 4 ]
        /* order = 600 = 2^3 * 3 * 5^2 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 27, 0 ],
        \[ 19, 30, 12, 12 ]
        /* order = 640 = 2^7 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 26, 17 ],
        \[ 7, 29, 29, 24 ]
        /* order = 720 = 2^4 * 3^2 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 11, 0 ],
        \[ 12, 0, 0, 11 ]
        /* order = 900 = 2^2 * 3^2 * 5^2 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 18, 0 ],
        \[ 15, 0, 6, 16 ]
        /* order = 900 = 2^2 * 3^2 * 5^2 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 19, 30 ],
        \[ 9, 5, 2, 4 ]
        /* order = 960 = 2^6 * 3 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 30, 27 ],
        \[ 21, 3, 12, 10 ]
        /* order = 960 = 2^6 * 3 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 24, 24 ],
        \[ 21, 5, 12, 10 ]
        /* order = 960 = 2^6 * 3 * 5 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 18, 0 ],
        \[ 30, 20, 7, 1 ]
        /* order = 1800 = 2^3 * 3^2 * 5^2 */ >,

    MatrixGroup<2, GF(31) |
        \[ 0, 1, 10, 13 ],
        \[ 24, 29, 22, 7 ]
        /* order = 1920 = 2^7 * 3 * 5 */ >
];