digraph Syzygy { KQRNNNvK -> KRNNNvK; KQRNNNvK -> KQNNNvK; KQRNNNvK -> KQRNNvK; KQRNNvK -> KRNNvK; KQRNNvK -> KQNNvK; KQRNNvK -> KQRNvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KQRvK -> KRvK; KQRvK -> KQvK; KQNvK -> KNvK; KQNvK -> KQvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KQNNNvK -> KNNNvK; KQNNNvK -> KQNNvK; KNNNvK -> KNNvK; KRNNNvK -> KNNNvK; KRNNNvK -> KRNNvK; }