digraph Syzygy {
  KQRNvKQP -> KQRNvKQQ;
  KQRNvKQP -> KQPvKRN;
  KQRNvKQP -> KQRNvKP;
  KQRNvKQP -> KQRNvKQR;
  KQRNvKQP -> KQNvKQP;
  KQRNvKQP -> KQRNvKQB;
  KQRNvKQP -> KQRNvKQN;
  KQRNvKQP -> KQRvKQP;
  KQRNvKQP -> KQRNvKQ;
  KQRNvKQ -> KRNvKQ;
  KQRNvKQ -> KQRNvK;
  KQRNvKQ -> KQNvKQ;
  KQRNvKQ -> KQRvKQ;
  KQRvKQ -> KQvKR;
  KQRvKQ -> KQRvK;
  KQRvKQ -> KQvKQ;
  KQvKQ -> KQvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KQNvKQ -> KQvKN;
  KQNvKQ -> KQNvK;
  KQNvKQ -> KQvKQ;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KQRNvK -> KRNvK;
  KQRNvK -> KQNvK;
  KQRNvK -> KQRvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KQRvKQP -> KQQvKQR;
  KQRvKQP -> KQPvKR;
  KQRvKQP -> KQRvKP;
  KQRvKQP -> KQRvKQR;
  KQRvKQP -> KQPvKQ;
  KQRvKQP -> KQRvKQB;
  KQRvKQP -> KQRvKQN;
  KQRvKQP -> KQRvKQ;
  KQRvKQN -> KQNvKR;
  KQRvKQN -> KQRvKN;
  KQRvKQN -> KQNvKQ;
  KQRvKQN -> KQRvKQ;
  KQRvKN -> KRvKN;
  KQRvKN -> KQvKN;
  KQRvKN -> KQRvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KQNvKR -> KRvKN;
  KQNvKR -> KQNvK;
  KQNvKR -> KQvKR;
  KQRvKQB -> KQBvKR;
  KQRvKQB -> KQRvKB;
  KQRvKQB -> KQBvKQ;
  KQRvKQB -> KQRvKQ;
  KQBvKQ -> KQvKB;
  KQBvKQ -> KQBvK;
  KQBvKQ -> KQvKQ;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KQvKB -> KBvK;
  KQvKB -> KQvK;
  KQRvKB -> KRvKB;
  KQRvKB -> KQvKB;
  KQRvKB -> KQRvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KQBvKR -> KRvKB;
  KQBvKR -> KQBvK;
  KQBvKR -> KQvKR;
  KQPvKQ -> KQQvKQ;
  KQPvKQ -> KQvKP;
  KQPvKQ -> KQPvK;
  KQPvKQ -> KQRvKQ;
  KQPvKQ -> KQBvKQ;
  KQPvKQ -> KQNvKQ;
  KQPvKQ -> KQvKQ;
  KQPvK -> KQQvK;
  KQPvK -> KPvK;
  KQPvK -> KQRvK;
  KQPvK -> KQBvK;
  KQPvK -> KQNvK;
  KQPvK -> KQvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KQQvK -> KQvK;
  KQvKP -> KQvKQ;
  KQvKP -> KPvK;
  KQvKP -> KQvKR;
  KQvKP -> KQvKB;
  KQvKP -> KQvKN;
  KQvKP -> KQvK;
  KQQvKQ -> KQvKQ;
  KQQvKQ -> KQQvK;
  KQRvKQR -> KQRvKR;
  KQRvKQR -> KQRvKQ;
  KQRvKR -> KRvKR;
  KQRvKR -> KQvKR;
  KQRvKR -> KQRvK;
  KRvKR -> KRvK;
  KQRvKP -> KQRvKQ;
  KQRvKP -> KRvKP;
  KQRvKP -> KQRvKR;
  KQRvKP -> KQvKP;
  KQRvKP -> KQRvKB;
  KQRvKP -> KQRvKN;
  KQRvKP -> KQRvK;
  KRvKP -> KQvKR;
  KRvKP -> KRvKR;
  KRvKP -> KPvK;
  KRvKP -> KRvKB;
  KRvKP -> KRvKN;
  KRvKP -> KRvK;
  KQPvKR -> KQQvKR;
  KQPvKR -> KRvKP;
  KQPvKR -> KQRvKR;
  KQPvKR -> KQPvK;
  KQPvKR -> KQBvKR;
  KQPvKR -> KQNvKR;
  KQPvKR -> KQvKR;
  KQQvKR -> KQvKR;
  KQQvKR -> KQQvK;
  KQQvKQR -> KQRvKQ;
  KQQvKQR -> KQQvKR;
  KQQvKQR -> KQQvKQ;
  KQRNvKQN -> KQNvKRN;
  KQRNvKQN -> KQRNvKN;
  KQRNvKQN -> KQNvKQN;
  KQRNvKQN -> KQRvKQN;
  KQRNvKQN -> KQRNvKQ;
  KQNvKQN -> KQNvKN;
  KQNvKQN -> KQNvKQ;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KNvKN -> KNvK;
  KQRNvKN -> KRNvKN;
  KQRNvKN -> KQNvKN;
  KQRNvKN -> KQRvKN;
  KQRNvKN -> KQRNvK;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
  KQNvKRN -> KRNvKN;
  KQNvKRN -> KQNvKN;
  KQNvKRN -> KRNvKQ;
  KQNvKRN -> KQNvKR;
  KQRNvKQB -> KQBvKRN;
  KQRNvKQB -> KQRNvKB;
  KQRNvKQB -> KQBvKQN;
  KQRNvKQB -> KQRNvKQ;
  KQRNvKQB -> KQRvKQB;
  KQBvKQN -> KQNvKB;
  KQBvKQN -> KQBvKN;
  KQBvKQN -> KQNvKQ;
  KQBvKQN -> KQBvKQ;
  KQBvKN -> KBvKN;
  KQBvKN -> KQvKN;
  KQBvKN -> KQBvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KQNvKB -> KBvKN;
  KQNvKB -> KQNvK;
  KQNvKB -> KQvKB;
  KQRNvKB -> KRNvKB;
  KQRNvKB -> KQNvKB;
  KQRNvKB -> KQRNvK;
  KQRNvKB -> KQRvKB;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KQBvKRN -> KRNvKB;
  KQBvKRN -> KQBvKN;
  KQBvKRN -> KRNvKQ;
  KQBvKRN -> KQBvKR;
  KQNvKQP -> KQQvKQN;
  KQNvKQP -> KQPvKN;
  KQNvKQP -> KQNvKP;
  KQNvKQP -> KQRvKQN;
  KQNvKQP -> KQBvKQN;
  KQNvKQP -> KQNvKQN;
  KQNvKQP -> KQPvKQ;
  KQNvKQP -> KQNvKQ;
  KQNvKP -> KQNvKQ;
  KQNvKP -> KNvKP;
  KQNvKP -> KQNvKR;
  KQNvKP -> KQNvKB;
  KQNvKP -> KQNvKN;
  KQNvKP -> KQvKP;
  KQNvKP -> KQNvK;
  KNvKP -> KQvKN;
  KNvKP -> KRvKN;
  KNvKP -> KBvKN;
  KNvKP -> KNvKN;
  KNvKP -> KPvK;
  KNvKP -> KNvK;
  KQPvKN -> KQQvKN;
  KQPvKN -> KNvKP;
  KQPvKN -> KQRvKN;
  KQPvKN -> KQBvKN;
  KQPvKN -> KQNvKN;
  KQPvKN -> KQPvK;
  KQPvKN -> KQvKN;
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
  KQQvKQN -> KQNvKQ;
  KQQvKQN -> KQQvKN;
  KQQvKQN -> KQQvKQ;
  KQRNvKQR -> KQRvKRN;
  KQRNvKQR -> KQRNvKR;
  KQRNvKQR -> KQRvKQN;
  KQRNvKQR -> KQRNvKQ;
  KQRNvKQR -> KQRvKQR;
  KQRNvKR -> KRNvKR;
  KQRNvKR -> KQNvKR;
  KQRNvKR -> KQRNvK;
  KQRNvKR -> KQRvKR;
  KRNvKR -> KRvKN;
  KRNvKR -> KRNvK;
  KRNvKR -> KRvKR;
  KQRvKRN -> KRNvKR;
  KQRvKRN -> KRNvKQ;
  KQRvKRN -> KQRvKN;
  KQRvKRN -> KQRvKR;
  KQRNvKP -> KQRNvKQ;
  KQRNvKP -> KRNvKP;
  KQRNvKP -> KQRNvKR;
  KQRNvKP -> KQNvKP;
  KQRNvKP -> KQRNvKB;
  KQRNvKP -> KQRNvKN;
  KQRNvKP -> KQRvKP;
  KQRNvKP -> KQRNvK;
  KRNvKP -> KRNvKQ;
  KRNvKP -> KRNvKR;
  KRNvKP -> KNvKP;
  KRNvKP -> KRNvKB;
  KRNvKP -> KRNvKN;
  KRNvKP -> KRvKP;
  KRNvKP -> KRNvK;
  KQPvKRN -> KQQvKRN;
  KQPvKRN -> KRNvKP;
  KQPvKRN -> KQRvKRN;
  KQPvKRN -> KQPvKN;
  KQPvKRN -> KQBvKRN;
  KQPvKRN -> KQNvKRN;
  KQPvKRN -> KQPvKR;
  KQPvKRN -> KRNvKQ;
  KQQvKRN -> KRNvKQ;
  KQQvKRN -> KQQvKN;
  KQQvKRN -> KQQvKR;
  KQRNvKQQ -> KQQvKRN;
  KQRNvKQQ -> KQRNvKQ;
  KQRNvKQQ -> KQQvKQN;
  KQRNvKQQ -> KQQvKQR;
}