F:=FreeGroup("x1","x2","x3","x4","x5","x6","x7","x8","x9","x10","x11","x12","x13","x14","x15","x16","x17","x18","x19","x20","x21","x22","x23");
G:=F/[F.12,
F.23^-1*F.20*F.13,
F.14,
F.20^-1*F.21*F.15,
F.16,
F.21^-1*F.22*F.17,
F.18,
F.22^-1*F.23*F.19,
F.12^-1*F.4,
F.13^-1,
F.14^-1*F.1,
F.15^-1*F.1,
F.16^-1*F.2,
F.17^-1*F.2,
F.18^-1*F.3,
F.19^-1*F.4*F.3,
F.4^-1*F.5,
F.23,
F.6,
F.1^-1*F.7*F.20,
F.8,
F.2^-1*F.9*F.21,
F.10,
F.3^-1*F.11*F.22,
F.5,
F.20,
F.1*F.6,
F.21*F.7,
F.2*F.8,
F.22*F.9,
F.3*F.10,
F.23*F.4*F.11,
F.13*F.5*F.6^-1,
F.14*F.7^-1,
F.15*F.6*F.8^-1,
F.16*F.7*F.9^-1,
F.17*F.8*F.10^-1,
F.18*F.9*F.11^-1,
F.19*F.10*F.5^-1,
F.12*F.11,
F.14*F.12*F.18*F.16,
F.15*F.13*F.19*F.17];