digraph Syzygy { KQNPvKBB -> KQQNvKBB; KQNPvKBB -> KBBvKNP; KQNPvKBB -> KQRNvKBB; KQNPvKBB -> KQBNvKBB; KQNPvKBB -> KQNPvKB; KQNPvKBB -> KQNNvKBB; KQNPvKBB -> KQPvKBB; KQNPvKBB -> KQNvKBB; KQNvKBB -> KBBvKN; KQNvKBB -> KQNvKB; KQNvKBB -> KBBvKQ; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KQvKB -> KBvK; KQvKB -> KQvK; KBBvK -> KBvK; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KQNvK -> KNvK; KQNvK -> KQvK; KBvKN -> KNvK; KBvKN -> KBvK; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KQPvKBB -> KQQvKBB; KQPvKBB -> KBBvKP; KQPvKBB -> KQRvKBB; KQPvKBB -> KQBvKBB; KQPvKBB -> KQPvKB; KQPvKBB -> KQNvKBB; KQPvKBB -> KBBvKQ; KQPvKB -> KQQvKB; KQPvKB -> KBvKP; KQPvKB -> KQRvKB; KQPvKB -> KQBvKB; KQPvKB -> KQPvK; KQPvKB -> KQNvKB; KQPvKB -> KQvKB; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQRvK -> KRvK; KQRvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQvK -> KQvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBvKB -> KBvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KRvKB -> KBvK; KRvKB -> KRvK; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQBvKBB -> KBBvKB; KQBvKBB -> KBBvKQ; KQBvKBB -> KQBvKB; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KQRvKBB -> KBBvKR; KQRvKBB -> KBBvKQ; KQRvKBB -> KQRvKB; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KBBvKP -> KBBvKQ; KBBvKP -> KBBvKR; KBBvKP -> KBBvKB; KBBvKP -> KBvKP; KBBvKP -> KBBvKN; KBBvKP -> KBBvK; KQQvKBB -> KBBvKQ; KQQvKBB -> KQQvKB; KQNNvKBB -> KBBvKNN; KQNNvKBB -> KQNNvKB; KQNNvKBB -> KQNvKBB; KQNNvKB -> KNNvKB; KQNNvKB -> KQNNvK; KQNNvKB -> KQNvKB; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KBBvKNN -> KNNvKB; KBBvKNN -> KBBvKN; KQNPvKB -> KQQNvKB; KQNPvKB -> KNPvKB; KQNPvKB -> KQRNvKB; KQNPvKB -> KQBNvKB; KQNPvKB -> KQNPvK; KQNPvKB -> KQNNvKB; KQNPvKB -> KQPvKB; KQNPvKB -> KQNvKB; KQNPvK -> KQQNvK; KQNPvK -> KNPvK; KQNPvK -> KQRNvK; KQNPvK -> KQBNvK; KQNPvK -> KQNNvK; KQNPvK -> KQPvK; KQNPvK -> KQNvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBNvK -> KNvK; KBNvK -> KBvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KRNvK -> KNvK; KRNvK -> KRvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQBNvKB -> KBNvKB; KQBNvKB -> KQNvKB; KQBNvKB -> KQBNvK; KQBNvKB -> KQBvKB; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KQRNvKB -> KRNvKB; KQRNvKB -> KQNvKB; KQRNvKB -> KQRNvK; KQRNvKB -> KQRvKB; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KNPvKB -> KQNvKB; KNPvKB -> KRNvKB; KNPvKB -> KBNvKB; KNPvKB -> KNPvK; KNPvKB -> KNNvKB; KNPvKB -> KBvKP; KNPvKB -> KBvKN; KQQNvKB -> KQNvKB; KQQNvKB -> KQQNvK; KQQNvKB -> KQQvKB; KQBNvKBB -> KBBvKBN; KQBNvKBB -> KQNvKBB; KQBNvKBB -> KQBNvKB; KQBNvKBB -> KQBvKBB; KBBvKBN -> KBNvKB; KBBvKBN -> KBBvKN; KBBvKBN -> KBBvKB; KQRNvKBB -> KRNvKBB; KQRNvKBB -> KQNvKBB; KQRNvKBB -> KQRNvKB; KQRNvKBB -> KQRvKBB; KRNvKBB -> KBBvKN; KRNvKBB -> KRNvKB; KRNvKBB -> KBBvKR; KBBvKNP -> KQNvKBB; KBBvKNP -> KRNvKBB; KBBvKNP -> KBBvKBN; KBBvKNP -> KNPvKB; KBBvKNP -> KBBvKNN; KBBvKNP -> KBBvKP; KBBvKNP -> KBBvKN; KQQNvKBB -> KQNvKBB; KQQNvKBB -> KQQNvKB; KQQNvKBB -> KQQvKBB; }