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