digraph Syzygy {
  KRBBBvKR -> KBBBvKR;
  KRBBBvKR -> KRBBBvK;
  KRBBBvKR -> KRBBvKR;
  KRBBvKR -> KBBvKR;
  KRBBvKR -> KRBBvK;
  KRBBvKR -> KRBvKR;
  KRBvKR -> KRvKB;
  KRBvKR -> KRBvK;
  KRBvKR -> KRvKR;
  KRvKR -> KRvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KRBBvK -> KBBvK;
  KRBBvK -> KRBvK;
  KBBvK -> KBvK;
  KBBvKR -> KBBvK;
  KBBvKR -> KRvKB;
  KRBBBvK -> KBBBvK;
  KRBBBvK -> KRBBvK;
  KBBBvK -> KBBvK;
  KBBBvKR -> KBBBvK;
  KBBBvKR -> KBBvKR;
}