digraph Syzygy {
  KRRRvKQN -> KRRRvKN;
  KRRRvKQN -> KQNvKRR;
  KRRRvKQN -> KRRRvKQ;
  KRRRvKQ -> KRRRvK;
  KRRRvKQ -> KRRvKQ;
  KRRvKQ -> KRRvK;
  KRRvKQ -> KQvKR;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KRRvK -> KRvK;
  KRRRvK -> KRRvK;
  KQNvKRR -> KRRvKN;
  KQNvKRR -> KQNvKR;
  KQNvKRR -> KRRvKQ;
  KQNvKR -> KRvKN;
  KQNvKR -> KQNvK;
  KQNvKR -> KQvKR;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KRRvKN -> KRvKN;
  KRRvKN -> KRRvK;
  KRRRvKN -> KRRvKN;
  KRRRvKN -> KRRRvK;
}