/*
Realisation of the presentation in L217x3P1 (for L2(17) x 3) as a faithful,
intransitive permutation group of degree 21.
Generators are x and y.
*/

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