digraph Syzygy { KRBPvKRB -> KQRBvKRB; KRBPvKRB -> KRRBvKRB; KRBPvKRB -> KRBvKBP; KRBPvKRB -> KRBPvKB; KRBPvKRB -> KRBBvKRB; KRBPvKRB -> KRBvKRP; KRBPvKRB -> KRBPvKR; KRBPvKRB -> KRBNvKRB; KRBPvKRB -> KRBvKRB; KRBvKRB -> KRBvKB; KRBvKRB -> KRBvKR; KRBvKR -> KRvKB; KRBvKR -> KRBvK; KRBvKR -> KRvKR; KRvKR -> KRvK; KRBvK -> KBvK; KRBvK -> KRvK; KRvKB -> KBvK; KRvKB -> KRvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KBvKB -> KBvK; KRBNvKRB -> KRBvKBN; KRBNvKRB -> KRBNvKB; KRBNvKRB -> KRBvKRN; KRBNvKRB -> KRBNvKR; KRBNvKRB -> KRBvKRB; KRBNvKR -> KBNvKR; KRBNvKR -> KRBNvK; KRBNvKR -> KRNvKR; KRBNvKR -> KRBvKR; 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; KRBvKRN -> KRNvKB; KRBvKRN -> KRBvKN; KRBvKRN -> KRNvKR; KRBvKRN -> KRBvKR; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KBvKN -> KNvK; KBvKN -> KBvK; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KRBNvKB -> KBNvKB; KRBNvKB -> KRNvKB; KRBNvKB -> KRBNvK; KRBNvKB -> KRBvKB; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KRBvKBN -> KBNvKB; KRBvKBN -> KBNvKR; KRBvKBN -> KRBvKN; KRBvKBN -> KRBvKB; KRBPvKR -> KQRBvKR; KRBPvKR -> KRRBvKR; KRBPvKR -> KBPvKR; KRBPvKR -> KRBPvK; KRBPvKR -> KRBBvKR; KRBPvKR -> KRPvKR; KRBPvKR -> KRBNvKR; KRBPvKR -> KRBvKR; 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; KRBBvKR -> KBBvKR; KRBBvKR -> KRBBvK; KRBBvKR -> KRBvKR; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KBBvK -> KBvK; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KRBPvK -> KQRBvK; KRBPvK -> KRRBvK; KRBPvK -> KBPvK; KRBPvK -> KRBBvK; KRBPvK -> KRPvK; KRBPvK -> KRBNvK; KRBPvK -> KRBvK; 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; KBPvKR -> KQBvKR; KBPvKR -> KRBvKR; KBPvKR -> KBPvK; KBPvKR -> KBBvKR; KBPvKR -> KRvKP; KBPvKR -> KBNvKR; KBPvKR -> KRvKB; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KRRBvKR -> KRBvKR; KRRBvKR -> KRRBvK; KRRBvKR -> KRRvKR; KQRBvKR -> KRBvKR; KQRBvKR -> KQBvKR; KQRBvKR -> KQRBvK; KQRBvKR -> KQRvKR; KRBvKRP -> KQRvKRB; KRBvKRP -> KRRvKRB; KRBvKRP -> KRPvKB; KRBvKRP -> KRBvKP; KRBvKRP -> KRBvKRB; KRBvKRP -> KRPvKR; KRBvKRP -> KRBvKRN; KRBvKRP -> KRBvKR; 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; KRBBvKRB -> KRBvKBB; KRBBvKRB -> KRBBvKB; KRBBvKRB -> KRBvKRB; KRBBvKRB -> KRBBvKR; KRBBvKB -> KBBvKB; KRBBvKB -> KRBvKB; KRBBvKB -> KRBBvK; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KRBvKBB -> KBBvKB; KRBvKBB -> KBBvKR; KRBvKBB -> KRBvKB; KRBPvKB -> KQRBvKB; KRBPvKB -> KRRBvKB; KRBPvKB -> KBPvKB; KRBPvKB -> KRBBvKB; KRBPvKB -> KRPvKB; KRBPvKB -> KRBPvK; KRBPvKB -> KRBNvKB; KRBPvKB -> KRBvKB; KBPvKB -> KQBvKB; KBPvKB -> KRBvKB; KBPvKB -> KBBvKB; KBPvKB -> KBvKP; KBPvKB -> KBPvK; KBPvKB -> KBNvKB; KBPvKB -> KBvKB; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KRRBvKB -> KRBvKB; KRRBvKB -> KRRvKB; KRRBvKB -> KRRBvK; KQRBvKB -> KRBvKB; KQRBvKB -> KQBvKB; KQRBvKB -> KQRvKB; KQRBvKB -> KQRBvK; KRBvKBP -> KQBvKRB; KRBvKBP -> KRBvKRB; KRBvKBP -> KBPvKB; KRBvKBP -> KRBvKBB; KRBvKBP -> KBPvKR; KRBvKBP -> KRBvKP; KRBvKBP -> KRBvKBN; KRBvKBP -> KRBvKB; KQBvKRB -> KRBvKB; KQBvKRB -> KQBvKB; KQBvKRB -> KRBvKQ; KQBvKRB -> KQBvKR; KRRBvKRB -> KRBvKRB; KRRBvKRB -> KRRBvKB; KRRBvKRB -> KRRvKRB; KRRBvKRB -> KRRBvKR; KQRBvKRB -> KRBvKRB; KQRBvKRB -> KQBvKRB; KQRBvKRB -> KQRBvKB; KQRBvKRB -> KQRvKRB; KQRBvKRB -> KQRBvKR; }