digraph Syzygy {
  KQBvKR -> KRvKB;
  KQBvKR -> KQBvK;
  KQBvKR -> KQvKR;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
}