digraph Syzygy { KQQNvKRB -> KQNvKRB; KQQNvKRB -> KQQNvKB; KQQNvKRB -> KQQNvKR; KQQNvKRB -> KQQvKRB; KQQvKRB -> KRBvKQ; KQQvKRB -> KQQvKB; KQQvKRB -> KQQvKR; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KQQvK -> KQvK; KQvKR -> KRvK; KQvKR -> KQvK; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQvKB -> KBvK; KQvKB -> KQvK; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; KRBvK -> KBvK; KRBvK -> KRvK; KQQNvKR -> KQNvKR; KQQNvKR -> KQQNvK; KQQNvKR -> KQQvKR; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQNvK -> KNvK; KQNvK -> KQvK; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KRvKN -> KNvK; KRvKN -> KRvK; KQQNvKB -> KQNvKB; KQQNvKB -> KQQNvK; KQQNvKB -> KQQvKB; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBvKN -> KNvK; KBvKN -> KBvK; KQNvKRB -> KRBvKN; KQNvKRB -> KQNvKB; KQNvKRB -> KQNvKR; KQNvKRB -> KRBvKQ; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; }