digraph Syzygy { KRRRvKQP -> KRRRvKQQ; KRRRvKQP -> KRRRvKP; KRRRvKQP -> KRRRvKQR; KRRRvKQP -> KQPvKRR; KRRRvKQP -> KRRRvKQB; KRRRvKQP -> KRRRvKQN; KRRRvKQP -> KRRRvKQ; KRRRvKQ -> KRRRvK; KRRRvKQ -> KRRvKQ; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KQvKR -> KRvK; KQvKR -> KQvK; KRRvK -> KRvK; KRRRvK -> KRRvK; KRRRvKQN -> KRRRvKN; KRRRvKQN -> KQNvKRR; KRRRvKQN -> KRRRvKQ; KQNvKRR -> KRRvKN; KQNvKRR -> KQNvKR; KQNvKRR -> KRRvKQ; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KQNvK -> KNvK; KQNvK -> KQvK; KRvKN -> KNvK; KRvKN -> KRvK; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KRRRvKN -> KRRvKN; KRRRvKN -> KRRRvK; KRRRvKQB -> KRRRvKB; KRRRvKQB -> KQBvKRR; KRRRvKQB -> KRRRvKQ; KQBvKRR -> KRRvKB; KQBvKRR -> KQBvKR; KQBvKRR -> KRRvKQ; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KQBvK -> KBvK; KQBvK -> KQvK; KRvKB -> KBvK; KRvKB -> KRvK; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KRRRvKB -> KRRvKB; KRRRvKB -> KRRRvK; KQPvKRR -> KQQvKRR; KQPvKRR -> KRRvKP; KQPvKRR -> KQRvKRR; KQPvKRR -> KQPvKR; KQPvKRR -> KQBvKRR; KQPvKRR -> KQNvKRR; KQPvKRR -> KRRvKQ; KQPvKR -> KQQvKR; KQPvKR -> KRvKP; KQPvKR -> KQRvKR; KQPvKR -> KQPvK; KQPvKR -> KQBvKR; KQPvKR -> KQNvKR; KQPvKR -> KQvKR; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KQRvK -> KRvK; KQRvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQvK -> KQvK; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KRvKR -> KRvK; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KQRvKRR -> KRRvKR; KQRvKRR -> KRRvKQ; KQRvKRR -> KQRvKR; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KRRvKP -> KRRvKQ; KRRvKP -> KRRvKR; KRRvKP -> KRvKP; KRRvKP -> KRRvKB; KRRvKP -> KRRvKN; KRRvKP -> KRRvK; KQQvKRR -> KRRvKQ; KQQvKRR -> KQQvKR; KRRRvKQR -> KRRRvKR; KRRRvKQR -> KQRvKRR; KRRRvKQR -> KRRRvKQ; KRRRvKR -> KRRvKR; KRRRvKR -> KRRRvK; KRRRvKP -> KRRRvKQ; KRRRvKP -> KRRRvKR; KRRRvKP -> KRRvKP; KRRRvKP -> KRRRvKB; KRRRvKP -> KRRRvKN; KRRRvKP -> KRRRvK; KRRRvKQQ -> KRRRvKQ; KRRRvKQQ -> KQQvKRR; }