n=6 covered only via Theorem E: Gamma edges [(0, 2), (1, 3), (2, 4), (2, 5), (3, 4), (3, 5)] | atoms of complement: [['E:clique,cycle4']]
n=6 covered only via Theorem E: Gamma edges [(0, 1), (0, 3), (0, 4), (1, 2), (1, 5), (2, 3), (3, 4)] | atoms of complement: [['E:clique,clique,cycle4']]
n=6 covered only via Theorem E: Gamma edges [(0, 1), (0, 2), (0, 4), (1, 2), (1, 5), (2, 3), (3, 4)] | atoms of complement: [['E:clique,clique,cycle4']]
n=6 covered only via Theorem E: Gamma edges [(0, 1), (0, 3), (0, 5), (1, 2), (2, 3), (3, 4), (4, 5)] | atoms of complement: [['E:clique,clique,cycle4']]
n=6 covered only via Theorem E: Gamma edges [(0, 1), (0, 2), (0, 4), (1, 3), (1, 5), (2, 3), (2, 5), (3, 5)] | atoms of complement: [['E:clique,cycle4']]
n=6 covered only via Theorem E: Gamma edges [(0, 1), (0, 5), (1, 2), (2, 3), (2, 4), (2, 5), (3, 4), (4, 5)] | atoms of complement: [['E:clique,clique,cycle4']]
n=6 covered only via Theorem E: Gamma edges [(0, 1), (0, 2), (0, 5), (1, 2), (1, 3), (1, 4), (3, 4), (4, 5)] | atoms of complement: [['E:clique,clique,cycle4']]
n=6 covered only via Theorem E: Gamma edges [(0, 1), (0, 4), (1, 2), (1, 5), (2, 3), (3, 4), (3, 5), (4, 5)] | atoms of complement: [['E:clique,cycle5']]
n=6 covered only via Theorem E: Gamma edges [(0, 1), (0, 5), (1, 2), (1, 5), (2, 3), (2, 4), (3, 4), (4, 5)] | atoms of complement: [['E:cycle4,cycle4']]
n=6 covered only via Theorem E: Gamma edges [(0, 1), (0, 2), (0, 4), (0, 5), (1, 2), (1, 5), (2, 3), (2, 5), (3, 4)] | atoms of complement: [['E:clique,clique,cycle4']]
n=6 covered only via Theorem E: Gamma edges [(0, 1), (0, 4), (0, 5), (1, 2), (2, 3), (2, 5), (3, 4), (3, 5), (4, 5)] | atoms of complement: [['E:clique,cycle5']]
n=6 covered only via Theorem E: Gamma edges [(0, 1), (0, 3), (0, 4), (0, 5), (1, 2), (1, 5), (2, 3), (2, 5), (3, 4)] | atoms of complement: [['E:clique,clique,cycle4']]
n=2: non-join graphs 1, covered by Theorems D+E 1 (of which only via E: 0)
n=3: non-join graphs 2, covered by Theorems D+E 2 (of which only via E: 0)
n=4: non-join graphs 6, covered by Theorems D+E 6 (of which only via E: 0)
n=5: non-join graphs 21, covered by Theorems D+E 21 (of which only via E: 0)
n=6: non-join graphs 112, covered by Theorems D+E 105 (of which only via E: 12)
n=7: non-join graphs 853, covered by Theorems D+E 578 (of which only via E: 101)
uncovered on 6 vertices (7):
   Gamma: [(0, 4), (0, 5), (1, 3), (1, 4), (2, 3), (2, 4)]
   Gamma: [(0, 1), (0, 4), (1, 2), (1, 5), (2, 3), (3, 4)]
   Gamma: [(0, 1), (0, 5), (1, 2), (2, 3), (3, 4), (4, 5)]
   Gamma: [(0, 2), (0, 5), (1, 3), (1, 4), (2, 3), (3, 4), (3, 5)]
   Gamma: [(0, 2), (0, 5), (1, 2), (1, 3), (2, 3), (3, 4), (4, 5)]
   Gamma: [(0, 1), (0, 4), (0, 5), (1, 2), (2, 3), (3, 4), (3, 5)]
   Gamma: [(0, 1), (0, 4), (0, 5), (1, 2), (1, 5), (2, 3), (2, 5), (3, 4)]
