g := PSL(2,23); invols := [ [g| (1, 22)(2, 12)(3, 5)(4, 6)(7, 21)(8, 11)(9, 13)(10, 17)(14, 15)(16, 23)(18, 19)(20, 24) , (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 15)(2, 18)(3, 23)(4, 21)(5, 16)(6, 7)(8, 20)(9, 10)(11, 24)(12, 19)(13, 17)(14, 22) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 15)(2, 18)(3, 23)(4, 21)(5, 16)(6, 7)(8, 20)(9, 10)(11, 24)(12, 19)(13, 17)(14, 22) , (1, 22)(2, 17)(3, 9)(4, 11)(5, 12)(6, 16)(7, 13)(8, 20)(10, 24)(14, 23)(15, 18)(19, 21) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 15)(2, 18)(3, 23)(4, 21)(5, 16)(6, 7)(8, 20)(9, 10)(11, 24)(12, 19)(13, 17)(14, 22) , (1, 9)(2, 12)(3, 16)(4, 24)(5, 13)(6, 23)(7, 19)(8, 15)(10, 14)(11, 22)(17, 18)(20, 21) ], [g| (1, 5)(2, 20)(3, 9)(4, 24)(6, 19)(7, 12)(8, 18)(10, 23)(11, 21)(13, 14)(15, 16)(17, 22) , (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 15)(2, 18)(3, 23)(4, 21)(5, 16)(6, 7)(8, 20)(9, 10)(11, 24)(12, 19)(13, 17)(14, 22) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 15)(2, 18)(3, 23)(4, 21)(5, 16)(6, 7)(8, 20)(9, 10)(11, 24)(12, 19)(13, 17)(14, 22) , (1, 13)(2, 9)(3, 19)(4, 8)(5, 16)(6, 20)(7, 23)(10, 21)(11, 12)(14, 15)(17, 24)(18, 22) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 15)(2, 18)(3, 23)(4, 21)(5, 16)(6, 7)(8, 20)(9, 10)(11, 24)(12, 19)(13, 17)(14, 22) , (1, 16)(2, 13)(3, 23)(4, 14)(5, 19)(6, 10)(7, 20)(8, 17)(9, 11)(12, 18)(15, 21)(22, 24) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 21)(2, 22)(3, 16)(4, 9)(5, 15)(6, 24)(7, 20)(8, 18)(10, 11)(12, 13)(14, 19)(17, 23) , (1, 9)(2, 12)(3, 16)(4, 24)(5, 13)(6, 23)(7, 19)(8, 15)(10, 14)(11, 22)(17, 18)(20, 21) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 21)(2, 22)(3, 16)(4, 9)(5, 15)(6, 24)(7, 20)(8, 18)(10, 11)(12, 13)(14, 19)(17, 23) , (1, 12)(2, 22)(3, 13)(4, 18)(5, 9)(6, 19)(7, 16)(8, 10)(11, 17)(14, 20)(15, 24)(21, 23) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 21)(2, 22)(3, 16)(4, 9)(5, 15)(6, 24)(7, 20)(8, 18)(10, 11)(12, 13)(14, 19)(17, 23) , (1, 16)(2, 13)(3, 23)(4, 14)(5, 19)(6, 10)(7, 20)(8, 17)(9, 11)(12, 18)(15, 21)(22, 24) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 21)(2, 22)(3, 16)(4, 9)(5, 15)(6, 24)(7, 20)(8, 18)(10, 11)(12, 13)(14, 19)(17, 23) , (1, 20)(2, 23)(3, 15)(4, 7)(5, 10)(6, 17)(8, 9)(11, 19)(12, 14)(13, 24)(16, 18)(21, 22) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 2)(3, 4)(5, 10)(6, 20)(7, 18)(8, 14)(9, 23)(11, 22)(12, 16)(13, 17)(15, 21)(19, 24) , (1, 22)(2, 17)(3, 9)(4, 11)(5, 12)(6, 16)(7, 13)(8, 20)(10, 24)(14, 23)(15, 18)(19, 21) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 2)(3, 4)(5, 10)(6, 20)(7, 18)(8, 14)(9, 23)(11, 22)(12, 16)(13, 17)(15, 21)(19, 24) , (1, 12)(2, 22)(3, 13)(4, 18)(5, 9)(6, 19)(7, 16)(8, 10)(11, 17)(14, 20)(15, 24)(21, 23) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 2)(3, 4)(5, 10)(6, 20)(7, 18)(8, 14)(9, 23)(11, 22)(12, 16)(13, 17)(15, 21)(19, 24) , (1, 9)(2, 12)(3, 16)(4, 24)(5, 13)(6, 23)(7, 19)(8, 15)(10, 14)(11, 22)(17, 18)(20, 21) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 2)(3, 4)(5, 10)(6, 20)(7, 18)(8, 14)(9, 23)(11, 22)(12, 16)(13, 17)(15, 21)(19, 24) , (1, 16)(2, 13)(3, 23)(4, 14)(5, 19)(6, 10)(7, 20)(8, 17)(9, 11)(12, 18)(15, 21)(22, 24) ], [g| (1, 10)(2, 5)(3, 17)(4, 13)(6, 8)(7, 19)(9, 12)(11, 21)(14, 20)(15, 22)(16, 23)(18, 24) , (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 2)(3, 4)(5, 10)(6, 20)(7, 18)(8, 14)(9, 23)(11, 22)(12, 16)(13, 17)(15, 21)(19, 24) ], [g| (1, 7)(2, 21)(3, 15)(4, 9)(5, 23)(6, 14)(8, 11)(10, 12)(13, 17)(16, 24)(18, 20)(19, 22) , (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 2)(3, 8)(4, 18)(5, 16)(6, 12)(7, 21)(9, 20)(10, 14)(11, 15)(13, 19)(17, 22)(23, 24) ], [g| (1, 23)(2, 24)(3, 17)(4, 7)(5, 9)(6, 13)(8, 22)(10, 11)(12, 19)(14, 15)(16, 20)(18, 21) , (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 2)(3, 8)(4, 18)(5, 16)(6, 12)(7, 21)(9, 20)(10, 14)(11, 15)(13, 19)(17, 22)(23, 24) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 2)(3, 8)(4, 18)(5, 16)(6, 12)(7, 21)(9, 20)(10, 14)(11, 15)(13, 19)(17, 22)(23, 24) , (1, 16)(2, 13)(3, 23)(4, 14)(5, 19)(6, 10)(7, 20)(8, 17)(9, 11)(12, 18)(15, 21)(22, 24) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 18)(2, 22)(3, 24)(4, 14)(5, 7)(6, 8)(9, 23)(10, 13)(11, 15)(12, 19)(16, 17)(20, 21) , (1, 20)(2, 23)(3, 15)(4, 7)(5, 10)(6, 17)(8, 9)(11, 19)(12, 14)(13, 24)(16, 18)(21, 22) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 18)(2, 22)(3, 24)(4, 14)(5, 7)(6, 8)(9, 23)(10, 13)(11, 15)(12, 19)(16, 17)(20, 21) , (1, 22)(2, 17)(3, 9)(4, 11)(5, 12)(6, 16)(7, 13)(8, 20)(10, 24)(14, 23)(15, 18)(19, 21) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 18)(2, 22)(3, 24)(4, 14)(5, 7)(6, 8)(9, 23)(10, 13)(11, 15)(12, 19)(16, 17)(20, 21) , (1, 16)(2, 13)(3, 23)(4, 14)(5, 19)(6, 10)(7, 20)(8, 17)(9, 11)(12, 18)(15, 21)(22, 24) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 13)(2, 18)(3, 12)(4, 22)(5, 6)(7, 17)(8, 24)(9, 19)(10, 15)(11, 16)(14, 23)(20, 21) , (1, 16)(2, 13)(3, 23)(4, 14)(5, 19)(6, 10)(7, 20)(8, 17)(9, 11)(12, 18)(15, 21)(22, 24) ], [g| (1, 19)(2, 10)(3, 21)(4, 7)(5, 24)(6, 8)(9, 13)(11, 23)(12, 20)(14, 16)(15, 18)(17, 22) , (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 13)(2, 18)(3, 12)(4, 22)(5, 6)(7, 17)(8, 24)(9, 19)(10, 15)(11, 16)(14, 23)(20, 21) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 12)(2, 6)(3, 7)(4, 22)(5, 11)(8, 21)(9, 14)(10, 20)(13, 23)(15, 16)(17, 18)(19, 24) , (1, 9)(2, 12)(3, 16)(4, 24)(5, 13)(6, 23)(7, 19)(8, 15)(10, 14)(11, 22)(17, 18)(20, 21) ], [g| (1, 19)(2, 10)(3, 21)(4, 7)(5, 24)(6, 8)(9, 13)(11, 23)(12, 20)(14, 16)(15, 18)(17, 22) , (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 20)(2, 6)(3, 22)(4, 11)(5, 14)(7, 23)(8, 10)(9, 18)(12, 19)(13, 15)(16, 24)(17, 21) ], [g| (1, 14)(2, 16)(3, 9)(4, 13)(5, 20)(6, 24)(7, 17)(8, 19)(10, 12)(11, 15)(18, 22)(21, 23) , (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 20)(2, 6)(3, 22)(4, 11)(5, 14)(7, 23)(8, 10)(9, 18)(12, 19)(13, 15)(16, 24)(17, 21) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 7)(2, 9)(3, 10)(4, 14)(5, 11)(6, 18)(8, 22)(12, 21)(13, 16)(15, 24)(17, 19)(20, 23) , (1, 9)(2, 12)(3, 16)(4, 24)(5, 13)(6, 23)(7, 19)(8, 15)(10, 14)(11, 22)(17, 18)(20, 21) ], [g| (1, 14)(2, 21)(3, 24)(4, 16)(5, 8)(6, 11)(7, 18)(9, 10)(12, 20)(13, 15)(17, 19)(22, 23) , (1, 7)(2, 9)(3, 10)(4, 14)(5, 11)(6, 18)(8, 22)(12, 21)(13, 16)(15, 24)(17, 19)(20, 23) , (1, 12)(2, 22)(3, 13)(4, 18)(5, 9)(6, 19)(7, 16)(8, 10)(11, 17)(14, 20)(15, 24)(21, 23) ] ];