digraph Syzygy {
  KBPvKQ -> KQBvKQ;
  KBPvKQ -> KBPvK;
  KBPvKQ -> KRBvKQ;
  KBPvKQ -> KBBvKQ;
  KBPvKQ -> KQvKP;
  KBPvKQ -> KBNvKQ;
  KBPvKQ -> KQvKB;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KBNvKQ -> KBNvK;
  KBNvKQ -> KQvKN;
  KBNvKQ -> KQvKB;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KQvKP -> KQvKQ;
  KQvKP -> KPvK;
  KQvKP -> KQvKR;
  KQvKP -> KQvKB;
  KQvKP -> KQvKN;
  KQvKP -> KQvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KQvKQ -> KQvK;
  KBBvKQ -> KBBvK;
  KBBvKQ -> KQvKB;
  KBBvK -> KBvK;
  KRBvKQ -> KRBvK;
  KRBvKQ -> KQvKB;
  KRBvKQ -> KQvKR;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KBPvK -> KQBvK;
  KBPvK -> KRBvK;
  KBPvK -> KBBvK;
  KBPvK -> KPvK;
  KBPvK -> KBNvK;
  KBPvK -> KBvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KQBvKQ -> KQvKB;
  KQBvKQ -> KQBvK;
  KQBvKQ -> KQvKQ;
}