n=9: 177 labelled matchings of size 3 in C_9^2 (14 dihedral classes); K_{4,4,1} (delta=5) contains C_9^2-M for 0 of them (direct criterion), 0 classes by SAT
    (sanity: the 177 3-edge deletions with degree sequence 3^6 4^3 are exactly the matchings: True; fitting: 0)
