C5, q = 25 = 5^2: L-orbit lengths on the 651 points: [31, 620]; B = PG(2,5) is the only orbit of length 31: True; |N_P(L)| <= |SL(3,5)| = 372000 < M = 720000 (while 3|SL(3,5)| = 1116000 > M): True  [0.0 s]
C5, q = 64 = 8^2: L-orbit lengths on the 4161 points: [73, 4088]; B = PG(2,8) is the only orbit of length 73: True; |N_P(L)| <= |SL(3,8)| = 16482816 < M = 16773120 (while 3|SL(3,8)| = 49448448 > M): True  [0.1 s]
C5, q = 121 = 11^2: L-orbit lengths on the 14763 points: [133, 14630]; B = PG(2,11) is the only orbit of length 133: True; |N_P(L)| <= |SL(3,11)| = 212427600 < M = 421660800 (while 3|SL(3,11)| = 637282800 > M): True  [0.6 s]
SU(3,4): order of the generated group (as permutations of the 273 points): 62400
L-orbit lengths: [65, 208]; the unital is the orbit of length 65: True
ordered frames of U: 13228800 (= 65*64*60*53 = 13228800)
L-orbits on the ordered frames of U: 212 (|L| * orbits = 13228800)
frame-orbit representatives whose element normalises L: 1; |N_P(L)| = 62400; M = 65280; |N_P(L)| < M: True  [6.9 s]
TIGHT CASES PASS
