digraph Syzygy { KBNNPvKB -> KQBNNvKB; KBNNPvKB -> KRBNNvKB; KBNNPvKB -> KBBNNvKB; KBNNPvKB -> KNNPvKB; KBNNPvKB -> KBNNPvK; KBNNPvKB -> KBNNNvKB; KBNNPvKB -> KBNPvKB; KBNNPvKB -> KBNNvKB; KBNNvKB -> KNNvKB; KBNNvKB -> KBNNvK; KBNNvKB -> KBNvKB; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KBvKB -> KBvK; KBNvK -> KNvK; KBNvK -> KBvK; KBvKN -> KNvK; KBvKN -> KBvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KNNvK -> KNvK; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KBNPvKB -> KQBNvKB; KBNPvKB -> KRBNvKB; KBNPvKB -> KBBNvKB; KBNPvKB -> KNPvKB; KBNPvKB -> KBNPvK; KBNPvKB -> KBNNvKB; KBNPvKB -> KBPvKB; KBNPvKB -> KBNvKB; KBPvKB -> KQBvKB; KBPvKB -> KRBvKB; KBPvKB -> KBBvKB; KBPvKB -> KBvKP; KBPvKB -> KBPvK; KBPvKB -> KBNvKB; KBPvKB -> KBvKB; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KBBvK -> KBvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBvK -> KBvK; KQBvK -> KQvK; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KRvKB -> KBvK; KRvKB -> KRvK; KQvKB -> KBvK; KQvKB -> KQvK; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBNPvK -> KQBNvK; KBNPvK -> KRBNvK; KBNPvK -> KBBNvK; KBNPvK -> KNPvK; KBNPvK -> KBNNvK; KBNPvK -> KBPvK; KBNPvK -> KBNvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNvK -> KNvK; KQNvK -> KQvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KNPvKB -> KQNvKB; KNPvKB -> KRNvKB; KNPvKB -> KBNvKB; KNPvKB -> KNPvK; KNPvKB -> KNNvKB; KNPvKB -> KBvKP; KNPvKB -> KBvKN; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBBNvKB -> KBNvKB; KBBNvKB -> KBBNvK; KBBNvKB -> KBBvKB; KRBNvKB -> KBNvKB; KRBNvKB -> KRNvKB; KRBNvKB -> KRBNvK; KRBNvKB -> KRBvKB; KQBNvKB -> KBNvKB; KQBNvKB -> KQNvKB; KQBNvKB -> KQBNvK; KQBNvKB -> KQBvKB; KBNNNvKB -> KNNNvKB; KBNNNvKB -> KBNNNvK; KBNNNvKB -> KBNNvKB; KBNNNvK -> KNNNvK; KBNNNvK -> KBNNvK; KNNNvK -> KNNvK; KNNNvKB -> KNNNvK; KNNNvKB -> KNNvKB; KBNNPvK -> KQBNNvK; KBNNPvK -> KRBNNvK; KBNNPvK -> KBBNNvK; KBNNPvK -> KNNPvK; KBNNPvK -> KBNNNvK; KBNNPvK -> KBNPvK; KBNNPvK -> KBNNvK; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KBBNNvK -> KBNNvK; KBBNNvK -> KBBNvK; KRBNNvK -> KBNNvK; KRBNNvK -> KRNNvK; KRBNNvK -> KRBNvK; KQBNNvK -> KBNNvK; KQBNNvK -> KQNNvK; KQBNNvK -> KQBNvK; KNNPvKB -> KQNNvKB; KNNPvKB -> KRNNvKB; KNNPvKB -> KBNNvKB; KNNPvKB -> KNNPvK; KNNPvKB -> KNNNvKB; KNNPvKB -> KNPvKB; KNNPvKB -> KNNvKB; KRNNvKB -> KNNvKB; KRNNvKB -> KRNNvK; KRNNvKB -> KRNvKB; KQNNvKB -> KNNvKB; KQNNvKB -> KQNNvK; KQNNvKB -> KQNvKB; KBBNNvKB -> KBNNvKB; KBBNNvKB -> KBBNNvK; KBBNNvKB -> KBBNvKB; KRBNNvKB -> KBNNvKB; KRBNNvKB -> KRNNvKB; KRBNNvKB -> KRBNNvK; KRBNNvKB -> KRBNvKB; KQBNNvKB -> KBNNvKB; KQBNNvKB -> KQNNvKB; KQBNNvKB -> KQBNNvK; KQBNNvKB -> KQBNvKB; }