digraph Syzygy {
  KQRRBvK -> KRRBvK;
  KQRRBvK -> KQRBvK;
  KQRRBvK -> KQRRvK;
  KQRRvK -> KRRvK;
  KQRRvK -> KQRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KRRvK -> KRvK;
  KQRBvK -> KRBvK;
  KQRBvK -> KQBvK;
  KQRBvK -> KQRvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KRRBvK -> KRBvK;
  KRRBvK -> KRRvK;
}