N=4 K=3 MAXMULT=2
  Theorem 4 type (one root):                {'instances': 205296, 'cond': 10539, 'PC': 10539, 'LOC': 10539, 'ARB': 10539, 'disagree': 0}
  Theorem 6 type (<= 2 sets per vertex):    {'instances': 656412, 'cond': 60448, 'PC': 60448, 'LOC': 60448, 'ARB': 60448, 'disagree': 0}
