digraph Syzygy {
  KQRBvKR -> KRBvKR;
  KQRBvKR -> KQBvKR;
  KQRBvKR -> KQRBvK;
  KQRBvKR -> KQRvKR;
  KQRvKR -> KRvKR;
  KQRvKR -> KQvKR;
  KQRvKR -> KQRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KRvKR -> KRvK;
  KQRBvK -> KRBvK;
  KQRBvK -> KQBvK;
  KQRBvK -> KQRvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KQBvKR -> KRvKB;
  KQBvKR -> KQBvK;
  KQBvKR -> KQvKR;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KRBvKR -> KRvKB;
  KRBvKR -> KRBvK;
  KRBvKR -> KRvKR;
}