#m12a.g

M12 := MathieuGroup( 12 );
M12.generators;
F := FreeGroup( "a", "b", "c" );
words := [ F.1, F.2 ];
P := PresentationViaCosetTable( M12, F, words );
G := FpGroupPresentation( P );
G.relators;
SimplifyPresentation( P );