digraph Syzygy { KRRPvKRP -> KQRRvKRP; KRRPvKRP -> KRRPvKQR; KRRPvKRP -> KRRRvKRP; KRRPvKRP -> KRRPvKRR; KRRPvKRP -> KRPvKRP; KRRPvKRP -> KRRPvKP; KRRPvKRP -> KRRBvKRP; KRRPvKRP -> KRRPvKRB; KRRPvKRP -> KRRNvKRP; KRRPvKRP -> KRRPvKRN; KRRPvKRP -> KRRvKRP; KRRPvKRP -> KRRPvKR; KRRPvKR -> KQRRvKR; KRRPvKR -> KRRRvKR; KRRPvKR -> KRPvKR; KRRPvKR -> KRRPvK; KRRPvKR -> KRRBvKR; KRRPvKR -> KRRNvKR; KRRPvKR -> KRRvKR; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KRRvK -> KRvK; KRvKR -> KRvK; KRRNvKR -> KRNvKR; KRRNvKR -> KRRNvK; KRRNvKR -> KRRvKR; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KRNvK -> KNvK; KRNvK -> KRvK; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KRvKN -> KNvK; KRvKN -> KRvK; KRRBvKR -> KRBvKR; KRRBvKR -> KRRBvK; KRRBvKR -> KRRvKR; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KRBvK -> KBvK; KRBvK -> KRvK; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KRvKB -> KBvK; KRvKB -> KRvK; KRRPvK -> KQRRvK; KRRPvK -> KRRRvK; KRRPvK -> KRPvK; KRRPvK -> KRRBvK; KRRPvK -> KRRNvK; KRRPvK -> KRRvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQRvK -> KRvK; KQRvK -> KQvK; KRRRvK -> KRRvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KRPvKR -> KQRvKR; KRPvKR -> KRRvKR; KRPvKR -> KRvKP; KRPvKR -> KRPvK; KRPvKR -> KRBvKR; KRPvKR -> KRNvKR; KRPvKR -> KRvKR; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KQvKR -> KRvK; KQvKR -> KQvK; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KRRRvKR -> KRRvKR; KRRRvKR -> KRRRvK; KQRRvKR -> KRRvKR; KQRRvKR -> KQRvKR; KQRRvKR -> KQRRvK; KRRvKRP -> KQRvKRR; KRRvKRP -> KRRvKRR; KRRvKRP -> KRPvKR; KRRvKRP -> KRRvKP; KRRvKRP -> KRRvKRB; KRRvKRP -> KRRvKRN; KRRvKRP -> KRRvKR; KRRvKRN -> KRNvKR; KRRvKRN -> KRRvKN; KRRvKRN -> KRRvKR; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KRRvKRB -> KRBvKR; KRRvKRB -> KRRvKB; KRRvKRB -> KRRvKR; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KRRvKP -> KRRvKQ; KRRvKP -> KRRvKR; KRRvKP -> KRvKP; KRRvKP -> KRRvKB; KRRvKP -> KRRvKN; KRRvKP -> KRRvK; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KRRvKRR -> KRRvKR; KQRvKRR -> KRRvKR; KQRvKRR -> KRRvKQ; KQRvKRR -> KQRvKR; KRRPvKRN -> KQRRvKRN; KRRPvKRN -> KRRRvKRN; KRRPvKRN -> KRNvKRP; KRRPvKRN -> KRRPvKN; KRRPvKRN -> KRRBvKRN; KRRPvKRN -> KRRNvKRN; KRRPvKRN -> KRRPvKR; KRRPvKRN -> KRRvKRN; KRRNvKRN -> KRNvKRN; KRRNvKRN -> KRRNvKN; KRRNvKRN -> KRRvKRN; KRRNvKRN -> KRRNvKR; KRRNvKN -> KRNvKN; KRRNvKN -> KRRvKN; KRRNvKN -> KRRNvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KNvKN -> KNvK; KRNvKRN -> KRNvKN; KRNvKRN -> KRNvKR; KRRBvKRN -> KRBvKRN; KRRBvKRN -> KRRBvKN; KRRBvKRN -> KRRvKRN; KRRBvKRN -> KRRBvKR; KRRBvKN -> KRBvKN; KRRBvKN -> KRRvKN; KRRBvKN -> KRRBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KBvKN -> KNvK; KBvKN -> KBvK; KRBvKRN -> KRNvKB; KRBvKRN -> KRBvKN; KRBvKRN -> KRNvKR; KRBvKRN -> KRBvKR; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KRRPvKN -> KQRRvKN; KRRPvKN -> KRRRvKN; KRRPvKN -> KRPvKN; KRRPvKN -> KRRBvKN; KRRPvKN -> KRRNvKN; KRRPvKN -> KRRPvK; KRRPvKN -> KRRvKN; KRPvKN -> KQRvKN; KRPvKN -> KRRvKN; KRPvKN -> KNvKP; KRPvKN -> KRBvKN; KRPvKN -> KRNvKN; KRPvKN -> KRPvK; KRPvKN -> KRvKN; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQvKN -> KNvK; KQvKN -> KQvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRRRvKN -> KRRvKN; KRRRvKN -> KRRRvK; KQRRvKN -> KRRvKN; KQRRvKN -> KQRvKN; KQRRvKN -> KQRRvK; KRNvKRP -> KQRvKRN; KRNvKRP -> KRRvKRN; KRNvKRP -> KRPvKN; KRNvKRP -> KRNvKP; KRNvKRP -> KRBvKRN; KRNvKRP -> KRNvKRN; KRNvKRP -> KRPvKR; KRNvKRP -> KRNvKR; KRNvKP -> KRNvKQ; KRNvKP -> KRNvKR; KRNvKP -> KNvKP; KRNvKP -> KRNvKB; KRNvKP -> KRNvKN; KRNvKP -> KRvKP; KRNvKP -> KRNvK; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KQRvKRN -> KRNvKR; KQRvKRN -> KRNvKQ; KQRvKRN -> KQRvKN; KQRvKRN -> KQRvKR; KRRRvKRN -> KRRvKRN; KRRRvKRN -> KRRRvKN; KRRRvKRN -> KRRRvKR; KQRRvKRN -> KRRvKRN; KQRRvKRN -> KQRvKRN; KQRRvKRN -> KQRRvKN; KQRRvKRN -> KQRRvKR; KRRNvKRP -> KRRNvKQR; KRRNvKRP -> KRRNvKRR; KRRNvKRP -> KRNvKRP; KRRNvKRP -> KRRNvKP; KRRNvKRP -> KRRNvKRB; KRRNvKRP -> KRRNvKRN; KRRNvKRP -> KRRvKRP; KRRNvKRP -> KRRNvKR; KRRNvKRB -> KRBvKRN; KRRNvKRB -> KRRNvKB; KRRNvKRB -> KRRNvKR; KRRNvKRB -> KRRvKRB; KRRNvKB -> KRNvKB; KRRNvKB -> KRRNvK; KRRNvKB -> KRRvKB; KRRNvKP -> KRRNvKQ; KRRNvKP -> KRRNvKR; KRRNvKP -> KRNvKP; KRRNvKP -> KRRNvKB; KRRNvKP -> KRRNvKN; KRRNvKP -> KRRvKP; KRRNvKP -> KRRNvK; KRRNvKQ -> KRRNvK; KRRNvKQ -> KRNvKQ; KRRNvKQ -> KRRvKQ; KRRNvKRR -> KRRvKRN; KRRNvKRR -> KRRNvKR; KRRNvKRR -> KRRvKRR; KRRNvKQR -> KRRNvKR; KRRNvKQR -> KQRvKRN; KRRNvKQR -> KRRNvKQ; KRRNvKQR -> KQRvKRR; KRRPvKRB -> KQRRvKRB; KRRPvKRB -> KRRRvKRB; KRRPvKRB -> KRBvKRP; KRRPvKRB -> KRRPvKB; KRRPvKRB -> KRRBvKRB; KRRPvKRB -> KRRPvKR; KRRPvKRB -> KRRNvKRB; KRRPvKRB -> KRRvKRB; KRRBvKRB -> KRBvKRB; KRRBvKRB -> KRRBvKB; KRRBvKRB -> KRRvKRB; KRRBvKRB -> KRRBvKR; KRRBvKB -> KRBvKB; KRRBvKB -> KRRvKB; KRRBvKB -> KRRBvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KBvKB -> KBvK; KRBvKRB -> KRBvKB; KRBvKRB -> KRBvKR; KRRPvKB -> KQRRvKB; KRRPvKB -> KRRRvKB; KRRPvKB -> KRPvKB; KRRPvKB -> KRRBvKB; KRRPvKB -> KRRPvK; KRRPvKB -> KRRNvKB; KRRPvKB -> KRRvKB; KRPvKB -> KQRvKB; KRPvKB -> KRRvKB; KRPvKB -> KBvKP; KRPvKB -> KRBvKB; KRPvKB -> KRPvK; KRPvKB -> KRNvKB; KRPvKB -> KRvKB; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQvKB -> KBvK; KQvKB -> KQvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KRRRvKB -> KRRvKB; KRRRvKB -> KRRRvK; KQRRvKB -> KRRvKB; KQRRvKB -> KQRvKB; KQRRvKB -> KQRRvK; KRBvKRP -> KQRvKRB; KRBvKRP -> KRRvKRB; KRBvKRP -> KRPvKB; KRBvKRP -> KRBvKP; KRBvKRP -> KRBvKRB; KRBvKRP -> KRPvKR; KRBvKRP -> KRBvKRN; KRBvKRP -> KRBvKR; KRBvKP -> KRBvKQ; KRBvKP -> KRBvKR; KRBvKP -> KBvKP; KRBvKP -> KRBvKB; KRBvKP -> KRvKP; KRBvKP -> KRBvKN; KRBvKP -> KRBvK; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; KQRvKRB -> KRBvKR; KQRvKRB -> KRBvKQ; KQRvKRB -> KQRvKB; KQRvKRB -> KQRvKR; KRRRvKRB -> KRRvKRB; KRRRvKRB -> KRRRvKB; KRRRvKRB -> KRRRvKR; KQRRvKRB -> KRRvKRB; KQRRvKRB -> KQRvKRB; KQRRvKRB -> KQRRvKB; KQRRvKRB -> KQRRvKR; KRRBvKRP -> KRRBvKQR; KRRBvKRP -> KRRBvKRR; KRRBvKRP -> KRBvKRP; KRRBvKRP -> KRRBvKP; KRRBvKRP -> KRRBvKRB; KRRBvKRP -> KRRvKRP; KRRBvKRP -> KRRBvKRN; KRRBvKRP -> KRRBvKR; KRRBvKP -> KRRBvKQ; KRRBvKP -> KRRBvKR; KRRBvKP -> KRBvKP; KRRBvKP -> KRRBvKB; KRRBvKP -> KRRvKP; KRRBvKP -> KRRBvKN; KRRBvKP -> KRRBvK; KRRBvKQ -> KRRBvK; KRRBvKQ -> KRBvKQ; KRRBvKQ -> KRRvKQ; KRRBvKRR -> KRRvKRB; KRRBvKRR -> KRRBvKR; KRRBvKRR -> KRRvKRR; KRRBvKQR -> KRRBvKR; KRRBvKQR -> KQRvKRB; KRRBvKQR -> KRRBvKQ; KRRBvKQR -> KQRvKRR; KRRPvKP -> KQRRvKP; KRRPvKP -> KRRPvKQ; KRRPvKP -> KRRRvKP; KRRPvKP -> KRRPvKR; KRRPvKP -> KRPvKP; KRRPvKP -> KRRBvKP; KRRPvKP -> KRRPvKB; KRRPvKP -> KRRNvKP; KRRPvKP -> KRRPvKN; KRRPvKP -> KRRvKP; KRRPvKP -> KRRPvK; KRPvKP -> KQRvKP; KRPvKP -> KRPvKQ; KRPvKP -> KRRvKP; KRPvKP -> KRPvKR; KRPvKP -> KPvKP; KRPvKP -> KRBvKP; KRPvKP -> KRPvKB; KRPvKP -> KRNvKP; KRPvKP -> KRPvKN; KRPvKP -> KRvKP; KRPvKP -> KRPvK; KPvKP -> KQvKP; KPvKP -> KRvKP; KPvKP -> KBvKP; KPvKP -> KNvKP; KPvKP -> KPvK; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KQvKQ -> KQvK; KRPvKQ -> KQRvKQ; KRPvKQ -> KRPvK; KRPvKQ -> KRRvKQ; KRPvKQ -> KQvKP; KRPvKQ -> KRBvKQ; KRPvKQ -> KRNvKQ; KRPvKQ -> KQvKR; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KQRvKP -> KQRvKQ; KQRvKP -> KRvKP; KQRvKP -> KQRvKR; KQRvKP -> KQvKP; KQRvKP -> KQRvKB; KQRvKP -> KQRvKN; KQRvKP -> KQRvK; KRRRvKP -> KRRRvKQ; KRRRvKP -> KRRRvKR; KRRRvKP -> KRRvKP; KRRRvKP -> KRRRvKB; KRRRvKP -> KRRRvKN; KRRRvKP -> KRRRvK; KRRRvKQ -> KRRRvK; KRRRvKQ -> KRRvKQ; KRRPvKQ -> KQRRvKQ; KRRPvKQ -> KRRPvK; KRRPvKQ -> KRRRvKQ; KRRPvKQ -> KRPvKQ; KRRPvKQ -> KRRBvKQ; KRRPvKQ -> KRRNvKQ; KRRPvKQ -> KRRvKQ; KQRRvKQ -> KRRvKQ; KQRRvKQ -> KQRRvK; KQRRvKQ -> KQRvKQ; KQRRvKP -> KQRRvKQ; KQRRvKP -> KRRvKP; KQRRvKP -> KQRRvKR; KQRRvKP -> KQRvKP; KQRRvKP -> KQRRvKB; KQRRvKP -> KQRRvKN; KQRRvKP -> KQRRvK; KRPvKRP -> KQRvKRP; KRPvKRP -> KRRvKRP; KRPvKRP -> KRPvKP; KRPvKRP -> KRBvKRP; KRPvKRP -> KRNvKRP; KRPvKRP -> KRPvKR; KQRvKRP -> KQRvKQR; KQRvKRP -> KRPvKR; KQRvKRP -> KQRvKRR; KQRvKRP -> KRPvKQ; KQRvKRP -> KQRvKP; KQRvKRP -> KQRvKRB; KQRvKRP -> KQRvKRN; KQRvKRP -> KQRvKR; KQRvKQR -> KQRvKR; KQRvKQR -> KQRvKQ; KRRPvKRR -> KQRRvKRR; KRRPvKRR -> KRRRvKRR; KRRPvKRR -> KRRvKRP; KRRPvKRR -> KRRPvKR; KRRPvKRR -> KRRBvKRR; KRRPvKRR -> KRRNvKRR; KRRPvKRR -> KRRvKRR; KRRRvKRR -> KRRvKRR; KRRRvKRR -> KRRRvKR; KQRRvKRR -> KRRvKRR; KQRRvKRR -> KQRvKRR; KQRRvKRR -> KQRRvKR; KRRRvKRP -> KRRRvKQR; KRRRvKRP -> KRRRvKRR; KRRRvKRP -> KRRvKRP; KRRRvKRP -> KRRRvKP; KRRRvKRP -> KRRRvKRB; KRRRvKRP -> KRRRvKRN; KRRRvKRP -> KRRRvKR; KRRRvKQR -> KRRRvKR; KRRRvKQR -> KQRvKRR; KRRRvKQR -> KRRRvKQ; KRRPvKQR -> KQRRvKQR; KRRPvKQR -> KRRPvKR; KRRPvKQR -> KRRRvKQR; KRRPvKQR -> KQRvKRP; KRRPvKQR -> KRRPvKQ; KRRPvKQR -> KRRBvKQR; KRRPvKQR -> KRRNvKQR; KRRPvKQR -> KQRvKRR; KQRRvKQR -> KQRvKRR; KQRRvKQR -> KQRRvKR; KQRRvKQR -> KQRvKQR; KQRRvKQR -> KQRRvKQ; KQRRvKRP -> KQRRvKQR; KQRRvKRP -> KRRvKRP; KQRRvKRP -> KQRRvKRR; KQRRvKRP -> KQRvKRP; KQRRvKRP -> KQRRvKP; KQRRvKRP -> KQRRvKRB; KQRRvKRP -> KQRRvKRN; KQRRvKRP -> KQRRvKR; }