digraph Syzygy { KQNNPvKB -> KQQNNvKB; KQNNPvKB -> KNNPvKB; KQNNPvKB -> KQRNNvKB; KQNNPvKB -> KQBNNvKB; KQNNPvKB -> KQNNPvK; KQNNPvKB -> KQNNNvKB; KQNNPvKB -> KQNPvKB; KQNNPvKB -> KQNNvKB; KQNNvKB -> KNNvKB; KQNNvKB -> KQNNvK; KQNNvKB -> KQNvKB; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KQvKB -> KBvK; KQvKB -> KQvK; KQNvK -> KNvK; KQNvK -> KQvK; KBvKN -> KNvK; KBvKN -> KBvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KQNPvKB -> KQQNvKB; KQNPvKB -> KNPvKB; KQNPvKB -> KQRNvKB; KQNPvKB -> KQBNvKB; KQNPvKB -> KQNPvK; KQNPvKB -> KQNNvKB; KQNPvKB -> KQPvKB; KQNPvKB -> KQNvKB; 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; 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; KQNNNvKB -> KNNNvKB; KQNNNvKB -> KQNNNvK; KQNNNvKB -> KQNNvKB; KQNNNvK -> KNNNvK; KQNNNvK -> KQNNvK; KNNNvK -> KNNvK; KNNNvKB -> KNNNvK; KNNNvKB -> KNNvKB; KQNNPvK -> KQQNNvK; KQNNPvK -> KNNPvK; KQNNPvK -> KQRNNvK; KQNNPvK -> KQBNNvK; KQNNPvK -> KQNNNvK; KQNNPvK -> KQNPvK; KQNNPvK -> KQNNvK; KQBNNvK -> KBNNvK; KQBNNvK -> KQNNvK; KQBNNvK -> KQBNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KQRNNvK -> KRNNvK; KQRNNvK -> KQNNvK; KQRNNvK -> KQRNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KQQNNvK -> KQNNvK; KQQNNvK -> KQQNvK; KQBNNvKB -> KBNNvKB; KQBNNvKB -> KQNNvKB; KQBNNvKB -> KQBNNvK; KQBNNvKB -> KQBNvKB; KBNNvKB -> KNNvKB; KBNNvKB -> KBNNvK; KBNNvKB -> KBNvKB; KQRNNvKB -> KRNNvKB; KQRNNvKB -> KQNNvKB; KQRNNvKB -> KQRNNvK; KQRNNvKB -> KQRNvKB; KRNNvKB -> KNNvKB; KRNNvKB -> KRNNvK; KRNNvKB -> KRNvKB; KNNPvKB -> KQNNvKB; KNNPvKB -> KRNNvKB; KNNPvKB -> KBNNvKB; KNNPvKB -> KNNPvK; KNNPvKB -> KNNNvKB; KNNPvKB -> KNPvKB; KNNPvKB -> KNNvKB; KQQNNvKB -> KQNNvKB; KQQNNvKB -> KQQNNvK; KQQNNvKB -> KQQNvKB; }