## Groups of degree 23 that do not satisfy the universal transversal property
## 
## GAP log file

gap> g:=PrimitiveGroup(23,5);; 

gap> o:=Orb(g, [ 1, 2, 3, 4, 5, 8, 11 ], OnSets);; Enumerate(o);;
gap> ForAny(o, x-> IsInjectiveTransOnList([ 1, 2, 3, 4, 5, 6, 7, 7, 7, 7, 7,
> 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7 ], x));
false