N=4 K=2 MAXMULT=2
  Theorem 4 type (one root):                {'instances': 69840, 'cond': 9931, 'PC': 9931, 'LOC': 9931, 'ARB': 9931, 'disagree': 0}
  Theorem 6 type (<= 2 sets per vertex):    {'instances': 247248, 'cond': 30249, 'PC': 30249, 'LOC': 30249, 'ARB': 30249, 'disagree': 0}
