digraph Syzygy { KQRRNNvK -> KRRNNvK; KQRRNNvK -> KQRNNvK; KQRRNNvK -> KQRRNvK; KQRRNvK -> KRRNvK; KQRRNvK -> KQRNvK; KQRRNvK -> KQRRvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KQRvK -> KRvK; KQRvK -> KQvK; KRRvK -> KRvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KQNvK -> KNvK; KQNvK -> KQvK; KRNvK -> KNvK; KRNvK -> KRvK; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KQRNNvK -> KRNNvK; KQRNNvK -> KQNNvK; KQRNNvK -> KQRNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KRRNNvK -> KRNNvK; KRRNNvK -> KRRNvK; }