P:=PermutationGroup<23|(2, 19)(3, 12)(4, 20)(5, 11)(8, 18)(10, 16)(14, 17)(21, 23),(2, 13)(4, 14)(5, 7)(6, 11)(8, 16)(9, 19)(15, 22)(21, 23),(3, 12)(4, 17)(6, 7)(8, 10)(9, 13)(14, 20)(16, 18)(21, 23),(3, 10)(4, 14)(5, 19)(7, 9)(8, 23)(12, 18)(15, 22)(16, 21),(2, 3)(5, 23)(6, 18)(7, 8)(9, 16)(10, 13)(11, 12)(19, 21)>;



print("a Sylow 2-subgroup P of M23");