digraph Syzygy { KRBNvKRP -> KRBNvKQR; KRBNvKRP -> KRBNvKRR; KRBNvKRP -> KRPvKBN; KRBNvKRP -> KRBNvKP; KRBNvKRP -> KRBNvKRB; KRBNvKRP -> KRNvKRP; KRBNvKRP -> KRBNvKRN; KRBNvKRP -> KRBvKRP; KRBNvKRP -> KRBNvKR; KRBNvKR -> KBNvKR; KRBNvKR -> KRBNvK; KRBNvKR -> KRNvKR; KRBNvKR -> KRBvKR; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KRvKR -> KRvK; KRBvK -> KBvK; KRBvK -> KRvK; KRvKB -> KBvK; KRvKB -> KRvK; KRNvKR -> KRvKN; KRNvKR -> KRNvK; KRNvKR -> KRvKR; KRNvK -> KNvK; KRNvK -> KRvK; KRvKN -> KNvK; KRvKN -> KRvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KBNvK -> KNvK; KBNvK -> KBvK; KBNvKR -> KBNvK; KBNvKR -> KRvKN; KBNvKR -> KRvKB; KRBvKRP -> KQRvKRB; KRBvKRP -> KRRvKRB; KRBvKRP -> KRPvKB; KRBvKRP -> KRBvKP; KRBvKRP -> KRBvKRB; KRBvKRP -> KRPvKR; KRBvKRP -> KRBvKRN; KRBvKRP -> KRBvKR; KRBvKRN -> KRNvKB; KRBvKRN -> KRBvKN; KRBvKRN -> KRNvKR; KRBvKRN -> KRBvKR; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KBvKN -> KNvK; KBvKN -> KBvK; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KRPvKR -> KQRvKR; KRPvKR -> KRRvKR; KRPvKR -> KRvKP; KRPvKR -> KRPvK; KRPvKR -> KRBvKR; KRPvKR -> KRNvKR; KRPvKR -> KRvKR; 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; KRvKP -> KQvKR; KRvKP -> KRvKR; KRvKP -> KPvK; KRvKP -> KRvKB; KRvKP -> KRvKN; KRvKP -> KRvK; KQvKR -> KRvK; KQvKR -> KQvK; KRRvKR -> KRvKR; KRRvKR -> KRRvK; KQRvKR -> KRvKR; KQRvKR -> KQvKR; KQRvKR -> KQRvK; KRBvKRB -> KRBvKB; KRBvKRB -> KRBvKR; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KBvKB -> KBvK; KRBvKP -> KRBvKQ; KRBvKP -> KRBvKR; KRBvKP -> KBvKP; KRBvKP -> KRBvKB; KRBvKP -> KRvKP; KRBvKP -> KRBvKN; KRBvKP -> KRBvK; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQvKB -> KBvK; KQvKB -> KQvK; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; KRPvKB -> KQRvKB; KRPvKB -> KRRvKB; KRPvKB -> KBvKP; KRPvKB -> KRBvKB; KRPvKB -> KRPvK; KRPvKB -> KRNvKB; KRPvKB -> KRvKB; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KRRvKRB -> KRBvKR; KRRvKRB -> KRRvKB; KRRvKRB -> KRRvKR; KQRvKRB -> KRBvKR; KQRvKRB -> KRBvKQ; KQRvKRB -> KQRvKB; KQRvKRB -> KQRvKR; KRBNvKRN -> KRNvKBN; KRBNvKRN -> KRBNvKN; KRBNvKRN -> KRNvKRN; KRBNvKRN -> KRBvKRN; KRBNvKRN -> KRBNvKR; KRNvKRN -> KRNvKN; KRNvKRN -> KRNvKR; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KNvKN -> KNvK; KRBNvKN -> KBNvKN; KRBNvKN -> KRNvKN; KRBNvKN -> KRBvKN; KRBNvKN -> KRBNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KRNvKBN -> KBNvKN; KRNvKBN -> KRNvKN; KRNvKBN -> KBNvKR; KRNvKBN -> KRNvKB; KRNvKRP -> KQRvKRN; KRNvKRP -> KRRvKRN; KRNvKRP -> KRPvKN; KRNvKRP -> KRNvKP; KRNvKRP -> KRBvKRN; KRNvKRP -> KRNvKRN; KRNvKRP -> KRPvKR; KRNvKRP -> KRNvKR; KRNvKP -> KRNvKQ; KRNvKP -> KRNvKR; KRNvKP -> KNvKP; KRNvKP -> KRNvKB; KRNvKP -> KRNvKN; KRNvKP -> KRvKP; KRNvKP -> KRNvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQvKN -> KNvK; KQvKN -> KQvK; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KRPvKN -> KQRvKN; KRPvKN -> KRRvKN; KRPvKN -> KNvKP; KRPvKN -> KRBvKN; KRPvKN -> KRNvKN; KRPvKN -> KRPvK; KRPvKN -> KRvKN; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRRvKRN -> KRNvKR; KRRvKRN -> KRRvKN; KRRvKRN -> KRRvKR; KQRvKRN -> KRNvKR; KQRvKRN -> KRNvKQ; KQRvKRN -> KQRvKN; KQRvKRN -> KQRvKR; KRBNvKRB -> KRBvKBN; KRBNvKRB -> KRBNvKB; KRBNvKRB -> KRBvKRN; KRBNvKRB -> KRBNvKR; KRBNvKRB -> KRBvKRB; KRBNvKB -> KBNvKB; KRBNvKB -> KRNvKB; KRBNvKB -> KRBNvK; KRBNvKB -> KRBvKB; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KRBvKBN -> KBNvKB; KRBvKBN -> KBNvKR; KRBvKBN -> KRBvKN; KRBvKBN -> KRBvKB; KRBNvKP -> KRBNvKQ; KRBNvKP -> KRBNvKR; KRBNvKP -> KBNvKP; KRBNvKP -> KRBNvKB; KRBNvKP -> KRNvKP; KRBNvKP -> KRBNvKN; KRBNvKP -> KRBvKP; KRBNvKP -> KRBNvK; KBNvKP -> KBNvKQ; KBNvKP -> KBNvKR; KBNvKP -> KBNvKB; KBNvKP -> KNvKP; KBNvKP -> KBNvKN; KBNvKP -> KBvKP; KBNvKP -> KBNvK; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KRBNvKQ -> KRBNvK; KRBNvKQ -> KBNvKQ; KRBNvKQ -> KRNvKQ; KRBNvKQ -> KRBvKQ; KRPvKBN -> KQRvKBN; KRPvKBN -> KRRvKBN; KRPvKBN -> KBNvKP; KRPvKBN -> KRBvKBN; KRPvKBN -> KRPvKN; KRPvKBN -> KRNvKBN; KRPvKBN -> KRPvKB; KRPvKBN -> KBNvKR; KRRvKBN -> KBNvKR; KRRvKBN -> KRRvKN; KRRvKBN -> KRRvKB; KQRvKBN -> KBNvKR; KQRvKBN -> KBNvKQ; KQRvKBN -> KQRvKN; KQRvKBN -> KQRvKB; KRBNvKRR -> KRRvKBN; KRBNvKRR -> KRBNvKR; KRBNvKRR -> KRRvKRN; KRBNvKRR -> KRRvKRB; KRBNvKQR -> KRBNvKR; KRBNvKQR -> KQRvKBN; KRBNvKQR -> KRBNvKQ; KRBNvKQR -> KQRvKRN; KRBNvKQR -> KQRvKRB; }