L1 Heinig's X isomorphic to complement(C4 u K3) = G_7: True
L2 C_7^2 - {01,35}: degrees [3, 3, 3, 3, 4, 4, 4] ; spanning subgraph of G_7: True
L3 n=9: 177 labelled graphs C_9^2 - (3-edge matching); spanning subgraphs of K_(4,4,1): 0
   min degree of K_(4,4,1): 5
L4 n=7: 4 graphs with min degree >= 5 (complement max degree <= 1); without a spanning H_n: 0
L4 n=9: 70 graphs with min degree >= 6 (complement max degree <= 2); without a spanning H_n: 0
ALL LEAD CHECKS PASSED
