digraph Syzygy { KQQRBvKN -> KQRBvKN; KQQRBvKN -> KQQBvKN; KQQRBvKN -> KQQRvKN; KQQRBvKN -> KQQRBvK; KQQRBvK -> KQRBvK; KQQRBvK -> KQQBvK; KQQRBvK -> KQQRvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQQvK -> KQvK; KQRvK -> KRvK; KQRvK -> KQvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KRBvK -> KBvK; KRBvK -> KRvK; KQQRvKN -> KQRvKN; KQQRvKN -> KQQvKN; KQQRvKN -> KQQRvK; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQvKN -> KNvK; KQvKN -> KQvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRvKN -> KNvK; KRvKN -> KRvK; KQQBvKN -> KQBvKN; KQQBvKN -> KQQvKN; KQQBvKN -> KQQBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBvKN -> KNvK; KBvKN -> KBvK; KQRBvKN -> KRBvKN; KQRBvKN -> KQBvKN; KQRBvKN -> KQRvKN; KQRBvKN -> KQRBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; }