digraph Syzygy {
  KQBvKB -> KBvKB;
  KQBvKB -> KQvKB;
  KQBvKB -> KQBvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KBvKB -> KBvK;
}