#We find all primitive subgroups of $GL(9,19)$ with parameters $e=9$, $a=1$
#In the notations of Theorem 5.1, if $H$ is a primitive solvable subgroup, then it possesses a series

#$$1<U<F<A<H,$$

#where $U$ is cyclic of order $18$, $F=U\circ E$ and $E$ is extraspecial of order $3^{1+4}$, in this case $H=A$. 

#First we make general variables:

gap> z:=Z(19);;
gap> v:=[z,z^5,z^2,0*z,z^7,z^4,z^3,z^11,z^8];;
gap> result:=[];;

#Now we run the following loop, where gens is the list of generators from generators-GL(9,13).txt. Each entry of the list result has three items: the first is the
#number of the group in the list gens, the second is the order of the group, and the third is the order of the stabilizer of v in H. 
#If the order of the stabilizer is 1, then |v^H=|H| and Corollary 2.5 can be applied.

gap> for j in [1..Size(gens)] do
> H:=Subgroup(GL(9,19),gens[j]);;
> n:=Size(H);;
> m:=Size(v^H);
> result[j]:=[j,n,n/m];
> Display(result[j]);
> od;
gap> result;
[ 1, 7290, 1 ]
[ 2, 14580, 1 ]
[ 3, 11664, 1 ]
[ 4, 11664, 1 ]
[ 5, 29160, 1 ]
[ 6, 23328, 1 ]
[ 7, 23328, 1 ]
[ 8, 23328, 1 ]
[ 9, 23328, 1 ]
[ 10, 23328, 1 ]
[ 11, 23328, 1 ]
[ 12, 23328, 1 ]
[ 13, 34992, 1 ]
[ 14, 58320, 1 ]
[ 15, 46656, 1 ]
[ 16, 46656, 1 ]
[ 17, 46656, 1 ]
[ 18, 46656, 1 ]
[ 19, 46656, 1 ]
[ 20, 46656, 1 ]
[ 21, 69984, 1 ]
[ 22, 69984, 1 ]
[ 23, 69984, 1 ]
[ 24, 69984, 1 ]
[ 25, 69984, 1 ]
[ 26, 93312, 1 ]
[ 27, 93312, 1 ]
[ 28, 93312, 1 ]
[ 29, 139968, 1 ]
[ 30, 139968, 1 ]
[ 31, 139968, 1 ]
[ 32, 139968, 1 ]
[ 33, 139968, 1 ]
[ 34, 233280, 1 ]
[ 35, 186624, 1 ]
[ 36, 279936, 1 ]
[ 37, 279936, 1 ]
[ 38, 279936, 1 ]
[ 39, 279936, 1 ]
[ 40, 466560, 1 ]
[ 41, 559872, 1 ]
[ 42, 559872, 1 ]
[ 43, 839808, 1 ]
[ 44, 1679616, 1 ]