digraph Syzygy {
  KQRBBvK -> KRBBvK;
  KQRBBvK -> KQBBvK;
  KQRBBvK -> KQRBvK;
  KQRBvK -> KRBvK;
  KQRBvK -> KQBvK;
  KQRBvK -> KQRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KQBBvK -> KBBvK;
  KQBBvK -> KQBvK;
  KBBvK -> KBvK;
  KRBBvK -> KBBvK;
  KRBBvK -> KRBvK;
}