digraph Syzygy { KRBBvKRB -> KRBvKBB; KRBBvKRB -> KRBBvKB; KRBBvKRB -> KRBvKRB; KRBBvKRB -> KRBBvKR; KRBBvKR -> KBBvKR; KRBBvKR -> KRBBvK; KRBBvKR -> KRBvKR; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KRvKR -> KRvK; KRBvK -> KBvK; KRBvK -> KRvK; KRvKB -> KBvK; KRvKB -> KRvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KBBvK -> KBvK; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KRBvKRB -> KRBvKB; KRBvKRB -> KRBvKR; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KBvKB -> KBvK; KRBBvKB -> KBBvKB; KRBBvKB -> KRBvKB; KRBBvKB -> KRBBvK; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KRBvKBB -> KBBvKB; KRBvKBB -> KBBvKR; KRBvKBB -> KRBvKB; }