digraph Syzygy {
  KQRNvKRB -> KRBvKRN;
  KQRNvKRB -> KQNvKRB;
  KQRNvKRB -> KQRNvKB;
  KQRNvKRB -> KQRNvKR;
  KQRNvKRB -> KQRvKRB;
  KQRvKRB -> KRBvKR;
  KQRvKRB -> KRBvKQ;
  KQRvKRB -> KQRvKB;
  KQRvKRB -> KQRvKR;
  KQRvKR -> KRvKR;
  KQRvKR -> KQvKR;
  KQRvKR -> KQRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KRvKR -> KRvK;
  KQRvKB -> KRvKB;
  KQRvKB -> KQvKB;
  KQRvKB -> KQRvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KRBvKQ -> KRBvK;
  KRBvKQ -> KQvKB;
  KRBvKQ -> KQvKR;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KRBvKR -> KRvKB;
  KRBvKR -> KRBvK;
  KRBvKR -> KRvKR;
  KQRNvKR -> KRNvKR;
  KQRNvKR -> KQNvKR;
  KQRNvKR -> KQRNvK;
  KQRNvKR -> KQRvKR;
  KQRNvK -> KRNvK;
  KQRNvK -> KQNvK;
  KQRNvK -> KQRvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KQNvKR -> KRvKN;
  KQNvKR -> KQNvK;
  KQNvKR -> KQvKR;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KRNvKR -> KRvKN;
  KRNvKR -> KRNvK;
  KRNvKR -> KRvKR;
  KQRNvKB -> KRNvKB;
  KQRNvKB -> KQNvKB;
  KQRNvKB -> KQRNvK;
  KQRNvKB -> KQRvKB;
  KQNvKB -> KBvKN;
  KQNvKB -> KQNvK;
  KQNvKB -> KQvKB;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KQNvKRB -> KRBvKN;
  KQNvKRB -> KQNvKB;
  KQNvKRB -> KQNvKR;
  KQNvKRB -> KRBvKQ;
  KRBvKN -> KBvKN;
  KRBvKN -> KRvKN;
  KRBvKN -> KRBvK;
  KRBvKRN -> KRNvKB;
  KRBvKRN -> KRBvKN;
  KRBvKRN -> KRNvKR;
  KRBvKRN -> KRBvKR;
}