N=5 K=2 MAXMULT=1
  Theorem 4 type (one root):                {'instances': 416696, 'cond': 14571, 'PC': 14571, 'LOC': 14571, 'ARB': 14571, 'disagree': 0}
  Theorem 6 type (<= 2 sets per vertex):    {'instances': 1924044, 'cond': 72968, 'PC': 72968, 'LOC': 72968, 'ARB': 72968, 'disagree': 0}
