digraph Syzygy { KQQRvKRP -> KQQRvKQR; KQQRvKRP -> KQRvKRP; KQQRvKRP -> KQQRvKRR; KQQRvKRP -> KQQvKRP; KQQRvKRP -> KQQRvKP; KQQRvKRP -> KQQRvKRB; KQQRvKRP -> KQQRvKRN; KQQRvKRP -> KQQRvKR; KQQRvKR -> KQRvKR; KQQRvKR -> KQQvKR; KQQRvKR -> KQQRvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQQvK -> KQvK; KQRvK -> KRvK; KQRvK -> KQvK; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KQvKR -> KRvK; KQvKR -> KQvK; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KRvKR -> KRvK; KQQRvKRN -> KQRvKRN; KQQRvKRN -> KQQvKRN; KQQRvKRN -> KQQRvKN; KQQRvKRN -> KQQRvKR; KQQRvKN -> KQRvKN; KQQRvKN -> KQQvKN; KQQRvKN -> KQQRvK; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQvKN -> KNvK; KQvKN -> KQvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRvKN -> KNvK; KRvKN -> KRvK; KQQvKRN -> KRNvKQ; KQQvKRN -> KQQvKN; KQQvKRN -> KQQvKR; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KRNvK -> KNvK; KRNvK -> KRvK; KQRvKRN -> KRNvKR; KQRvKRN -> KRNvKQ; KQRvKRN -> KQRvKN; KQRvKRN -> KQRvKR; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KQQRvKRB -> KQRvKRB; KQQRvKRB -> KQQvKRB; KQQRvKRB -> KQQRvKB; KQQRvKRB -> KQQRvKR; KQQRvKB -> KQRvKB; KQQRvKB -> KQQvKB; KQQRvKB -> KQQRvK; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KRvKB -> KBvK; KRvKB -> KRvK; KQQvKRB -> KRBvKQ; KQQvKRB -> KQQvKB; KQQvKRB -> KQQvKR; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; KRBvK -> KBvK; KRBvK -> KRvK; KQRvKRB -> KRBvKR; KQRvKRB -> KRBvKQ; KQRvKRB -> KQRvKB; KQRvKRB -> KQRvKR; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KQQRvKP -> KQQRvKQ; KQQRvKP -> KQRvKP; KQQRvKP -> KQQRvKR; KQQRvKP -> KQQvKP; KQQRvKP -> KQQRvKB; KQQRvKP -> KQQRvKN; KQQRvKP -> KQQRvK; KQQvKP -> KQQvKQ; KQQvKP -> KQvKP; KQQvKP -> KQQvKR; KQQvKP -> KQQvKB; KQQvKP -> KQQvKN; KQQvKP -> KQQvK; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQvKQ -> KQvK; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQRvKP -> KQRvKQ; KQRvKP -> KRvKP; KQRvKP -> KQRvKR; KQRvKP -> KQvKP; KQRvKP -> KQRvKB; KQRvKP -> KQRvKN; KQRvKP -> KQRvK; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KQQRvKQ -> KQRvKQ; KQQRvKQ -> KQQRvK; KQQRvKQ -> KQQvKQ; KQQvKRP -> KQQvKQR; KQQvKRP -> KRPvKQ; KQQvKRP -> KQQvKRR; KQQvKRP -> KQQvKP; KQQvKRP -> KQQvKRB; KQQvKRP -> KQQvKRN; KQQvKRP -> KQQvKR; KQQvKRR -> KRRvKQ; KQQvKRR -> KQQvKR; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KRRvK -> KRvK; 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; KQQvKQR -> KQRvKQ; KQQvKQR -> KQQvKR; KQQvKQR -> KQQvKQ; KQQRvKRR -> KQRvKRR; KQQRvKRR -> KQQvKRR; KQQRvKRR -> KQQRvKR; KQRvKRR -> KRRvKR; KQRvKRR -> KRRvKQ; KQRvKRR -> KQRvKR; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KQRvKRP -> KQRvKQR; KQRvKRP -> KRPvKR; KQRvKRP -> KQRvKRR; KQRvKRP -> KRPvKQ; KQRvKRP -> KQRvKP; KQRvKRP -> KQRvKRB; KQRvKRP -> KQRvKRN; KQRvKRP -> KQRvKR; KRPvKR -> KQRvKR; KRPvKR -> KRRvKR; KRPvKR -> KRvKP; KRPvKR -> KRPvK; KRPvKR -> KRBvKR; KRPvKR -> KRNvKR; KRPvKR -> KRvKR; KQRvKQR -> KQRvKR; KQRvKQR -> KQRvKQ; KQQRvKQR -> KQRvKQR; KQQRvKQR -> KQQRvKR; KQQRvKQR -> KQQvKQR; KQQRvKQR -> KQQRvKQ; }