n=2: non-join 1 | Thm D as stated 1 | + twins (E1) 1 | + join atoms (E2) 1 | + both 1
n=3: non-join 2 | Thm D as stated 2 | + twins (E1) 2 | + join atoms (E2) 2 | + both 2
n=4: non-join 6 | Thm D as stated 6 | + twins (E1) 6 | + join atoms (E2) 6 | + both 6
n=5: non-join 21 | Thm D as stated 21 | + twins (E1) 21 | + join atoms (E2) 21 | + both 21
n=6: non-join 112 | Thm D as stated 105 | + twins (E1) 108 | + join atoms (E2) 107 | + both 108
   still uncovered with E1+E2: Gamma edges [(0, 3), (0, 4), (1, 4), (1, 5), (2, 5), (3, 5)] | chi = 1
   still uncovered with E1+E2: Gamma edges [(0, 3), (0, 4), (1, 3), (1, 5), (2, 4), (2, 5)] | chi = 1
   still uncovered with E1+E2: Gamma edges [(0, 3), (0, 4), (1, 3), (1, 5), (2, 4), (2, 5), (3, 5)] | chi = 1
   still uncovered with E1+E2: Gamma edges [(0, 2), (0, 4), (0, 5), (1, 3), (1, 4), (2, 4), (2, 5), (3, 5)] | chi = 1
n=7: non-join 853 | Thm D as stated 578 | + twins (E1) 656 | + join atoms (E2) 698 | + both 711
