digraph Syzygy { KQQNPvKB -> KQQQNvKB; KQQNPvKB -> KQNPvKB; KQQNPvKB -> KQQRNvKB; KQQNPvKB -> KQQBNvKB; KQQNPvKB -> KQQNPvK; KQQNPvKB -> KQQNNvKB; KQQNPvKB -> KQQPvKB; KQQNPvKB -> KQQNvKB; KQQNvKB -> KQNvKB; KQQNvKB -> KQQNvK; KQQNvKB -> KQQvKB; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQQvK -> KQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQNvK -> KNvK; KQNvK -> KQvK; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBvKN -> KNvK; KBvKN -> KBvK; KQQPvKB -> KQQQvKB; KQQPvKB -> KQPvKB; KQQPvKB -> KQQRvKB; KQQPvKB -> KQQBvKB; KQQPvKB -> KQQPvK; KQQPvKB -> KQQNvKB; KQQPvKB -> KQQvKB; KQQPvK -> KQQQvK; KQQPvK -> KQPvK; KQQPvK -> KQQRvK; KQQPvK -> KQQBvK; KQQPvK -> KQQNvK; KQQPvK -> KQQvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQRvK -> KRvK; KQRvK -> KQvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQQvK -> KQQvK; KQQBvKB -> KQBvKB; KQQBvKB -> KQQvKB; KQQBvKB -> KQQBvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBvKB -> KBvK; KQQRvKB -> KQRvKB; KQQRvKB -> KQQvKB; KQQRvKB -> KQQRvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KRvKB -> KBvK; KRvKB -> KRvK; KQPvKB -> KQQvKB; KQPvKB -> KBvKP; KQPvKB -> KQRvKB; KQPvKB -> KQBvKB; KQPvKB -> KQPvK; KQPvKB -> KQNvKB; KQPvKB -> KQvKB; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQQQvKB -> KQQvKB; KQQQvKB -> KQQQvK; KQQNNvKB -> KQNNvKB; KQQNNvKB -> KQQNNvK; KQQNNvKB -> KQQNvKB; KQQNNvK -> KQNNvK; KQQNNvK -> KQQNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KQNNvKB -> KNNvKB; KQNNvKB -> KQNNvK; KQNNvKB -> KQNvKB; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KQQNPvK -> KQQQNvK; KQQNPvK -> KQNPvK; KQQNPvK -> KQQRNvK; KQQNPvK -> KQQBNvK; KQQNPvK -> KQQNNvK; KQQNPvK -> KQQPvK; KQQNPvK -> KQQNvK; KQQBNvK -> KQBNvK; KQQBNvK -> KQQNvK; KQQBNvK -> KQQBvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBNvK -> KNvK; KBNvK -> KBvK; KQQRNvK -> KQRNvK; KQQRNvK -> KQQNvK; KQQRNvK -> KQQRvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNPvK -> KQQNvK; KQNPvK -> KNPvK; KQNPvK -> KQRNvK; KQNPvK -> KQBNvK; KQNPvK -> KQNNvK; KQNPvK -> KQPvK; KQNPvK -> KQNvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQQQNvK -> KQQNvK; KQQQNvK -> KQQQvK; KQQBNvKB -> KQBNvKB; KQQBNvKB -> KQQNvKB; KQQBNvKB -> KQQBNvK; KQQBNvKB -> KQQBvKB; KQBNvKB -> KBNvKB; KQBNvKB -> KQNvKB; KQBNvKB -> KQBNvK; KQBNvKB -> KQBvKB; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KQQRNvKB -> KQRNvKB; KQQRNvKB -> KQQNvKB; KQQRNvKB -> KQQRNvK; KQQRNvKB -> KQQRvKB; KQRNvKB -> KRNvKB; KQRNvKB -> KQNvKB; KQRNvKB -> KQRNvK; KQRNvKB -> KQRvKB; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KQNPvKB -> KQQNvKB; KQNPvKB -> KNPvKB; KQNPvKB -> KQRNvKB; KQNPvKB -> KQBNvKB; KQNPvKB -> KQNPvK; KQNPvKB -> KQNNvKB; KQNPvKB -> KQPvKB; KQNPvKB -> KQNvKB; KNPvKB -> KQNvKB; KNPvKB -> KRNvKB; KNPvKB -> KBNvKB; KNPvKB -> KNPvK; KNPvKB -> KNNvKB; KNPvKB -> KBvKP; KNPvKB -> KBvKN; KQQQNvKB -> KQQNvKB; KQQQNvKB -> KQQQNvK; KQQQNvKB -> KQQQvKB; }