digraph Syzygy {
  KQBBvKQ -> KBBvKQ;
  KQBBvKQ -> KQBBvK;
  KQBBvKQ -> KQBvKQ;
  KQBvKQ -> KQvKB;
  KQBvKQ -> KQBvK;
  KQBvKQ -> KQvKQ;
  KQvKQ -> KQvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KQBBvK -> KBBvK;
  KQBBvK -> KQBvK;
  KBBvK -> KBvK;
  KBBvKQ -> KBBvK;
  KBBvKQ -> KQvKB;
}