digraph Syzygy { KQBBvKRN -> KRNvKBB; KQBBvKRN -> KQBBvKN; KQBBvKRN -> KQBvKRN; KQBBvKRN -> KQBBvKR; KQBBvKR -> KBBvKR; KQBBvKR -> KQBBvK; KQBBvKR -> KQBvKR; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KQvKR -> KRvK; KQvKR -> KQvK; KQBvK -> KBvK; KQBvK -> KQvK; KRvKB -> KBvK; KRvKB -> KRvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBBvK -> KBvK; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KQBvKRN -> KRNvKB; KQBvKRN -> KQBvKN; KQBvKRN -> KRNvKQ; KQBvKRN -> KQBvKR; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KQvKN -> KNvK; KQvKN -> KQvK; KRNvK -> KNvK; KRNvK -> KRvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBvKN -> KNvK; KBvKN -> KBvK; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KQBBvKN -> KBBvKN; KQBBvKN -> KQBvKN; KQBBvKN -> KQBBvK; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KRNvKBB -> KBBvKN; KRNvKBB -> KRNvKB; KRNvKBB -> KBBvKR; }