digraph Syzygy {
  KRRBBvK -> KRBBvK;
  KRRBBvK -> KRRBvK;
  KRRBvK -> KRBvK;
  KRRBvK -> KRRvK;
  KRRvK -> KRvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KRBBvK -> KBBvK;
  KRBBvK -> KRBvK;
  KBBvK -> KBvK;
}