digraph Syzygy { KQBBNvKR -> KBBNvKR; KQBBNvKR -> KQBBNvK; KQBBNvKR -> KQBNvKR; KQBBNvKR -> 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; KQBNvKR -> KBNvKR; KQBNvKR -> KQBNvK; KQBNvKR -> KQNvKR; KQBNvKR -> KQBvKR; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KQNvK -> KNvK; KQNvK -> KQvK; KRvKN -> KNvK; KRvKN -> KRvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBNvK -> KNvK; KBNvK -> KBvK; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KQBBNvK -> KBBNvK; KQBBNvK -> KQBNvK; KQBBNvK -> KQBBvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KBBNvKR -> KBBNvK; KBBNvKR -> KBNvKR; KBBNvKR -> KBBvKR; }