digraph Syzygy {
  KBBBvKQB -> KBBBvKB;
  KBBBvKQB -> KQBvKBB;
  KBBBvKQB -> KBBBvKQ;
  KBBBvKQ -> KBBBvK;
  KBBBvKQ -> KBBvKQ;
  KBBvKQ -> KBBvK;
  KBBvKQ -> KQvKB;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KBBvK -> KBvK;
  KBBBvK -> KBBvK;
  KQBvKBB -> KBBvKB;
  KQBvKBB -> KBBvKQ;
  KQBvKBB -> KQBvKB;
  KQBvKB -> KBvKB;
  KQBvKB -> KQvKB;
  KQBvKB -> KQBvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KBvKB -> KBvK;
  KBBvKB -> KBvKB;
  KBBvKB -> KBBvK;
  KBBBvKB -> KBBvKB;
  KBBBvKB -> KBBBvK;
}