digraph Syzygy { KRRRvKRP -> KRRRvKQR; KRRRvKRP -> KRRRvKRR; KRRRvKRP -> KRRvKRP; KRRRvKRP -> KRRRvKP; KRRRvKRP -> KRRRvKRB; KRRRvKRP -> KRRRvKRN; KRRRvKRP -> KRRRvKR; KRRRvKR -> KRRvKR; KRRRvKR -> KRRRvK; KRRRvK -> KRRvK; KRRvK -> KRvK; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KRvKR -> KRvK; KRRRvKRN -> KRRvKRN; KRRRvKRN -> KRRRvKN; KRRRvKRN -> KRRRvKR; KRRRvKN -> KRRvKN; KRRRvKN -> KRRRvK; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KRvKN -> KNvK; KRvKN -> KRvK; KRRvKRN -> KRNvKR; KRRvKRN -> KRRvKN; KRRvKRN -> KRRvKR; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KRNvK -> KNvK; KRNvK -> KRvK; KRRRvKRB -> KRRvKRB; KRRRvKRB -> KRRRvKB; KRRRvKRB -> KRRRvKR; KRRRvKB -> KRRvKB; KRRRvKB -> KRRRvK; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KRvKB -> KBvK; KRvKB -> KRvK; KRRvKRB -> KRBvKR; KRRvKRB -> KRRvKB; KRRvKRB -> KRRvKR; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KRBvK -> KBvK; KRBvK -> KRvK; KRRRvKP -> KRRRvKQ; KRRRvKP -> KRRRvKR; KRRRvKP -> KRRvKP; KRRRvKP -> KRRRvKB; KRRRvKP -> KRRRvKN; KRRRvKP -> KRRRvK; 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; KQvKR -> KRvK; KQvKR -> KQvK; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KRRRvKQ -> KRRRvK; KRRRvKQ -> KRRvKQ; KRRvKRP -> KQRvKRR; KRRvKRP -> KRRvKRR; KRRvKRP -> KRPvKR; KRRvKRP -> KRRvKP; KRRvKRP -> KRRvKRB; KRRvKRP -> KRRvKRN; KRRvKRP -> KRRvKR; KRPvKR -> KQRvKR; KRPvKR -> KRRvKR; KRPvKR -> KRvKP; KRPvKR -> KRPvK; KRPvKR -> KRBvKR; KRPvKR -> KRNvKR; KRPvKR -> KRvKR; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KQRvK -> KRvK; KQRvK -> KQvK; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KRRvKRR -> KRRvKR; KQRvKRR -> KRRvKR; KQRvKRR -> KRRvKQ; KQRvKRR -> KQRvKR; KRRRvKRR -> KRRvKRR; KRRRvKRR -> KRRRvKR; KRRRvKQR -> KRRRvKR; KRRRvKQR -> KQRvKRR; KRRRvKQR -> KRRRvKQ; }