digraph Syzygy {
  KQQBvKRR -> KQBvKRR;
  KQQBvKRR -> KQQBvKR;
  KQQBvKRR -> KQQvKRR;
  KQQvKRR -> KRRvKQ;
  KQQvKRR -> KQQvKR;
  KQQvKR -> KQvKR;
  KQQvKR -> KQQvK;
  KQQvK -> KQvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KRRvKQ -> KRRvK;
  KRRvKQ -> KQvKR;
  KRRvK -> KRvK;
  KQQBvKR -> KQBvKR;
  KQQBvKR -> KQQBvK;
  KQQBvKR -> KQQvKR;
  KQQBvK -> KQBvK;
  KQQBvK -> KQQvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KQBvKR -> KRvKB;
  KQBvKR -> KQBvK;
  KQBvKR -> KQvKR;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KQBvKRR -> KRRvKB;
  KQBvKRR -> KQBvKR;
  KQBvKRR -> KRRvKQ;
  KRRvKB -> KRvKB;
  KRRvKB -> KRRvK;
}