q = 9: n = 91 points, |P_y| = |P_l| = 466560, |phi(Q)| = 720, |T| = 360, M = 10368  [125s]
point stabiliser P_y: Levi GL(2,9) of order 5760: 118 classes of subgroups (4534 subgroups); classes H with |H| |E| > M = 10368: 19  [170s]
   |H| =  5760  |S| = |E||H| = 466560  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 466560, 720, False), (90, 5184, 72, False)]
   |H| =  2880  |S| = |E||H| = 233280  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 233280, 360, False), (90, 2592, 72, False)]
   |H| =  1440  |S| = |E||H| = 116640  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 116640, 360, False), (90, 1296, 72, False)]
   |H| =   720  |S| = |E||H| =  58320  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 58320, 360, False), (90, 648, 72, False)]
   |H| =   576  |S| = |E||H| =  46656  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 46656, 72, False), (9, 5184, 72, False), (81, 576, 72, False)]
   |H| =   480  |S| = |E||H| =  38880  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 38880, 60, False), (90, 432, 72, False)]
   |H| =   288  |S| = |E||H| =  23328  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 23328, 36, False), (9, 2592, 72, False), (81, 288, 72, False)]
   |H| =   288  |S| = |E||H| =  23328  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 23328, 72, False), (9, 2592, 72, False), (81, 288, 36, False)]
   |H| =   288  |S| = |E||H| =  23328  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 23328, 72, False), (9, 2592, 36, False), (81, 288, 72, False)]
   |H| =   240  |S| = |E||H| =  19440  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 19440, 60, False), (90, 216, 36, False)]
   |H| =   192  |S| = |E||H| =  15552  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 15552, 24, False), (36, 432, 72, False), (54, 288, 72, False)]
   |H| =   160  |S| = |E||H| =  12960  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 12960, 20, False), (90, 144, 72, False)]
   |H| =   144  |S| = |E||H| =  11664  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 11664, 72, False), (9, 1296, 36, False), (81, 144, 72, False)]
   |H| =   144  |S| = |E||H| =  11664  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 11664, 72, False), (9, 1296, 18, False), (81, 144, 72, False)]
   |H| =   144  |S| = |E||H| =  11664  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 11664, 36, False), (9, 1296, 72, False), (81, 144, 72, False)]
   |H| =   144  |S| = |E||H| =  11664  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 11664, 72, False), (9, 1296, 72, False), (81, 144, 18, False)]
   |H| =   144  |S| = |E||H| =  11664  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 11664, 72, False), (9, 1296, 72, False), (81, 144, 36, False)]
   |H| =   144  |S| = |E||H| =  11664  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 11664, 36, False), (9, 1296, 36, False), (81, 144, 36, False)]
   |H| =   144  |S| = |E||H| =  11664  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 11664, 18, False), (9, 1296, 72, False), (81, 144, 72, False)]
line stabiliser P_l: Levi GL(2,9) of order 5760: 118 classes of subgroups (4534 subgroups); classes H with |H| |E| > M = 10368: 19  [409s]
   |H| =  5760  |S| = |E||H| = 466560  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(10, 46656, 72, False), (81, 5760, 720, False)]
   |H| =  2880  |S| = |E||H| = 233280  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(10, 23328, 72, False), (81, 2880, 360, False)]
   |H| =  1440  |S| = |E||H| = 116640  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(10, 11664, 72, False), (81, 1440, 360, False)]
   |H| =   720  |S| = |E||H| =  58320  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(10, 5832, 72, False), (81, 720, 360, False)]
   |H| =   576  |S| = |E||H| =  46656  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 46656, 72, False), (9, 5184, 72, False), (81, 576, 72, False)]
   |H| =   480  |S| = |E||H| =  38880  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(10, 3888, 72, False), (81, 480, 60, False)]
   |H| =   288  |S| = |E||H| =  23328  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 23328, 36, False), (9, 2592, 72, False), (81, 288, 72, False)]
   |H| =   288  |S| = |E||H| =  23328  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 23328, 72, False), (9, 2592, 36, False), (81, 288, 72, False)]
   |H| =   288  |S| = |E||H| =  23328  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 23328, 72, False), (9, 2592, 72, False), (81, 288, 36, False)]
   |H| =   240  |S| = |E||H| =  19440  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(10, 1944, 36, False), (81, 240, 60, False)]
   |H| =   192  |S| = |E||H| =  15552  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(4, 3888, 72, False), (6, 2592, 72, False), (81, 192, 24, False)]
   |H| =   160  |S| = |E||H| =  12960  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(10, 1296, 72, False), (81, 160, 20, False)]
   |H| =   144  |S| = |E||H| =  11664  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 11664, 72, False), (9, 1296, 18, False), (81, 144, 72, False)]
   |H| =   144  |S| = |E||H| =  11664  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 11664, 72, False), (9, 1296, 36, False), (81, 144, 72, False)]
   |H| =   144  |S| = |E||H| =  11664  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 11664, 72, False), (9, 1296, 72, False), (81, 144, 36, False)]
   |H| =   144  |S| = |E||H| =  11664  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 11664, 18, False), (9, 1296, 72, False), (81, 144, 72, False)]
   |H| =   144  |S| = |E||H| =  11664  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 11664, 36, False), (9, 1296, 72, False), (81, 144, 72, False)]
   |H| =   144  |S| = |E||H| =  11664  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 11664, 36, False), (9, 1296, 36, False), (81, 144, 36, False)]
   |H| =   144  |S| = |E||H| =  11664  invariant N with |N||H| > M: [81] (only E)  good = False  orbits (length, |S_d|, |image|, fixes t != 1): [(1, 11664, 72, False), (9, 1296, 72, False), (81, 144, 18, False)]
RESULT q = 9: largest order of a good subgroup among the subgroups of order > M of the two parabolic subgroups: none; M = 10368.  With (F1) and (F2): M_G = M, EQUALITY MinSubDeg(G) = k MinSubDeg(H)  [600s]
