digraph Syzygy {
  KQQRNvKB -> KQRNvKB;
  KQQRNvKB -> KQQNvKB;
  KQQRNvKB -> KQQRNvK;
  KQQRNvKB -> KQQRvKB;
  KQQRvKB -> KQRvKB;
  KQQRvKB -> KQQvKB;
  KQQRvKB -> KQQRvK;
  KQQRvK -> KQRvK;
  KQQRvK -> KQQvK;
  KQQvK -> KQvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQQvKB -> KQvKB;
  KQQvKB -> KQQvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KQRvKB -> KRvKB;
  KQRvKB -> KQvKB;
  KQRvKB -> KQRvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KQQRNvK -> KQRNvK;
  KQQRNvK -> KQQNvK;
  KQQRNvK -> KQQRvK;
  KQQNvK -> KQNvK;
  KQQNvK -> KQQvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KQRNvK -> KRNvK;
  KQRNvK -> KQNvK;
  KQRNvK -> KQRvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KQQNvKB -> KQNvKB;
  KQQNvKB -> KQQNvK;
  KQQNvKB -> KQQvKB;
  KQNvKB -> KBvKN;
  KQNvKB -> KQNvK;
  KQNvKB -> KQvKB;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KQRNvKB -> KRNvKB;
  KQRNvKB -> KQNvKB;
  KQRNvKB -> KQRNvK;
  KQRNvKB -> KQRvKB;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
}