digraph Syzygy { KQNvKBP -> KQBvKQN; KQNvKBP -> KBPvKN; KQNvKBP -> KQNvKRB; KQNvKBP -> KQNvKBB; KQNvKBP -> KQNvKP; KQNvKBP -> KQNvKBN; KQNvKBP -> KBPvKQ; KQNvKBP -> KQNvKB; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KQvKB -> KBvK; KQvKB -> KQvK; KQNvK -> KNvK; KQNvK -> KQvK; KBvKN -> KNvK; KBvKN -> KBvK; KBPvKQ -> KQBvKQ; KBPvKQ -> KBPvK; KBPvKQ -> KRBvKQ; KBPvKQ -> KBBvKQ; KBPvKQ -> KQvKP; KBPvKQ -> KBNvKQ; KBPvKQ -> KQvKB; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KQvKN -> KNvK; KQvKN -> KQvK; KBNvK -> KNvK; KBNvK -> KBvK; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KQvKR -> KRvK; KQvKR -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQvKQ -> KQvK; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KBBvK -> KBvK; KRBvKQ -> KRBvK; KRBvKQ -> KQvKB; KRBvKQ -> KQvKR; KRBvK -> KBvK; KRBvK -> KRvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KQBvK -> KBvK; KQBvK -> KQvK; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQNvKBN -> KBNvKN; KQNvKBN -> KQNvKN; KQNvKBN -> KBNvKQ; KQNvKBN -> KQNvKB; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KNvKN -> KNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KQNvKP -> KQNvKQ; KQNvKP -> KNvKP; KQNvKP -> KQNvKR; KQNvKP -> KQNvKB; KQNvKP -> KQNvKN; KQNvKP -> KQvKP; KQNvKP -> KQNvK; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; KRvKN -> KNvK; KRvKN -> KRvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQNvKBB -> KBBvKN; KQNvKBB -> KQNvKB; KQNvKBB -> KBBvKQ; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KQNvKRB -> KRBvKN; KQNvKRB -> KQNvKB; KQNvKRB -> KQNvKR; KQNvKRB -> KRBvKQ; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KBPvKN -> KQBvKN; KBPvKN -> KRBvKN; KBPvKN -> KBBvKN; KBPvKN -> KNvKP; KBPvKN -> KBNvKN; KBPvKN -> KBPvK; KBPvKN -> KBvKN; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KQBvKQN -> KQNvKB; KQBvKQN -> KQBvKN; KQBvKQN -> KQNvKQ; KQBvKQN -> KQBvKQ; }