G := sub; gens := [ [G| (1, 13, 16)(2, 21, 10)(3, 19, 28)(4, 25, 24)(5, 30, 27)(6, 20, 22)(7, 15, 12)(8, 18, 17)(9, 14, 23)(11, 26, 29) , (1, 12, 25, 26)(2, 14, 23, 10)(3, 13, 11, 8)(4, 5, 18, 29)(6, 30, 24, 15)(7, 16, 28, 20)(17, 27, 22, 19) , (1, 29, 16, 3)(2, 25, 19, 5)(4, 26, 10, 14)(6, 28, 18, 22)(7, 30, 27, 13)(8, 11, 17, 12)(15, 21, 24, 20) ] , [G| (1, 13, 16)(2, 21, 10)(3, 19, 28)(4, 25, 24)(5, 30, 27)(6, 20, 22)(7, 15, 12)(8, 18, 17)(9, 14, 23)(11, 26, 29) , (1, 12, 25, 26)(2, 14, 23, 10)(3, 13, 11, 8)(4, 5, 18, 29)(6, 30, 24, 15)(7, 16, 28, 20)(17, 27, 22, 19) , (1, 16, 5, 8)(3, 4, 13, 9)(6, 27, 25, 30)(7, 22, 15, 18)(10, 19, 20, 14)(11, 29, 24, 12)(17, 23, 28, 26) ] , [G| (1, 2, 23, 5)(3, 8, 27, 25)(4, 28, 13, 12)(6, 21, 15, 7)(11, 16, 24, 22)(14, 26, 17, 18)(19, 30, 20, 29) , (1, 19, 26)(2, 14, 15)(3, 9, 25)(4, 23, 21)(5, 12, 30)(6, 22, 28)(7, 18, 11)(8, 27, 10)(13, 24, 20)(16, 17, 29) , (1, 26, 25, 10, 30)(2, 11, 18, 22, 24)(3, 19, 12, 4, 16)(5, 27, 20, 6, 23)(7, 15, 17, 21, 28)(8, 9, 29, 14, 13) ] , [G| (1, 2, 23, 5)(3, 8, 27, 25)(4, 28, 13, 12)(6, 21, 15, 7)(11, 16, 24, 22)(14, 26, 17, 18)(19, 30, 20, 29) , (1, 19, 26)(2, 14, 15)(3, 9, 25)(4, 23, 21)(5, 12, 30)(6, 22, 28)(7, 18, 11)(8, 27, 10)(13, 24, 20)(16, 17, 29) , (1, 16, 23, 13, 5)(2, 3, 7, 17, 26)(4, 8, 9, 15, 24)(6, 28, 18, 25, 10)(11, 22, 27, 21, 29)(12, 20, 14, 19, 30) ] , [G| (1, 2, 23, 5)(3, 8, 27, 25)(4, 28, 13, 12)(6, 21, 15, 7)(11, 16, 24, 22)(14, 26, 17, 18)(19, 30, 20, 29) , (1, 19, 26)(2, 14, 15)(3, 9, 25)(4, 23, 21)(5, 12, 30)(6, 22, 28)(7, 18, 11)(8, 27, 10)(13, 24, 20)(16, 17, 29) , (1, 20, 12, 25, 10)(2, 6, 11, 19, 27)(3, 5, 17, 4, 21)(7, 28, 13, 26, 18)(8, 9, 23, 16, 14)(15, 29, 30, 24, 22) ] , [G| (1, 2, 23, 5)(3, 8, 27, 25)(4, 28, 13, 12)(6, 21, 15, 7)(11, 16, 24, 22)(14, 26, 17, 18)(19, 30, 20, 29) , (1, 19, 26)(2, 14, 15)(3, 9, 25)(4, 23, 21)(5, 12, 30)(6, 22, 28)(7, 18, 11)(8, 27, 10)(13, 24, 20)(16, 17, 29) , (1, 5, 30, 6, 15)(2, 28, 25, 10, 11)(3, 22, 12, 26, 20)(4, 13, 19, 14, 18)(7, 27, 16, 29, 23)(8, 9, 24, 21, 17) ] , [G| (1, 2, 23, 5)(3, 8, 27, 25)(4, 28, 13, 12)(6, 21, 15, 7)(11, 16, 24, 22)(14, 26, 17, 18)(19, 30, 20, 29) , (1, 29, 16, 3)(2, 25, 19, 5)(4, 26, 10, 14)(6, 28, 18, 22)(7, 30, 27, 13)(8, 11, 17, 12)(15, 21, 24, 20) , (1, 20, 7)(2, 12, 18)(3, 6, 15)(4, 26, 23)(5, 27, 8)(9, 10, 14)(11, 30, 24)(13, 19, 29)(16, 25, 28)(17, 21, 22) ] , [G| (1, 2, 23, 5)(3, 8, 27, 25)(4, 28, 13, 12)(6, 21, 15, 7)(11, 16, 24, 22)(14, 26, 17, 18)(19, 30, 20, 29) , (1, 29, 16, 3)(2, 25, 19, 5)(4, 26, 10, 14)(6, 28, 18, 22)(7, 30, 27, 13)(8, 11, 17, 12)(15, 21, 24, 20) , (1, 28, 17, 29)(3, 20, 30, 18)(4, 15, 16, 11)(5, 22, 7, 25)(6, 19, 13, 12)(8, 27, 24, 26)(9, 10, 21, 14) ] , [G| (1, 2, 23, 5)(3, 8, 27, 25)(4, 28, 13, 12)(6, 21, 15, 7)(11, 16, 24, 22)(14, 26, 17, 18)(19, 30, 20, 29) , (1, 27, 3, 14)(2, 18, 6, 11)(4, 15, 21, 17)(5, 28, 26, 25)(7, 12, 30, 16)(9, 29, 24, 19)(13, 23, 22, 20) , (1, 2, 25)(3, 16, 20)(4, 5, 11)(6, 23, 15)(7, 27, 26)(8, 24, 19)(9, 29, 10)(12, 28, 17)(13, 30, 21)(14, 22, 18) ] , [G| (1, 2, 23, 5)(3, 8, 27, 25)(4, 28, 13, 12)(6, 21, 15, 7)(11, 16, 24, 22)(14, 26, 17, 18)(19, 30, 20, 29) , (1, 27, 3, 14)(2, 18, 6, 11)(4, 15, 21, 17)(5, 28, 26, 25)(7, 12, 30, 16)(9, 29, 24, 19)(13, 23, 22, 20) , (1, 12, 20, 2)(4, 28, 16, 6)(5, 25, 13, 7)(9, 21, 29, 10)(11, 30, 14, 27)(15, 18, 22, 24)(17, 19, 23, 26) ] , [G| (1, 26, 17, 2, 24)(3, 14, 12, 22, 27)(4, 13, 29, 8, 21)(5, 19, 23, 7, 6)(9, 15, 20, 30, 28)(10, 25, 16, 11, 18) , (1, 16, 15)(2, 23, 21)(3, 13, 6)(4, 19, 5)(7, 17, 14)(8, 11, 24)(9, 12, 26)(10, 22, 28)(18, 29, 27)(20, 25, 30) , (2, 5, 8, 20)(3, 4, 21, 29)(6, 7, 11, 19)(10, 17, 13, 18)(12, 26, 16, 15)(14, 28, 25, 24)(22, 27, 23, 30) ] , [G| (1, 26, 17, 2, 24)(3, 14, 12, 22, 27)(4, 13, 29, 8, 21)(5, 19, 23, 7, 6)(9, 15, 20, 30, 28)(10, 25, 16, 11, 18) , (1, 16, 15)(2, 23, 21)(3, 13, 6)(4, 19, 5)(7, 17, 14)(8, 11, 24)(9, 12, 26)(10, 22, 28)(18, 29, 27)(20, 25, 30) , (1, 18, 13, 4)(2, 14, 7, 21)(3, 26, 8, 19)(5, 24, 20, 16)(6, 27, 22, 9)(10, 25, 11, 12)(15, 30, 28, 29) ] , [G| (1, 17, 24, 26, 2)(3, 12, 27, 14, 22)(4, 29, 21, 13, 8)(5, 23, 6, 19, 7)(9, 20, 28, 15, 30)(10, 16, 18, 25, 11) , (1, 15, 13)(2, 7, 30)(3, 6, 16)(4, 8, 28)(5, 26, 11)(9, 19, 22)(10, 24, 12)(14, 29, 20)(17, 21, 27)(18, 23, 25) , (1, 7, 30, 13)(3, 12, 20, 23)(4, 17, 10, 16)(5, 14, 24, 27)(6, 18, 22, 8)(9, 25, 29, 11)(19, 26, 21, 28) ] , [G| (1, 17, 24, 26, 2)(3, 12, 27, 14, 22)(4, 29, 21, 13, 8)(5, 23, 6, 19, 7)(9, 20, 28, 15, 30)(10, 16, 18, 25, 11) , (1, 15, 13)(2, 7, 30)(3, 6, 16)(4, 8, 28)(5, 26, 11)(9, 19, 22)(10, 24, 12)(14, 29, 20)(17, 21, 27)(18, 23, 25) , (1, 3, 28, 22)(2, 11, 5, 30)(4, 16, 17, 29)(6, 13, 10, 21)(8, 14, 18, 9)(12, 23, 20, 27)(15, 19, 25, 24) ] , [G| (1, 25, 11, 26, 15, 19, 12, 2, 3, 16, 17, 7, 30, 4, 23, 8, 24, 18, 6, 20, 28, 5, 27, 22, 14, 21, 29, 13) , (1, 5, 20, 12, 29, 27, 13, 19, 3, 16, 15, 22, 21, 4, 18, 24, 10, 8, 25, 17, 2, 6, 30, 11, 23, 14, 26, 7) , (1, 25, 21, 18, 13, 6, 19, 4, 8, 9, 10, 14, 29, 12, 5, 30, 27, 23, 17, 7, 16, 15, 26, 24, 22, 3, 2, 11) ] , [G| (1, 25, 11, 26, 15, 19, 12, 2, 3, 16, 17, 7, 30, 4, 23, 8, 24, 18, 6, 20, 28, 5, 27, 22, 14, 21, 29, 13) , (1, 21, 12, 28, 9, 20, 6, 27, 17, 30, 26, 29, 13, 11, 3, 4, 16, 25, 24, 23, 2, 14, 15, 7, 5, 19, 22, 18) , (1, 4, 27, 30, 28, 14, 22, 21, 11, 26, 6, 7, 29, 13, 15, 12, 19, 16, 18, 2, 24, 25, 5, 20, 10, 9, 17, 3) ] , [G| (1, 26, 12, 16, 30, 8, 6, 5, 14, 13, 11, 19, 3, 7, 23, 18, 28, 22, 29, 25, 15, 2, 17, 4, 24, 20, 27, 21) , (1, 4, 11, 29, 22, 26, 12, 28, 2, 25, 13, 20, 23, 8, 19, 17, 18, 24, 21, 10, 27, 14, 3, 30, 6, 7, 5, 16) , (1, 13, 2, 24, 20, 16, 8, 27, 9, 10, 7, 6, 14, 23, 18, 29, 12, 19, 5, 21, 28, 11, 22, 17, 26, 4, 3, 30) ] , [G| (1, 26, 12, 16, 30, 8, 6, 5, 14, 13, 11, 19, 3, 7, 23, 18, 28, 22, 29, 25, 15, 2, 17, 4, 24, 20, 27, 21) , (1, 28, 6, 30, 13, 4, 24, 14, 5, 18, 12, 20, 17, 29, 3, 25, 2, 7, 22, 21, 9, 27, 26, 11, 16, 23, 15, 19) , (1, 21, 2, 25, 27, 10, 9, 19, 29, 28, 11, 13, 6, 17, 7, 22, 20, 14, 23, 5, 12, 4, 26, 3, 15, 24, 18, 16) ] , [G| (1, 19, 17, 8, 28, 21, 11, 2, 30, 18, 27, 13, 15, 16, 23, 20, 14, 25, 12, 7, 24, 5, 29, 26, 3, 4, 6, 22) , (1, 2, 4, 16, 10, 15, 18, 28, 27, 13, 8, 24, 23, 3, 6, 11, 5, 17, 19, 20, 7, 25, 29, 21, 30, 22, 26, 14) , (1, 24, 21, 23, 14, 16, 13, 6, 15, 9, 10, 26, 18, 3, 29, 7, 5, 17, 20, 2, 30, 8, 4, 19, 11, 27, 28, 22) ] , [G| (1, 19, 17, 8, 28, 21, 11, 2, 30, 18, 27, 13, 15, 16, 23, 20, 14, 25, 12, 7, 24, 5, 29, 26, 3, 4, 6, 22) , (1, 20, 26, 4, 2, 19, 12, 27, 13, 25, 15, 18, 9, 30, 3, 23, 5, 21, 6, 29, 16, 14, 22, 28, 17, 11, 24, 7) , (1, 20, 11, 28, 2, 18, 29, 30, 10, 9, 4, 13, 3, 6, 19, 22, 12, 21, 16, 15, 25, 26, 7, 23, 27, 14, 5, 24) ] , [G| (1, 16, 6, 13, 3, 18, 29, 2, 24, 21, 12, 8, 14, 19, 23, 22, 15, 4, 27, 26, 30, 5, 11, 7, 28, 25, 17, 20) , (1, 6, 13, 20, 25, 29, 19, 5, 22, 10, 23, 18, 12, 15, 30, 2, 28, 24, 26, 11, 14, 8, 3, 16, 4, 21, 7, 27) , (1, 29, 20, 5, 8, 14, 6, 28, 4, 7, 22, 13, 11, 18, 12, 26, 15, 23, 9, 10, 21, 2, 3, 19, 27, 16, 30, 24) ] , [G| (1, 16, 6, 13, 3, 18, 29, 2, 24, 21, 12, 8, 14, 19, 23, 22, 15, 4, 27, 26, 30, 5, 11, 7, 28, 25, 17, 20) , (1, 30, 24, 18, 17, 25, 22, 27, 16, 19, 6, 4, 5, 20, 3, 7, 9, 11, 15, 28, 13, 14, 12, 29, 2, 21, 26, 23) , (1, 24, 6, 21, 22, 25, 28, 29, 14, 26, 19, 5, 18, 23, 13, 17, 4, 30, 11, 10, 9, 20, 16, 3, 7, 27, 2, 15) ] , [G| (1, 7, 27, 19, 24, 13, 17, 5, 15, 8, 29, 16, 28, 26, 23, 21, 3, 20, 11, 4, 14, 2, 6, 25, 30, 22, 12, 18) , (1, 6, 19, 7, 16, 3, 20, 29, 17, 30, 5, 8, 24, 2, 26, 22, 13, 15, 25, 18, 11, 21, 23, 14, 10, 4, 12, 28) , (1, 14, 11, 13, 5, 15, 18, 8, 22, 4, 9, 10, 28, 17, 6, 24, 25, 30, 12, 26, 16, 19, 29, 21, 23, 20, 3, 2) ] , [G| (1, 7, 27, 19, 24, 13, 17, 5, 15, 8, 29, 16, 28, 26, 23, 21, 3, 20, 11, 4, 14, 2, 6, 25, 30, 22, 12, 18) , (1, 29, 15, 20, 16, 18, 26, 14, 9, 4, 22, 30, 2, 28, 3, 19, 17, 23, 12, 11, 5, 27, 24, 21, 13, 7, 6, 25) , (1, 25, 30, 2, 6, 20, 29, 11, 14, 13, 19, 27, 16, 7, 26, 4, 10, 9, 12, 24, 3, 17, 21, 23, 28, 22, 18, 5) ] , [G| (1, 4, 29, 7, 14, 16, 27, 2, 28, 19, 6, 26, 24, 25, 23, 13, 30, 21, 17, 22, 3, 5, 12, 20, 15, 18, 11, 8) , (1, 28, 7, 12, 16, 11, 15, 20, 29, 26, 10, 6, 23, 3, 27, 5, 25, 13, 19, 8, 14, 2, 22, 30, 24, 4, 21, 17) , (1, 14, 20, 11, 21, 5, 30, 7, 23, 24, 27, 29, 8, 25, 4, 6, 9, 10, 26, 3, 28, 12, 22, 13, 19, 2, 17, 16) ] , [G| (1, 4, 29, 7, 14, 16, 27, 2, 28, 19, 6, 26, 24, 25, 23, 13, 30, 21, 17, 22, 3, 5, 12, 20, 15, 18, 11, 8) , (1, 11, 22, 29, 5, 30, 15, 27, 2, 20, 24, 28, 16, 21, 3, 18, 13, 19, 26, 7, 17, 14, 6, 23, 9, 25, 12, 4) , (1, 18, 27, 29, 2, 3, 19, 26, 21, 5, 15, 6, 12, 25, 10, 9, 24, 7, 13, 4, 14, 28, 23, 30, 16, 17, 20, 22) ] ];