digraph Syzygy { KNNNvKPP -> KNNNvKQP; KNNNvKPP -> KNNNvKRP; KNNNvKPP -> KNNNvKBP; KNNNvKPP -> KNNNvKNP; KNNNvKPP -> KNNvKPP; KNNNvKPP -> KNNNvKP; KNNNvKP -> KNNNvKQ; KNNNvKP -> KNNNvKR; KNNNvKP -> KNNNvKB; KNNNvKP -> KNNNvKN; KNNNvKP -> KNNvKP; KNNNvKP -> KNNNvK; KNNNvK -> KNNvK; KNNvK -> KNvK; KNNvKP -> KNNvKQ; KNNvKP -> KNNvKR; KNNvKP -> KNNvKB; KNNvKP -> KNNvKN; KNNvKP -> KNvKP; KNNvKP -> KNNvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KNvKN -> KNvK; KBvKN -> KNvK; KBvKN -> KBvK; KRvKN -> KNvK; KRvKN -> KRvK; KQvKN -> KNvK; KQvKN -> KQvK; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KNNNvKN -> KNNvKN; KNNNvKN -> KNNNvK; KNNNvKB -> KNNNvK; KNNNvKB -> KNNvKB; KNNNvKR -> KNNNvK; KNNNvKR -> KNNvKR; KNNNvKQ -> KNNNvK; KNNNvKQ -> KNNvKQ; KNNvKPP -> KQPvKNN; KNNvKPP -> KRPvKNN; KNNvKPP -> KBPvKNN; KNNvKPP -> KNNvKNP; KNNvKPP -> KPPvKN; KNNvKPP -> KNNvKP; KPPvKN -> KQPvKN; KPPvKN -> KRPvKN; KPPvKN -> KBPvKN; KPPvKN -> KNPvKN; KPPvKN -> KPPvK; KPPvKN -> KNvKP; KPPvK -> KQPvK; KPPvK -> KRPvK; KPPvK -> KBPvK; KPPvK -> KNPvK; KPPvK -> KPvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KBNvK -> KNvK; KBNvK -> KBvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNvK -> KNvK; KQNvK -> KQvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KBBvK -> KBvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBvK -> KBvK; KQBvK -> KQvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KRRvK -> KRvK; KQRvK -> KRvK; KQRvK -> KQvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KQQvK -> KQvK; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KBPvKN -> KQBvKN; KBPvKN -> KRBvKN; KBPvKN -> KBBvKN; KBPvKN -> KNvKP; KBPvKN -> KBNvKN; KBPvKN -> KBPvK; KBPvKN -> KBvKN; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KRPvKN -> KQRvKN; KRPvKN -> KRRvKN; KRPvKN -> KNvKP; KRPvKN -> KRBvKN; KRPvKN -> KRNvKN; KRPvKN -> KRPvK; KRPvKN -> KRvKN; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KNNvKNP -> KQNvKNN; KNNvKNP -> KRNvKNN; KNNvKNP -> KBNvKNN; KNNvKNP -> KNNvKNN; KNNvKNP -> KNPvKN; KNNvKNP -> KNNvKP; KNNvKNP -> KNNvKN; KNNvKNN -> KNNvKN; KBNvKNN -> KNNvKN; KBNvKNN -> KNNvKB; KBNvKNN -> KBNvKN; KRNvKNN -> KNNvKN; KRNvKNN -> KNNvKR; KRNvKNN -> KRNvKN; KQNvKNN -> KNNvKN; KQNvKNN -> KNNvKQ; KQNvKNN -> KQNvKN; KBPvKNN -> KQBvKNN; KBPvKNN -> KRBvKNN; KBPvKNN -> KBBvKNN; KBPvKNN -> KNNvKP; KBPvKNN -> KBNvKNN; KBPvKNN -> KBPvKN; KBPvKNN -> KNNvKB; KBBvKNN -> KNNvKB; KBBvKNN -> KBBvKN; KRBvKNN -> KNNvKB; KRBvKNN -> KNNvKR; KRBvKNN -> KRBvKN; KQBvKNN -> KNNvKB; KQBvKNN -> KNNvKQ; KQBvKNN -> KQBvKN; KRPvKNN -> KQRvKNN; KRPvKNN -> KRRvKNN; KRPvKNN -> KNNvKP; KRPvKNN -> KRBvKNN; KRPvKNN -> KRNvKNN; KRPvKNN -> KRPvKN; KRPvKNN -> KNNvKR; KRRvKNN -> KNNvKR; KRRvKNN -> KRRvKN; KQRvKNN -> KNNvKR; KQRvKNN -> KNNvKQ; KQRvKNN -> KQRvKN; KQPvKNN -> KQQvKNN; KQPvKNN -> KNNvKP; KQPvKNN -> KQRvKNN; KQPvKNN -> KQBvKNN; KQPvKNN -> KQNvKNN; KQPvKNN -> KQPvKN; KQPvKNN -> KNNvKQ; KQQvKNN -> KNNvKQ; KQQvKNN -> KQQvKN; KNNNvKNP -> KNNNvKQN; KNNNvKNP -> KNNNvKRN; KNNNvKNP -> KNNNvKBN; KNNNvKNP -> KNNNvKNN; KNNNvKNP -> KNNvKNP; KNNNvKNP -> KNNNvKP; KNNNvKNP -> KNNNvKN; KNNNvKNN -> KNNvKNN; KNNNvKNN -> KNNNvKN; KNNNvKBN -> KNNNvKN; KNNNvKBN -> KBNvKNN; KNNNvKBN -> KNNNvKB; KNNNvKRN -> KNNNvKN; KNNNvKRN -> KRNvKNN; KNNNvKRN -> KNNNvKR; KNNNvKQN -> KNNNvKN; KNNNvKQN -> KQNvKNN; KNNNvKQN -> KNNNvKQ; KNNNvKBP -> KNNNvKQB; KNNNvKBP -> KNNNvKRB; KNNNvKBP -> KNNNvKBB; KNNNvKBP -> KNNNvKP; KNNNvKBP -> KNNNvKBN; KNNNvKBP -> KBPvKNN; KNNNvKBP -> KNNNvKB; KNNNvKBB -> KNNNvKB; KNNNvKBB -> KBBvKNN; KNNNvKRB -> KNNNvKB; KNNNvKRB -> KNNNvKR; KNNNvKRB -> KRBvKNN; KNNNvKQB -> KNNNvKB; KNNNvKQB -> KNNNvKQ; KNNNvKQB -> KQBvKNN; KNNNvKRP -> KNNNvKQR; KNNNvKRP -> KNNNvKRR; KNNNvKRP -> KNNNvKP; KNNNvKRP -> KNNNvKRB; KNNNvKRP -> KNNNvKRN; KNNNvKRP -> KRPvKNN; KNNNvKRP -> KNNNvKR; KNNNvKRR -> KNNNvKR; KNNNvKRR -> KRRvKNN; KNNNvKQR -> KNNNvKR; KNNNvKQR -> KNNNvKQ; KNNNvKQR -> KQRvKNN; KNNNvKQP -> KNNNvKQQ; KNNNvKQP -> KNNNvKP; KNNNvKQP -> KNNNvKQR; KNNNvKQP -> KNNNvKQB; KNNNvKQP -> KNNNvKQN; KNNNvKQP -> KQPvKNN; KNNNvKQP -> KNNNvKQ; KNNNvKQQ -> KNNNvKQ; KNNNvKQQ -> KQQvKNN; }