digraph Syzygy { KRBPvK -> KQRBvK; KRBPvK -> KRRBvK; KRBPvK -> KBPvK; KRBPvK -> KRBBvK; KRBPvK -> KRPvK; KRBPvK -> KRBNvK; KRBPvK -> KRBvK; KRBvK -> KBvK; KRBvK -> KRvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KRNvK -> KNvK; KRNvK -> KRvK; KBNvK -> KNvK; KBNvK -> KBvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KRRvK -> KRvK; KQRvK -> KRvK; KQRvK -> KQvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KBBvK -> KBvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KQBvK -> KBvK; KQBvK -> KQvK; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; }