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