q = 5  k = 31  |Q| = 12000  (control run)
M = 800  threshold: subgroups of order > 799
t of order 2, |C(t)| = 8, |Q_t| = 800; subgroup classes of Q_t: 67; with |R|k > thr: 27
  done; nodes so far 103, groups of order > thr found so far 2, 0.6 s
t of order 5, |C(t)| = 5, |Q_t| = 500; subgroup classes of Q_t: 23; with |R|k > thr: 7
  done; nodes so far 126, groups of order > thr found so far 2, 0.8 s
t of order 3, |C(t)| = 6, |Q_t| = 600; subgroup classes of Q_t: 19; with |R|k > thr: 7
  done; nodes so far 152, groups of order > thr found so far 2, 0.9 s
RESULT q=5: classes of t: 3; pairs (t,R) searched: 41; search nodes: 152; groups S with S cap Q <= Q_t and |S| > 799 found: 2
groups found (|S|, |S cap Q|, |y^S|, |C(t)|): count
   (800, 32, 25, 8) : 1
   (800, 800, 1, 8) : 1
time 0.9 s
