digraph Syzygy {
  KRRNvKBB -> KRNvKBB;
  KRRNvKBB -> KRRNvKB;
  KRRNvKBB -> KRRvKBB;
  KRRvKBB -> KBBvKR;
  KRRvKBB -> KRRvKB;
  KRRvKB -> KRvKB;
  KRRvKB -> KRRvK;
  KRRvK -> KRvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KBBvKR -> KBBvK;
  KBBvKR -> KRvKB;
  KBBvK -> KBvK;
  KRRNvKB -> KRNvKB;
  KRRNvKB -> KRRNvK;
  KRRNvKB -> KRRvKB;
  KRRNvK -> KRNvK;
  KRRNvK -> KRRvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KRNvKBB -> KBBvKN;
  KRNvKBB -> KRNvKB;
  KRNvKBB -> KBBvKR;
  KBBvKN -> KBvKN;
  KBBvKN -> KBBvK;
}