digraph Syzygy { KBBBvKRP -> KBBBvKQR; KBBBvKRP -> KBBBvKRR; KBBBvKRP -> KBBBvKP; KBBBvKRP -> KBBBvKRB; KBBBvKRP -> KRPvKBB; KBBBvKRP -> KBBBvKRN; KBBBvKRP -> KBBBvKR; KBBBvKR -> KBBBvK; KBBBvKR -> KBBvKR; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KRvKB -> KBvK; KRvKB -> KRvK; KBBvK -> KBvK; KBBBvK -> KBBvK; KBBBvKRN -> KBBBvKN; KBBBvKRN -> KRNvKBB; KBBBvKRN -> KBBBvKR; KRNvKBB -> KBBvKN; KRNvKBB -> KRNvKB; KRNvKBB -> KBBvKR; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KRNvK -> KNvK; KRNvK -> KRvK; KBvKN -> KNvK; KBvKN -> KBvK; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KBBBvKN -> KBBvKN; KBBBvKN -> KBBBvK; KRPvKBB -> KQRvKBB; KRPvKBB -> KRRvKBB; KRPvKBB -> KBBvKP; KRPvKBB -> KRBvKBB; KRPvKBB -> KRPvKB; KRPvKBB -> KRNvKBB; KRPvKBB -> KBBvKR; KRPvKB -> KQRvKB; KRPvKB -> KRRvKB; KRPvKB -> KBvKP; KRPvKB -> KRBvKB; KRPvKB -> KRPvK; KRPvKB -> KRNvKB; KRPvKB -> KRvKB; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KRBvK -> KBvK; KRBvK -> KRvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KRRvK -> KRvK; KQRvK -> KRvK; KQRvK -> KQvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KBvKB -> KBvK; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQvKB -> KBvK; KQvKB -> KQvK; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KRBvKBB -> KBBvKB; KRBvKBB -> KBBvKR; KRBvKBB -> KRBvKB; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KBBvKP -> KBBvKQ; KBBvKP -> KBBvKR; KBBvKP -> KBBvKB; KBBvKP -> KBvKP; KBBvKP -> KBBvKN; KBBvKP -> KBBvK; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KRRvKBB -> KBBvKR; KRRvKBB -> KRRvKB; KQRvKBB -> KBBvKR; KQRvKBB -> KBBvKQ; KQRvKBB -> KQRvKB; KBBBvKRB -> KBBBvKB; KBBBvKRB -> KRBvKBB; KBBBvKRB -> KBBBvKR; KBBBvKB -> KBBvKB; KBBBvKB -> KBBBvK; KBBBvKP -> KBBBvKQ; KBBBvKP -> KBBBvKR; KBBBvKP -> KBBBvKB; KBBBvKP -> KBBvKP; KBBBvKP -> KBBBvKN; KBBBvKP -> KBBBvK; KBBBvKQ -> KBBBvK; KBBBvKQ -> KBBvKQ; KBBBvKRR -> KBBBvKR; KBBBvKRR -> KRRvKBB; KBBBvKQR -> KBBBvKR; KBBBvKQR -> KBBBvKQ; KBBBvKQR -> KQRvKBB; }