n = 3: 2 types (with m >= 3 image points); by m: {3: 2}
  winding numbers present: [1, 2]  (expected 1..2)
  k=1: 1 types, Hasse-diagram components=1, sum(-1)^(m-3)=1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=2: 1 types, Hasse-diagram components=1, sum(-1)^(m-3)=1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  time 0.0s
n = 4: 10 types (with m >= 3 image points); by m: {3: 4, 4: 6}
  winding numbers present: [1, 2, 3]  (expected 1..3)
  k=1: 1 types, Hasse-diagram components=1, sum(-1)^(m-3)=-1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=2: 8 types, Hasse-diagram components=1, sum(-1)^(m-3)=0, core size=8, core chains by dim={0: 8, 1: 8}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1, 1] / [1, 1] / [1, 1]   [expected: S^1]
  k=3: 1 types, Hasse-diagram components=1, sum(-1)^(m-3)=-1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  time 0.0s
n = 5: 64 types (with m >= 3 image points); by m: {3: 10, 4: 30, 5: 24}
  winding numbers present: [1, 2, 3, 4]  (expected 1..4)
  k=1: 1 types, Hasse-diagram components=1, sum(-1)^(m-3)=1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=2: 31 types, Hasse-diagram components=1, sum(-1)^(m-3)=1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=3: 31 types, Hasse-diagram components=1, sum(-1)^(m-3)=1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=4: 1 types, Hasse-diagram components=1, sum(-1)^(m-3)=1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  time 0.0s
n = 6: 476 types (with m >= 3 image points); by m: {3: 20, 4: 120, 5: 216, 6: 120}
  winding numbers present: [1, 2, 3, 4, 5]  (expected 1..5)
  k=1: 1 types, Hasse-diagram components=1, sum(-1)^(m-3)=-1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=2: 87 types, Hasse-diagram components=1, sum(-1)^(m-3)=-1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=3: 300 types, Hasse-diagram components=1, sum(-1)^(m-3)=0, core size=168, core chains by dim={0: 168, 1: 1032, 2: 1728, 3: 864}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1, 0, 0, 1] / [1, 0, 0, 1] / [1, 0, 0, 1]   [expected: S^3]
  k=4: 87 types, Hasse-diagram components=1, sum(-1)^(m-3)=-1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=5: 1 types, Hasse-diagram components=1, sum(-1)^(m-3)=-1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  time 0.2s
n = 7: 4206 types (with m >= 3 image points); by m: {3: 42, 4: 420, 5: 1344, 6: 1680, 7: 720}
  winding numbers present: [1, 2, 3, 4, 5, 6]  (expected 1..6)
  k=1: 1 types, Hasse-diagram components=1, sum(-1)^(m-3)=1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=2: 225 types, Hasse-diagram components=1, sum(-1)^(m-3)=1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=3: 1877 types, Hasse-diagram components=1, sum(-1)^(m-3)=1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=4: 1877 types, Hasse-diagram components=1, sum(-1)^(m-3)=1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=5: 225 types, Hasse-diagram components=1, sum(-1)^(m-3)=1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=6: 1 types, Hasse-diagram components=1, sum(-1)^(m-3)=1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  time 0.1s
n = 8: 43086 types (with m >= 3 image points); by m: {3: 84, 4: 1386, 5: 7056, 6: 15120, 7: 14400, 8: 5040}
  winding numbers present: [1, 2, 3, 4, 5, 6, 7]  (expected 1..7)
  k=1: 1 types, Hasse-diagram components=1, sum(-1)^(m-3)=-1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=2: 561 types, Hasse-diagram components=1, sum(-1)^(m-3)=-1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=3: 9585 types, Hasse-diagram components=1, sum(-1)^(m-3)=-1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=4: 22792 types, Hasse-diagram components=1, sum(-1)^(m-3)=0, beat core size=5624 > 2000: order-complex homology skipped (too large; see bm_cellular.py)   [expected: S^5]
  k=5: 9585 types, Hasse-diagram components=1, sum(-1)^(m-3)=-1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=6: 561 types, Hasse-diagram components=1, sum(-1)^(m-3)=-1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  k=7: 1 types, Hasse-diagram components=1, sum(-1)^(m-3)=-1, core size=1, core chains by dim={0: 1}, Betti numbers of order complex of core (mod 2 / mod 3 / mod 1000003)=[1] / [1] / [1]   [expected: point]
  time 12.2s
