digraph Syzygy {
  KQPPvKRN -> KQQPvKRN;
  KQPPvKRN -> KRNvKPP;
  KQPPvKRN -> KQRPvKRN;
  KQPPvKRN -> KQPPvKN;
  KQPPvKRN -> KQBPvKRN;
  KQPPvKRN -> KQNPvKRN;
  KQPPvKRN -> KQPPvKR;
  KQPPvKRN -> KQPvKRN;
  KQPvKRN -> KQQvKRN;
  KQPvKRN -> KRNvKP;
  KQPvKRN -> KQRvKRN;
  KQPvKRN -> KQPvKN;
  KQPvKRN -> KQBvKRN;
  KQPvKRN -> KQNvKRN;
  KQPvKRN -> KQPvKR;
  KQPvKRN -> KRNvKQ;
  KRNvKQ -> KRNvK;
  KRNvKQ -> KQvKN;
  KRNvKQ -> KQvKR;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KQPvKR -> KQQvKR;
  KQPvKR -> KRvKP;
  KQPvKR -> KQRvKR;
  KQPvKR -> KQPvK;
  KQPvKR -> KQBvKR;
  KQPvKR -> KQNvKR;
  KQPvKR -> KQvKR;
  KQNvKR -> KRvKN;
  KQNvKR -> KQNvK;
  KQNvKR -> KQvKR;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
  KQBvKR -> KRvKB;
  KQBvKR -> KQBvK;
  KQBvKR -> KQvKR;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KQPvK -> KQQvK;
  KQPvK -> KPvK;
  KQPvK -> KQRvK;
  KQPvK -> KQBvK;
  KQPvK -> KQNvK;
  KQPvK -> KQvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KPvK -> KQvK;
  KPvK -> KRvK;
  KPvK -> KBvK;
  KPvK -> KNvK;
  KQQvK -> KQvK;
  KQRvKR -> KRvKR;
  KQRvKR -> KQvKR;
  KQRvKR -> KQRvK;
  KRvKR -> KRvK;
  KRvKP -> KQvKR;
  KRvKP -> KRvKR;
  KRvKP -> KPvK;
  KRvKP -> KRvKB;
  KRvKP -> KRvKN;
  KRvKP -> KRvK;
  KQQvKR -> KQvKR;
  KQQvKR -> KQQvK;
  KQNvKRN -> KRNvKN;
  KQNvKRN -> KQNvKN;
  KQNvKRN -> KRNvKQ;
  KQNvKRN -> KQNvKR;
  KQNvKN -> KNvKN;
  KQNvKN -> KQvKN;
  KQNvKN -> KQNvK;
  KNvKN -> KNvK;
  KRNvKN -> KNvKN;
  KRNvKN -> KRvKN;
  KRNvKN -> KRNvK;
  KQBvKRN -> KRNvKB;
  KQBvKRN -> KQBvKN;
  KQBvKRN -> KRNvKQ;
  KQBvKRN -> KQBvKR;
  KQBvKN -> KBvKN;
  KQBvKN -> KQvKN;
  KQBvKN -> KQBvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KQPvKN -> KQQvKN;
  KQPvKN -> KNvKP;
  KQPvKN -> KQRvKN;
  KQPvKN -> KQBvKN;
  KQPvKN -> KQNvKN;
  KQPvKN -> KQPvK;
  KQPvKN -> KQvKN;
  KQRvKN -> KRvKN;
  KQRvKN -> KQvKN;
  KQRvKN -> KQRvK;
  KNvKP -> KQvKN;
  KNvKP -> KRvKN;
  KNvKP -> KBvKN;
  KNvKP -> KNvKN;
  KNvKP -> KPvK;
  KNvKP -> KNvK;
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
  KQRvKRN -> KRNvKR;
  KQRvKRN -> KRNvKQ;
  KQRvKRN -> KQRvKN;
  KQRvKRN -> KQRvKR;
  KRNvKR -> KRvKN;
  KRNvKR -> KRNvK;
  KRNvKR -> KRvKR;
  KRNvKP -> KRNvKQ;
  KRNvKP -> KRNvKR;
  KRNvKP -> KNvKP;
  KRNvKP -> KRNvKB;
  KRNvKP -> KRNvKN;
  KRNvKP -> KRvKP;
  KRNvKP -> KRNvK;
  KQQvKRN -> KRNvKQ;
  KQQvKRN -> KQQvKN;
  KQQvKRN -> KQQvKR;
  KQPPvKR -> KQQPvKR;
  KQPPvKR -> KPPvKR;
  KQPPvKR -> KQRPvKR;
  KQPPvKR -> KQPPvK;
  KQPPvKR -> KQBPvKR;
  KQPPvKR -> KQNPvKR;
  KQPPvKR -> KQPvKR;
  KQNPvKR -> KQQNvKR;
  KQNPvKR -> KNPvKR;
  KQNPvKR -> KQRNvKR;
  KQNPvKR -> KQNPvK;
  KQNPvKR -> KQBNvKR;
  KQNPvKR -> KQNNvKR;
  KQNPvKR -> KQPvKR;
  KQNPvKR -> KQNvKR;
  KQNNvKR -> KNNvKR;
  KQNNvKR -> KQNNvK;
  KQNNvKR -> KQNvKR;
  KQNNvK -> KNNvK;
  KQNNvK -> KQNvK;
  KNNvK -> KNvK;
  KNNvKR -> KNNvK;
  KNNvKR -> KRvKN;
  KQBNvKR -> KBNvKR;
  KQBNvKR -> KQBNvK;
  KQBNvKR -> KQNvKR;
  KQBNvKR -> KQBvKR;
  KQBNvK -> KBNvK;
  KQBNvK -> KQNvK;
  KQBNvK -> KQBvK;
  KBNvK -> KNvK;
  KBNvK -> KBvK;
  KBNvKR -> KBNvK;
  KBNvKR -> KRvKN;
  KBNvKR -> KRvKB;
  KQNPvK -> KQQNvK;
  KQNPvK -> KNPvK;
  KQNPvK -> KQRNvK;
  KQNPvK -> KQBNvK;
  KQNPvK -> KQNNvK;
  KQNPvK -> KQPvK;
  KQNPvK -> KQNvK;
  KQRNvK -> KRNvK;
  KQRNvK -> KQNvK;
  KQRNvK -> KQRvK;
  KNPvK -> KQNvK;
  KNPvK -> KRNvK;
  KNPvK -> KBNvK;
  KNPvK -> KNNvK;
  KNPvK -> KPvK;
  KNPvK -> KNvK;
  KQQNvK -> KQNvK;
  KQQNvK -> KQQvK;
  KQRNvKR -> KRNvKR;
  KQRNvKR -> KQNvKR;
  KQRNvKR -> KQRNvK;
  KQRNvKR -> KQRvKR;
  KNPvKR -> KQNvKR;
  KNPvKR -> KRNvKR;
  KNPvKR -> KNPvK;
  KNPvKR -> KBNvKR;
  KNPvKR -> KNNvKR;
  KNPvKR -> KRvKP;
  KNPvKR -> KRvKN;
  KQQNvKR -> KQNvKR;
  KQQNvKR -> KQQNvK;
  KQQNvKR -> KQQvKR;
  KQBPvKR -> KQQBvKR;
  KQBPvKR -> KBPvKR;
  KQBPvKR -> KQRBvKR;
  KQBPvKR -> KQBPvK;
  KQBPvKR -> KQBBvKR;
  KQBPvKR -> KQPvKR;
  KQBPvKR -> KQBNvKR;
  KQBPvKR -> KQBvKR;
  KQBBvKR -> KBBvKR;
  KQBBvKR -> KQBBvK;
  KQBBvKR -> KQBvKR;
  KQBBvK -> KBBvK;
  KQBBvK -> KQBvK;
  KBBvK -> KBvK;
  KBBvKR -> KBBvK;
  KBBvKR -> KRvKB;
  KQBPvK -> KQQBvK;
  KQBPvK -> KBPvK;
  KQBPvK -> KQRBvK;
  KQBPvK -> KQBBvK;
  KQBPvK -> KQPvK;
  KQBPvK -> KQBNvK;
  KQBPvK -> KQBvK;
  KQRBvK -> KRBvK;
  KQRBvK -> KQBvK;
  KQRBvK -> KQRvK;
  KRBvK -> KBvK;
  KRBvK -> KRvK;
  KBPvK -> KQBvK;
  KBPvK -> KRBvK;
  KBPvK -> KBBvK;
  KBPvK -> KPvK;
  KBPvK -> KBNvK;
  KBPvK -> KBvK;
  KQQBvK -> KQBvK;
  KQQBvK -> KQQvK;
  KQRBvKR -> KRBvKR;
  KQRBvKR -> KQBvKR;
  KQRBvKR -> KQRBvK;
  KQRBvKR -> KQRvKR;
  KRBvKR -> KRvKB;
  KRBvKR -> KRBvK;
  KRBvKR -> KRvKR;
  KBPvKR -> KQBvKR;
  KBPvKR -> KRBvKR;
  KBPvKR -> KBPvK;
  KBPvKR -> KBBvKR;
  KBPvKR -> KRvKP;
  KBPvKR -> KBNvKR;
  KBPvKR -> KRvKB;
  KQQBvKR -> KQBvKR;
  KQQBvKR -> KQQBvK;
  KQQBvKR -> KQQvKR;
  KQPPvK -> KQQPvK;
  KQPPvK -> KPPvK;
  KQPPvK -> KQRPvK;
  KQPPvK -> KQBPvK;
  KQPPvK -> KQNPvK;
  KQPPvK -> KQPvK;
  KQRPvK -> KQQRvK;
  KQRPvK -> KRPvK;
  KQRPvK -> KQRRvK;
  KQRPvK -> KQPvK;
  KQRPvK -> KQRBvK;
  KQRPvK -> KQRNvK;
  KQRPvK -> KQRvK;
  KQRRvK -> KRRvK;
  KQRRvK -> KQRvK;
  KRRvK -> KRvK;
  KRPvK -> KQRvK;
  KRPvK -> KRRvK;
  KRPvK -> KPvK;
  KRPvK -> KRBvK;
  KRPvK -> KRNvK;
  KRPvK -> KRvK;
  KQQRvK -> KQRvK;
  KQQRvK -> KQQvK;
  KPPvK -> KQPvK;
  KPPvK -> KRPvK;
  KPPvK -> KBPvK;
  KPPvK -> KNPvK;
  KPPvK -> KPvK;
  KQQPvK -> KQQQvK;
  KQQPvK -> KQPvK;
  KQQPvK -> KQQRvK;
  KQQPvK -> KQQBvK;
  KQQPvK -> KQQNvK;
  KQQPvK -> KQQvK;
  KQQQvK -> KQQvK;
  KQRPvKR -> KQQRvKR;
  KQRPvKR -> KRPvKR;
  KQRPvKR -> KQRRvKR;
  KQRPvKR -> KQPvKR;
  KQRPvKR -> KQRPvK;
  KQRPvKR -> KQRBvKR;
  KQRPvKR -> KQRNvKR;
  KQRPvKR -> KQRvKR;
  KQRRvKR -> KRRvKR;
  KQRRvKR -> KQRvKR;
  KQRRvKR -> KQRRvK;
  KRRvKR -> KRvKR;
  KRRvKR -> KRRvK;
  KRPvKR -> KQRvKR;
  KRPvKR -> KRRvKR;
  KRPvKR -> KRvKP;
  KRPvKR -> KRPvK;
  KRPvKR -> KRBvKR;
  KRPvKR -> KRNvKR;
  KRPvKR -> KRvKR;
  KQQRvKR -> KQRvKR;
  KQQRvKR -> KQQvKR;
  KQQRvKR -> KQQRvK;
  KPPvKR -> KQPvKR;
  KPPvKR -> KRPvKR;
  KPPvKR -> KPPvK;
  KPPvKR -> KBPvKR;
  KPPvKR -> KNPvKR;
  KPPvKR -> KRvKP;
  KQQPvKR -> KQQQvKR;
  KQQPvKR -> KQPvKR;
  KQQPvKR -> KQQRvKR;
  KQQPvKR -> KQQPvK;
  KQQPvKR -> KQQBvKR;
  KQQPvKR -> KQQNvKR;
  KQQPvKR -> KQQvKR;
  KQQQvKR -> KQQvKR;
  KQQQvKR -> KQQQvK;
  KQNPvKRN -> KQQNvKRN;
  KQNPvKRN -> KRNvKNP;
  KQNPvKRN -> KQRNvKRN;
  KQNPvKRN -> KQNPvKN;
  KQNPvKRN -> KQBNvKRN;
  KQNPvKRN -> KQNNvKRN;
  KQNPvKRN -> KQPvKRN;
  KQNPvKRN -> KQNPvKR;
  KQNPvKRN -> KQNvKRN;
  KQNNvKRN -> KRNvKNN;
  KQNNvKRN -> KQNNvKN;
  KQNNvKRN -> KQNvKRN;
  KQNNvKRN -> KQNNvKR;
  KQNNvKN -> KNNvKN;
  KQNNvKN -> KQNvKN;
  KQNNvKN -> KQNNvK;
  KNNvKN -> KNvKN;
  KNNvKN -> KNNvK;
  KRNvKNN -> KNNvKN;
  KRNvKNN -> KNNvKR;
  KRNvKNN -> KRNvKN;
  KQBNvKRN -> KRNvKBN;
  KQBNvKRN -> KQBNvKN;
  KQBNvKRN -> KQNvKRN;
  KQBNvKRN -> KQBvKRN;
  KQBNvKRN -> KQBNvKR;
  KQBNvKN -> KBNvKN;
  KQBNvKN -> KQNvKN;
  KQBNvKN -> KQBvKN;
  KQBNvKN -> KQBNvK;
  KBNvKN -> KNvKN;
  KBNvKN -> KBvKN;
  KBNvKN -> KBNvK;
  KRNvKBN -> KBNvKN;
  KRNvKBN -> KRNvKN;
  KRNvKBN -> KBNvKR;
  KRNvKBN -> KRNvKB;
  KQNPvKN -> KQQNvKN;
  KQNPvKN -> KNPvKN;
  KQNPvKN -> KQRNvKN;
  KQNPvKN -> KQBNvKN;
  KQNPvKN -> KQNNvKN;
  KQNPvKN -> KQPvKN;
  KQNPvKN -> KQNPvK;
  KQNPvKN -> KQNvKN;
  KQRNvKN -> KRNvKN;
  KQRNvKN -> KQNvKN;
  KQRNvKN -> KQRvKN;
  KQRNvKN -> KQRNvK;
  KNPvKN -> KQNvKN;
  KNPvKN -> KRNvKN;
  KNPvKN -> KBNvKN;
  KNPvKN -> KNNvKN;
  KNPvKN -> KNvKP;
  KNPvKN -> KNPvK;
  KNPvKN -> KNvKN;
  KQQNvKN -> KQNvKN;
  KQQNvKN -> KQQvKN;
  KQQNvKN -> KQQNvK;
  KQRNvKRN -> KRNvKRN;
  KQRNvKRN -> KQNvKRN;
  KQRNvKRN -> KQRNvKN;
  KQRNvKRN -> KQRvKRN;
  KQRNvKRN -> KQRNvKR;
  KRNvKRN -> KRNvKN;
  KRNvKRN -> KRNvKR;
  KRNvKNP -> KQNvKRN;
  KRNvKNP -> KRNvKRN;
  KRNvKNP -> KNPvKN;
  KRNvKNP -> KRNvKBN;
  KRNvKNP -> KRNvKNN;
  KRNvKNP -> KNPvKR;
  KRNvKNP -> KRNvKP;
  KRNvKNP -> KRNvKN;
  KQQNvKRN -> KQNvKRN;
  KQQNvKRN -> KQQNvKN;
  KQQNvKRN -> KQQvKRN;
  KQQNvKRN -> KQQNvKR;
  KQBPvKRN -> KQQBvKRN;
  KQBPvKRN -> KRNvKBP;
  KQBPvKRN -> KQRBvKRN;
  KQBPvKRN -> KQBPvKN;
  KQBPvKRN -> KQBBvKRN;
  KQBPvKRN -> KQPvKRN;
  KQBPvKRN -> KQBNvKRN;
  KQBPvKRN -> KQBPvKR;
  KQBPvKRN -> KQBvKRN;
  KQBBvKRN -> KRNvKBB;
  KQBBvKRN -> KQBBvKN;
  KQBBvKRN -> KQBvKRN;
  KQBBvKRN -> KQBBvKR;
  KQBBvKN -> KBBvKN;
  KQBBvKN -> KQBvKN;
  KQBBvKN -> KQBBvK;
  KBBvKN -> KBvKN;
  KBBvKN -> KBBvK;
  KRNvKBB -> KBBvKN;
  KRNvKBB -> KRNvKB;
  KRNvKBB -> KBBvKR;
  KQBPvKN -> KQQBvKN;
  KQBPvKN -> KBPvKN;
  KQBPvKN -> KQRBvKN;
  KQBPvKN -> KQBBvKN;
  KQBPvKN -> KQPvKN;
  KQBPvKN -> KQBNvKN;
  KQBPvKN -> KQBPvK;
  KQBPvKN -> KQBvKN;
  KQRBvKN -> KRBvKN;
  KQRBvKN -> KQBvKN;
  KQRBvKN -> KQRvKN;
  KQRBvKN -> KQRBvK;
  KRBvKN -> KBvKN;
  KRBvKN -> KRvKN;
  KRBvKN -> KRBvK;
  KBPvKN -> KQBvKN;
  KBPvKN -> KRBvKN;
  KBPvKN -> KBBvKN;
  KBPvKN -> KNvKP;
  KBPvKN -> KBNvKN;
  KBPvKN -> KBPvK;
  KBPvKN -> KBvKN;
  KQQBvKN -> KQBvKN;
  KQQBvKN -> KQQvKN;
  KQQBvKN -> KQQBvK;
  KQRBvKRN -> KRBvKRN;
  KQRBvKRN -> KQBvKRN;
  KQRBvKRN -> KQRBvKN;
  KQRBvKRN -> KQRvKRN;
  KQRBvKRN -> KQRBvKR;
  KRBvKRN -> KRNvKB;
  KRBvKRN -> KRBvKN;
  KRBvKRN -> KRNvKR;
  KRBvKRN -> KRBvKR;
  KRNvKBP -> KQBvKRN;
  KRNvKBP -> KRBvKRN;
  KRNvKBP -> KBPvKN;
  KRNvKBP -> KRNvKBB;
  KRNvKBP -> KRNvKP;
  KRNvKBP -> KRNvKBN;
  KRNvKBP -> KBPvKR;
  KRNvKBP -> KRNvKB;
  KQQBvKRN -> KQBvKRN;
  KQQBvKRN -> KQQBvKN;
  KQQBvKRN -> KQQvKRN;
  KQQBvKRN -> KQQBvKR;
  KQPPvKN -> KQQPvKN;
  KQPPvKN -> KPPvKN;
  KQPPvKN -> KQRPvKN;
  KQPPvKN -> KQBPvKN;
  KQPPvKN -> KQNPvKN;
  KQPPvKN -> KQPPvK;
  KQPPvKN -> KQPvKN;
  KQRPvKN -> KQQRvKN;
  KQRPvKN -> KRPvKN;
  KQRPvKN -> KQRRvKN;
  KQRPvKN -> KQPvKN;
  KQRPvKN -> KQRBvKN;
  KQRPvKN -> KQRNvKN;
  KQRPvKN -> KQRPvK;
  KQRPvKN -> KQRvKN;
  KQRRvKN -> KRRvKN;
  KQRRvKN -> KQRvKN;
  KQRRvKN -> KQRRvK;
  KRRvKN -> KRvKN;
  KRRvKN -> KRRvK;
  KRPvKN -> KQRvKN;
  KRPvKN -> KRRvKN;
  KRPvKN -> KNvKP;
  KRPvKN -> KRBvKN;
  KRPvKN -> KRNvKN;
  KRPvKN -> KRPvK;
  KRPvKN -> KRvKN;
  KQQRvKN -> KQRvKN;
  KQQRvKN -> KQQvKN;
  KQQRvKN -> KQQRvK;
  KPPvKN -> KQPvKN;
  KPPvKN -> KRPvKN;
  KPPvKN -> KBPvKN;
  KPPvKN -> KNPvKN;
  KPPvKN -> KPPvK;
  KPPvKN -> KNvKP;
  KQQPvKN -> KQQQvKN;
  KQQPvKN -> KQPvKN;
  KQQPvKN -> KQQRvKN;
  KQQPvKN -> KQQBvKN;
  KQQPvKN -> KQQNvKN;
  KQQPvKN -> KQQPvK;
  KQQPvKN -> KQQvKN;
  KQQQvKN -> KQQvKN;
  KQQQvKN -> KQQQvK;
  KQRPvKRN -> KQQRvKRN;
  KQRPvKRN -> KRNvKRP;
  KQRPvKRN -> KQRRvKRN;
  KQRPvKRN -> KQPvKRN;
  KQRPvKRN -> KQRPvKN;
  KQRPvKRN -> KQRBvKRN;
  KQRPvKRN -> KQRNvKRN;
  KQRPvKRN -> KQRPvKR;
  KQRPvKRN -> KQRvKRN;
  KQRRvKRN -> KRRvKRN;
  KQRRvKRN -> KQRvKRN;
  KQRRvKRN -> KQRRvKN;
  KQRRvKRN -> KQRRvKR;
  KRRvKRN -> KRNvKR;
  KRRvKRN -> KRRvKN;
  KRRvKRN -> KRRvKR;
  KRNvKRP -> KQRvKRN;
  KRNvKRP -> KRRvKRN;
  KRNvKRP -> KRPvKN;
  KRNvKRP -> KRNvKP;
  KRNvKRP -> KRBvKRN;
  KRNvKRP -> KRNvKRN;
  KRNvKRP -> KRPvKR;
  KRNvKRP -> KRNvKR;
  KQQRvKRN -> KQRvKRN;
  KQQRvKRN -> KQQvKRN;
  KQQRvKRN -> KQQRvKN;
  KQQRvKRN -> KQQRvKR;
  KRNvKPP -> KQPvKRN;
  KRNvKPP -> KRNvKRP;
  KRNvKPP -> KPPvKN;
  KRNvKPP -> KRNvKBP;
  KRNvKPP -> KRNvKNP;
  KRNvKPP -> KPPvKR;
  KRNvKPP -> KRNvKP;
  KQQPvKRN -> KQQQvKRN;
  KQQPvKRN -> KQPvKRN;
  KQQPvKRN -> KQQRvKRN;
  KQQPvKRN -> KQQPvKN;
  KQQPvKRN -> KQQBvKRN;
  KQQPvKRN -> KQQNvKRN;
  KQQPvKRN -> KQQPvKR;
  KQQPvKRN -> KQQvKRN;
  KQQQvKRN -> KQQvKRN;
  KQQQvKRN -> KQQQvKN;
  KQQQvKRN -> KQQQvKR;
}