digraph Syzygy { KQRRBvKN -> KRRBvKN; KQRRBvKN -> KQRBvKN; KQRRBvKN -> KQRRvKN; KQRRBvKN -> KQRRBvK; KQRRBvK -> KRRBvK; KQRRBvK -> KQRBvK; KQRRBvK -> KQRRvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KQRvK -> KRvK; KQRvK -> KQvK; KRRvK -> KRvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KQBvK -> KBvK; KQBvK -> KQvK; KRBvK -> KBvK; KRBvK -> KRvK; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KQRRvKN -> KRRvKN; KQRRvKN -> KQRvKN; KQRRvKN -> KQRRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KQvKN -> KNvK; KQvKN -> KQvK; KRvKN -> KNvK; KRvKN -> KRvK; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KQRBvKN -> KRBvKN; KQRBvKN -> KQBvKN; KQRBvKN -> KQRvKN; KQRBvKN -> KQRBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBvKN -> KNvK; KBvKN -> KBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KRRBvKN -> KRBvKN; KRRBvKN -> KRRvKN; KRRBvKN -> KRRBvK; }