digraph Syzygy {
  KBBNvKRB -> KBBNvKB;
  KBBNvKRB -> KRBvKBN;
  KBBNvKRB -> KBBNvKR;
  KBBNvKRB -> KRBvKBB;
  KRBvKBB -> KBBvKB;
  KRBvKBB -> KBBvKR;
  KRBvKBB -> KRBvKB;
  KRBvKB -> KBvKB;
  KRBvKB -> KRvKB;
  KRBvKB -> KRBvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KBvKB -> KBvK;
  KBBvKR -> KBBvK;
  KBBvKR -> KRvKB;
  KBBvK -> KBvK;
  KBBvKB -> KBvKB;
  KBBvKB -> KBBvK;
  KBBNvKR -> KBBNvK;
  KBBNvKR -> KBNvKR;
  KBBNvKR -> KBBvKR;
  KBNvKR -> KBNvK;
  KBNvKR -> KRvKN;
  KBNvKR -> KRvKB;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KBBNvK -> KBNvK;
  KBBNvK -> KBBvK;
  KRBvKBN -> KBNvKB;
  KRBvKBN -> KBNvKR;
  KRBvKBN -> KRBvKN;
  KRBvKBN -> KRBvKB;
  KRBvKN -> KBvKN;
  KRBvKN -> KRvKN;
  KRBvKN -> KRBvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KBNvKB -> KBvKN;
  KBNvKB -> KBNvK;
  KBNvKB -> KBvKB;
  KBBNvKB -> KBNvKB;
  KBBNvKB -> KBBNvK;
  KBBNvKB -> KBBvKB;
}