digraph Syzygy {
  KRBBNvKB -> KBBNvKB;
  KRBBNvKB -> KRBNvKB;
  KRBBNvKB -> KRBBNvK;
  KRBBNvKB -> KRBBvKB;
  KRBBvKB -> KBBvKB;
  KRBBvKB -> KRBvKB;
  KRBBvKB -> KRBBvK;
  KRBBvK -> KBBvK;
  KRBBvK -> KRBvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KBBvK -> KBvK;
  KRBvKB -> KBvKB;
  KRBvKB -> KRvKB;
  KRBvKB -> KRBvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KBvKB -> KBvK;
  KBBvKB -> KBvKB;
  KBBvKB -> KBBvK;
  KRBBNvK -> KBBNvK;
  KRBBNvK -> KRBNvK;
  KRBBNvK -> KRBBvK;
  KRBNvK -> KBNvK;
  KRBNvK -> KRNvK;
  KRBNvK -> KRBvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KBBNvK -> KBNvK;
  KBBNvK -> KBBvK;
  KRBNvKB -> KBNvKB;
  KRBNvKB -> KRNvKB;
  KRBNvKB -> KRBNvK;
  KRBNvKB -> KRBvKB;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KBNvKB -> KBvKN;
  KBNvKB -> KBNvK;
  KBNvKB -> KBvKB;
  KBBNvKB -> KBNvKB;
  KBBNvKB -> KBBNvK;
  KBBNvKB -> KBBvKB;
}