digraph Syzygy { KQQNvKQP -> KQQNvKQQ; KQQNvKQP -> KQNvKQP; KQQNvKQP -> KQQNvKP; KQQNvKQP -> KQQNvKQR; KQQNvKQP -> KQQNvKQB; KQQNvKQP -> KQQNvKQN; KQQNvKQP -> KQQvKQP; KQQNvKQP -> KQQNvKQ; KQQNvKQ -> KQNvKQ; KQQNvKQ -> KQQNvK; KQQNvKQ -> KQQvKQ; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQQvK -> KQvK; KQvKQ -> KQvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQNvK -> KNvK; KQNvK -> KQvK; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQvKN -> KNvK; KQvKN -> KQvK; KQQvKQP -> KQQvKQQ; KQQvKQP -> KQPvKQ; KQQvKQP -> KQQvKP; KQQvKQP -> KQQvKQR; KQQvKQP -> KQQvKQB; KQQvKQP -> KQQvKQN; KQQvKQP -> KQQvKQ; KQQvKQN -> KQNvKQ; KQQvKQN -> KQQvKN; KQQvKQN -> KQQvKQ; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQQvKQB -> KQBvKQ; KQQvKQB -> KQQvKB; KQQvKQB -> KQQvKQ; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQBvK -> KBvK; KQBvK -> KQvK; KQQvKQR -> KQRvKQ; KQQvKQR -> KQQvKR; KQQvKQR -> KQQvKQ; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KQvKR -> KRvK; KQvKR -> KQvK; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KQRvK -> KRvK; KQRvK -> KQvK; KQQvKP -> KQQvKQ; KQQvKP -> KQvKP; KQQvKP -> KQQvKR; KQQvKP -> KQQvKB; KQQvKP -> KQQvKN; KQQvKP -> KQQvK; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQPvKQ -> KQQvKQ; KQPvKQ -> KQvKP; KQPvKQ -> KQPvK; KQPvKQ -> KQRvKQ; KQPvKQ -> KQBvKQ; KQPvKQ -> KQNvKQ; KQPvKQ -> KQvKQ; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KQQvKQQ -> KQQvKQ; KQQNvKQN -> KQNvKQN; KQQNvKQN -> KQQNvKN; KQQNvKQN -> KQQvKQN; KQQNvKQN -> KQQNvKQ; KQQNvKN -> KQNvKN; KQQNvKN -> KQQvKN; KQQNvKN -> KQQNvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KNvKN -> KNvK; KQNvKQN -> KQNvKN; KQNvKQN -> KQNvKQ; KQQNvKQB -> KQBvKQN; KQQNvKQB -> KQQNvKB; KQQNvKQB -> KQQNvKQ; KQQNvKQB -> KQQvKQB; KQQNvKB -> KQNvKB; KQQNvKB -> KQQNvK; KQQNvKB -> KQQvKB; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBvKN -> KNvK; KBvKN -> KBvK; KQBvKQN -> KQNvKB; KQBvKQN -> KQBvKN; KQBvKQN -> KQNvKQ; KQBvKQN -> KQBvKQ; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KQQNvKQR -> KQRvKQN; KQQNvKQR -> KQQNvKR; KQQNvKQR -> KQQNvKQ; KQQNvKQR -> KQQvKQR; 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; KQQNvKP -> KQQNvKQ; KQQNvKP -> KQNvKP; KQQNvKP -> KQQNvKR; KQQNvKP -> KQQNvKB; KQQNvKP -> KQQNvKN; KQQNvKP -> KQQvKP; KQQNvKP -> KQQNvK; KQNvKP -> KQNvKQ; KQNvKP -> KNvKP; KQNvKP -> KQNvKR; KQNvKP -> KQNvKB; KQNvKP -> KQNvKN; KQNvKP -> KQvKP; KQNvKP -> KQNvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQNvKQP -> KQQvKQN; KQNvKQP -> KQPvKN; KQNvKQP -> KQNvKP; KQNvKQP -> KQRvKQN; KQNvKQP -> KQBvKQN; KQNvKQP -> KQNvKQN; KQNvKQP -> KQPvKQ; KQNvKQP -> KQNvKQ; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; KQQNvKQQ -> KQQvKQN; KQQNvKQQ -> KQQNvKQ; KQQNvKQQ -> KQQvKQQ; }