digraph Syzygy { KQRBBvKQ -> KRBBvKQ; KQRBBvKQ -> KQRBBvK; KQRBBvKQ -> KQBBvKQ; KQRBBvKQ -> KQRBvKQ; KQRBvKQ -> KRBvKQ; KQRBvKQ -> KQRBvK; KQRBvKQ -> KQBvKQ; KQRBvKQ -> KQRvKQ; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KQvKQ -> KQvK; KQRvK -> KRvK; KQRvK -> KQvK; KQvKR -> KRvK; KQvKR -> KQvK; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQBvK -> KBvK; KQBvK -> KQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KRBvK -> KBvK; KRBvK -> KRvK; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; KQBBvKQ -> KBBvKQ; KQBBvKQ -> KQBBvK; KQBBvKQ -> KQBvKQ; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBBvK -> KBvK; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KQRBBvK -> KRBBvK; KQRBBvK -> KQBBvK; KQRBBvK -> KQRBvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KRBBvKQ -> KRBBvK; KRBBvKQ -> KBBvKQ; KRBBvKQ -> KRBvKQ; }