digraph Syzygy {
  KRRBvKBN -> KRBvKBN;
  KRRBvKBN -> KRRvKBN;
  KRRBvKBN -> KRRBvKN;
  KRRBvKBN -> KRRBvKB;
  KRRBvKB -> KRBvKB;
  KRRBvKB -> KRRvKB;
  KRRBvKB -> KRRBvK;
  KRRBvK -> KRBvK;
  KRRBvK -> KRRvK;
  KRRvK -> KRvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KRRvKB -> KRvKB;
  KRRvKB -> KRRvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KRBvKB -> KBvKB;
  KRBvKB -> KRvKB;
  KRBvKB -> KRBvK;
  KBvKB -> KBvK;
  KRRBvKN -> KRBvKN;
  KRRBvKN -> KRRvKN;
  KRRBvKN -> KRRBvK;
  KRRvKN -> KRvKN;
  KRRvKN -> KRRvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KRBvKN -> KBvKN;
  KRBvKN -> KRvKN;
  KRBvKN -> KRBvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KRRvKBN -> KBNvKR;
  KRRvKBN -> KRRvKN;
  KRRvKBN -> KRRvKB;
  KBNvKR -> KBNvK;
  KBNvKR -> KRvKN;
  KBNvKR -> KRvKB;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KRBvKBN -> KBNvKB;
  KRBvKBN -> KBNvKR;
  KRBvKBN -> KRBvKN;
  KRBvKBN -> KRBvKB;
  KBNvKB -> KBvKN;
  KBNvKB -> KBNvK;
  KBNvKB -> KBvKB;
}