digraph Syzygy {
  KQQBBvKQ -> KQBBvKQ;
  KQQBBvKQ -> KQQBBvK;
  KQQBBvKQ -> KQQBvKQ;
  KQQBvKQ -> KQBvKQ;
  KQQBvKQ -> KQQBvK;
  KQQBvKQ -> KQQvKQ;
  KQQvKQ -> KQvKQ;
  KQQvKQ -> KQQvK;
  KQQvK -> KQvK;
  KQvKQ -> KQvK;
  KQQBvK -> KQBvK;
  KQQBvK -> KQQvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KQBvKQ -> KQvKB;
  KQBvKQ -> KQBvK;
  KQBvKQ -> KQvKQ;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KQQBBvK -> KQBBvK;
  KQQBBvK -> KQQBvK;
  KQBBvK -> KBBvK;
  KQBBvK -> KQBvK;
  KBBvK -> KBvK;
  KQBBvKQ -> KBBvKQ;
  KQBBvKQ -> KQBBvK;
  KQBBvKQ -> KQBvKQ;
  KBBvKQ -> KBBvK;
  KBBvKQ -> KQvKB;
}