digraph Syzygy {
  KRBNvKRB -> KRBvKBN;
  KRBNvKRB -> KRBNvKB;
  KRBNvKRB -> KRBvKRN;
  KRBNvKRB -> KRBNvKR;
  KRBNvKRB -> KRBvKRB;
  KRBvKRB -> KRBvKB;
  KRBvKRB -> KRBvKR;
  KRBvKR -> KRvKB;
  KRBvKR -> KRBvK;
  KRBvKR -> KRvKR;
  KRvKR -> KRvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KRBvKB -> KBvKB;
  KRBvKB -> KRvKB;
  KRBvKB -> KRBvK;
  KBvKB -> KBvK;
  KRBNvKR -> KBNvKR;
  KRBNvKR -> KRBNvK;
  KRBNvKR -> KRNvKR;
  KRBNvKR -> KRBvKR;
  KRNvKR -> KRvKN;
  KRNvKR -> KRNvK;
  KRNvKR -> KRvKR;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KRBNvK -> KBNvK;
  KRBNvK -> KRNvK;
  KRBNvK -> KRBvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KBNvKR -> KBNvK;
  KBNvKR -> KRvKN;
  KBNvKR -> KRvKB;
  KRBvKRN -> KRNvKB;
  KRBvKRN -> KRBvKN;
  KRBvKRN -> KRNvKR;
  KRBvKRN -> KRBvKR;
  KRBvKN -> KBvKN;
  KRBvKN -> KRvKN;
  KRBvKN -> KRBvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KRBNvKB -> KBNvKB;
  KRBNvKB -> KRNvKB;
  KRBNvKB -> KRBNvK;
  KRBNvKB -> KRBvKB;
  KBNvKB -> KBvKN;
  KBNvKB -> KBNvK;
  KBNvKB -> KBvKB;
  KRBvKBN -> KBNvKB;
  KRBvKBN -> KBNvKR;
  KRBvKBN -> KRBvKN;
  KRBvKBN -> KRBvKB;
}