q=4: 9 classes; types (fix a point / cyclic-dihedral / A4,S4,A5 / PSL,PGL(2,p^k) / other) = {'fixpt': 5, 'cycdih': 3, 'A4S4A5': 1, 'PSLPGL': 0, 'other': 0}; violations: none [0.0s]
q=5: 19 classes; types (fix a point / cyclic-dihedral / A4,S4,A5 / PSL,PGL(2,p^k) / other) = {'fixpt': 6, 'cycdih': 9, 'A4S4A5': 3, 'PSLPGL': 1, 'other': 0}; violations: none [0.1s]
q=7: 23 classes; types (fix a point / cyclic-dihedral / A4,S4,A5 / PSL,PGL(2,p^k) / other) = {'fixpt': 8, 'cycdih': 11, 'A4S4A5': 2, 'PSLPGL': 2, 'other': 0}; violations: none [0.3s]
q=8: 12 classes; types (fix a point / cyclic-dihedral / A4,S4,A5 / PSL,PGL(2,p^k) / other) = {'fixpt': 6, 'cycdih': 5, 'A4S4A5': 0, 'PSLPGL': 1, 'other': 0}; violations: none [0.4s]
q=9: 26 classes; types (fix a point / cyclic-dihedral / A4,S4,A5 / PSL,PGL(2,p^k) / other) = {'fixpt': 10, 'cycdih': 11, 'A4S4A5': 3, 'PSLPGL': 2, 'other': 0}; violations: none [1.3s]
q=11: 29 classes; types (fix a point / cyclic-dihedral / A4,S4,A5 / PSL,PGL(2,p^k) / other) = {'fixpt': 8, 'cycdih': 16, 'A4S4A5': 3, 'PSLPGL': 2, 'other': 0}; violations: none [4.6s]
q=13: 30 classes; types (fix a point / cyclic-dihedral / A4,S4,A5 / PSL,PGL(2,p^k) / other) = {'fixpt': 12, 'cycdih': 14, 'A4S4A5': 2, 'PSLPGL': 2, 'other': 0}; violations: none [16.6s]
q=16: 21 classes; types (fix a point / cyclic-dihedral / A4,S4,A5 / PSL,PGL(2,p^k) / other) = {'fixpt': 14, 'cycdih': 5, 'A4S4A5': 1, 'PSLPGL': 1, 'other': 0}; violations: none [54.1s]
Lemma 1.7(b): q=16 q0=4: min orbit length on W\0 = 15 (bound q0^2-1 = 15); orders of invariant subgroups [1, 16, 256]; largest proper 16 (bound q^2/q0^2 = 16)
Lemma 1.7(b): q=25 q0=5: min orbit length on W\0 = 24 (bound q0^2-1 = 24); orders of invariant subgroups [1, 25, 625]; largest proper 25 (bound q^2/q0^2 = 25)
Lemma 1.7(b): q=49 q0=7: min orbit length on W\0 = 48 (bound q0^2-1 = 48); orders of invariant subgroups [1, 49, 2401]; largest proper 49 (bound q^2/q0^2 = 49)
