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

gap> g:=PrimitiveGroup(8,4);;

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