digraph Syzygy { KQQRvKRB -> KQRvKRB; KQQRvKRB -> KQQvKRB; KQQRvKRB -> KQQRvKB; KQQRvKRB -> KQQRvKR; KQQRvKR -> KQRvKR; KQQRvKR -> KQQvKR; KQQRvKR -> KQQRvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQQvK -> KQvK; KQRvK -> KRvK; KQRvK -> KQvK; KQQvKR -> KQvKR; KQQvKR -> KQQvK; KQvKR -> KRvK; KQvKR -> KQvK; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KRvKR -> KRvK; KQQRvKB -> KQRvKB; KQQRvKB -> KQQvKB; KQQRvKB -> KQQRvK; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KRvKB -> KBvK; KRvKB -> KRvK; KQQvKRB -> KRBvKQ; KQQvKRB -> KQQvKB; KQQvKRB -> KQQvKR; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; KRBvK -> KBvK; KRBvK -> KRvK; KQRvKRB -> KRBvKR; KQRvKRB -> KRBvKQ; KQRvKRB -> KQRvKB; KQRvKRB -> KQRvKR; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; }