/*
Realisation of the presentation in M12d2P1 as permutations on 24 points.
Generators are x and y.
*/

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