digraph Syzygy {
  KQPvK -> KQQvK;
  KQPvK -> KPvK;
  KQPvK -> KQRvK;
  KQPvK -> KQBvK;
  KQPvK -> KQNvK;
  KQPvK -> KQvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KQQvK -> KQvK;
}