A_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=(2, 3, 4, 0, 1) y=(1, 2, 0, 3, 4)
A_6 |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=(0, 3, 4, 5, 1, 2) y=(2, 3, 0, 4, 5, 1)
A_7 |G|=2520 classes=9 mu=15 witness_tail_direct=15 period=16 ally_check=15 mu_conv2=15 time=7.1s
   per class (order, size, max tail): (1,1,1) (2,105,3) (3,70,3) (3,280,4) (4,630,15) (5,504,9) (6,210,2) (7,360,8) (7,360,8)
   witness x=(3, 4, 0, 5, 6, 1, 2) y=(5, 4, 2, 6, 0, 1, 3)
