digraph Syzygy { KQQPvKQQ -> KQQQvKQQ; KQQPvKQQ -> KQQvKQP; KQQPvKQQ -> KQQPvKQ; KQQPvKQQ -> KQQRvKQQ; KQQPvKQQ -> KQQBvKQQ; KQQPvKQQ -> KQQNvKQQ; KQQPvKQQ -> KQQvKQQ; KQQvKQQ -> KQQvKQ; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQQvK -> KQvK; KQvKQ -> KQvK; KQQNvKQQ -> KQQvKQN; KQQNvKQQ -> KQQNvKQ; KQQNvKQQ -> KQQvKQQ; KQQNvKQ -> KQNvKQ; KQQNvKQ -> KQQNvK; KQQNvKQ -> KQQvKQ; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQNvK -> KNvK; KQNvK -> KQvK; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQvKN -> KNvK; KQvKN -> KQvK; KQQvKQN -> KQNvKQ; KQQvKQN -> KQQvKN; KQQvKQN -> KQQvKQ; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQQBvKQQ -> KQQvKQB; KQQBvKQQ -> KQQBvKQ; KQQBvKQQ -> KQQvKQQ; KQQBvKQ -> KQBvKQ; KQQBvKQ -> KQQBvK; KQQBvKQ -> KQQvKQ; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQvKB -> KBvK; KQvKB -> KQvK; KQQvKQB -> KQBvKQ; KQQvKQB -> KQQvKB; KQQvKQB -> KQQvKQ; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQQRvKQQ -> KQQvKQR; KQQRvKQQ -> KQQRvKQ; KQQRvKQQ -> KQQvKQQ; KQQRvKQ -> KQRvKQ; KQQRvKQ -> KQQRvK; KQQRvKQ -> KQQvKQ; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQRvK -> KRvK; KQRvK -> KQvK; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KQvKR -> KRvK; KQvKR -> KQvK; KQQvKQR -> KQRvKQ; KQQvKQR -> KQQvKR; KQQvKQR -> KQQvKQ; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KQQPvKQ -> KQQQvKQ; KQQPvKQ -> KQPvKQ; KQQPvKQ -> KQQPvK; KQQPvKQ -> KQQRvKQ; KQQPvKQ -> KQQBvKQ; KQQPvKQ -> KQQNvKQ; KQQPvKQ -> KQQvKQ; 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; KQQvKQP -> KQQvKQQ; KQQvKQP -> KQPvKQ; KQQvKQP -> KQQvKP; KQQvKQP -> KQQvKQR; KQQvKQP -> KQQvKQB; KQQvKQP -> KQQvKQN; KQQvKQP -> KQQvKQ; KQQvKP -> KQQvKQ; KQQvKP -> KQvKP; KQQvKP -> KQQvKR; KQQvKP -> KQQvKB; KQQvKP -> KQQvKN; KQQvKP -> KQQvK; KQQQvKQQ -> KQQvKQQ; KQQQvKQQ -> KQQQvKQ; }