PSL(2,7)             |G|=168    h*=1 (layers [168])  s=3  s_p: {2: 2, 3: 3, 7: 3}  O_p(G): all 1  soluble classes=14  -> OK (s_p >= h* for all p with O_p = 1)  [0s]
     orders of soluble K attaining the maxima: {'h': 24, 2: 6, 7: 24, 3: 24}; s_p for p not dividing |G| (p=5) equals s=3
PGL(2,7)             |G|=336    h*=2 (layers [168, 336])  s=3  s_p: {2: 2, 3: 3, 7: 3}  O_p(G): all 1  soluble classes=21  -> OK (s_p >= h* for all p with O_p = 1)  [0s]
     orders of soluble K attaining the maxima: {'h': 24, 2: 6, 7: 24, 3: 24}; s_p for p not dividing |G| (p=5) equals s=3
PSL(2,8)             |G|=504    h*=1 (layers [504])  s=2  s_p: {2: 2, 3: 2, 7: 2}  O_p(G): all 1  soluble classes=11  -> OK (s_p >= h* for all p with O_p = 1)  [0s]
     orders of soluble K attaining the maxima: {'h': 6, 2: 6, 3: 14, 7: 6}; s_p for p not dividing |G| (p=5) equals s=2
PGammaL(2,8)         |G|=1512   h*=2 (layers [504, 1512])  s=3  s_p: {2: 2, 3: 3, 7: 3}  O_p(G): all 1  soluble classes=23  -> OK (s_p >= h* for all p with O_p = 1)  [0s]
     orders of soluble K attaining the maxima: {'h': 168, 3: 168, 7: 168, 2: 6}; s_p for p not dividing |G| (p=5) equals s=3
A6                   |G|=360    h*=1 (layers [360])  s=3  s_p: {2: 2, 3: 3, 5: 3}  O_p(G): all 1  soluble classes=19  -> OK (s_p >= h* for all p with O_p = 1)  [0s]
     orders of soluble K attaining the maxima: {'h': 24, 2: 6, 3: 24, 5: 24}; s_p for p not dividing |G| (p=7) equals s=3
S6=PSigmaL(2,9)      |G|=720    h*=2 (layers [360, 720])  s=3  s_p: {2: 2, 3: 3, 5: 3}  O_p(G): all 1  soluble classes=50  -> OK (s_p >= h* for all p with O_p = 1)  [0s]
     orders of soluble K attaining the maxima: {'h': 24, 2: 6, 3: 24, 5: 24}; s_p for p not dividing |G| (p=7) equals s=3
PGL(2,9)             |G|=720    h*=2 (layers [360, 720])  s=3  s_p: {2: 2, 3: 3, 5: 3}  O_p(G): all 1  soluble classes=23  -> OK (s_p >= h* for all p with O_p = 1)  [0s]
     orders of soluble K attaining the maxima: {'h': 24, 2: 6, 3: 24, 5: 24}; s_p for p not dividing |G| (p=7) equals s=3
M10                  |G|=720    h*=2 (layers [360, 720])  s=3  s_p: {2: 2, 3: 3, 5: 3}  O_p(G): all 1  soluble classes=22  -> OK (s_p >= h* for all p with O_p = 1)  [0s]
     orders of soluble K attaining the maxima: {'h': 24, 2: 6, 3: 24, 5: 24}; s_p for p not dividing |G| (p=7) equals s=3
PGammaL(2,9)         |G|=1440   h*=2 (layers [360, 1440])  s=3  s_p: {2: 2, 3: 3, 5: 3}  O_p(G): all 1  soluble classes=58  -> OK (s_p >= h* for all p with O_p = 1)  [0s]
     orders of soluble K attaining the maxima: {'h': 24, 2: 6, 3: 24, 5: 24}; s_p for p not dividing |G| (p=7) equals s=3
PSL(2,11)            |G|=660    h*=1 (layers [660])  s=2  s_p: {2: 2, 3: 2, 5: 2, 11: 2}  O_p(G): all 1  soluble classes=13  -> OK (s_p >= h* for all p with O_p = 1)  [0s]
     orders of soluble K attaining the maxima: {'h': 6, 2: 6, 3: 12, 5: 6, 11: 6}; s_p for p not dividing |G| (p=7) equals s=2
PGL(2,11)            |G|=1320   h*=2 (layers [660, 1320])  s=3  s_p: {2: 2, 3: 3, 5: 3, 11: 3}  O_p(G): all 1  soluble classes=26  -> OK (s_p >= h* for all p with O_p = 1)  [0s]
     orders of soluble K attaining the maxima: {'h': 24, 2: 6, 5: 24, 11: 24, 3: 24}; s_p for p not dividing |G| (p=7) equals s=3
ALL OK
nice -n 10 python3 -u -I  "PSL(2,7)"   0.63s user 0.01s system 99% cpu 0.644 total
