digraph Syzygy { KRRRvKNP -> KRRRvKQN; KRRRvKNP -> KRRRvKRN; KRRRvKNP -> KRRvKNP; KRRRvKNP -> KRRRvKBN; KRRRvKNP -> KRRRvKNN; KRRRvKNP -> KRRRvKP; KRRRvKNP -> KRRRvKN; KRRRvKN -> KRRvKN; KRRRvKN -> KRRRvK; KRRRvK -> KRRvK; KRRvK -> KRvK; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KRvKN -> KNvK; KRvKN -> KRvK; KRRRvKP -> KRRRvKQ; KRRRvKP -> KRRRvKR; KRRRvKP -> KRRvKP; KRRRvKP -> KRRRvKB; KRRRvKP -> KRRRvKN; KRRRvKP -> KRRRvK; KRRRvKB -> KRRvKB; KRRRvKB -> KRRRvK; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KRvKB -> KBvK; KRvKB -> KRvK; KRRvKP -> KRRvKQ; KRRvKP -> KRRvKR; KRRvKP -> KRvKP; KRRvKP -> KRRvKB; KRRvKP -> KRRvKN; KRRvKP -> KRRvK; 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; KRRRvKR -> KRRvKR; KRRRvKR -> KRRRvK; KRRRvKQ -> KRRRvK; KRRRvKQ -> KRRvKQ; KRRRvKNN -> KRRvKNN; KRRRvKNN -> KRRRvKN; KRRvKNN -> KNNvKR; KRRvKNN -> KRRvKN; KNNvKR -> KNNvK; KNNvKR -> KRvKN; KNNvK -> KNvK; KRRRvKBN -> KRRvKBN; KRRRvKBN -> KRRRvKN; KRRRvKBN -> KRRRvKB; KRRvKBN -> KBNvKR; KRRvKBN -> KRRvKN; KRRvKBN -> KRRvKB; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KBNvK -> KNvK; KBNvK -> KBvK; KRRvKNP -> KQNvKRR; KRRvKNP -> KRRvKRN; KRRvKNP -> KNPvKR; KRRvKNP -> KRRvKBN; KRRvKNP -> KRRvKNN; KRRvKNP -> KRRvKP; KRRvKNP -> KRRvKN; 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; KRNvK -> KNvK; KRNvK -> KRvK; KQNvK -> KNvK; KQNvK -> KQvK; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KRRvKRN -> KRNvKR; KRRvKRN -> KRRvKN; KRRvKRN -> KRRvKR; KQNvKRR -> KRRvKN; KQNvKRR -> KQNvKR; KQNvKRR -> KRRvKQ; KRRRvKRN -> KRRvKRN; KRRRvKRN -> KRRRvKN; KRRRvKRN -> KRRRvKR; KRRRvKQN -> KRRRvKN; KRRRvKQN -> KQNvKRR; KRRRvKQN -> KRRRvKQ; }