digraph Syzygy { KQRNPvKN -> KQQRNvKN; KQRNPvKN -> KRNPvKN; KQRNPvKN -> KQRRNvKN; KQRNPvKN -> KQNPvKN; KQRNPvKN -> KQRBNvKN; KQRNPvKN -> KQRNNvKN; KQRNPvKN -> KQRPvKN; KQRNPvKN -> KQRNPvK; KQRNPvKN -> KQRNvKN; KQRNvKN -> KRNvKN; KQRNvKN -> KQNvKN; KQRNvKN -> KQRvKN; KQRNvKN -> KQRNvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KQRvK -> KRvK; KQRvK -> KQvK; KQNvK -> KNvK; KQNvK -> KQvK; KRNvK -> KNvK; KRNvK -> KRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KQvKN -> KNvK; KQvKN -> KQvK; KRvKN -> KNvK; KRvKN -> KRvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KNvKN -> KNvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KQRNPvK -> KQQRNvK; KQRNPvK -> KRNPvK; KQRNPvK -> KQRRNvK; KQRNPvK -> KQNPvK; KQRNPvK -> KQRBNvK; KQRNPvK -> KQRNNvK; KQRNPvK -> KQRPvK; KQRNPvK -> KQRNvK; KQRPvK -> KQQRvK; KQRPvK -> KRPvK; KQRPvK -> KQRRvK; KQRPvK -> KQPvK; KQRPvK -> KQRBvK; KQRPvK -> KQRNvK; KQRPvK -> KQRvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KQBvK -> KBvK; KQBvK -> KQvK; KRBvK -> KBvK; KRBvK -> KRvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQvK -> KQvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KRRvK -> KRvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQRNNvK -> KRNNvK; KQRNNvK -> KQNNvK; KQRNNvK -> KQRNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KQRBNvK -> KRBNvK; KQRBNvK -> KQBNvK; KQRBNvK -> KQRNvK; KQRBNvK -> KQRBvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBNvK -> KNvK; KBNvK -> KBvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KQNPvK -> KQQNvK; KQNPvK -> KNPvK; KQNPvK -> KQRNvK; KQNPvK -> KQBNvK; KQNPvK -> KQNNvK; KQNPvK -> KQPvK; KQNPvK -> KQNvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQRRNvK -> KRRNvK; KQRRNvK -> KQRNvK; KQRRNvK -> KQRRvK; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KRNPvK -> KQRNvK; KRNPvK -> KRRNvK; KRNPvK -> KNPvK; KRNPvK -> KRBNvK; KRNPvK -> KRNNvK; KRNPvK -> KRPvK; KRNPvK -> KRNvK; KQQRNvK -> KQRNvK; KQQRNvK -> KQQNvK; KQQRNvK -> KQQRvK; KQRPvKN -> KQQRvKN; KQRPvKN -> KRPvKN; KQRPvKN -> KQRRvKN; KQRPvKN -> KQPvKN; KQRPvKN -> KQRBvKN; KQRPvKN -> KQRNvKN; KQRPvKN -> KQRPvK; KQRPvKN -> KQRvKN; KQRBvKN -> KRBvKN; KQRBvKN -> KQBvKN; KQRBvKN -> KQRvKN; KQRBvKN -> KQRBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBvKN -> KNvK; KBvKN -> KBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQRRvKN -> KRRvKN; KQRRvKN -> KQRvKN; KQRRvKN -> KQRRvK; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KRPvKN -> KQRvKN; KRPvKN -> KRRvKN; KRPvKN -> KNvKP; KRPvKN -> KRBvKN; KRPvKN -> KRNvKN; KRPvKN -> KRPvK; KRPvKN -> KRvKN; KQQRvKN -> KQRvKN; KQQRvKN -> KQQvKN; KQQRvKN -> KQQRvK; KQRNNvKN -> KRNNvKN; KQRNNvKN -> KQNNvKN; KQRNNvKN -> KQRNvKN; KQRNNvKN -> KQRNNvK; KQNNvKN -> KNNvKN; KQNNvKN -> KQNvKN; KQNNvKN -> KQNNvK; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KRNNvKN -> KNNvKN; KRNNvKN -> KRNvKN; KRNNvKN -> KRNNvK; KQRBNvKN -> KRBNvKN; KQRBNvKN -> KQBNvKN; KQRBNvKN -> KQRNvKN; KQRBNvKN -> KQRBvKN; KQRBNvKN -> KQRBNvK; KQBNvKN -> KBNvKN; KQBNvKN -> KQNvKN; KQBNvKN -> KQBvKN; KQBNvKN -> KQBNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KRBNvKN -> KBNvKN; KRBNvKN -> KRNvKN; KRBNvKN -> KRBvKN; KRBNvKN -> KRBNvK; KQNPvKN -> KQQNvKN; KQNPvKN -> KNPvKN; KQNPvKN -> KQRNvKN; KQNPvKN -> KQBNvKN; KQNPvKN -> KQNNvKN; KQNPvKN -> KQPvKN; KQNPvKN -> KQNPvK; KQNPvKN -> KQNvKN; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KQQNvKN -> KQNvKN; KQQNvKN -> KQQvKN; KQQNvKN -> KQQNvK; KQRRNvKN -> KRRNvKN; KQRRNvKN -> KQRNvKN; KQRRNvKN -> KQRRvKN; KQRRNvKN -> KQRRNvK; KRRNvKN -> KRNvKN; KRRNvKN -> KRRvKN; KRRNvKN -> KRRNvK; KRNPvKN -> KQRNvKN; KRNPvKN -> KRRNvKN; KRNPvKN -> KNPvKN; KRNPvKN -> KRBNvKN; KRNPvKN -> KRNNvKN; KRNPvKN -> KRPvKN; KRNPvKN -> KRNPvK; KRNPvKN -> KRNvKN; KQQRNvKN -> KQRNvKN; KQQRNvKN -> KQQNvKN; KQQRNvKN -> KQQRvKN; KQQRNvKN -> KQQRNvK; }