digraph Syzygy {
  KQBBvKR -> KBBvKR;
  KQBBvKR -> KQBBvK;
  KQBBvKR -> KQBvKR;
  KQBvKR -> KRvKB;
  KQBvKR -> KQBvK;
  KQBvKR -> KQvKR;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KQBBvK -> KBBvK;
  KQBBvK -> KQBvK;
  KBBvK -> KBvK;
  KBBvKR -> KBBvK;
  KBBvKR -> KRvKB;
}