digraph Syzygy {
  KRNNNvKB -> KNNNvKB;
  KRNNNvKB -> KRNNNvK;
  KRNNNvKB -> KRNNvKB;
  KRNNvKB -> KNNvKB;
  KRNNvKB -> KRNNvK;
  KRNNvKB -> KRNvKB;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KRNNvK -> KNNvK;
  KRNNvK -> KRNvK;
  KNNvK -> KNvK;
  KNNvKB -> KNNvK;
  KNNvKB -> KBvKN;
  KRNNNvK -> KNNNvK;
  KRNNNvK -> KRNNvK;
  KNNNvK -> KNNvK;
  KNNNvKB -> KNNNvK;
  KNNNvKB -> KNNvKB;
}