digraph Syzygy {
  KRBBBBvK -> KBBBBvK;
  KRBBBBvK -> KRBBBvK;
  KRBBBvK -> KBBBvK;
  KRBBBvK -> KRBBvK;
  KRBBvK -> KBBvK;
  KRBBvK -> KRBvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KBBvK -> KBvK;
  KBBBvK -> KBBvK;
  KBBBBvK -> KBBBvK;
}