digraph Syzygy {
  KQRBvK -> KRBvK;
  KQRBvK -> KQBvK;
  KQRBvK -> KQRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
}