digraph Syzygy { KQRRPvKR -> KQQRRvKR; KQRRPvKR -> KRRPvKR; KQRRPvKR -> KQRRRvKR; KQRRPvKR -> KQRPvKR; KQRRPvKR -> KQRRPvK; KQRRPvKR -> KQRRBvKR; KQRRPvKR -> KQRRNvKR; KQRRPvKR -> 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; KQRRNvKR -> KRRNvKR; KQRRNvKR -> KQRNvKR; KQRRNvKR -> KQRRNvK; KQRRNvKR -> KQRRvKR; KQRRNvK -> KRRNvK; KQRRNvK -> KQRNvK; KQRRNvK -> KQRRvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KQNvK -> KNvK; KQNvK -> KQvK; KRNvK -> KNvK; KRNvK -> KRvK; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KQRNvKR -> KRNvKR; KQRNvKR -> KQNvKR; KQRNvKR -> KQRNvK; KQRNvKR -> KQRvKR; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KRvKN -> KNvK; KRvKN -> KRvK; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KRRNvKR -> KRNvKR; KRRNvKR -> KRRNvK; KRRNvKR -> KRRvKR; KQRRBvKR -> KRRBvKR; KQRRBvKR -> KQRBvKR; KQRRBvKR -> KQRRBvK; KQRRBvKR -> KQRRvKR; KQRRBvK -> KRRBvK; KQRRBvK -> KQRBvK; KQRRBvK -> KQRRvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KQBvK -> KBvK; KQBvK -> KQvK; KRBvK -> KBvK; KRBvK -> KRvK; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KQRBvKR -> KRBvKR; KQRBvKR -> KQBvKR; KQRBvKR -> KQRBvK; KQRBvKR -> KQRvKR; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KRvKB -> KBvK; KRvKB -> KRvK; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KRRBvKR -> KRBvKR; KRRBvKR -> KRRBvK; KRRBvKR -> KRRvKR; KQRRPvK -> KQQRRvK; KQRRPvK -> KRRPvK; KQRRPvK -> KQRRRvK; KQRRPvK -> KQRPvK; KQRRPvK -> KQRRBvK; KQRRPvK -> KQRRNvK; KQRRPvK -> KQRRvK; KQRPvK -> KQQRvK; KQRPvK -> KRPvK; KQRPvK -> KQRRvK; KQRPvK -> KQPvK; KQRPvK -> KQRBvK; KQRPvK -> KQRNvK; KQRPvK -> KQRvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQvK -> KQvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQRRRvK -> KRRRvK; KQRRRvK -> KQRRvK; KRRRvK -> KRRvK; KRRPvK -> KQRRvK; KRRPvK -> KRRRvK; KRRPvK -> KRPvK; KRRPvK -> KRRBvK; KRRPvK -> KRRNvK; KRRPvK -> KRRvK; KQQRRvK -> KQRRvK; KQQRRvK -> KQQRvK; KQRPvKR -> KQQRvKR; KQRPvKR -> KRPvKR; KQRPvKR -> KQRRvKR; KQRPvKR -> KQPvKR; KQRPvKR -> KQRPvK; KQRPvKR -> KQRBvKR; KQRPvKR -> KQRNvKR; KQRPvKR -> KQRvKR; 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; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KRPvKR -> KQRvKR; KRPvKR -> KRRvKR; KRPvKR -> KRvKP; KRPvKR -> KRPvK; KRPvKR -> KRBvKR; KRPvKR -> KRNvKR; KRPvKR -> KRvKR; KQQRvKR -> KQRvKR; KQQRvKR -> KQQvKR; KQQRvKR -> KQQRvK; KQRRRvKR -> KRRRvKR; KQRRRvKR -> KQRRvKR; KQRRRvKR -> KQRRRvK; KRRRvKR -> KRRvKR; KRRRvKR -> KRRRvK; KRRPvKR -> KQRRvKR; KRRPvKR -> KRRRvKR; KRRPvKR -> KRPvKR; KRRPvKR -> KRRPvK; KRRPvKR -> KRRBvKR; KRRPvKR -> KRRNvKR; KRRPvKR -> KRRvKR; KQQRRvKR -> KQRRvKR; KQQRRvKR -> KQQRvKR; KQQRRvKR -> KQQRRvK; }