m=2: dim A_n=[1, 2, 1, 1, 1] (monoid classes [1, 2, 1, 1, 1]), dim B_n=[1, 2, 3, 5, 8] (restriction of scalars [1, 2, 3, 5, 8]), dim K_n=[1, 2, 3, 5, 8]; H_A H_B(-t)=[1, 0, 0, 0, 0] first term None; H_A H_K(-t)=[1, 0, 0, 0, 0]
m=3: dim A_n=[1, 3, 2, 1, 1] (monoid classes [1, 3, 2, 1, 1]), dim B_n=[1, 3, 7, 16, 33] (restriction of scalars [1, 3, 7, 16, 33]), dim K_n=[1, 3, 7, 16, 36]; H_A H_B(-t)=[1, 0, 0, 0, -3] first term (4, -3); H_A H_K(-t)=[1, 0, 0, 0, 0]
m=4: dim A_n=[1, 4, 2, 1, 1] (monoid classes [1, 4, 2, 1, 1]), dim B_n=[1, 4, 14, 47, 152] (restriction of scalars [1, 4, 14, 47, 152]), dim K_n=[1, 4, 14, 49, 171]; H_A H_B(-t)=[1, 0, 0, 2, -11] first term (3, 2); H_A H_K(-t)=[1, 0, 0, 0, 0]
m=5: dim A_n=[1, 5, 3, 1, 1] (monoid classes [1, 5, 3, 1, 1]), dim B_n=[1, 5, 22, 96, 407] (restriction of scalars [1, 5, 22, 96, 407]), dim K_n=[1, 5, 22, 96, 418]; H_A H_B(-t)=[1, 0, 0, 0, -11] first term (4, -11); H_A H_K(-t)=[1, 0, 0, 0, 0]
m=6: dim A_n=[1, 6, 3, 1, 1] (monoid classes [1, 6, 3, 1, 1]), dim B_n=[1, 6, 33, 173, 883] (restriction of scalars [1, 6, 33, 173, 883]), dim K_n=[1, 6, 33, 181, 992]; H_A H_B(-t)=[1, 0, 0, 8, -61] first term (3, 8); H_A H_K(-t)=[1, 0, 0, 0, 0]
m=7: dim A_n=[1, 7, 4, 1, 1] (monoid classes [1, 7, 4, 1, 1]), dim B_n=[1, 7, 45, 286, 1788] (restriction of scalars [1, 7, 45, 286, 1788]), dim K_n=[1, 7, 45, 288, 1842]; H_A H_B(-t)=[1, 0, 0, 2, -40] first term (3, 2); H_A H_K(-t)=[1, 0, 0, 0, 0]
m=8: dim A_n=[1, 8, 4, 1, 1] (monoid classes [1, 8, 4, 1, 1]), dim B_n=[1, 8, 60, 435, 3109] (restriction of scalars [1, 8, 60, 435, 3109]), dim K_n=[1, 8, 60, 449, 3359]; H_A H_B(-t)=[1, 0, 0, 14, -138] first term (3, 14); H_A H_K(-t)=[1, 0, 0, 0, 0]
Z/5, weight 4: total homology per degree {-1: 0, 0: 0, 1: 0, 2: 0, 3: 11, 4: 0}; non-zero multidegrees (multiset, degree, dim, #distinct letters): [((0, 0, 1, 4), 3, 1, 3), ((0, 0, 2, 3), 3, 1, 3), ((0, 1, 1, 3), 3, 1, 3), ((0, 1, 2, 2), 3, 1, 3), ((0, 2, 4, 4), 3, 1, 3), ((0, 3, 3, 4), 3, 1, 3), ((1, 1, 1, 2), 3, 1, 2), ((1, 2, 3, 4), 3, 1, 4), ((1, 3, 3, 3), 3, 1, 2), ((2, 2, 2, 4), 3, 1, 2), ((3, 4, 4, 4), 3, 1, 2)]
Z/7, weight 3: total homology per degree {-1: 0, 0: 0, 1: 0, 2: 2, 3: 0}; non-zero multidegrees (multiset, degree, dim, #distinct letters): [((1, 2, 4), 2, 1, 3), ((3, 5, 6), 2, 1, 3)]
Z/5, weight 3: total homology per degree {-1: 0, 0: 0, 1: 0, 2: 0, 3: 0}; non-zero multidegrees (multiset, degree, dim, #distinct letters): []
Z/7, weight 2: total homology per degree {-1: 0, 0: 0, 1: 0, 2: 0}; non-zero multidegrees (multiset, degree, dim, #distinct letters): []
time 52.6s
