=== Z/4 permutation rack, p = 1000000009, zeta = 569522298, diagonalisation verified: True
  dim A_n (n=1..5): [4, 2, 1, 1, 1]
  dim B_n         : [4, 14, 47, 152, 489]
  dim K_n         : [4, 14, 49, 171, 597]
  multidegrees mu = (#u_0,...,#u_3) with B_n[mu] != K_n[mu]  as (n, mu, dim B_n[mu], dim K_n[mu]):
      (3, (1, 0, 0, 2), 2, 3)
      (3, (1, 2, 0, 0), 2, 3)
      (4, (0, 0, 0, 4), 0, 1)
      (4, (0, 4, 0, 0), 0, 1)
      (4, (1, 0, 0, 3), 2, 4)
      (4, (1, 0, 1, 2), 10, 12)
      (4, (1, 1, 0, 2), 4, 6)
      (4, (1, 2, 0, 1), 4, 6)
      (4, (1, 2, 1, 0), 10, 12)
      (4, (1, 3, 0, 0), 2, 4)
      (4, (2, 0, 0, 2), 1, 3)
      (4, (2, 1, 0, 1), 4, 5)
      (4, (2, 2, 0, 0), 1, 3)
      (5, (0, 0, 0, 5), 0, 1)
      (5, (0, 0, 1, 4), 3, 5)
      (5, (0, 0, 3, 2), 9, 10)
      (5, (0, 1, 0, 4), 0, 1)
      (5, (0, 2, 3, 0), 9, 10)
      (5, (0, 4, 0, 1), 0, 1)
      (5, (0, 4, 1, 0), 3, 5)
      (5, (0, 5, 0, 0), 0, 1)
      (5, (1, 0, 0, 4), 1, 5)
      (5, (1, 0, 1, 3), 14, 20)
      (5, (1, 0, 2, 2), 26, 30)
      (5, (1, 0, 3, 1), 19, 20)
      (5, (1, 1, 0, 3), 4, 8)
      (5, (1, 1, 1, 2), 30, 36)
      (5, (1, 1, 2, 1), 46, 48)
      (5, (1, 1, 3, 0), 19, 20)
      (5, (1, 2, 0, 2), 4, 9)
      (5, (1, 2, 1, 1), 30, 36)
      (5, (1, 2, 2, 0), 26, 30)
      (5, (1, 3, 0, 1), 4, 8)
      (5, (1, 3, 1, 0), 14, 20)
      (5, (1, 4, 0, 0), 1, 5)
      (5, (2, 0, 0, 3), 1, 6)
      (5, (2, 0, 1, 2), 12, 18)
      (5, (2, 1, 0, 2), 5, 12)
      (5, (2, 1, 1, 1), 28, 30)
      (5, (2, 2, 0, 1), 5, 12)
      (5, (2, 2, 1, 0), 12, 18)
      (5, (2, 3, 0, 0), 1, 6)
      (5, (3, 0, 0, 2), 0, 1)
      (5, (3, 1, 0, 1), 1, 2)
      (5, (3, 2, 0, 0), 0, 1)
=== Z/3 permutation rack, p = 1000000009, zeta = 115381398, diagonalisation verified: True
  dim A_n (n=1..6): [3, 2, 1, 1, 1, 1]
  dim B_n         : [3, 7, 16, 33, 64, 113]
  dim K_n         : [3, 7, 16, 36, 81, 182]
  multidegrees mu = (#u_0,...,#u_2) with B_n[mu] != K_n[mu]  as (n, mu, dim B_n[mu], dim K_n[mu]):
      (4, (1, 0, 3), 3, 4)
      (4, (1, 3, 0), 3, 4)
      (4, (2, 1, 1), 4, 5)
      (5, (1, 0, 4), 3, 5)
      (5, (1, 1, 3), 6, 8)
      (5, (1, 3, 1), 6, 8)
      (5, (1, 4, 0), 3, 5)
      (5, (2, 0, 3), 4, 6)
      (5, (2, 1, 2), 10, 12)
      (5, (2, 2, 1), 10, 12)
      (5, (2, 3, 0), 4, 6)
      (5, (3, 1, 1), 1, 2)
      (6, (0, 0, 6), 0, 1)
      (6, (0, 6, 0), 0, 1)
      (6, (1, 0, 5), 3, 6)
      (6, (1, 1, 4), 6, 10)
      (6, (1, 2, 3), 9, 12)
      (6, (1, 3, 2), 9, 12)
      (6, (1, 4, 1), 6, 10)
      (6, (1, 5, 0), 3, 6)
      (6, (2, 0, 4), 4, 10)
      (6, (2, 1, 3), 13, 22)
      (6, (2, 2, 2), 22, 27)
      (6, (2, 3, 1), 13, 22)
      (6, (2, 4, 0), 4, 10)
      (6, (3, 0, 3), 2, 4)
      (6, (3, 1, 2), 6, 10)
      (6, (3, 2, 1), 6, 10)
      (6, (3, 3, 0), 2, 4)
=== Z/4 permutation rack, p = 2013265921, zeta = 1728404513, diagonalisation verified: True
  dim A_n (n=1..5): [4, 2, 1, 1, 1]
  dim B_n         : [4, 14, 47, 152, 489]
  dim K_n         : [4, 14, 49, 171, 597]
  multidegrees mu = (#u_0,...,#u_3) with B_n[mu] != K_n[mu]  as (n, mu, dim B_n[mu], dim K_n[mu]):
      (3, (1, 0, 0, 2), 2, 3)
      (3, (1, 2, 0, 0), 2, 3)
      (4, (0, 0, 0, 4), 0, 1)
      (4, (0, 4, 0, 0), 0, 1)
      (4, (1, 0, 0, 3), 2, 4)
      (4, (1, 0, 1, 2), 10, 12)
      (4, (1, 1, 0, 2), 4, 6)
      (4, (1, 2, 0, 1), 4, 6)
      (4, (1, 2, 1, 0), 10, 12)
      (4, (1, 3, 0, 0), 2, 4)
      (4, (2, 0, 0, 2), 1, 3)
      (4, (2, 1, 0, 1), 4, 5)
      (4, (2, 2, 0, 0), 1, 3)
      (5, (0, 0, 0, 5), 0, 1)
      (5, (0, 0, 1, 4), 3, 5)
      (5, (0, 0, 3, 2), 9, 10)
      (5, (0, 1, 0, 4), 0, 1)
      (5, (0, 2, 3, 0), 9, 10)
      (5, (0, 4, 0, 1), 0, 1)
      (5, (0, 4, 1, 0), 3, 5)
      (5, (0, 5, 0, 0), 0, 1)
      (5, (1, 0, 0, 4), 1, 5)
      (5, (1, 0, 1, 3), 14, 20)
      (5, (1, 0, 2, 2), 26, 30)
      (5, (1, 0, 3, 1), 19, 20)
      (5, (1, 1, 0, 3), 4, 8)
      (5, (1, 1, 1, 2), 30, 36)
      (5, (1, 1, 2, 1), 46, 48)
      (5, (1, 1, 3, 0), 19, 20)
      (5, (1, 2, 0, 2), 4, 9)
      (5, (1, 2, 1, 1), 30, 36)
      (5, (1, 2, 2, 0), 26, 30)
      (5, (1, 3, 0, 1), 4, 8)
      (5, (1, 3, 1, 0), 14, 20)
      (5, (1, 4, 0, 0), 1, 5)
      (5, (2, 0, 0, 3), 1, 6)
      (5, (2, 0, 1, 2), 12, 18)
      (5, (2, 1, 0, 2), 5, 12)
      (5, (2, 1, 1, 1), 28, 30)
      (5, (2, 2, 0, 1), 5, 12)
      (5, (2, 2, 1, 0), 12, 18)
      (5, (2, 3, 0, 0), 1, 6)
      (5, (3, 0, 0, 2), 0, 1)
      (5, (3, 1, 0, 1), 1, 2)
      (5, (3, 2, 0, 0), 0, 1)
=== Z/3 permutation rack, p = 2013265921, zeta = 1314723123, diagonalisation verified: True
  dim A_n (n=1..6): [3, 2, 1, 1, 1, 1]
  dim B_n         : [3, 7, 16, 33, 64, 113]
  dim K_n         : [3, 7, 16, 36, 81, 182]
  multidegrees mu = (#u_0,...,#u_2) with B_n[mu] != K_n[mu]  as (n, mu, dim B_n[mu], dim K_n[mu]):
      (4, (1, 0, 3), 3, 4)
      (4, (1, 3, 0), 3, 4)
      (4, (2, 1, 1), 4, 5)
      (5, (1, 0, 4), 3, 5)
      (5, (1, 1, 3), 6, 8)
      (5, (1, 3, 1), 6, 8)
      (5, (1, 4, 0), 3, 5)
      (5, (2, 0, 3), 4, 6)
      (5, (2, 1, 2), 10, 12)
      (5, (2, 2, 1), 10, 12)
      (5, (2, 3, 0), 4, 6)
      (5, (3, 1, 1), 1, 2)
      (6, (0, 0, 6), 0, 1)
      (6, (0, 6, 0), 0, 1)
      (6, (1, 0, 5), 3, 6)
      (6, (1, 1, 4), 6, 10)
      (6, (1, 2, 3), 9, 12)
      (6, (1, 3, 2), 9, 12)
      (6, (1, 4, 1), 6, 10)
      (6, (1, 5, 0), 3, 6)
      (6, (2, 0, 4), 4, 10)
      (6, (2, 1, 3), 13, 22)
      (6, (2, 2, 2), 22, 27)
      (6, (2, 3, 1), 13, 22)
      (6, (2, 4, 0), 4, 10)
      (6, (3, 0, 3), 2, 4)
      (6, (3, 1, 2), 6, 10)
      (6, (3, 2, 1), 6, 10)
      (6, (3, 3, 0), 2, 4)
