digraph Syzygy { KNNPPvKQ -> KQNNPvKQ; KNNPPvKQ -> KNNPPvK; KNNPPvKQ -> KRNNPvKQ; KNNPPvKQ -> KBNNPvKQ; KNNPPvKQ -> KNNNPvKQ; KNNPPvKQ -> KNPPvKQ; KNNPPvKQ -> KNNPvKQ; KNNPvKQ -> KQNNvKQ; KNNPvKQ -> KNNPvK; KNNPvKQ -> KRNNvKQ; KNNPvKQ -> KBNNvKQ; KNNPvKQ -> KNNNvKQ; KNNPvKQ -> KNPvKQ; KNNPvKQ -> KNNvKQ; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KQvKN -> KNvK; KQvKN -> KQvK; KNNvK -> KNvK; KNPvKQ -> KQNvKQ; KNPvKQ -> KNPvK; KNPvKQ -> KRNvKQ; KNPvKQ -> KBNvKQ; KNPvKQ -> KNNvKQ; KNPvKQ -> KQvKP; KNPvKQ -> KQvKN; KQvKP -> KQvKQ; KQvKP -> KPvK; KQvKP -> KQvKR; KQvKP -> KQvKB; KQvKP -> KQvKN; KQvKP -> KQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQvKR -> KRvK; KQvKR -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQvKQ -> KQvK; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KBNvK -> KNvK; KBNvK -> KBvK; KRNvKQ -> KRNvK; KRNvKQ -> KQvKN; KRNvKQ -> KQvKR; KRNvK -> KNvK; KRNvK -> KRvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQNvK -> KNvK; KQNvK -> KQvK; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KNNNvKQ -> KNNNvK; KNNNvKQ -> KNNvKQ; KNNNvK -> KNNvK; KBNNvKQ -> KBNNvK; KBNNvKQ -> KNNvKQ; KBNNvKQ -> KBNvKQ; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KRNNvKQ -> KRNNvK; KRNNvKQ -> KNNvKQ; KRNNvKQ -> KRNvKQ; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KQNNvKQ -> KNNvKQ; KQNNvKQ -> KQNNvK; KQNNvKQ -> KQNvKQ; KNPPvKQ -> KQNPvKQ; KNPPvKQ -> KNPPvK; KNPPvKQ -> KRNPvKQ; KNPPvKQ -> KBNPvKQ; KNPPvKQ -> KNNPvKQ; KNPPvKQ -> KPPvKQ; KNPPvKQ -> KNPvKQ; KPPvKQ -> KQPvKQ; KPPvKQ -> KPPvK; KPPvKQ -> KRPvKQ; KPPvKQ -> KBPvKQ; KPPvKQ -> KNPvKQ; KPPvKQ -> KQvKP; KBPvKQ -> KQBvKQ; KBPvKQ -> KBPvK; KBPvKQ -> KRBvKQ; KBPvKQ -> KBBvKQ; KBPvKQ -> KQvKP; KBPvKQ -> KBNvKQ; KBPvKQ -> KQvKB; 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; KRPvKQ -> KQRvKQ; KRPvKQ -> KRPvK; KRPvKQ -> KRRvKQ; KRPvKQ -> KQvKP; KRPvKQ -> KRBvKQ; KRPvKQ -> KRNvKQ; KRPvKQ -> KQvKR; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KRRvK -> KRvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KQRvK -> KRvK; KQRvK -> KQvK; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KPPvK -> KQPvK; KPPvK -> KRPvK; KPPvK -> KBPvK; KPPvK -> KNPvK; KPPvK -> KPvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KQQvK -> KQvK; KQPvKQ -> KQQvKQ; KQPvKQ -> KQvKP; KQPvKQ -> KQPvK; KQPvKQ -> KQRvKQ; KQPvKQ -> KQBvKQ; KQPvKQ -> KQNvKQ; KQPvKQ -> KQvKQ; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KBNPvKQ -> KQBNvKQ; KBNPvKQ -> KBNPvK; KBNPvKQ -> KRBNvKQ; KBNPvKQ -> KBBNvKQ; KBNPvKQ -> KNPvKQ; KBNPvKQ -> KBNNvKQ; KBNPvKQ -> KBPvKQ; KBNPvKQ -> KBNvKQ; KBBNvKQ -> KBBNvK; KBBNvKQ -> KBNvKQ; KBBNvKQ -> KBBvKQ; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KRBNvKQ -> KRBNvK; KRBNvKQ -> KBNvKQ; KRBNvKQ -> KRNvKQ; KRBNvKQ -> KRBvKQ; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KBNPvK -> KQBNvK; KBNPvK -> KRBNvK; KBNPvK -> KBBNvK; KBNPvK -> KNPvK; KBNPvK -> KBNNvK; KBNPvK -> KBPvK; KBNPvK -> KBNvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KQBNvKQ -> KBNvKQ; KQBNvKQ -> KQBNvK; KQBNvKQ -> KQNvKQ; KQBNvKQ -> KQBvKQ; KRNPvKQ -> KQRNvKQ; KRNPvKQ -> KRNPvK; KRNPvKQ -> KRRNvKQ; KRNPvKQ -> KNPvKQ; KRNPvKQ -> KRBNvKQ; KRNPvKQ -> KRNNvKQ; KRNPvKQ -> KRPvKQ; KRNPvKQ -> KRNvKQ; KRRNvKQ -> KRRNvK; KRRNvKQ -> KRNvKQ; KRRNvKQ -> KRRvKQ; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KRNPvK -> KQRNvK; KRNPvK -> KRRNvK; KRNPvK -> KNPvK; KRNPvK -> KRBNvK; KRNPvK -> KRNNvK; KRNPvK -> KRPvK; KRNPvK -> KRNvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KQRNvKQ -> KRNvKQ; KQRNvKQ -> KQRNvK; KQRNvKQ -> KQNvKQ; KQRNvKQ -> KQRvKQ; KNPPvK -> KQNPvK; KNPPvK -> KRNPvK; KNPPvK -> KBNPvK; KNPPvK -> KNNPvK; KNPPvK -> KPPvK; KNPPvK -> KNPvK; KQNPvK -> KQQNvK; KQNPvK -> KNPvK; KQNPvK -> KQRNvK; KQNPvK -> KQBNvK; KQNPvK -> KQNNvK; KQNPvK -> KQPvK; KQNPvK -> KQNvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQNPvKQ -> KQQNvKQ; KQNPvKQ -> KNPvKQ; KQNPvKQ -> KQNPvK; KQNPvKQ -> KQRNvKQ; KQNPvKQ -> KQBNvKQ; KQNPvKQ -> KQNNvKQ; KQNPvKQ -> KQPvKQ; KQNPvKQ -> KQNvKQ; KQQNvKQ -> KQNvKQ; KQQNvKQ -> KQQNvK; KQQNvKQ -> KQQvKQ; KNNNPvKQ -> KQNNNvKQ; KNNNPvKQ -> KNNNPvK; KNNNPvKQ -> KRNNNvKQ; KNNNPvKQ -> KBNNNvKQ; KNNNPvKQ -> KNNNNvKQ; KNNNPvKQ -> KNNPvKQ; KNNNPvKQ -> KNNNvKQ; KNNNNvKQ -> KNNNNvK; KNNNNvKQ -> KNNNvKQ; KNNNNvK -> KNNNvK; KBNNNvKQ -> KBNNNvK; KBNNNvKQ -> KNNNvKQ; KBNNNvKQ -> KBNNvKQ; KBNNNvK -> KNNNvK; KBNNNvK -> KBNNvK; KRNNNvKQ -> KRNNNvK; KRNNNvKQ -> KNNNvKQ; KRNNNvKQ -> KRNNvKQ; KRNNNvK -> KNNNvK; KRNNNvK -> KRNNvK; KNNNPvK -> KQNNNvK; KNNNPvK -> KRNNNvK; KNNNPvK -> KBNNNvK; KNNNPvK -> KNNNNvK; KNNNPvK -> KNNPvK; KNNNPvK -> KNNNvK; KQNNNvK -> KNNNvK; KQNNNvK -> KQNNvK; KQNNNvKQ -> KNNNvKQ; KQNNNvKQ -> KQNNNvK; KQNNNvKQ -> KQNNvKQ; KBNNPvKQ -> KQBNNvKQ; KBNNPvKQ -> KBNNPvK; KBNNPvKQ -> KRBNNvKQ; KBNNPvKQ -> KBBNNvKQ; KBNNPvKQ -> KNNPvKQ; KBNNPvKQ -> KBNNNvKQ; KBNNPvKQ -> KBNPvKQ; KBNNPvKQ -> KBNNvKQ; KBBNNvKQ -> KBBNNvK; KBBNNvKQ -> KBNNvKQ; KBBNNvKQ -> KBBNvKQ; KBBNNvK -> KBNNvK; KBBNNvK -> KBBNvK; KRBNNvKQ -> KRBNNvK; KRBNNvKQ -> KBNNvKQ; KRBNNvKQ -> KRNNvKQ; KRBNNvKQ -> KRBNvKQ; KRBNNvK -> KBNNvK; KRBNNvK -> KRNNvK; KRBNNvK -> KRBNvK; KBNNPvK -> KQBNNvK; KBNNPvK -> KRBNNvK; KBNNPvK -> KBBNNvK; KBNNPvK -> KNNPvK; KBNNPvK -> KBNNNvK; KBNNPvK -> KBNPvK; KBNNPvK -> KBNNvK; KQBNNvK -> KBNNvK; KQBNNvK -> KQNNvK; KQBNNvK -> KQBNvK; KQBNNvKQ -> KBNNvKQ; KQBNNvKQ -> KQBNNvK; KQBNNvKQ -> KQNNvKQ; KQBNNvKQ -> KQBNvKQ; KRNNPvKQ -> KQRNNvKQ; KRNNPvKQ -> KRNNPvK; KRNNPvKQ -> KRRNNvKQ; KRNNPvKQ -> KNNPvKQ; KRNNPvKQ -> KRBNNvKQ; KRNNPvKQ -> KRNNNvKQ; KRNNPvKQ -> KRNPvKQ; KRNNPvKQ -> KRNNvKQ; KRRNNvKQ -> KRRNNvK; KRRNNvKQ -> KRNNvKQ; KRRNNvKQ -> KRRNvKQ; KRRNNvK -> KRNNvK; KRRNNvK -> KRRNvK; KRNNPvK -> KQRNNvK; KRNNPvK -> KRRNNvK; KRNNPvK -> KNNPvK; KRNNPvK -> KRBNNvK; KRNNPvK -> KRNNNvK; KRNNPvK -> KRNPvK; KRNNPvK -> KRNNvK; KQRNNvK -> KRNNvK; KQRNNvK -> KQNNvK; KQRNNvK -> KQRNvK; KQRNNvKQ -> KRNNvKQ; KQRNNvKQ -> KQRNNvK; KQRNNvKQ -> KQNNvKQ; KQRNNvKQ -> KQRNvKQ; KNNPPvK -> KQNNPvK; KNNPPvK -> KRNNPvK; KNNPPvK -> KBNNPvK; KNNPPvK -> KNNNPvK; KNNPPvK -> KNPPvK; KNNPPvK -> KNNPvK; KQNNPvK -> KQQNNvK; KQNNPvK -> KNNPvK; KQNNPvK -> KQRNNvK; KQNNPvK -> KQBNNvK; KQNNPvK -> KQNNNvK; KQNNPvK -> KQNPvK; KQNNPvK -> KQNNvK; KQQNNvK -> KQNNvK; KQQNNvK -> KQQNvK; KQNNPvKQ -> KQQNNvKQ; KQNNPvKQ -> KNNPvKQ; KQNNPvKQ -> KQNNPvK; KQNNPvKQ -> KQRNNvKQ; KQNNPvKQ -> KQBNNvKQ; KQNNPvKQ -> KQNNNvKQ; KQNNPvKQ -> KQNPvKQ; KQNNPvKQ -> KQNNvKQ; KQQNNvKQ -> KQNNvKQ; KQQNNvKQ -> KQQNNvK; KQQNNvKQ -> KQQNvKQ; }