digraph Syzygy { KRRRBvKR -> KRRBvKR; KRRRBvKR -> KRRRBvK; KRRRBvKR -> KRRRvKR; KRRRvKR -> KRRvKR; KRRRvKR -> KRRRvK; KRRRvK -> KRRvK; KRRvK -> KRvK; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KRvKR -> KRvK; KRRRBvK -> KRRBvK; KRRRBvK -> KRRRvK; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KRBvK -> KBvK; KRBvK -> KRvK; KRRBvKR -> KRBvKR; KRRBvKR -> KRRBvK; KRRBvKR -> KRRvKR; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KRvKB -> KBvK; KRvKB -> KRvK; }