G:=Group(
(1,2)(3,4)(6,7)(9,10)(11,12)(13,14),
(2,3)(4,5,9,6)(7,8)(10,15,13,11) );
F:=FreeGroup(2);
F.relators := [F.1^2, F.2^4, (F.1*F.2)^15, (F.1*F.2^2)^6,
(F.1*F.2)^2*(F.1*F.2^-1*F.1*F.2^2)^2*F.1*F.2^-1*(F.1*F.2)^2*(F.1*F.2^-1)^7,
F.1*F.2*F.1*F.2^-1*F.1*F.2*F.1*F.2^2*((F.1*F.2^-1)^5*F.1*F.2^2)^2];
K:=Subgroup(F,[F.2,(F.1*F.2)^2*(F.1*F.2^-1)^2*F.1]);
m2 := [
[[0,0,1,0],
[0,0,0,1],
[1,0,0,0],
[0,1,0,0]],

[[1,1,0,0],
[1,0,0,1],
[1,1,1,1],
[1,0,0,0]]]*Z(2);
