digraph Syzygy {
  KQQBBBvK -> KQBBBvK;
  KQQBBBvK -> KQQBBvK;
  KQQBBvK -> KQBBvK;
  KQQBBvK -> KQQBvK;
  KQQBvK -> KQBvK;
  KQQBvK -> KQQvK;
  KQQvK -> KQvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KQBBvK -> KBBvK;
  KQBBvK -> KQBvK;
  KBBvK -> KBvK;
  KQBBBvK -> KBBBvK;
  KQBBBvK -> KQBBvK;
  KBBBvK -> KBBvK;
}