digraph Syzygy {
  KQBvKRR -> KRRvKB;
  KQBvKRR -> KQBvKR;
  KQBvKRR -> KRRvKQ;
  KRRvKQ -> KRRvK;
  KRRvKQ -> KQvKR;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KRRvK -> KRvK;
  KQBvKR -> KRvKB;
  KQBvKR -> KQBvK;
  KQBvKR -> KQvKR;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KRRvKB -> KRvKB;
  KRRvKB -> KRRvK;
}