digraph Syzygy { KQQPvKQR -> KQQQvKQR; KQQPvKQR -> KQRvKQP; KQQPvKQR -> KQQPvKR; KQQPvKQR -> KQQRvKQR; KQQPvKQR -> KQQPvKQ; KQQPvKQR -> KQQBvKQR; KQQPvKQR -> KQQNvKQR; KQQPvKQR -> KQQvKQR; KQQvKQR -> KQRvKQ; KQQvKQR -> KQQvKR; KQQvKQR -> KQQvKQ; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQQvK -> KQvK; KQvKQ -> KQvK; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KQvKR -> KRvK; KQvKR -> KQvK; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KQRvK -> KRvK; KQRvK -> KQvK; KQQNvKQR -> KQRvKQN; KQQNvKQR -> KQQNvKR; KQQNvKQR -> KQQNvKQ; KQQNvKQR -> KQQvKQR; KQQNvKQ -> KQNvKQ; KQQNvKQ -> KQQNvK; KQQNvKQ -> KQQvKQ; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQNvK -> KNvK; KQNvK -> KQvK; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQvKN -> KNvK; KQvKN -> KQvK; KQQNvKR -> KQNvKR; KQQNvKR -> KQQNvK; KQQNvKR -> KQQvKR; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KRvKN -> KNvK; KRvKN -> KRvK; KQRvKQN -> KQNvKR; KQRvKQN -> KQRvKN; KQRvKQN -> KQNvKQ; KQRvKQN -> KQRvKQ; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KQQBvKQR -> KQRvKQB; KQQBvKQR -> KQQBvKR; KQQBvKQR -> KQQBvKQ; KQQBvKQR -> KQQvKQR; KQQBvKQ -> KQBvKQ; KQQBvKQ -> KQQBvK; KQQBvKQ -> KQQvKQ; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQvKB -> KBvK; KQvKB -> KQvK; KQQBvKR -> KQBvKR; KQQBvKR -> KQQBvK; KQQBvKR -> KQQvKR; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KRvKB -> KBvK; KRvKB -> KRvK; KQRvKQB -> KQBvKR; KQRvKQB -> KQRvKB; KQRvKQB -> KQBvKQ; KQRvKQB -> KQRvKQ; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KQQPvKQ -> KQQQvKQ; KQQPvKQ -> KQPvKQ; KQQPvKQ -> KQQPvK; KQQPvKQ -> KQQRvKQ; KQQPvKQ -> KQQBvKQ; KQQPvKQ -> KQQNvKQ; KQQPvKQ -> KQQvKQ; KQQRvKQ -> KQRvKQ; KQQRvKQ -> KQQRvK; KQQRvKQ -> KQQvKQ; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQQPvK -> KQQQvK; KQQPvK -> KQPvK; KQQPvK -> KQQRvK; KQQPvK -> KQQBvK; KQQPvK -> KQQNvK; KQQPvK -> KQQvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQQvK -> KQQvK; KQPvKQ -> KQQvKQ; KQPvKQ -> KQvKP; KQPvKQ -> KQPvK; KQPvKQ -> KQRvKQ; KQPvKQ -> KQBvKQ; KQPvKQ -> KQNvKQ; KQPvKQ -> KQvKQ; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KQQQvKQ -> KQQvKQ; KQQQvKQ -> KQQQvK; KQQRvKQR -> KQRvKQR; KQQRvKQR -> KQQRvKR; KQQRvKQR -> KQQvKQR; KQQRvKQR -> KQQRvKQ; KQQRvKR -> KQRvKR; KQQRvKR -> KQQvKR; KQQRvKR -> KQQRvK; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KRvKR -> KRvK; KQRvKQR -> KQRvKR; KQRvKQR -> KQRvKQ; KQQPvKR -> KQQQvKR; KQQPvKR -> KQPvKR; KQQPvKR -> KQQRvKR; KQQPvKR -> KQQPvK; KQQPvKR -> KQQBvKR; KQQPvKR -> KQQNvKR; KQQPvKR -> KQQvKR; 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; KQRvKQP -> KQQvKQR; KQRvKQP -> KQPvKR; KQRvKQP -> KQRvKP; KQRvKQP -> KQRvKQR; KQRvKQP -> KQPvKQ; KQRvKQP -> KQRvKQB; KQRvKQP -> KQRvKQN; KQRvKQP -> KQRvKQ; KQRvKP -> KQRvKQ; KQRvKP -> KRvKP; KQRvKP -> KQRvKR; KQRvKP -> KQvKP; KQRvKP -> KQRvKB; KQRvKP -> KQRvKN; KQRvKP -> KQRvK; KQQQvKQR -> KQQvKQR; KQQQvKQR -> KQQQvKR; KQQQvKQR -> KQQQvKQ; }