## Groups of degree 21 that do not satisfy the universal transversal property
##
## GAP log file
gap> g:=[PrimitiveGroup(21,5), PrimitiveGroup(21,6), PrimitiveGroup(21, 7)];;
gap> o:=Orb(g[1], [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13 ], OnSets);;
gap> Enumerate(o);;
gap> ForAny(o, x->
> IsInjectiveListTrans(x, [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 11, 11, 11, 11,
> 11, 11, 11, 11, 11, 11 ]));
false
gap> o:=Orb(g[2], [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13 ], OnSets);;
gap> Enumerate(o);;
gap> ForAny(o, x-> IsInjectiveListTrans(x, [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10,
> 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11 ]));
false
gap> o:=Orb(g[3], [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13 ], OnSets);;
gap> Enumerate(o);;
gap> ForAny(o, x-> IsInjectiveListTrans(x, [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10,
> 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11 ]));
false