/*
Standard copy of M_{12} used in our calculations.
11 corresponds to 0 and 12 corresponds to \infty.
*/

G:=PermutationGroup<12|(1,2,3,4,5,6,7,8,9,10,11),(3,4)(2,10)(6,7)(5,9),(11,12)(1,10)(2,5)(3,7)(4,8)(6,9)>;
M12:=G;