digraph Syzygy {
  KRRNvKQN -> KRRNvKN;
  KRRNvKQN -> KQNvKRN;
  KRRNvKQN -> KQNvKRR;
  KRRNvKQN -> KRRNvKQ;
  KRRNvKQ -> KRRNvK;
  KRRNvKQ -> KRNvKQ;
  KRRNvKQ -> KRRvKQ;
  KRRvKQ -> KRRvK;
  KRRvKQ -> KQvKR;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KRRvK -> KRvK;
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KRRNvK -> KRNvK;
  KRRNvK -> 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;
  KQNvKRN -> KRNvKN;
  KQNvKRN -> KQNvKN;
  KQNvKRN -> KRNvKQ;
  KQNvKRN -> KQNvKR;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KNvKN -> KNvK;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
  KRRNvKN -> KRNvKN;
  KRRNvKN -> KRRvKN;
  KRRNvKN -> KRRNvK;
}