number of graphs up to isomorphism: {1: 1, 2: 2, 3: 4, 4: 11, 5: 34, 6: 156, 7: 1044} (expected 1,2,4,11,34,156,1044)
n=1: non-join 1 | covered (Thm D) 1 | covered without E 1 | covered if C4 atoms forbidden 1 | chordal 1 | connected non-join 0, covered 0 | only via E 0
n=2: non-join 1 | covered (Thm D) 1 | covered without E 1 | covered if C4 atoms forbidden 1 | chordal 1 | connected non-join 0, covered 0 | only via E 0
n=3: non-join 2 | covered (Thm D) 2 | covered without E 2 | covered if C4 atoms forbidden 2 | chordal 2 | connected non-join 0, covered 0 | only via E 0
n=4: non-join 6 | covered (Thm D) 6 | covered without E 6 | covered if C4 atoms forbidden 6 | chordal 6 | connected non-join 1, covered 1 | only via E 0
n=5: non-join 21 | covered (Thm D) 21 | covered without E 21 | covered if C4 atoms forbidden 21 | chordal 17 | connected non-join 8, covered 8 | only via E 0
n=6: non-join 112 | covered (Thm D) 105 | covered without E 93 | covered if C4 atoms forbidden 95 | chordal 67 | connected non-join 68, covered 61 | only via E 12
   UNCOVERED n=6 Gamma edges [(0, 3), (0, 4), (1, 4), (1, 5), (2, 5), (3, 5)] | connected: True | chi(A(Gamma)) = 1 | complement edges [(0, 1), (0, 2), (0, 5), (1, 2), (1, 3), (2, 3), (2, 4), (3, 4), (4, 5)] | atoms of complement of each component: [['other6']]
   UNCOVERED n=6 Gamma edges [(0, 3), (0, 5), (1, 4), (1, 5), (2, 4), (2, 5)] | connected: True | chi(A(Gamma)) = 1 | complement edges [(0, 1), (0, 2), (0, 4), (1, 2), (1, 3), (2, 3), (3, 4), (3, 5), (4, 5)] | atoms of complement of each component: [['K3', 'other5']]
   UNCOVERED n=6 Gamma edges [(0, 3), (0, 5), (1, 4), (1, 5), (2, 4), (2, 5), (3, 5)] | connected: True | chi(A(Gamma)) = 1 | complement edges [(0, 1), (0, 2), (0, 4), (1, 2), (1, 3), (2, 3), (3, 4), (4, 5)] | atoms of complement of each component: [['K2', 'other5']]
   UNCOVERED n=6 Gamma edges [(0, 3), (0, 4), (1, 4), (1, 5), (2, 4), (2, 5), (3, 5)] | connected: True | chi(A(Gamma)) = 2 | complement edges [(0, 1), (0, 2), (0, 5), (1, 2), (1, 3), (2, 3), (3, 4), (4, 5)] | atoms of complement of each component: [['other6']]
   UNCOVERED n=6 Gamma edges [(0, 3), (0, 4), (1, 3), (1, 5), (2, 4), (2, 5)] | connected: True | chi(A(Gamma)) = 1 | complement edges [(0, 1), (0, 2), (0, 5), (1, 2), (1, 4), (2, 3), (3, 4), (3, 5), (4, 5)] | atoms of complement of each component: [['other6']]
   UNCOVERED n=6 Gamma edges [(0, 3), (0, 4), (1, 3), (1, 5), (2, 4), (2, 5), (3, 5)] | connected: True | chi(A(Gamma)) = 1 | complement edges [(0, 1), (0, 2), (0, 5), (1, 2), (1, 4), (2, 3), (3, 4), (4, 5)] | atoms of complement of each component: [['other6']]
   UNCOVERED n=6 Gamma edges [(0, 2), (0, 4), (0, 5), (1, 3), (1, 4), (2, 4), (2, 5), (3, 5)] | connected: True | chi(A(Gamma)) = 1 | complement edges [(0, 1), (0, 3), (1, 2), (1, 5), (2, 3), (3, 4), (4, 5)] | atoms of complement of each component: [['other6']]
n=7: non-join 853 | covered (Thm D) 578 | covered without E 477 | covered if C4 atoms forbidden 495 | chordal 299 | connected non-join 662, covered 394 | only via E 101
time 0.5s
