A_6, Q = A_5 (point stabiliser), T = A_5: |P| = 360, |Q| = 60, k = 6, |T| = 60, classes of subgroups 22; M = 5, M_G = 24 (a good class: order 24, 15 conjugates); k*MinSubDeg(H) = |P|/M = 72, MinSubDeg(G) = |P|/M_G = 15; strict  (0.1s)
S_6, Q = S_5 (point stabiliser), T = A_5: |P| = 720, |Q| = 120, k = 6, |T| = 60, classes of subgroups 56; M = 8, M_G = 48 (a good class: order 48, 15 conjugates); k*MinSubDeg(H) = |P|/M = 90, MinSubDeg(G) = |P|/M_G = 15; strict  (0.5s)
A_7, Q = A_6 (point stabiliser), T = A_6: |P| = 2520, |Q| = 360, k = 7, |T| = 360, classes of subgroups 40; M = 9, M_G = 36 (a good class: order 36, 35 conjugates); k*MinSubDeg(H) = |P|/M = 280, MinSubDeg(G) = |P|/M_G = 70; strict  (1.6s)
PSL(2,11), Q = A_5 (first class of subgroups of order 60; 11 cosets), T = A_5: |P| = 660, |Q| = 60, k = 11, |T| = 60, classes of subgroups 16; M = 5, M_G = 55 (a good class: order 55, 12 conjugates); k*MinSubDeg(H) = |P|/M = 132, MinSubDeg(G) = |P|/M_G = 12; strict  (0.1s)
PSL(2,11), Q = A_5 (second class), T = A_5: |P| = 660, |Q| = 60, k = 11, |T| = 60, classes of subgroups 16; M = 5, M_G = 55 (a good class: order 55, 12 conjugates); k*MinSubDeg(H) = |P|/M = 132, MinSubDeg(G) = |P|/M_G = 12; strict  (0.1s)
M_11, Q = M_10 (point stabiliser), T = A_6: |P| = 7920, |Q| = 720, k = 11, |T| = 360, classes of subgroups 39; M = 16, M_G = 144 (a good class: order 144, 55 conjugates); k*MinSubDeg(H) = |P|/M = 495, MinSubDeg(G) = |P|/M_G = 55; strict  (4.3s)
