digraph Syzygy {
  KQBBvKRR -> KRRvKBB;
  KQBBvKRR -> KQBBvKR;
  KQBBvKRR -> KQBvKRR;
  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;
  KQBBvKR -> KBBvKR;
  KQBBvKR -> KQBBvK;
  KQBBvKR -> KQBvKR;
  KQBBvK -> KBBvK;
  KQBBvK -> KQBvK;
  KBBvK -> KBvK;
  KBBvKR -> KBBvK;
  KBBvKR -> KRvKB;
  KRRvKBB -> KBBvKR;
  KRRvKBB -> KRRvKB;
}