digraph Syzygy { KRRNvKPP -> KRRNvKQP; KRRNvKPP -> KRRNvKRP; KRRNvKPP -> KRNvKPP; KRRNvKPP -> KRRNvKBP; KRRNvKPP -> KRRNvKNP; KRRNvKPP -> KRRvKPP; KRRNvKPP -> KRRNvKP; KRRNvKP -> KRRNvKQ; KRRNvKP -> KRRNvKR; KRRNvKP -> KRNvKP; KRRNvKP -> KRRNvKB; KRRNvKP -> KRRNvKN; KRRNvKP -> KRRvKP; KRRNvKP -> KRRNvK; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KRRvK -> KRvK; KRNvK -> KNvK; KRNvK -> KRvK; KRRvKP -> KRRvKQ; KRRvKP -> KRRvKR; KRRvKP -> KRvKP; KRRvKP -> KRRvKB; KRRvKP -> KRRvKN; KRRvKP -> KRRvK; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KRvKN -> KNvK; KRvKN -> KRvK; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KRvKB -> KBvK; KRvKB -> KRvK; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KRvKR -> KRvK; KQvKR -> KRvK; KQvKR -> KQvK; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KRRNvKN -> KRNvKN; KRRNvKN -> KRRvKN; KRRNvKN -> KRRNvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KNvKN -> KNvK; KRRNvKB -> KRNvKB; KRRNvKB -> KRRNvK; KRRNvKB -> KRRvKB; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KBvKN -> KNvK; KBvKN -> KBvK; KRNvKP -> KRNvKQ; KRNvKP -> KRNvKR; KRNvKP -> KNvKP; KRNvKP -> KRNvKB; KRNvKP -> KRNvKN; KRNvKP -> KRvKP; KRNvKP -> KRNvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQvKN -> KNvK; KQvKN -> KQvK; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KRRNvKR -> KRNvKR; KRRNvKR -> KRRNvK; KRRNvKR -> KRRvKR; KRRNvKQ -> KRRNvK; KRRNvKQ -> KRNvKQ; KRRNvKQ -> KRRvKQ; KRRvKPP -> KQPvKRR; KRRvKPP -> KRRvKRP; KRRvKPP -> KPPvKR; KRRvKPP -> KRRvKBP; KRRvKPP -> KRRvKNP; KRRvKPP -> KRRvKP; KRRvKNP -> KQNvKRR; KRRvKNP -> KRRvKRN; KRRvKNP -> KNPvKR; KRRvKNP -> KRRvKBN; KRRvKNP -> KRRvKNN; KRRvKNP -> KRRvKP; KRRvKNP -> KRRvKN; KRRvKNN -> KNNvKR; KRRvKNN -> KRRvKN; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvK -> KNvK; KRRvKBN -> KBNvKR; KRRvKBN -> KRRvKN; KRRvKBN -> KRRvKB; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KBNvK -> KNvK; KBNvK -> KBvK; KNPvKR -> KQNvKR; KNPvKR -> KRNvKR; KNPvKR -> KNPvK; KNPvKR -> KBNvKR; KNPvKR -> KNNvKR; KNPvKR -> KRvKP; KNPvKR -> KRvKN; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQNvK -> KNvK; KQNvK -> KQvK; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KRRvKRN -> KRNvKR; KRRvKRN -> KRRvKN; KRRvKRN -> KRRvKR; KQNvKRR -> KRRvKN; KQNvKRR -> KQNvKR; KQNvKRR -> KRRvKQ; KRRvKBP -> KQBvKRR; KRRvKBP -> KRRvKRB; KRRvKBP -> KBPvKR; KRRvKBP -> KRRvKBB; KRRvKBP -> KRRvKP; KRRvKBP -> KRRvKBN; KRRvKBP -> KRRvKB; KRRvKBB -> KBBvKR; KRRvKBB -> KRRvKB; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KBBvK -> KBvK; KBPvKR -> KQBvKR; KBPvKR -> KRBvKR; KBPvKR -> KBPvK; KBPvKR -> KBBvKR; KBPvKR -> KRvKP; KBPvKR -> KBNvKR; KBPvKR -> KRvKB; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBvK -> KBvK; KQBvK -> KQvK; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KRRvKRB -> KRBvKR; KRRvKRB -> KRRvKB; KRRvKRB -> KRRvKR; KQBvKRR -> KRRvKB; KQBvKRR -> KQBvKR; KQBvKRR -> KRRvKQ; KPPvKR -> KQPvKR; KPPvKR -> KRPvKR; KPPvKR -> KPPvK; KPPvKR -> KBPvKR; KPPvKR -> KNPvKR; KPPvKR -> KRvKP; KPPvK -> KQPvK; KPPvK -> KRPvK; KPPvK -> KBPvK; KPPvK -> KNPvK; KPPvK -> KPvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KQRvK -> KRvK; KQRvK -> KQvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KQQvK -> KQvK; KRPvKR -> KQRvKR; KRPvKR -> KRRvKR; KRPvKR -> KRvKP; KRPvKR -> KRPvK; KRPvKR -> KRBvKR; KRPvKR -> KRNvKR; KRPvKR -> KRvKR; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KQPvKR -> KQQvKR; KQPvKR -> KRvKP; KQPvKR -> KQRvKR; KQPvKR -> KQPvK; KQPvKR -> KQBvKR; KQPvKR -> KQNvKR; KQPvKR -> KQvKR; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KRRvKRP -> KQRvKRR; KRRvKRP -> KRRvKRR; KRRvKRP -> KRPvKR; KRRvKRP -> KRRvKP; KRRvKRP -> KRRvKRB; KRRvKRP -> KRRvKRN; KRRvKRP -> KRRvKR; KRRvKRR -> KRRvKR; KQRvKRR -> KRRvKR; KQRvKRR -> KRRvKQ; KQRvKRR -> KQRvKR; KQPvKRR -> KQQvKRR; KQPvKRR -> KRRvKP; KQPvKRR -> KQRvKRR; KQPvKRR -> KQPvKR; KQPvKRR -> KQBvKRR; KQPvKRR -> KQNvKRR; KQPvKRR -> KRRvKQ; KQQvKRR -> KRRvKQ; KQQvKRR -> KQQvKR; KRRNvKNP -> KRRNvKQN; KRRNvKNP -> KRRNvKRN; KRRNvKNP -> KRNvKNP; KRRNvKNP -> KRRNvKBN; KRRNvKNP -> KRRNvKNN; KRRNvKNP -> KRRvKNP; KRRNvKNP -> KRRNvKP; KRRNvKNP -> KRRNvKN; KRRNvKNN -> KRNvKNN; KRRNvKNN -> KRRvKNN; KRRNvKNN -> KRRNvKN; KRNvKNN -> KNNvKN; KRNvKNN -> KNNvKR; KRNvKNN -> KRNvKN; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KRRNvKBN -> KRNvKBN; KRRNvKBN -> KRRNvKN; KRRNvKBN -> KRRvKBN; KRRNvKBN -> KRRNvKB; KRNvKBN -> KBNvKN; KRNvKBN -> KRNvKN; KRNvKBN -> KBNvKR; KRNvKBN -> KRNvKB; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KRNvKNP -> KQNvKRN; KRNvKNP -> KRNvKRN; KRNvKNP -> KNPvKN; KRNvKNP -> KRNvKBN; KRNvKNP -> KRNvKNN; KRNvKNP -> KNPvKR; KRNvKNP -> KRNvKP; KRNvKNP -> KRNvKN; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KRNvKRN -> KRNvKN; KRNvKRN -> KRNvKR; KQNvKRN -> KRNvKN; KQNvKRN -> KQNvKN; KQNvKRN -> KRNvKQ; KQNvKRN -> KQNvKR; KRRNvKRN -> KRNvKRN; KRRNvKRN -> KRRNvKN; KRRNvKRN -> KRRvKRN; KRRNvKRN -> KRRNvKR; KRRNvKQN -> KRRNvKN; KRRNvKQN -> KQNvKRN; KRRNvKQN -> KQNvKRR; KRRNvKQN -> KRRNvKQ; KRRNvKBP -> KRRNvKQB; KRRNvKBP -> KRRNvKRB; KRRNvKBP -> KRNvKBP; KRRNvKBP -> KRRNvKBB; KRRNvKBP -> KRRNvKP; KRRNvKBP -> KRRNvKBN; KRRNvKBP -> KRRvKBP; KRRNvKBP -> KRRNvKB; KRRNvKBB -> KRNvKBB; KRRNvKBB -> KRRNvKB; KRRNvKBB -> KRRvKBB; KRNvKBB -> KBBvKN; KRNvKBB -> KRNvKB; KRNvKBB -> KBBvKR; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KRNvKBP -> KQBvKRN; KRNvKBP -> KRBvKRN; KRNvKBP -> KBPvKN; KRNvKBP -> KRNvKBB; KRNvKBP -> KRNvKP; KRNvKBP -> KRNvKBN; KRNvKBP -> KBPvKR; KRNvKBP -> KRNvKB; KBPvKN -> KQBvKN; KBPvKN -> KRBvKN; KBPvKN -> KBBvKN; KBPvKN -> KNvKP; KBPvKN -> KBNvKN; KBPvKN -> KBPvK; KBPvKN -> KBvKN; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KRBvKRN -> KRNvKB; KRBvKRN -> KRBvKN; KRBvKRN -> KRNvKR; KRBvKRN -> KRBvKR; KQBvKRN -> KRNvKB; KQBvKRN -> KQBvKN; KQBvKRN -> KRNvKQ; KQBvKRN -> KQBvKR; KRRNvKRB -> KRBvKRN; KRRNvKRB -> KRRNvKB; KRRNvKRB -> KRRNvKR; KRRNvKRB -> KRRvKRB; KRRNvKQB -> KRRNvKB; KRRNvKQB -> KQBvKRN; KRRNvKQB -> KRRNvKQ; KRRNvKQB -> KQBvKRR; KRNvKPP -> KQPvKRN; KRNvKPP -> KRNvKRP; KRNvKPP -> KPPvKN; KRNvKPP -> KRNvKBP; KRNvKPP -> KRNvKNP; KRNvKPP -> KPPvKR; KRNvKPP -> KRNvKP; KPPvKN -> KQPvKN; KPPvKN -> KRPvKN; KPPvKN -> KBPvKN; KPPvKN -> KNPvKN; KPPvKN -> KPPvK; KPPvKN -> KNvKP; KRPvKN -> KQRvKN; KRPvKN -> KRRvKN; KRPvKN -> KNvKP; KRPvKN -> KRBvKN; KRPvKN -> KRNvKN; KRPvKN -> KRPvK; KRPvKN -> KRvKN; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KRNvKRP -> KQRvKRN; KRNvKRP -> KRRvKRN; KRNvKRP -> KRPvKN; KRNvKRP -> KRNvKP; KRNvKRP -> KRBvKRN; KRNvKRP -> KRNvKRN; KRNvKRP -> KRPvKR; KRNvKRP -> KRNvKR; KQRvKRN -> KRNvKR; KQRvKRN -> KRNvKQ; KQRvKRN -> KQRvKN; KQRvKRN -> KQRvKR; KQPvKRN -> KQQvKRN; KQPvKRN -> KRNvKP; KQPvKRN -> KQRvKRN; KQPvKRN -> KQPvKN; KQPvKRN -> KQBvKRN; KQPvKRN -> KQNvKRN; KQPvKRN -> KQPvKR; KQPvKRN -> KRNvKQ; KQQvKRN -> KRNvKQ; KQQvKRN -> KQQvKN; KQQvKRN -> KQQvKR; KRRNvKRP -> KRRNvKQR; KRRNvKRP -> KRRNvKRR; KRRNvKRP -> KRNvKRP; KRRNvKRP -> KRRNvKP; KRRNvKRP -> KRRNvKRB; KRRNvKRP -> KRRNvKRN; KRRNvKRP -> KRRvKRP; KRRNvKRP -> KRRNvKR; KRRNvKRR -> KRRvKRN; KRRNvKRR -> KRRNvKR; KRRNvKRR -> KRRvKRR; KRRNvKQR -> KRRNvKR; KRRNvKQR -> KQRvKRN; KRRNvKQR -> KRRNvKQ; KRRNvKQR -> KQRvKRR; KRRNvKQP -> KRRNvKQQ; KRRNvKQP -> KRRNvKP; KRRNvKQP -> KRRNvKQR; KRRNvKQP -> KQPvKRN; KRRNvKQP -> KRRNvKQB; KRRNvKQP -> KRRNvKQN; KRRNvKQP -> KQPvKRR; KRRNvKQP -> KRRNvKQ; KRRNvKQQ -> KRRNvKQ; KRRNvKQQ -> KQQvKRN; KRRNvKQQ -> KQQvKRR; }