================================================================================
permrack4_1230 : nonzero Tor_n^A(k_0,k_0)_w for weights w <= 5  {(n, w): dim}
   {(1, 1): 4, (2, 2): 14, (3, 3): 49, (4, 4): 171, (5, 5): 597}
   diagonal part (n = w)       : [4, 14, 49, 171, 597]
   dim B_n = rank QS_n (n<=5)  : [4, 14, 47, 152, 489]
   dim K_n                     : [4, 14, 49, 171, 597]
   off-diagonal part (n != w)  : none (Koszul in this range)
================================================================================
permrack3_120 : nonzero Tor_n^A(k_0,k_0)_w for weights w <= 6  {(n, w): dim}
   {(1, 1): 3, (2, 2): 7, (3, 3): 16, (4, 4): 36, (5, 5): 81, (6, 6): 182}
   diagonal part (n = w)       : [3, 7, 16, 36, 81, 182]
   dim B_n = rank QS_n (n<=5)  : [3, 7, 16, 33, 64]
   dim K_n                     : [3, 7, 16, 36, 81]
   off-diagonal part (n != w)  : none (Koszul in this range)
================================================================================
dihedral quandle R3 : nonzero Tor_n^A(k_0,k_0)_w for weights w <= 7  {(n, w): dim}
   {(1, 1): 3, (2, 2): 4, (3, 3): 3, (4, 4): 1, (4, 6): 1, (5, 7): 3}
   diagonal part (n = w)       : [3, 4, 3, 1, 0, 0, 0]
   dim B_n = rank QS_n (n<=5)  : [3, 4, 3, 1, 0]
   dim K_n                     : [3, 4, 3, 1, 0]
   off-diagonal part (n != w)  : {(4, 6): 1, (5, 7): 3}
