PSL(2,4) |G|=60 classes=5 mu=3 witness_tail_direct=3 period=3 ally_check=3 mu_conv2=3 time=0.0s
   per class (order, size, max tail): (1,1,1) (2,15,2) (3,20,3) (5,12,2) (5,12,2)
   witness x=(1, 2, 0, 1) y=(0, 1, 1, 1)
PSL(2,5) |G|=60 classes=5 mu=3 witness_tail_direct=3 period=3 ally_check=3 mu_conv2=3 time=0.0s
   per class (order, size, max tail): (1,1,1) (2,15,2) (3,20,3) (5,12,2) (5,12,2)
   witness x=(1, 1, 0, 1) y=(2, 3, 4, 4)
PSL(2,7) |G|=168 classes=6 mu=4 witness_tail_direct=4 period=6 ally_check=4 mu_conv2=4 time=0.0s
   per class (order, size, max tail): (1,1,1) (2,21,3) (3,56,4) (4,42,2) (7,24,2) (7,24,2)
   witness x=(1, 2, 0, 1) y=(2, 5, 5, 6)
PSL(2,8) |G|=504 classes=9 mu=3 witness_tail_direct=3 period=7 ally_check=3 mu_conv2=3 time=0.2s
   per class (order, size, max tail): (1,1,1) (2,63,2) (3,56,2) (7,72,3) (7,72,3) (7,72,3) (9,56,2) (9,56,2) (9,56,2)
   witness x=(1, 2, 0, 1) y=(3, 1, 2, 1)
PSL(2,9) |G|=360 classes=7 mu=4 witness_tail_direct=4 period=8 ally_check=4 mu_conv2=4 time=0.1s
   per class (order, size, max tail): (1,1,1) (2,45,3) (3,40,3) (3,40,3) (4,90,4) (5,72,3) (5,72,3)
   witness x=(1, 1, 0, 1) y=(5, 1, 4, 1)
PSL(2,11) |G|=660 classes=8 mu=6 witness_tail_direct=6 period=10 ally_check=6 mu_conv2=6 time=0.4s
   per class (order, size, max tail): (1,1,1) (2,55,2) (3,110,6) (5,132,5) (5,132,6) (6,110,3) (11,60,2) (11,60,2)
   witness x=(1, 0, 2, 1) y=(3, 2, 1, 1)
PSL(2,13) |G|=1092 classes=9 mu=7 witness_tail_direct=7 period=12 ally_check=7 mu_conv2=7 time=1.1s
   per class (order, size, max tail): (1,1,1) (2,91,2) (3,182,7) (6,182,6) (7,156,3) (7,156,3) (7,156,4) (13,84,2) (13,84,2)
   witness x=(1, 1, 0, 1) y=(2, 5, 9, 10)
