digraph Syzygy { KRNNPvKN -> KQRNNvKN; KRNNPvKN -> KRRNNvKN; KRNNPvKN -> KNNPvKN; KRNNPvKN -> KRBNNvKN; KRNNPvKN -> KRNNNvKN; KRNNPvKN -> KRNPvKN; KRNNPvKN -> KRNNPvK; KRNNPvKN -> KRNNvKN; KRNNvKN -> KNNvKN; KRNNvKN -> KRNvKN; KRNNvKN -> KRNNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KRNvK -> KNvK; KRNvK -> KRvK; KNNvK -> KNvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KRvKN -> KNvK; KRvKN -> KRvK; KNvKN -> KNvK; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KRNNPvK -> KQRNNvK; KRNNPvK -> KRRNNvK; KRNNPvK -> KNNPvK; KRNNPvK -> KRBNNvK; KRNNPvK -> KRNNNvK; KRNNPvK -> KRNPvK; KRNNPvK -> KRNNvK; KRNPvK -> KQRNvK; KRNPvK -> KRRNvK; KRNPvK -> KNPvK; KRNPvK -> KRBNvK; KRNPvK -> KRNNvK; KRNPvK -> KRPvK; KRNPvK -> KRNvK; 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; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KBNvK -> KNvK; KBNvK -> KBvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQNvK -> KNvK; KQNvK -> KQvK; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KRNNNvK -> KNNNvK; KRNNNvK -> KRNNvK; KNNNvK -> KNNvK; KRBNNvK -> KBNNvK; KRBNNvK -> KRNNvK; KRBNNvK -> KRBNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KRRNNvK -> KRNNvK; KRRNNvK -> KRRNvK; KQRNNvK -> KRNNvK; KQRNNvK -> KQNNvK; KQRNNvK -> KQRNvK; KRNPvKN -> KQRNvKN; KRNPvKN -> KRRNvKN; KRNPvKN -> KNPvKN; KRNPvKN -> KRBNvKN; KRNPvKN -> KRNNvKN; KRNPvKN -> KRPvKN; KRNPvKN -> KRNPvK; KRNPvKN -> KRNvKN; KRPvKN -> KQRvKN; KRPvKN -> KRRvKN; KRPvKN -> KNvKP; KRPvKN -> KRBvKN; KRPvKN -> KRNvKN; KRPvKN -> KRPvK; KRPvKN -> KRvKN; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KBvKN -> KNvK; KBvKN -> KBvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQvKN -> KNvK; KQvKN -> KQvK; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRBNvKN -> KBNvKN; KRBNvKN -> KRNvKN; KRBNvKN -> KRBvKN; KRBNvKN -> KRBNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KRRNvKN -> KRNvKN; KRRNvKN -> KRRvKN; KRRNvKN -> KRRNvK; KQRNvKN -> KRNvKN; KQRNvKN -> KQNvKN; KQRNvKN -> KQRvKN; KQRNvKN -> KQRNvK; KRNNNvKN -> KNNNvKN; KRNNNvKN -> KRNNvKN; KRNNNvKN -> KRNNNvK; KNNNvKN -> KNNvKN; KNNNvKN -> KNNNvK; KRBNNvKN -> KBNNvKN; KRBNNvKN -> KRNNvKN; KRBNNvKN -> KRBNvKN; KRBNNvKN -> KRBNNvK; KBNNvKN -> KNNvKN; KBNNvKN -> KBNvKN; KBNNvKN -> KBNNvK; KNNPvKN -> KQNNvKN; KNNPvKN -> KRNNvKN; KNNPvKN -> KBNNvKN; KNNPvKN -> KNNNvKN; KNNPvKN -> KNPvKN; KNNPvKN -> KNNPvK; KNNPvKN -> KNNvKN; KQNNvKN -> KNNvKN; KQNNvKN -> KQNvKN; KQNNvKN -> KQNNvK; KRRNNvKN -> KRNNvKN; KRRNNvKN -> KRRNvKN; KRRNNvKN -> KRRNNvK; KQRNNvKN -> KRNNvKN; KQRNNvKN -> KQNNvKN; KQRNNvKN -> KQRNvKN; KQRNNvKN -> KQRNNvK; }