digraph Syzygy { KNNNPvK -> KQNNNvK; KNNNPvK -> KRNNNvK; KNNNPvK -> KBNNNvK; KNNNPvK -> KNNNNvK; KNNNPvK -> KNNPvK; KNNNPvK -> KNNNvK; KNNNvK -> KNNvK; KNNvK -> KNvK; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KBNvK -> KNvK; KBNvK -> KBvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNvK -> KNvK; KQNvK -> KQvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNNNvK -> KNNNvK; KBNNNvK -> KNNNvK; KBNNNvK -> KBNNvK; KRNNNvK -> KNNNvK; KRNNNvK -> KRNNvK; KQNNNvK -> KNNNvK; KQNNNvK -> KQNNvK; }