digraph Syzygy {
  KQRNNvKB -> KRNNvKB;
  KQRNNvKB -> KQNNvKB;
  KQRNNvKB -> KQRNNvK;
  KQRNNvKB -> KQRNvKB;
  KQRNvKB -> KRNvKB;
  KQRNvKB -> KQNvKB;
  KQRNvKB -> KQRNvK;
  KQRNvKB -> KQRvKB;
  KQRvKB -> KRvKB;
  KQRvKB -> KQvKB;
  KQRvKB -> KQRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KQRNvK -> KRNvK;
  KQRNvK -> KQNvK;
  KQRNvK -> KQRvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KQNvKB -> KBvKN;
  KQNvKB -> KQNvK;
  KQNvKB -> KQvKB;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KQRNNvK -> KRNNvK;
  KQRNNvK -> KQNNvK;
  KQRNNvK -> KQRNvK;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KNNvK -> KNvK;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KQNNvKB -> KNNvKB;
  KQNNvKB -> KQNNvK;
  KQNNvKB -> KQNvKB;
  KNNvKB -> KNNvK;
  KNNvKB -> KBvKN;
  KRNNvKB -> KNNvKB;
  KRNNvKB -> KRNNvK;
  KRNNvKB -> KRNvKB;
}