digraph Syzygy {
  KBBBvKRB -> KBBBvKB;
  KBBBvKRB -> KRBvKBB;
  KBBBvKRB -> KBBBvKR;
  KBBBvKR -> KBBBvK;
  KBBBvKR -> KBBvKR;
  KBBvKR -> KBBvK;
  KBBvKR -> KRvKB;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KBBvK -> KBvK;
  KBBBvK -> KBBvK;
  KRBvKBB -> KBBvKB;
  KRBvKBB -> KBBvKR;
  KRBvKBB -> KRBvKB;
  KRBvKB -> KBvKB;
  KRBvKB -> KRvKB;
  KRBvKB -> KRBvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KBvKB -> KBvK;
  KBBvKB -> KBvKB;
  KBBvKB -> KBBvK;
  KBBBvKB -> KBBvKB;
  KBBBvKB -> KBBBvK;
}