digraph Syzygy {
  KBBBvKQR -> KBBBvKR;
  KBBBvKQR -> KBBBvKQ;
  KBBBvKQR -> KQRvKBB;
  KQRvKBB -> KBBvKR;
  KQRvKBB -> KBBvKQ;
  KQRvKBB -> KQRvKB;
  KQRvKB -> KRvKB;
  KQRvKB -> KQvKB;
  KQRvKB -> KQRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KBBvKQ -> KBBvK;
  KBBvKQ -> KQvKB;
  KBBvK -> KBvK;
  KBBvKR -> KBBvK;
  KBBvKR -> KRvKB;
  KBBBvKQ -> KBBBvK;
  KBBBvKQ -> KBBvKQ;
  KBBBvK -> KBBvK;
  KBBBvKR -> KBBBvK;
  KBBBvKR -> KBBvKR;
}