digraph Syzygy { 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; }