digraph Syzygy {
  KQNNvKRB -> KRBvKNN;
  KQNNvKRB -> KQNNvKB;
  KQNNvKRB -> KQNNvKR;
  KQNNvKRB -> KQNvKRB;
  KQNvKRB -> KRBvKN;
  KQNvKRB -> KQNvKB;
  KQNvKRB -> KQNvKR;
  KQNvKRB -> KRBvKQ;
  KRBvKQ -> KRBvK;
  KRBvKQ -> KQvKB;
  KRBvKQ -> KQvKR;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KQNvKR -> KRvKN;
  KQNvKR -> KQNvK;
  KQNvKR -> KQvKR;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KQNvKB -> KBvKN;
  KQNvKB -> KQNvK;
  KQNvKB -> KQvKB;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KRBvKN -> KBvKN;
  KRBvKN -> KRvKN;
  KRBvKN -> KRBvK;
  KQNNvKR -> KNNvKR;
  KQNNvKR -> KQNNvK;
  KQNNvKR -> KQNvKR;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KNNvK -> KNvK;
  KNNvKR -> KNNvK;
  KNNvKR -> KRvKN;
  KQNNvKB -> KNNvKB;
  KQNNvKB -> KQNNvK;
  KQNNvKB -> KQNvKB;
  KNNvKB -> KNNvK;
  KNNvKB -> KBvKN;
  KRBvKNN -> KNNvKB;
  KRBvKNN -> KNNvKR;
  KRBvKNN -> KRBvKN;
}