R3: bijective True YBE True
quandle: x<x = x: True
dim A_n n=0..12: [1, 3, 5, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6]
dim B_n n=0..8: [1, 3, 4, 3, 1, 0, 0, 0, 0]
H_A(t) H_B(-t) up to t^12: [1, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0]
weight 1: chain dims {0: 6, 1: 3}  nonzero homology {}
weight 2: chain dims {0: 19, 1: 18, 2: 4}  nonzero homology {}
weight 3: chain dims {0: 42, 1: 57, 2: 24, 3: 3}  nonzero homology {}
weight 4: chain dims {0: 73, 1: 126, 2: 76, 3: 18, 4: 1}  nonzero homology {}
weight 5: chain dims {0: 108, 1: 219, 2: 168, 3: 57, 4: 6, 5: 0}  nonzero homology {}
weight 6: chain dims {0: 144, 1: 324, 2: 292, 3: 126, 4: 19, 5: 0, 6: 0}  nonzero homology {3: 1}
weight 7: chain dims {0: 180, 1: 432, 2: 432, 3: 219, 4: 42, 5: 0, 6: 0, 7: 0}  nonzero homology {3: 3}
