digraph Syzygy { KQRBvKB -> KRBvKB; KQRBvKB -> KQBvKB; KQRBvKB -> KQRvKB; KQRBvKB -> KQRBvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KQRvK -> KRvK; KQRvK -> KQvK; KQBvK -> KBvK; KQBvK -> KQvK; KRBvK -> KBvK; KRBvK -> KRvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KQvKB -> KBvK; KQvKB -> KQvK; KRvKB -> KBvK; KRvKB -> KRvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBvKB -> KBvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; }