n = 3  (0.0s to enumerate)
  k=1: cells by dim {2: 1}; H^BM (degree: (rank, torsion)) = {2: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=2: cells by dim {2: 1}; H^BM (degree: (rank, torsion)) = {2: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  time 0.0s
n = 4  (0.0s to enumerate)
  k=1: cells by dim {3: 1}; H^BM (degree: (rank, torsion)) = {3: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=2: cells by dim {2: 4, 3: 4}; H^BM (degree: (rank, torsion)) = {2: (1, []), 3: (1, [])}; => H^i by duality = {1: (1, []), 0: (1, [])}; expected {0: (1, []), 1: (1, [])}; OK
  k=3: cells by dim {3: 1}; H^BM (degree: (rank, torsion)) = {3: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  time 0.0s
n = 5  (0.0s to enumerate)
  k=1: cells by dim {4: 1}; H^BM (degree: (rank, torsion)) = {4: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=2: cells by dim {2: 5, 3: 15, 4: 11}; H^BM (degree: (rank, torsion)) = {4: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=3: cells by dim {2: 5, 3: 15, 4: 11}; H^BM (degree: (rank, torsion)) = {4: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=4: cells by dim {4: 1}; H^BM (degree: (rank, torsion)) = {4: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  time 0.0s
n = 6  (0.0s to enumerate)
  k=1: cells by dim {5: 1}; H^BM (degree: (rank, torsion)) = {5: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=2: cells by dim {2: 1, 3: 18, 4: 42, 5: 26}; H^BM (degree: (rank, torsion)) = {5: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=3: cells by dim {2: 18, 3: 84, 4: 132, 5: 66}; H^BM (degree: (rank, torsion)) = {2: (1, []), 5: (1, [])}; => H^i by duality = {3: (1, []), 0: (1, [])}; expected {0: (1, []), 3: (1, [])}; OK
  k=4: cells by dim {2: 1, 3: 18, 4: 42, 5: 26}; H^BM (degree: (rank, torsion)) = {5: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=5: cells by dim {5: 1}; H^BM (degree: (rank, torsion)) = {5: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  time 0.0s
n = 7  (0.0s to enumerate)
  k=1: cells by dim {6: 1}; H^BM (degree: (rank, torsion)) = {6: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=2: cells by dim {3: 7, 4: 56, 5: 105, 6: 57}; H^BM (degree: (rank, torsion)) = {6: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=3: cells by dim {2: 21, 3: 203, 4: 616, 5: 735, 6: 302}; H^BM (degree: (rank, torsion)) = {6: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=4: cells by dim {2: 21, 3: 203, 4: 616, 5: 735, 6: 302}; H^BM (degree: (rank, torsion)) = {6: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=5: cells by dim {3: 7, 4: 56, 5: 105, 6: 57}; H^BM (degree: (rank, torsion)) = {6: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=6: cells by dim {6: 1}; H^BM (degree: (rank, torsion)) = {6: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  time 0.0s
n = 8  (0.1s to enumerate)
  k=1: cells by dim {7: 1}; H^BM (degree: (rank, torsion)) = {7: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=2: cells by dim {3: 1, 4: 32, 5: 160, 6: 248, 7: 120}; H^BM (degree: (rank, torsion)) = {7: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=3: cells by dim {2: 8, 3: 242, 4: 1456, 5: 3360, 6: 3328, 7: 1191}; H^BM (degree: (rank, torsion)) = {7: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=4: cells by dim {2: 68, 3: 900, 4: 4080, 5: 8080, 6: 7248, 7: 2416}; H^BM (degree: (rank, torsion)) = {2: (1, []), 7: (1, [])}; => H^i by duality = {5: (1, []), 0: (1, [])}; expected {0: (1, []), 5: (1, [])}; OK
  k=5: cells by dim {2: 8, 3: 242, 4: 1456, 5: 3360, 6: 3328, 7: 1191}; H^BM (degree: (rank, torsion)) = {7: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=6: cells by dim {3: 1, 4: 32, 5: 160, 6: 248, 7: 120}; H^BM (degree: (rank, torsion)) = {7: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=7: cells by dim {7: 1}; H^BM (degree: (rank, torsion)) = {7: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  time 0.8s
n = 9  (0.9s to enumerate)
  k=1: cells by dim {8: 1}; H^BM (degree: (rank, torsion)) = {8: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=2: cells by dim {4: 9, 5: 120, 6: 432, 7: 567, 8: 247}; H^BM (degree: (rank, torsion)) = {8: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=3: cells by dim {2: 1, 3: 153, 4: 1980, 5: 8415, 6: 15714, 7: 13419, 8: 4293}; H^BM (degree: (rank, torsion)) = {8: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=4: cells by dim {2: 84, 3: 2052, 4: 14895, 5: 46905, 6: 72414, 7: 54054, 8: 15619}; H^BM (degree: (rank, torsion)) = {8: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=5: cells by dim {2: 84, 3: 2052, 4: 14895, 5: 46905, 6: 72414, 7: 54054, 8: 15619}; H^BM (degree: (rank, torsion)) = {8: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=6: cells by dim {2: 1, 3: 153, 4: 1980, 5: 8415, 6: 15714, 7: 13419, 8: 4293}; H^BM (degree: (rank, torsion)) = {8: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=7: cells by dim {4: 9, 5: 120, 6: 432, 7: 567, 8: 247}; H^BM (degree: (rank, torsion)) = {8: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  k=8: cells by dim {8: 1}; H^BM (degree: (rank, torsion)) = {8: (1, [])}; => H^i by duality = {0: (1, [])}; expected {0: (1, [])}; OK
  time 49.1s
