digraph Syzygy { KQQBvKRN -> KQBvKRN; KQQBvKRN -> KQQBvKN; KQQBvKRN -> KQQvKRN; KQQBvKRN -> KQQBvKR; KQQBvKR -> KQBvKR; KQQBvKR -> KQQBvK; KQQBvKR -> KQQvKR; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KQQvK -> KQvK; KQvKR -> KRvK; KQvKR -> KQvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KRvKB -> KBvK; KRvKB -> KRvK; KQQvKRN -> KRNvKQ; KQQvKRN -> KQQvKN; KQQvKRN -> KQQvKR; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQvKN -> KNvK; KQvKN -> KQvK; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KRNvK -> KNvK; KRNvK -> KRvK; KQQBvKN -> KQBvKN; KQQBvKN -> KQQvKN; KQQBvKN -> KQQBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBvKN -> KNvK; KBvKN -> KBvK; KQBvKRN -> KRNvKB; KQBvKRN -> KQBvKN; KQBvKRN -> KRNvKQ; KQBvKRN -> KQBvKR; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; }