digraph Syzygy {
  KBBBvKRN -> KBBBvKN;
  KBBBvKRN -> KRNvKBB;
  KBBBvKRN -> KBBBvKR;
  KBBBvKR -> KBBBvK;
  KBBBvKR -> KBBvKR;
  KBBvKR -> KBBvK;
  KBBvKR -> KRvKB;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KBBvK -> KBvK;
  KBBBvK -> KBBvK;
  KRNvKBB -> KBBvKN;
  KRNvKBB -> KRNvKB;
  KRNvKBB -> KBBvKR;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KBBvKN -> KBvKN;
  KBBvKN -> KBBvK;
  KBBBvKN -> KBBvKN;
  KBBBvKN -> KBBBvK;
}