digraph Syzygy {
  KQBBBvK -> KBBBvK;
  KQBBBvK -> KQBBvK;
  KQBBvK -> KBBvK;
  KQBBvK -> KQBvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KBBvK -> KBvK;
  KBBBvK -> KBBvK;
}