N=3 K=3 MAXMULT=2
  Theorem 4 type (one root):                {'instances': 1380, 'cond': 190, 'PC': 190, 'LOC': 190, 'ARB': 190, 'disagree': 0}
  Theorem 6 type (<= 2 sets per vertex):    {'instances': 2181, 'cond': 502, 'PC': 502, 'LOC': 502, 'ARB': 502, 'disagree': 0}
