digraph Syzygy {
  KQRRNvKB -> KRRNvKB;
  KQRRNvKB -> KQRNvKB;
  KQRRNvKB -> KQRRNvK;
  KQRRNvKB -> KQRRvKB;
  KQRRvKB -> KRRvKB;
  KQRRvKB -> KQRvKB;
  KQRRvKB -> KQRRvK;
  KQRRvK -> KRRvK;
  KQRRvK -> KQRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KRRvK -> KRvK;
  KQRvKB -> KRvKB;
  KQRvKB -> KQvKB;
  KQRvKB -> KQRvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KRRvKB -> KRvKB;
  KRRvKB -> KRRvK;
  KQRRNvK -> KRRNvK;
  KQRRNvK -> KQRNvK;
  KQRRNvK -> KQRRvK;
  KQRNvK -> KRNvK;
  KQRNvK -> KQNvK;
  KQRNvK -> KQRvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KRRNvK -> KRNvK;
  KRRNvK -> KRRvK;
  KQRNvKB -> KRNvKB;
  KQRNvKB -> KQNvKB;
  KQRNvKB -> KQRNvK;
  KQRNvKB -> KQRvKB;
  KQNvKB -> KBvKN;
  KQNvKB -> KQNvK;
  KQNvKB -> KQvKB;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KRRNvKB -> KRNvKB;
  KRRNvKB -> KRRNvK;
  KRRNvKB -> KRRvKB;
}