digraph Syzygy {
  KRBNvKRN -> KRNvKBN;
  KRBNvKRN -> KRBNvKN;
  KRBNvKRN -> KRNvKRN;
  KRBNvKRN -> KRBvKRN;
  KRBNvKRN -> KRBNvKR;
  KRBNvKR -> KBNvKR;
  KRBNvKR -> KRBNvK;
  KRBNvKR -> KRNvKR;
  KRBNvKR -> KRBvKR;
  KRBvKR -> KRvKB;
  KRBvKR -> KRBvK;
  KRBvKR -> KRvKR;
  KRvKR -> KRvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  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;
  KRNvKRN -> KRNvKN;
  KRNvKRN -> KRNvKR;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
  KNvKN -> KNvK;
  KRBNvKN -> KBNvKN;
  KRBNvKN -> KRNvKN;
  KRBNvKN -> KRBvKN;
  KRBNvKN -> KRBNvK;
  KBNvKN -> KNvKN;
  KBNvKN -> KBvKN;
  KBNvKN -> KBNvK;
  KRNvKBN -> KBNvKN;
  KRNvKBN -> KRNvKN;
  KRNvKBN -> KBNvKR;
  KRNvKBN -> KRNvKB;
}