digraph Syzygy { KRRBvKQB -> KRRBvKB; KRRBvKQB -> KQBvKRB; KRRBvKQB -> KQBvKRR; KRRBvKQB -> KRRBvKQ; KRRBvKQ -> KRRBvK; KRRBvKQ -> KRBvKQ; KRRBvKQ -> KRRvKQ; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KQvKR -> KRvK; KQvKR -> KQvK; KRRvK -> KRvK; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; KQvKB -> KBvK; KQvKB -> KQvK; KRBvK -> KBvK; KRBvK -> KRvK; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KQBvKRR -> KRRvKB; KQBvKRR -> KQBvKR; KQBvKRR -> KRRvKQ; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KQBvK -> KBvK; KQBvK -> KQvK; KRvKB -> KBvK; KRvKB -> KRvK; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KQBvKRB -> KRBvKB; KQBvKRB -> KQBvKB; KQBvKRB -> KRBvKQ; KQBvKRB -> KQBvKR; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBvKB -> KBvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KRRBvKB -> KRBvKB; KRRBvKB -> KRRvKB; KRRBvKB -> KRRBvK; }