digraph Syzygy { KQQPvKRN -> KQQQvKRN; KQQPvKRN -> KQPvKRN; KQQPvKRN -> KQQRvKRN; KQQPvKRN -> KQQPvKN; KQQPvKRN -> KQQBvKRN; KQQPvKRN -> KQQNvKRN; KQQPvKRN -> KQQPvKR; KQQPvKRN -> KQQvKRN; KQQvKRN -> KRNvKQ; KQQvKRN -> KQQvKN; KQQvKRN -> KQQvKR; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KQQvK -> KQvK; KQvKR -> KRvK; KQvKR -> KQvK; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQvKN -> KNvK; KQvKN -> KQvK; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KRNvK -> KNvK; KRNvK -> KRvK; KQQPvKR -> KQQQvKR; KQQPvKR -> KQPvKR; KQQPvKR -> KQQRvKR; KQQPvKR -> KQQPvK; KQQPvKR -> KQQBvKR; KQQPvKR -> KQQNvKR; KQQPvKR -> KQQvKR; KQQNvKR -> KQNvKR; KQQNvKR -> KQQNvK; KQQNvKR -> KQQvKR; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQNvK -> KNvK; KQNvK -> KQvK; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KRvKN -> KNvK; KRvKN -> KRvK; KQQBvKR -> KQBvKR; KQQBvKR -> KQQBvK; KQQBvKR -> KQQvKR; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KRvKB -> KBvK; KRvKB -> KRvK; KQQPvK -> KQQQvK; KQQPvK -> KQPvK; KQQPvK -> KQQRvK; KQQPvK -> KQQBvK; KQQPvK -> KQQNvK; KQQPvK -> KQQvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQRvK -> KRvK; KQRvK -> KQvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQQvK -> KQQvK; KQQRvKR -> KQRvKR; KQQRvKR -> KQQvKR; KQQRvKR -> KQQRvK; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KRvKR -> KRvK; KQPvKR -> KQQvKR; KQPvKR -> KRvKP; KQPvKR -> KQRvKR; KQPvKR -> KQPvK; KQPvKR -> KQBvKR; KQPvKR -> KQNvKR; KQPvKR -> KQvKR; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KQQQvKR -> KQQvKR; KQQQvKR -> KQQQvK; KQQNvKRN -> KQNvKRN; KQQNvKRN -> KQQNvKN; KQQNvKRN -> KQQvKRN; KQQNvKRN -> KQQNvKR; KQQNvKN -> KQNvKN; KQQNvKN -> KQQvKN; KQQNvKN -> KQQNvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KNvKN -> KNvK; KQNvKRN -> KRNvKN; KQNvKRN -> KQNvKN; KQNvKRN -> KRNvKQ; KQNvKRN -> KQNvKR; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KQQBvKRN -> KQBvKRN; KQQBvKRN -> KQQBvKN; KQQBvKRN -> KQQvKRN; KQQBvKRN -> KQQBvKR; KQQBvKN -> KQBvKN; KQQBvKN -> KQQvKN; KQQBvKN -> KQQBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBvKN -> KNvK; KBvKN -> KBvK; KQBvKRN -> KRNvKB; KQBvKRN -> KQBvKN; KQBvKRN -> KRNvKQ; KQBvKRN -> KQBvKR; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KQQPvKN -> KQQQvKN; KQQPvKN -> KQPvKN; KQQPvKN -> KQQRvKN; KQQPvKN -> KQQBvKN; KQQPvKN -> KQQNvKN; KQQPvKN -> KQQPvK; KQQPvKN -> KQQvKN; KQQRvKN -> KQRvKN; KQQRvKN -> KQQvKN; KQQRvKN -> KQQRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQQQvKN -> KQQvKN; KQQQvKN -> KQQQvK; KQQRvKRN -> KQRvKRN; KQQRvKRN -> KQQvKRN; KQQRvKRN -> KQQRvKN; KQQRvKRN -> KQQRvKR; KQRvKRN -> KRNvKR; KQRvKRN -> KRNvKQ; KQRvKRN -> KQRvKN; KQRvKRN -> KQRvKR; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KQPvKRN -> KQQvKRN; KQPvKRN -> KRNvKP; KQPvKRN -> KQRvKRN; KQPvKRN -> KQPvKN; KQPvKRN -> KQBvKRN; KQPvKRN -> KQNvKRN; KQPvKRN -> KQPvKR; KQPvKRN -> KRNvKQ; KRNvKP -> KRNvKQ; KRNvKP -> KRNvKR; KRNvKP -> KNvKP; KRNvKP -> KRNvKB; KRNvKP -> KRNvKN; KRNvKP -> KRvKP; KRNvKP -> KRNvK; KQQQvKRN -> KQQvKRN; KQQQvKRN -> KQQQvKN; KQQQvKRN -> KQQQvKR; }