digraph Syzygy { KRBNNvK -> KBNNvK; KRBNNvK -> KRNNvK; KRBNNvK -> KRBNvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KRBvK -> KBvK; KRBvK -> KRvK; KRNvK -> KNvK; KRNvK -> KRvK; KBNvK -> KNvK; KBNvK -> KBvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KNNvK -> KNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; }