## Groups that do satisfy the universal transversal property
## 
## GAP commands

gps:=[ PrimitiveGroup(5,1), PrimitiveGroup(5,2), PrimitiveGroup(5,3), 
> PrimitiveGroup(6,1), PrimitiveGroup(6,2), PrimitiveGroup(7,4), 
> PrimitiveGroup(8,5), PrimitiveGroup(9,8), PrimitiveGroup(9,9)];
ForAll(gps, IsUniversalTransversalGroup);