PGL(2,23)            |G|=12144  h*=2 (layers [6072, 12144])  s=3  s_p: {2: 2, 3: 3, 11: 3, 23: 3}  O_p(G): all 1  soluble classes=32  -> OK (s_p >= h* for all p with O_p = 1)  [1s]
     orders of soluble K attaining the maxima: {'h': 24, 3: 24, 11: 24, 23: 24, 2: 6}; s_p for p not dividing |G| (p=5) equals s=3
PGL(2,25)            |G|=15600  h*=2 (layers [7800, 15600])  s=3  s_p: {2: 2, 3: 3, 5: 3, 13: 3}  O_p(G): all 1  soluble classes=39  -> OK (s_p >= h* for all p with O_p = 1)  [1s]
     orders of soluble K attaining the maxima: {'h': 24, 3: 24, 5: 24, 13: 24, 2: 6}; s_p for p not dividing |G| (p=7) equals s=3
M10-type(2,25)       |G|=15600  h*=2 (layers [7800, 15600])  s=3  s_p: {2: 3, 3: 3, 5: 3, 13: 3}  O_p(G): all 1  soluble classes=35  -> OK (s_p >= h* for all p with O_p = 1)  [1s]
     orders of soluble K attaining the maxima: {'h': 24, 3: 24, 5: 24, 13: 24, 2: 600}; s_p for p not dividing |G| (p=7) equals s=3
PGammaL(2,25)        |G|=31200  h*=2 (layers [7800, 31200])  s=3  s_p: {2: 3, 3: 3, 5: 3, 13: 3}  O_p(G): all 1  soluble classes=105  -> OK (s_p >= h* for all p with O_p = 1)  [5s]
     orders of soluble K attaining the maxima: {'h': 24, 2: 150, 3: 24, 13: 24, 5: 24}; s_p for p not dividing |G| (p=7) equals s=3
PGL(2,31)            |G|=29760  h*=2 (layers [14880, 29760])  s=3  s_p: {2: 2, 3: 3, 5: 3, 31: 3}  O_p(G): all 1  soluble classes=41  -> OK (s_p >= h* for all p with O_p = 1)  [2s]
     orders of soluble K attaining the maxima: {'h': 24, 2: 6, 3: 24, 31: 24, 5: 24}; s_p for p not dividing |G| (p=7) equals s=3
PSL(2,32)            |G|=32736  h*=1 (layers [32736])  s=2  s_p: {2: 2, 3: 2, 11: 2, 31: 2}  O_p(G): all 1  soluble classes=23  -> OK (s_p >= h* for all p with O_p = 1)  [1s]
     orders of soluble K attaining the maxima: {'h': 6, 2: 6, 3: 22, 11: 6, 31: 6}; s_p for p not dividing |G| (p=5) equals s=2
PGammaL(2,32)        |G|=163680 h*=2 (layers [32736, 163680])  s=3  s_p: {2: 2, 3: 3, 5: 3, 11: 3, 31: 3}  O_p(G): all 1  soluble classes=28  -> OK (s_p >= h* for all p with O_p = 1)  [11s]
     orders of soluble K attaining the maxima: {'h': 4960, 2: 6, 3: 4960, 5: 4960, 31: 4960, 11: 4960}; s_p for p not dividing |G| (p=7) equals s=3
ASigmaL(2,8)         |G|=96768  h*=3 (layers [64, 32256, 96768])  s=3  s_p: {2: 2, 3: 3, 7: 3}  O_p(G): {2: 64}  soluble classes=381  -> OK (s_p >= h* for all p with O_p = 1)  [55s]
     orders of soluble K attaining the maxima: {'h': 24, 3: 24, 7: 24, 2: 6}; s_p for p not dividing |G| (p=5) equals s=3
ALL OK
