digraph Syzygy { KQRRvKRP -> KQRRvKQR; KQRRvKRP -> KRRvKRP; KQRRvKRP -> KQRRvKRR; KQRRvKRP -> KQRvKRP; KQRRvKRP -> KQRRvKP; KQRRvKRP -> KQRRvKRB; KQRRvKRP -> KQRRvKRN; KQRRvKRP -> KQRRvKR; KQRRvKR -> KRRvKR; KQRRvKR -> KQRvKR; KQRRvKR -> KQRRvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KQRvK -> KRvK; KQRvK -> KQvK; KRRvK -> KRvK; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KQvKR -> KRvK; KQvKR -> KQvK; KRvKR -> KRvK; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KQRRvKRN -> KRRvKRN; KQRRvKRN -> KQRvKRN; KQRRvKRN -> KQRRvKN; KQRRvKRN -> KQRRvKR; KQRRvKN -> KRRvKN; KQRRvKN -> KQRvKN; KQRRvKN -> KQRRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KQvKN -> KNvK; KQvKN -> KQvK; KRvKN -> KNvK; KRvKN -> KRvK; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KQRvKRN -> KRNvKR; KQRvKRN -> KRNvKQ; KQRvKRN -> KQRvKN; KQRvKRN -> KQRvKR; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KRNvK -> KNvK; KRNvK -> KRvK; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KRRvKRN -> KRNvKR; KRRvKRN -> KRRvKN; KRRvKRN -> KRRvKR; KQRRvKRB -> KRRvKRB; KQRRvKRB -> KQRvKRB; KQRRvKRB -> KQRRvKB; KQRRvKRB -> KQRRvKR; KQRRvKB -> KRRvKB; KQRRvKB -> KQRvKB; KQRRvKB -> KQRRvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KQvKB -> KBvK; KQvKB -> KQvK; KRvKB -> KBvK; KRvKB -> KRvK; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KQRvKRB -> KRBvKR; KQRvKRB -> KRBvKQ; KQRvKRB -> KQRvKB; KQRvKRB -> KQRvKR; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; KRBvK -> KBvK; KRBvK -> KRvK; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KRRvKRB -> KRBvKR; KRRvKRB -> KRRvKB; KRRvKRB -> KRRvKR; KQRRvKP -> KQRRvKQ; KQRRvKP -> KRRvKP; KQRRvKP -> KQRRvKR; KQRRvKP -> KQRvKP; KQRRvKP -> KQRRvKB; KQRRvKP -> KQRRvKN; KQRRvKP -> KQRRvK; KQRvKP -> KQRvKQ; KQRvKP -> KRvKP; KQRvKP -> KQRvKR; KQRvKP -> KQvKP; KQRvKP -> KQRvKB; KQRvKP -> KQRvKN; KQRvKP -> KQRvK; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQvKQ -> KQvK; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KRRvKP -> KRRvKQ; KRRvKP -> KRRvKR; KRRvKP -> KRvKP; KRRvKP -> KRRvKB; KRRvKP -> KRRvKN; KRRvKP -> KRRvK; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KQRRvKQ -> KRRvKQ; KQRRvKQ -> KQRRvK; KQRRvKQ -> KQRvKQ; KQRvKRP -> KQRvKQR; KQRvKRP -> KRPvKR; KQRvKRP -> KQRvKRR; KQRvKRP -> KRPvKQ; KQRvKRP -> KQRvKP; KQRvKRP -> KQRvKRB; KQRvKRP -> KQRvKRN; KQRvKRP -> KQRvKR; KRPvKQ -> KQRvKQ; KRPvKQ -> KRPvK; KRPvKQ -> KRRvKQ; KRPvKQ -> KQvKP; KRPvKQ -> KRBvKQ; KRPvKQ -> KRNvKQ; KRPvKQ -> KQvKR; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KQRvKRR -> KRRvKR; KQRvKRR -> KRRvKQ; KQRvKRR -> KQRvKR; KRPvKR -> KQRvKR; KRPvKR -> KRRvKR; KRPvKR -> KRvKP; KRPvKR -> KRPvK; KRPvKR -> KRBvKR; KRPvKR -> KRNvKR; KRPvKR -> KRvKR; KQRvKQR -> KQRvKR; KQRvKQR -> KQRvKQ; KQRRvKRR -> KRRvKRR; KQRRvKRR -> KQRvKRR; KQRRvKRR -> KQRRvKR; KRRvKRR -> KRRvKR; KRRvKRP -> KQRvKRR; KRRvKRP -> KRRvKRR; KRRvKRP -> KRPvKR; KRRvKRP -> KRRvKP; KRRvKRP -> KRRvKRB; KRRvKRP -> KRRvKRN; KRRvKRP -> KRRvKR; KQRRvKQR -> KQRvKRR; KQRRvKQR -> KQRRvKR; KQRRvKQR -> KQRvKQR; KQRRvKQR -> KQRRvKQ; }