digraph Syzygy {
  KQQvKQB -> KQBvKQ;
  KQQvKQB -> KQQvKB;
  KQQvKQB -> KQQvKQ;
  KQQvKQ -> KQvKQ;
  KQQvKQ -> KQQvK;
  KQQvK -> KQvK;
  KQvKQ -> KQvK;
  KQQvKB -> KQvKB;
  KQQvKB -> KQQvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KQBvKQ -> KQvKB;
  KQBvKQ -> KQBvK;
  KQBvKQ -> KQvKQ;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
}