digraph Syzygy { KQRNvKBB -> KRNvKBB; KQRNvKBB -> KQNvKBB; KQRNvKBB -> KQRNvKB; KQRNvKBB -> KQRvKBB; KQRvKBB -> KBBvKR; KQRvKBB -> KBBvKQ; KQRvKBB -> KQRvKB; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KQRvK -> KRvK; KQRvK -> KQvK; KQvKB -> KBvK; KQvKB -> KQvK; KRvKB -> KBvK; KRvKB -> KRvK; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KBBvK -> KBvK; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KQRNvKB -> KRNvKB; KQRNvKB -> KQNvKB; KQRNvKB -> KQRNvK; KQRNvKB -> KQRvKB; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KQNvK -> KNvK; KQNvK -> KQvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBvKN -> KNvK; KBvKN -> KBvK; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KQNvKBB -> KBBvKN; KQNvKBB -> KQNvKB; KQNvKBB -> KBBvKQ; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KRNvKBB -> KBBvKN; KRNvKBB -> KRNvKB; KRNvKBB -> KBBvKR; }