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