G := sub; gens := [ [G| (1, 20, 2)(3, 11, 19)(4, 7, 17)(5, 15, 18)(6, 12, 8)(10, 16, 14) , (1, 17, 19)(2, 5, 4)(3, 7, 18)(6, 12, 9)(11, 15, 20)(13, 16, 14) , (1, 10, 19, 2, 20, 18)(3, 15, 16, 9, 6, 13)(4, 5, 17, 7, 14, 11) ] , [G| (1, 20, 2)(3, 11, 19)(4, 7, 17)(5, 15, 18)(6, 12, 8)(10, 16, 14) , (1, 17, 19)(2, 5, 4)(3, 7, 18)(6, 12, 9)(11, 15, 20)(13, 16, 14) , (1, 12, 3, 20, 2, 4)(5, 15, 8, 11, 18, 17)(6, 13, 16, 9, 19, 7) ] , [G| (1, 20, 2)(3, 11, 19)(4, 7, 17)(5, 15, 18)(6, 12, 8)(10, 16, 14) , (1, 20, 4, 6, 16, 7)(3, 12, 17, 10, 5, 18)(8, 19, 9, 11, 15, 14) , (1, 18, 4)(3, 7, 12)(5, 8, 6)(9, 11, 13)(10, 15, 19)(14, 17, 16) ] , [G| (1, 20, 2)(3, 11, 19)(4, 7, 17)(5, 15, 18)(6, 12, 8)(10, 16, 14) , (2, 5, 8, 10, 15, 20)(3, 13, 19, 16, 12, 4)(6, 18, 14, 11, 17, 7) , (3, 18, 16)(4, 10, 14)(5, 20, 7)(6, 15, 12)(8, 17, 11)(9, 13, 19) ] , [G| (1, 3, 20, 2)(4, 18, 16, 11)(5, 19, 12, 7)(6, 9, 10, 15)(8, 13, 14, 17) , (1, 15, 20)(2, 10, 6)(4, 14, 13)(5, 7, 16)(8, 19, 18)(11, 12, 17) , (1, 5, 14, 8, 17)(2, 15, 12, 13, 16)(3, 19, 4, 11, 18)(6, 9, 10, 7, 20) ] , [G| (1, 3, 20, 2)(4, 18, 16, 11)(5, 19, 12, 7)(6, 9, 10, 15)(8, 13, 14, 17) , (1, 15, 20)(2, 10, 6)(4, 14, 13)(5, 7, 16)(8, 19, 18)(11, 12, 17) , (1, 2, 13, 15, 3)(4, 6, 17, 18, 16)(5, 19, 9, 8, 12)(7, 11, 10, 20, 14) ] , [G| (1, 3, 20, 2)(4, 18, 16, 11)(5, 19, 12, 7)(6, 9, 10, 15)(8, 13, 14, 17) , (1, 15, 20)(2, 10, 6)(4, 14, 13)(5, 7, 16)(8, 19, 18)(11, 12, 17) , (2, 14, 5, 12, 19, 10)(4, 9, 13, 6, 8, 7)(11, 15, 20, 17, 16, 18) ] , [G| (1, 3, 20, 2)(4, 18, 16, 11)(5, 19, 12, 7)(6, 9, 10, 15)(8, 13, 14, 17) , (1, 15, 20)(2, 10, 6)(4, 14, 13)(5, 7, 16)(8, 19, 18)(11, 12, 17) , (1, 7, 3, 5, 13, 18)(2, 10, 12, 8, 14, 17)(4, 16, 20, 15, 19, 11) ] , [G| (1, 10, 6, 12, 17)(2, 7, 13, 9, 18)(3, 4, 19, 11, 5)(8, 20, 15, 16, 14) , (1, 12, 4)(2, 14, 5)(3, 16, 10)(6, 15, 19)(7, 11, 20)(8, 18, 13) , (1, 2, 13, 19, 14, 4)(3, 6, 18, 20, 9, 11)(5, 15, 10, 16, 7, 8) ] , [G| (1, 10, 6, 12, 17)(2, 7, 13, 9, 18)(3, 4, 19, 11, 5)(8, 20, 15, 16, 14) , (1, 12, 4)(2, 14, 5)(3, 16, 10)(6, 15, 19)(7, 11, 20)(8, 18, 13) , (1, 3, 20, 11, 2, 19)(4, 14, 7, 10, 17, 16)(5, 12, 15, 8, 18, 6) ] , [G| (1, 9, 4, 11, 2)(3, 6, 20, 12, 5)(7, 19, 13, 16, 14)(8, 15, 10, 18, 17) , (1, 12, 4)(2, 14, 5)(3, 16, 10)(6, 15, 19)(7, 11, 20)(8, 18, 13) , (1, 3, 10, 7)(2, 11, 16, 4)(5, 14, 12, 20)(6, 13, 15, 9)(8, 19, 18, 17) ] , [G| (1, 9, 4, 11, 2)(3, 6, 20, 12, 5)(7, 19, 13, 16, 14)(8, 15, 10, 18, 17) , (1, 12, 4)(2, 14, 5)(3, 16, 10)(6, 15, 19)(7, 11, 20)(8, 18, 13) , (1, 2, 12, 9)(3, 19, 13, 7)(4, 5, 17, 14)(6, 10, 8, 15)(11, 18, 16, 20) ] , [G| (1, 9, 4, 11, 2)(3, 6, 20, 12, 5)(7, 19, 13, 16, 14)(8, 15, 10, 18, 17) , (1, 12, 4)(2, 14, 5)(3, 16, 10)(6, 15, 19)(7, 11, 20)(8, 18, 13) , (2, 5, 8, 10, 15, 20)(3, 13, 19, 16, 12, 4)(6, 18, 14, 11, 17, 7) ] , [G| (1, 9, 4, 11, 2)(3, 6, 20, 12, 5)(7, 19, 13, 16, 14)(8, 15, 10, 18, 17) , (1, 12, 4)(2, 14, 5)(3, 16, 10)(6, 15, 19)(7, 11, 20)(8, 18, 13) , (1, 5, 16, 9, 3, 15)(2, 4, 11, 13, 8, 7)(6, 19, 10, 14, 20, 12) ] , [G| (1, 9, 18, 11, 4, 13)(3, 6, 7, 5, 12, 8)(10, 17, 15, 16, 19, 14) , (1, 6, 18)(2, 15, 16)(3, 8, 11)(4, 12, 10)(5, 19, 17)(7, 13, 14) , (1, 7, 10)(2, 15, 20)(3, 6, 12)(4, 14, 8)(5, 19, 9)(11, 13, 18) ] , [G| (1, 9, 18, 11, 4, 13)(3, 6, 7, 5, 12, 8)(10, 17, 15, 16, 19, 14) , (1, 6, 18)(2, 15, 16)(3, 8, 11)(4, 12, 10)(5, 19, 17)(7, 13, 14) , (1, 18, 17, 12)(2, 8, 15, 20)(3, 9, 11, 16)(4, 7, 5, 6)(10, 19, 14, 13) ] , [G| (1, 9, 18, 11, 4, 13)(3, 6, 7, 5, 12, 8)(10, 17, 15, 16, 19, 14) , (1, 6, 18)(2, 15, 16)(3, 8, 11)(4, 12, 10)(5, 19, 17)(7, 13, 14) , (1, 19, 3, 16, 4)(2, 11, 12, 15, 20)(5, 13, 6, 10, 8)(7, 9, 14, 17, 18) ] , [G| (1, 9, 18, 11, 4, 13)(3, 6, 7, 5, 12, 8)(10, 17, 15, 16, 19, 14) , (1, 6, 18)(2, 15, 16)(3, 8, 11)(4, 12, 10)(5, 19, 17)(7, 13, 14) , (1, 11, 19, 10, 14)(2, 3, 18, 15, 20)(4, 5, 7, 12, 9)(6, 13, 17, 8, 16) ] , [G| (1, 9, 18, 11, 4, 13)(3, 6, 7, 5, 12, 8)(10, 17, 15, 16, 19, 14) , (1, 20, 13)(3, 8, 14)(4, 7, 9)(5, 11, 16)(6, 19, 18)(10, 12, 15) , (2, 20, 13)(3, 12, 5)(6, 11, 10)(7, 9, 17)(8, 16, 18)(14, 19, 15) ] , [G| (1, 9, 18, 11, 4, 13)(3, 6, 7, 5, 12, 8)(10, 17, 15, 16, 19, 14) , (1, 20, 13)(3, 8, 14)(4, 7, 9)(5, 11, 16)(6, 19, 18)(10, 12, 15) , (1, 3, 17, 14)(2, 20, 8, 13)(4, 12, 10, 19)(5, 16, 7, 6)(9, 11, 18, 15) ] , [G| (1, 9, 18, 11, 4, 13)(3, 6, 7, 5, 12, 8)(10, 17, 15, 16, 19, 14) , (1, 20, 13)(3, 8, 14)(4, 7, 9)(5, 11, 16)(6, 19, 18)(10, 12, 15) , (1, 14, 7, 10, 18)(2, 20, 19, 3, 13)(4, 16, 17, 11, 12)(5, 9, 8, 6, 15) ] , [G| (1, 9, 18, 11, 4, 13)(3, 6, 7, 5, 12, 8)(10, 17, 15, 16, 19, 14) , (1, 20, 13)(3, 8, 14)(4, 7, 9)(5, 11, 16)(6, 19, 18)(10, 12, 15) , (1, 8, 4, 5, 15)(2, 20, 12, 14, 13)(3, 10, 16, 6, 7)(9, 18, 17, 19, 11) ] , [G| (1, 6, 14, 18, 5, 17, 4, 8, 16)(3, 19, 9, 7, 10, 11, 12, 15, 13) , (1, 17, 7, 10, 5, 12, 6, 19, 13, 20, 15, 18, 8, 4, 16, 14, 11, 9) , (1, 15, 2, 20, 19, 8, 17, 16, 14)(4, 6, 7, 18, 9, 10, 12, 5, 11) ] , [G| (1, 6, 14, 18, 5, 17, 4, 8, 16)(3, 19, 9, 7, 10, 11, 12, 15, 13) , (2, 6, 16, 13, 18, 11, 17, 4, 10, 3, 8, 5, 15, 19, 7, 9, 12, 14) , (2, 8, 19, 7, 3, 12, 13, 6, 20)(4, 5, 14, 10, 18, 9, 15, 17, 11) ] , [G| (1, 14, 12, 19, 11, 16, 6, 20, 2)(3, 13, 18, 10, 17, 15, 8, 7, 9) , (1, 20, 8, 9, 12, 4, 14, 16, 10, 17, 11, 13, 3, 15, 18, 19, 7, 6) , (1, 14, 5, 4, 16, 6, 18, 17, 8)(3, 9, 10, 12, 13, 19, 7, 11, 15) ] , [G| (1, 14, 12, 19, 11, 16, 6, 20, 2)(3, 13, 18, 10, 17, 15, 8, 7, 9) , (1, 20, 14, 18, 11, 7, 17, 3, 9, 19, 15, 8, 12, 6, 5, 16, 13, 10) , (1, 8, 17, 18, 6, 16, 4, 5, 14)(3, 15, 11, 7, 19, 13, 12, 10, 9) ] , [G| (1, 12, 11, 6, 2, 14, 19, 16, 20)(3, 18, 17, 8, 9, 13, 10, 15, 7) , (1, 13, 12, 19, 10, 20, 3, 4, 7, 17, 8, 15, 14, 6, 11, 9, 18, 16) , (1, 12, 9, 19, 16, 7, 5, 4, 3)(8, 15, 10, 11, 14, 17, 18, 13, 20) ] , [G| (1, 12, 11, 6, 2, 14, 19, 16, 20)(3, 18, 17, 8, 9, 13, 10, 15, 7) , (1, 8, 11, 16, 9, 20, 12, 7, 13, 19, 14, 6, 17, 10, 15, 18, 5, 3) , (1, 3, 4, 5, 7, 16, 19, 9, 12)(8, 20, 13, 18, 17, 14, 11, 10, 15) ] ];