digraph Syzygy {
  KQQQBvK -> KQQBvK;
  KQQQBvK -> KQQQvK;
  KQQQvK -> KQQvK;
  KQQvK -> KQvK;
  KQQBvK -> KQBvK;
  KQQBvK -> KQQvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
}