digraph Syzygy { KPPPPvKN -> KQPPPvKN; KPPPPvKN -> KRPPPvKN; KPPPPvKN -> KBPPPvKN; KPPPPvKN -> KNPPPvKN; KPPPPvKN -> KPPPPvK; KPPPPvKN -> KPPPvKN; KPPPvKN -> KQPPvKN; KPPPvKN -> KRPPvKN; KPPPvKN -> KBPPvKN; KPPPvKN -> KNPPvKN; KPPPvKN -> KPPPvK; KPPPvKN -> KPPvKN; KPPvKN -> KQPvKN; KPPvKN -> KRPvKN; KPPvKN -> KBPvKN; KPPvKN -> KNPvKN; KPPvKN -> KPPvK; KPPvKN -> KNvKP; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KNvKN -> KNvK; KBvKN -> KNvK; KBvKN -> KBvK; KRvKN -> KNvK; KRvKN -> KRvK; KQvKN -> KNvK; KQvKN -> KQvK; KPPvK -> KQPvK; KPPvK -> KRPvK; KPPvK -> KBPvK; KPPvK -> KNPvK; KPPvK -> KPvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KNNvK -> KNvK; KBNvK -> KNvK; KBNvK -> KBvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNvK -> KNvK; KQNvK -> KQvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KBBvK -> KBvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBvK -> KBvK; KQBvK -> KQvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KRRvK -> KRvK; KQRvK -> KRvK; KQRvK -> KQvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KQQvK -> KQvK; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KBPvKN -> KQBvKN; KBPvKN -> KRBvKN; KBPvKN -> KBBvKN; KBPvKN -> KNvKP; KBPvKN -> KBNvKN; KBPvKN -> KBPvK; KBPvKN -> KBvKN; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KRPvKN -> KQRvKN; KRPvKN -> KRRvKN; KRPvKN -> KNvKP; KRPvKN -> KRBvKN; KRPvKN -> KRNvKN; KRPvKN -> KRPvK; KRPvKN -> KRvKN; KRRvKN -> KRvKN; KRRvKN -> KRRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KPPPvK -> KQPPvK; KPPPvK -> KRPPvK; KPPPvK -> KBPPvK; KPPPvK -> KNPPvK; KPPPvK -> KPPvK; KNPPvK -> KQNPvK; KNPPvK -> KRNPvK; KNPPvK -> KBNPvK; KNPPvK -> KNNPvK; KNPPvK -> KPPvK; KNPPvK -> KNPvK; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KNNNvK -> KNNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KBNPvK -> KQBNvK; KBNPvK -> KRBNvK; KBNPvK -> KBBNvK; KBNPvK -> KNPvK; KBNPvK -> KBNNvK; KBNPvK -> KBPvK; KBNPvK -> KBNvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KRNPvK -> KQRNvK; KRNPvK -> KRRNvK; KRNPvK -> KNPvK; KRNPvK -> KRBNvK; KRNPvK -> KRNNvK; KRNPvK -> KRPvK; KRNPvK -> KRNvK; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KQNPvK -> KQQNvK; KQNPvK -> KNPvK; KQNPvK -> KQRNvK; KQNPvK -> KQBNvK; KQNPvK -> KQNNvK; KQNPvK -> KQPvK; KQNPvK -> KQNvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KBPPvK -> KQBPvK; KBPPvK -> KRBPvK; KBPPvK -> KBBPvK; KBPPvK -> KPPvK; KBPPvK -> KBNPvK; KBPPvK -> KBPvK; KBBPvK -> KQBBvK; KBBPvK -> KRBBvK; KBBPvK -> KBBBvK; KBBPvK -> KBPvK; KBBPvK -> KBBNvK; KBBPvK -> KBBvK; KBBBvK -> KBBvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KRBPvK -> KQRBvK; KRBPvK -> KRRBvK; KRBPvK -> KBPvK; KRBPvK -> KRBBvK; KRBPvK -> KRPvK; KRBPvK -> KRBNvK; KRBPvK -> KRBvK; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KQBPvK -> KQQBvK; KQBPvK -> KBPvK; KQBPvK -> KQRBvK; KQBPvK -> KQBBvK; KQBPvK -> KQPvK; KQBPvK -> KQBNvK; KQBPvK -> KQBvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KRPPvK -> KQRPvK; KRPPvK -> KRRPvK; KRPPvK -> KPPvK; KRPPvK -> KRBPvK; KRPPvK -> KRNPvK; KRPPvK -> KRPvK; KRRPvK -> KQRRvK; KRRPvK -> KRRRvK; KRRPvK -> KRPvK; KRRPvK -> KRRBvK; KRRPvK -> KRRNvK; KRRPvK -> KRRvK; KRRRvK -> KRRvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KQRPvK -> KQQRvK; KQRPvK -> KRPvK; KQRPvK -> KQRRvK; KQRPvK -> KQPvK; KQRPvK -> KQRBvK; KQRPvK -> KQRNvK; KQRPvK -> KQRvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQPPvK -> KQQPvK; KQPPvK -> KPPvK; KQPPvK -> KQRPvK; KQPPvK -> KQBPvK; KQPPvK -> KQNPvK; KQPPvK -> KQPvK; KQQPvK -> KQQQvK; KQQPvK -> KQPvK; KQQPvK -> KQQRvK; KQQPvK -> KQQBvK; KQQPvK -> KQQNvK; KQQPvK -> KQQvK; KQQQvK -> KQQvK; KNPPvKN -> KQNPvKN; KNPPvKN -> KRNPvKN; KNPPvKN -> KBNPvKN; KNPPvKN -> KNNPvKN; KNPPvKN -> KPPvKN; KNPPvKN -> KNPPvK; KNPPvKN -> KNPvKN; KNNPvKN -> KQNNvKN; KNNPvKN -> KRNNvKN; KNNPvKN -> KBNNvKN; KNNPvKN -> KNNNvKN; KNNPvKN -> KNPvKN; KNNPvKN -> KNNPvK; KNNPvKN -> KNNvKN; KNNNvKN -> KNNvKN; KNNNvKN -> KNNNvK; KBNNvKN -> KNNvKN; KBNNvKN -> KBNvKN; KBNNvKN -> KBNNvK; KRNNvKN -> KNNvKN; KRNNvKN -> KRNvKN; KRNNvKN -> KRNNvK; KQNNvKN -> KNNvKN; KQNNvKN -> KQNvKN; KQNNvKN -> KQNNvK; KBNPvKN -> KQBNvKN; KBNPvKN -> KRBNvKN; KBNPvKN -> KBBNvKN; KBNPvKN -> KNPvKN; KBNPvKN -> KBNNvKN; KBNPvKN -> KBPvKN; KBNPvKN -> KBNPvK; KBNPvKN -> KBNvKN; KBBNvKN -> KBNvKN; KBBNvKN -> KBBvKN; KBBNvKN -> KBBNvK; KRBNvKN -> KBNvKN; KRBNvKN -> KRNvKN; KRBNvKN -> KRBvKN; KRBNvKN -> KRBNvK; KQBNvKN -> KBNvKN; KQBNvKN -> KQNvKN; KQBNvKN -> KQBvKN; KQBNvKN -> KQBNvK; KRNPvKN -> KQRNvKN; KRNPvKN -> KRRNvKN; KRNPvKN -> KNPvKN; KRNPvKN -> KRBNvKN; KRNPvKN -> KRNNvKN; KRNPvKN -> KRPvKN; KRNPvKN -> KRNPvK; KRNPvKN -> KRNvKN; KRRNvKN -> KRNvKN; KRRNvKN -> KRRvKN; KRRNvKN -> KRRNvK; KQRNvKN -> KRNvKN; KQRNvKN -> KQNvKN; KQRNvKN -> KQRvKN; KQRNvKN -> KQRNvK; KQNPvKN -> KQQNvKN; KQNPvKN -> KNPvKN; KQNPvKN -> KQRNvKN; KQNPvKN -> KQBNvKN; KQNPvKN -> KQNNvKN; KQNPvKN -> KQPvKN; KQNPvKN -> KQNPvK; KQNPvKN -> KQNvKN; KQQNvKN -> KQNvKN; KQQNvKN -> KQQvKN; KQQNvKN -> KQQNvK; KBPPvKN -> KQBPvKN; KBPPvKN -> KRBPvKN; KBPPvKN -> KBBPvKN; KBPPvKN -> KPPvKN; KBPPvKN -> KBNPvKN; KBPPvKN -> KBPPvK; KBPPvKN -> KBPvKN; KBBPvKN -> KQBBvKN; KBBPvKN -> KRBBvKN; KBBPvKN -> KBBBvKN; KBBPvKN -> KBPvKN; KBBPvKN -> KBBNvKN; KBBPvKN -> KBBPvK; KBBPvKN -> KBBvKN; KBBBvKN -> KBBvKN; KBBBvKN -> KBBBvK; KRBBvKN -> KBBvKN; KRBBvKN -> KRBvKN; KRBBvKN -> KRBBvK; KQBBvKN -> KBBvKN; KQBBvKN -> KQBvKN; KQBBvKN -> KQBBvK; KRBPvKN -> KQRBvKN; KRBPvKN -> KRRBvKN; KRBPvKN -> KBPvKN; KRBPvKN -> KRBBvKN; KRBPvKN -> KRPvKN; KRBPvKN -> KRBNvKN; KRBPvKN -> KRBPvK; KRBPvKN -> KRBvKN; KRRBvKN -> KRBvKN; KRRBvKN -> KRRvKN; KRRBvKN -> KRRBvK; KQRBvKN -> KRBvKN; KQRBvKN -> KQBvKN; KQRBvKN -> KQRvKN; KQRBvKN -> KQRBvK; KQBPvKN -> KQQBvKN; KQBPvKN -> KBPvKN; KQBPvKN -> KQRBvKN; KQBPvKN -> KQBBvKN; KQBPvKN -> KQPvKN; KQBPvKN -> KQBNvKN; KQBPvKN -> KQBPvK; KQBPvKN -> KQBvKN; KQQBvKN -> KQBvKN; KQQBvKN -> KQQvKN; KQQBvKN -> KQQBvK; KRPPvKN -> KQRPvKN; KRPPvKN -> KRRPvKN; KRPPvKN -> KPPvKN; KRPPvKN -> KRBPvKN; KRPPvKN -> KRNPvKN; KRPPvKN -> KRPPvK; KRPPvKN -> KRPvKN; KRRPvKN -> KQRRvKN; KRRPvKN -> KRRRvKN; KRRPvKN -> KRPvKN; KRRPvKN -> KRRBvKN; KRRPvKN -> KRRNvKN; KRRPvKN -> KRRPvK; KRRPvKN -> KRRvKN; KRRRvKN -> KRRvKN; KRRRvKN -> KRRRvK; KQRRvKN -> KRRvKN; KQRRvKN -> KQRvKN; KQRRvKN -> KQRRvK; KQRPvKN -> KQQRvKN; KQRPvKN -> KRPvKN; KQRPvKN -> KQRRvKN; KQRPvKN -> KQPvKN; KQRPvKN -> KQRBvKN; KQRPvKN -> KQRNvKN; KQRPvKN -> KQRPvK; KQRPvKN -> KQRvKN; KQQRvKN -> KQRvKN; KQQRvKN -> KQQvKN; KQQRvKN -> KQQRvK; KQPPvKN -> KQQPvKN; KQPPvKN -> KPPvKN; KQPPvKN -> KQRPvKN; KQPPvKN -> KQBPvKN; KQPPvKN -> KQNPvKN; KQPPvKN -> KQPPvK; KQPPvKN -> KQPvKN; KQQPvKN -> KQQQvKN; KQQPvKN -> KQPvKN; KQQPvKN -> KQQRvKN; KQQPvKN -> KQQBvKN; KQQPvKN -> KQQNvKN; KQQPvKN -> KQQPvK; KQQPvKN -> KQQvKN; KQQQvKN -> KQQvKN; KQQQvKN -> KQQQvK; KPPPPvK -> KQPPPvK; KPPPPvK -> KRPPPvK; KPPPPvK -> KBPPPvK; KPPPPvK -> KNPPPvK; KPPPPvK -> KPPPvK; KNPPPvK -> KQNPPvK; KNPPPvK -> KRNPPvK; KNPPPvK -> KBNPPvK; KNPPPvK -> KNNPPvK; KNPPPvK -> KPPPvK; KNPPPvK -> KNPPvK; KNNPPvK -> KQNNPvK; KNNPPvK -> KRNNPvK; KNNPPvK -> KBNNPvK; KNNPPvK -> KNNNPvK; KNNPPvK -> KNPPvK; KNNPPvK -> KNNPvK; KNNNPvK -> KQNNNvK; KNNNPvK -> KRNNNvK; KNNNPvK -> KBNNNvK; KNNNPvK -> KNNNNvK; KNNNPvK -> KNNPvK; KNNNPvK -> KNNNvK; KNNNNvK -> KNNNvK; KBNNNvK -> KNNNvK; KBNNNvK -> KBNNvK; KRNNNvK -> KNNNvK; KRNNNvK -> KRNNvK; KQNNNvK -> KNNNvK; KQNNNvK -> KQNNvK; KBNNPvK -> KQBNNvK; KBNNPvK -> KRBNNvK; KBNNPvK -> KBBNNvK; KBNNPvK -> KNNPvK; KBNNPvK -> KBNNNvK; KBNNPvK -> KBNPvK; KBNNPvK -> KBNNvK; KBBNNvK -> KBNNvK; KBBNNvK -> KBBNvK; KRBNNvK -> KBNNvK; KRBNNvK -> KRNNvK; KRBNNvK -> KRBNvK; KQBNNvK -> KBNNvK; KQBNNvK -> KQNNvK; KQBNNvK -> KQBNvK; KRNNPvK -> KQRNNvK; KRNNPvK -> KRRNNvK; KRNNPvK -> KNNPvK; KRNNPvK -> KRBNNvK; KRNNPvK -> KRNNNvK; KRNNPvK -> KRNPvK; KRNNPvK -> KRNNvK; KRRNNvK -> KRNNvK; KRRNNvK -> KRRNvK; KQRNNvK -> KRNNvK; KQRNNvK -> KQNNvK; KQRNNvK -> KQRNvK; KQNNPvK -> KQQNNvK; KQNNPvK -> KNNPvK; KQNNPvK -> KQRNNvK; KQNNPvK -> KQBNNvK; KQNNPvK -> KQNNNvK; KQNNPvK -> KQNPvK; KQNNPvK -> KQNNvK; KQQNNvK -> KQNNvK; KQQNNvK -> KQQNvK; KBNPPvK -> KQBNPvK; KBNPPvK -> KRBNPvK; KBNPPvK -> KBBNPvK; KBNPPvK -> KNPPvK; KBNPPvK -> KBNNPvK; KBNPPvK -> KBPPvK; KBNPPvK -> KBNPvK; KBBNPvK -> KQBBNvK; KBBNPvK -> KRBBNvK; KBBNPvK -> KBBBNvK; KBBNPvK -> KBNPvK; KBBNPvK -> KBBNNvK; KBBNPvK -> KBBPvK; KBBNPvK -> KBBNvK; KBBBNvK -> KBBNvK; KBBBNvK -> KBBBvK; KRBBNvK -> KBBNvK; KRBBNvK -> KRBNvK; KRBBNvK -> KRBBvK; KQBBNvK -> KBBNvK; KQBBNvK -> KQBNvK; KQBBNvK -> KQBBvK; KRBNPvK -> KQRBNvK; KRBNPvK -> KRRBNvK; KRBNPvK -> KBNPvK; KRBNPvK -> KRBBNvK; KRBNPvK -> KRNPvK; KRBNPvK -> KRBNNvK; KRBNPvK -> KRBPvK; KRBNPvK -> KRBNvK; KRRBNvK -> KRBNvK; KRRBNvK -> KRRNvK; KRRBNvK -> KRRBvK; KQRBNvK -> KRBNvK; KQRBNvK -> KQBNvK; KQRBNvK -> KQRNvK; KQRBNvK -> KQRBvK; KQBNPvK -> KQQBNvK; KQBNPvK -> KBNPvK; KQBNPvK -> KQRBNvK; KQBNPvK -> KQBBNvK; KQBNPvK -> KQNPvK; KQBNPvK -> KQBNNvK; KQBNPvK -> KQBPvK; KQBNPvK -> KQBNvK; KQQBNvK -> KQBNvK; KQQBNvK -> KQQNvK; KQQBNvK -> KQQBvK; KRNPPvK -> KQRNPvK; KRNPPvK -> KRRNPvK; KRNPPvK -> KNPPvK; KRNPPvK -> KRBNPvK; KRNPPvK -> KRNNPvK; KRNPPvK -> KRPPvK; KRNPPvK -> KRNPvK; KRRNPvK -> KQRRNvK; KRRNPvK -> KRRRNvK; KRRNPvK -> KRNPvK; KRRNPvK -> KRRBNvK; KRRNPvK -> KRRNNvK; KRRNPvK -> KRRPvK; KRRNPvK -> KRRNvK; KRRRNvK -> KRRNvK; KRRRNvK -> KRRRvK; KQRRNvK -> KRRNvK; KQRRNvK -> KQRNvK; KQRRNvK -> KQRRvK; KQRNPvK -> KQQRNvK; KQRNPvK -> KRNPvK; KQRNPvK -> KQRRNvK; KQRNPvK -> KQNPvK; KQRNPvK -> KQRBNvK; KQRNPvK -> KQRNNvK; KQRNPvK -> KQRPvK; KQRNPvK -> KQRNvK; KQQRNvK -> KQRNvK; KQQRNvK -> KQQNvK; KQQRNvK -> KQQRvK; KQNPPvK -> KQQNPvK; KQNPPvK -> KNPPvK; KQNPPvK -> KQRNPvK; KQNPPvK -> KQBNPvK; KQNPPvK -> KQNNPvK; KQNPPvK -> KQPPvK; KQNPPvK -> KQNPvK; KQQNPvK -> KQQQNvK; KQQNPvK -> KQNPvK; KQQNPvK -> KQQRNvK; KQQNPvK -> KQQBNvK; KQQNPvK -> KQQNNvK; KQQNPvK -> KQQPvK; KQQNPvK -> KQQNvK; KQQQNvK -> KQQNvK; KQQQNvK -> KQQQvK; KBPPPvK -> KQBPPvK; KBPPPvK -> KRBPPvK; KBPPPvK -> KBBPPvK; KBPPPvK -> KPPPvK; KBPPPvK -> KBNPPvK; KBPPPvK -> KBPPvK; KBBPPvK -> KQBBPvK; KBBPPvK -> KRBBPvK; KBBPPvK -> KBBBPvK; KBBPPvK -> KBPPvK; KBBPPvK -> KBBNPvK; KBBPPvK -> KBBPvK; KBBBPvK -> KQBBBvK; KBBBPvK -> KRBBBvK; KBBBPvK -> KBBBBvK; KBBBPvK -> KBBPvK; KBBBPvK -> KBBBNvK; KBBBPvK -> KBBBvK; KBBBBvK -> KBBBvK; KRBBBvK -> KBBBvK; KRBBBvK -> KRBBvK; KQBBBvK -> KBBBvK; KQBBBvK -> KQBBvK; KRBBPvK -> KQRBBvK; KRBBPvK -> KRRBBvK; KRBBPvK -> KBBPvK; KRBBPvK -> KRBBBvK; KRBBPvK -> KRBPvK; KRBBPvK -> KRBBNvK; KRBBPvK -> KRBBvK; KRRBBvK -> KRBBvK; KRRBBvK -> KRRBvK; KQRBBvK -> KRBBvK; KQRBBvK -> KQBBvK; KQRBBvK -> KQRBvK; KQBBPvK -> KQQBBvK; KQBBPvK -> KBBPvK; KQBBPvK -> KQRBBvK; KQBBPvK -> KQBBBvK; KQBBPvK -> KQBPvK; KQBBPvK -> KQBBNvK; KQBBPvK -> KQBBvK; KQQBBvK -> KQBBvK; KQQBBvK -> KQQBvK; KRBPPvK -> KQRBPvK; KRBPPvK -> KRRBPvK; KRBPPvK -> KBPPvK; KRBPPvK -> KRBBPvK; KRBPPvK -> KRPPvK; KRBPPvK -> KRBNPvK; KRBPPvK -> KRBPvK; KRRBPvK -> KQRRBvK; KRRBPvK -> KRRRBvK; KRRBPvK -> KRBPvK; KRRBPvK -> KRRBBvK; KRRBPvK -> KRRPvK; KRRBPvK -> KRRBNvK; KRRBPvK -> KRRBvK; KRRRBvK -> KRRBvK; KRRRBvK -> KRRRvK; KQRRBvK -> KRRBvK; KQRRBvK -> KQRBvK; KQRRBvK -> KQRRvK; KQRBPvK -> KQQRBvK; KQRBPvK -> KRBPvK; KQRBPvK -> KQRRBvK; KQRBPvK -> KQBPvK; KQRBPvK -> KQRBBvK; KQRBPvK -> KQRPvK; KQRBPvK -> KQRBNvK; KQRBPvK -> KQRBvK; KQQRBvK -> KQRBvK; KQQRBvK -> KQQBvK; KQQRBvK -> KQQRvK; KQBPPvK -> KQQBPvK; KQBPPvK -> KBPPvK; KQBPPvK -> KQRBPvK; KQBPPvK -> KQBBPvK; KQBPPvK -> KQPPvK; KQBPPvK -> KQBNPvK; KQBPPvK -> KQBPvK; KQQBPvK -> KQQQBvK; KQQBPvK -> KQBPvK; KQQBPvK -> KQQRBvK; KQQBPvK -> KQQBBvK; KQQBPvK -> KQQPvK; KQQBPvK -> KQQBNvK; KQQBPvK -> KQQBvK; KQQQBvK -> KQQBvK; KQQQBvK -> KQQQvK; KRPPPvK -> KQRPPvK; KRPPPvK -> KRRPPvK; KRPPPvK -> KPPPvK; KRPPPvK -> KRBPPvK; KRPPPvK -> KRNPPvK; KRPPPvK -> KRPPvK; KRRPPvK -> KQRRPvK; KRRPPvK -> KRRRPvK; KRRPPvK -> KRPPvK; KRRPPvK -> KRRBPvK; KRRPPvK -> KRRNPvK; KRRPPvK -> KRRPvK; KRRRPvK -> KQRRRvK; KRRRPvK -> KRRRRvK; KRRRPvK -> KRRPvK; KRRRPvK -> KRRRBvK; KRRRPvK -> KRRRNvK; KRRRPvK -> KRRRvK; KRRRRvK -> KRRRvK; KQRRRvK -> KRRRvK; KQRRRvK -> KQRRvK; KQRRPvK -> KQQRRvK; KQRRPvK -> KRRPvK; KQRRPvK -> KQRRRvK; KQRRPvK -> KQRPvK; KQRRPvK -> KQRRBvK; KQRRPvK -> KQRRNvK; KQRRPvK -> KQRRvK; KQQRRvK -> KQRRvK; KQQRRvK -> KQQRvK; KQRPPvK -> KQQRPvK; KQRPPvK -> KRPPvK; KQRPPvK -> KQRRPvK; KQRPPvK -> KQPPvK; KQRPPvK -> KQRBPvK; KQRPPvK -> KQRNPvK; KQRPPvK -> KQRPvK; KQQRPvK -> KQQQRvK; KQQRPvK -> KQRPvK; KQQRPvK -> KQQRRvK; KQQRPvK -> KQQPvK; KQQRPvK -> KQQRBvK; KQQRPvK -> KQQRNvK; KQQRPvK -> KQQRvK; KQQQRvK -> KQQRvK; KQQQRvK -> KQQQvK; KQPPPvK -> KQQPPvK; KQPPPvK -> KPPPvK; KQPPPvK -> KQRPPvK; KQPPPvK -> KQBPPvK; KQPPPvK -> KQNPPvK; KQPPPvK -> KQPPvK; KQQPPvK -> KQQQPvK; KQQPPvK -> KQPPvK; KQQPPvK -> KQQRPvK; KQQPPvK -> KQQBPvK; KQQPPvK -> KQQNPvK; KQQPPvK -> KQQPvK; KQQQPvK -> KQQQQvK; KQQQPvK -> KQQPvK; KQQQPvK -> KQQQRvK; KQQQPvK -> KQQQBvK; KQQQPvK -> KQQQNvK; KQQQPvK -> KQQQvK; KQQQQvK -> KQQQvK; KNPPPvKN -> KQNPPvKN; KNPPPvKN -> KRNPPvKN; KNPPPvKN -> KBNPPvKN; KNPPPvKN -> KNNPPvKN; KNPPPvKN -> KPPPvKN; KNPPPvKN -> KNPPPvK; KNPPPvKN -> KNPPvKN; KNNPPvKN -> KQNNPvKN; KNNPPvKN -> KRNNPvKN; KNNPPvKN -> KBNNPvKN; KNNPPvKN -> KNNNPvKN; KNNPPvKN -> KNPPvKN; KNNPPvKN -> KNNPPvK; KNNPPvKN -> KNNPvKN; KNNNPvKN -> KQNNNvKN; KNNNPvKN -> KRNNNvKN; KNNNPvKN -> KBNNNvKN; KNNNPvKN -> KNNNNvKN; KNNNPvKN -> KNNPvKN; KNNNPvKN -> KNNNPvK; KNNNPvKN -> KNNNvKN; KNNNNvKN -> KNNNvKN; KNNNNvKN -> KNNNNvK; KBNNNvKN -> KNNNvKN; KBNNNvKN -> KBNNvKN; KBNNNvKN -> KBNNNvK; KRNNNvKN -> KNNNvKN; KRNNNvKN -> KRNNvKN; KRNNNvKN -> KRNNNvK; KQNNNvKN -> KNNNvKN; KQNNNvKN -> KQNNvKN; KQNNNvKN -> KQNNNvK; KBNNPvKN -> KQBNNvKN; KBNNPvKN -> KRBNNvKN; KBNNPvKN -> KBBNNvKN; KBNNPvKN -> KNNPvKN; KBNNPvKN -> KBNNNvKN; KBNNPvKN -> KBNPvKN; KBNNPvKN -> KBNNPvK; KBNNPvKN -> KBNNvKN; KBBNNvKN -> KBNNvKN; KBBNNvKN -> KBBNvKN; KBBNNvKN -> KBBNNvK; KRBNNvKN -> KBNNvKN; KRBNNvKN -> KRNNvKN; KRBNNvKN -> KRBNvKN; KRBNNvKN -> KRBNNvK; KQBNNvKN -> KBNNvKN; KQBNNvKN -> KQNNvKN; KQBNNvKN -> KQBNvKN; KQBNNvKN -> KQBNNvK; KRNNPvKN -> KQRNNvKN; KRNNPvKN -> KRRNNvKN; KRNNPvKN -> KNNPvKN; KRNNPvKN -> KRBNNvKN; KRNNPvKN -> KRNNNvKN; KRNNPvKN -> KRNPvKN; KRNNPvKN -> KRNNPvK; KRNNPvKN -> KRNNvKN; KRRNNvKN -> KRNNvKN; KRRNNvKN -> KRRNvKN; KRRNNvKN -> KRRNNvK; KQRNNvKN -> KRNNvKN; KQRNNvKN -> KQNNvKN; KQRNNvKN -> KQRNvKN; KQRNNvKN -> KQRNNvK; KQNNPvKN -> KQQNNvKN; KQNNPvKN -> KNNPvKN; KQNNPvKN -> KQRNNvKN; KQNNPvKN -> KQBNNvKN; KQNNPvKN -> KQNNNvKN; KQNNPvKN -> KQNPvKN; KQNNPvKN -> KQNNPvK; KQNNPvKN -> KQNNvKN; KQQNNvKN -> KQNNvKN; KQQNNvKN -> KQQNvKN; KQQNNvKN -> KQQNNvK; KBNPPvKN -> KQBNPvKN; KBNPPvKN -> KRBNPvKN; KBNPPvKN -> KBBNPvKN; KBNPPvKN -> KNPPvKN; KBNPPvKN -> KBNNPvKN; KBNPPvKN -> KBPPvKN; KBNPPvKN -> KBNPPvK; KBNPPvKN -> KBNPvKN; KBBNPvKN -> KQBBNvKN; KBBNPvKN -> KRBBNvKN; KBBNPvKN -> KBBBNvKN; KBBNPvKN -> KBNPvKN; KBBNPvKN -> KBBNNvKN; KBBNPvKN -> KBBPvKN; KBBNPvKN -> KBBNPvK; KBBNPvKN -> KBBNvKN; KBBBNvKN -> KBBNvKN; KBBBNvKN -> KBBBvKN; KBBBNvKN -> KBBBNvK; KRBBNvKN -> KBBNvKN; KRBBNvKN -> KRBNvKN; KRBBNvKN -> KRBBvKN; KRBBNvKN -> KRBBNvK; KQBBNvKN -> KBBNvKN; KQBBNvKN -> KQBNvKN; KQBBNvKN -> KQBBvKN; KQBBNvKN -> KQBBNvK; KRBNPvKN -> KQRBNvKN; KRBNPvKN -> KRRBNvKN; KRBNPvKN -> KBNPvKN; KRBNPvKN -> KRBBNvKN; KRBNPvKN -> KRNPvKN; KRBNPvKN -> KRBNNvKN; KRBNPvKN -> KRBPvKN; KRBNPvKN -> KRBNPvK; KRBNPvKN -> KRBNvKN; KRRBNvKN -> KRBNvKN; KRRBNvKN -> KRRNvKN; KRRBNvKN -> KRRBvKN; KRRBNvKN -> KRRBNvK; KQRBNvKN -> KRBNvKN; KQRBNvKN -> KQBNvKN; KQRBNvKN -> KQRNvKN; KQRBNvKN -> KQRBvKN; KQRBNvKN -> KQRBNvK; KQBNPvKN -> KQQBNvKN; KQBNPvKN -> KBNPvKN; KQBNPvKN -> KQRBNvKN; KQBNPvKN -> KQBBNvKN; KQBNPvKN -> KQNPvKN; KQBNPvKN -> KQBNNvKN; KQBNPvKN -> KQBPvKN; KQBNPvKN -> KQBNPvK; KQBNPvKN -> KQBNvKN; KQQBNvKN -> KQBNvKN; KQQBNvKN -> KQQNvKN; KQQBNvKN -> KQQBvKN; KQQBNvKN -> KQQBNvK; KRNPPvKN -> KQRNPvKN; KRNPPvKN -> KRRNPvKN; KRNPPvKN -> KNPPvKN; KRNPPvKN -> KRBNPvKN; KRNPPvKN -> KRNNPvKN; KRNPPvKN -> KRPPvKN; KRNPPvKN -> KRNPPvK; KRNPPvKN -> KRNPvKN; KRRNPvKN -> KQRRNvKN; KRRNPvKN -> KRRRNvKN; KRRNPvKN -> KRNPvKN; KRRNPvKN -> KRRBNvKN; KRRNPvKN -> KRRNNvKN; KRRNPvKN -> KRRPvKN; KRRNPvKN -> KRRNPvK; KRRNPvKN -> KRRNvKN; KRRRNvKN -> KRRNvKN; KRRRNvKN -> KRRRvKN; KRRRNvKN -> KRRRNvK; KQRRNvKN -> KRRNvKN; KQRRNvKN -> KQRNvKN; KQRRNvKN -> KQRRvKN; KQRRNvKN -> KQRRNvK; KQRNPvKN -> KQQRNvKN; KQRNPvKN -> KRNPvKN; KQRNPvKN -> KQRRNvKN; KQRNPvKN -> KQNPvKN; KQRNPvKN -> KQRBNvKN; KQRNPvKN -> KQRNNvKN; KQRNPvKN -> KQRPvKN; KQRNPvKN -> KQRNPvK; KQRNPvKN -> KQRNvKN; KQQRNvKN -> KQRNvKN; KQQRNvKN -> KQQNvKN; KQQRNvKN -> KQQRvKN; KQQRNvKN -> KQQRNvK; KQNPPvKN -> KQQNPvKN; KQNPPvKN -> KNPPvKN; KQNPPvKN -> KQRNPvKN; KQNPPvKN -> KQBNPvKN; KQNPPvKN -> KQNNPvKN; KQNPPvKN -> KQPPvKN; KQNPPvKN -> KQNPPvK; KQNPPvKN -> KQNPvKN; KQQNPvKN -> KQQQNvKN; KQQNPvKN -> KQNPvKN; KQQNPvKN -> KQQRNvKN; KQQNPvKN -> KQQBNvKN; KQQNPvKN -> KQQNNvKN; KQQNPvKN -> KQQPvKN; KQQNPvKN -> KQQNPvK; KQQNPvKN -> KQQNvKN; KQQQNvKN -> KQQNvKN; KQQQNvKN -> KQQQvKN; KQQQNvKN -> KQQQNvK; KBPPPvKN -> KQBPPvKN; KBPPPvKN -> KRBPPvKN; KBPPPvKN -> KBBPPvKN; KBPPPvKN -> KPPPvKN; KBPPPvKN -> KBNPPvKN; KBPPPvKN -> KBPPPvK; KBPPPvKN -> KBPPvKN; KBBPPvKN -> KQBBPvKN; KBBPPvKN -> KRBBPvKN; KBBPPvKN -> KBBBPvKN; KBBPPvKN -> KBPPvKN; KBBPPvKN -> KBBNPvKN; KBBPPvKN -> KBBPPvK; KBBPPvKN -> KBBPvKN; KBBBPvKN -> KQBBBvKN; KBBBPvKN -> KRBBBvKN; KBBBPvKN -> KBBBBvKN; KBBBPvKN -> KBBPvKN; KBBBPvKN -> KBBBNvKN; KBBBPvKN -> KBBBPvK; KBBBPvKN -> KBBBvKN; KBBBBvKN -> KBBBvKN; KBBBBvKN -> KBBBBvK; KRBBBvKN -> KBBBvKN; KRBBBvKN -> KRBBvKN; KRBBBvKN -> KRBBBvK; KQBBBvKN -> KBBBvKN; KQBBBvKN -> KQBBvKN; KQBBBvKN -> KQBBBvK; KRBBPvKN -> KQRBBvKN; KRBBPvKN -> KRRBBvKN; KRBBPvKN -> KBBPvKN; KRBBPvKN -> KRBBBvKN; KRBBPvKN -> KRBPvKN; KRBBPvKN -> KRBBNvKN; KRBBPvKN -> KRBBPvK; KRBBPvKN -> KRBBvKN; KRRBBvKN -> KRBBvKN; KRRBBvKN -> KRRBvKN; KRRBBvKN -> KRRBBvK; KQRBBvKN -> KRBBvKN; KQRBBvKN -> KQBBvKN; KQRBBvKN -> KQRBvKN; KQRBBvKN -> KQRBBvK; KQBBPvKN -> KQQBBvKN; KQBBPvKN -> KBBPvKN; KQBBPvKN -> KQRBBvKN; KQBBPvKN -> KQBBBvKN; KQBBPvKN -> KQBPvKN; KQBBPvKN -> KQBBNvKN; KQBBPvKN -> KQBBPvK; KQBBPvKN -> KQBBvKN; KQQBBvKN -> KQBBvKN; KQQBBvKN -> KQQBvKN; KQQBBvKN -> KQQBBvK; KRBPPvKN -> KQRBPvKN; KRBPPvKN -> KRRBPvKN; KRBPPvKN -> KBPPvKN; KRBPPvKN -> KRBBPvKN; KRBPPvKN -> KRPPvKN; KRBPPvKN -> KRBNPvKN; KRBPPvKN -> KRBPPvK; KRBPPvKN -> KRBPvKN; KRRBPvKN -> KQRRBvKN; KRRBPvKN -> KRRRBvKN; KRRBPvKN -> KRBPvKN; KRRBPvKN -> KRRBBvKN; KRRBPvKN -> KRRPvKN; KRRBPvKN -> KRRBNvKN; KRRBPvKN -> KRRBPvK; KRRBPvKN -> KRRBvKN; KRRRBvKN -> KRRBvKN; KRRRBvKN -> KRRRvKN; KRRRBvKN -> KRRRBvK; KQRRBvKN -> KRRBvKN; KQRRBvKN -> KQRBvKN; KQRRBvKN -> KQRRvKN; KQRRBvKN -> KQRRBvK; KQRBPvKN -> KQQRBvKN; KQRBPvKN -> KRBPvKN; KQRBPvKN -> KQRRBvKN; KQRBPvKN -> KQBPvKN; KQRBPvKN -> KQRBBvKN; KQRBPvKN -> KQRPvKN; KQRBPvKN -> KQRBNvKN; KQRBPvKN -> KQRBPvK; KQRBPvKN -> KQRBvKN; KQQRBvKN -> KQRBvKN; KQQRBvKN -> KQQBvKN; KQQRBvKN -> KQQRvKN; KQQRBvKN -> KQQRBvK; KQBPPvKN -> KQQBPvKN; KQBPPvKN -> KBPPvKN; KQBPPvKN -> KQRBPvKN; KQBPPvKN -> KQBBPvKN; KQBPPvKN -> KQPPvKN; KQBPPvKN -> KQBNPvKN; KQBPPvKN -> KQBPPvK; KQBPPvKN -> KQBPvKN; KQQBPvKN -> KQQQBvKN; KQQBPvKN -> KQBPvKN; KQQBPvKN -> KQQRBvKN; KQQBPvKN -> KQQBBvKN; KQQBPvKN -> KQQPvKN; KQQBPvKN -> KQQBNvKN; KQQBPvKN -> KQQBPvK; KQQBPvKN -> KQQBvKN; KQQQBvKN -> KQQBvKN; KQQQBvKN -> KQQQvKN; KQQQBvKN -> KQQQBvK; KRPPPvKN -> KQRPPvKN; KRPPPvKN -> KRRPPvKN; KRPPPvKN -> KPPPvKN; KRPPPvKN -> KRBPPvKN; KRPPPvKN -> KRNPPvKN; KRPPPvKN -> KRPPPvK; KRPPPvKN -> KRPPvKN; KRRPPvKN -> KQRRPvKN; KRRPPvKN -> KRRRPvKN; KRRPPvKN -> KRPPvKN; KRRPPvKN -> KRRBPvKN; KRRPPvKN -> KRRNPvKN; KRRPPvKN -> KRRPPvK; KRRPPvKN -> KRRPvKN; KRRRPvKN -> KQRRRvKN; KRRRPvKN -> KRRRRvKN; KRRRPvKN -> KRRPvKN; KRRRPvKN -> KRRRBvKN; KRRRPvKN -> KRRRNvKN; KRRRPvKN -> KRRRPvK; KRRRPvKN -> KRRRvKN; KRRRRvKN -> KRRRvKN; KRRRRvKN -> KRRRRvK; KQRRRvKN -> KRRRvKN; KQRRRvKN -> KQRRvKN; KQRRRvKN -> KQRRRvK; KQRRPvKN -> KQQRRvKN; KQRRPvKN -> KRRPvKN; KQRRPvKN -> KQRRRvKN; KQRRPvKN -> KQRPvKN; KQRRPvKN -> KQRRBvKN; KQRRPvKN -> KQRRNvKN; KQRRPvKN -> KQRRPvK; KQRRPvKN -> KQRRvKN; KQQRRvKN -> KQRRvKN; KQQRRvKN -> KQQRvKN; KQQRRvKN -> KQQRRvK; KQRPPvKN -> KQQRPvKN; KQRPPvKN -> KRPPvKN; KQRPPvKN -> KQRRPvKN; KQRPPvKN -> KQPPvKN; KQRPPvKN -> KQRBPvKN; KQRPPvKN -> KQRNPvKN; KQRPPvKN -> KQRPPvK; KQRPPvKN -> KQRPvKN; KQQRPvKN -> KQQQRvKN; KQQRPvKN -> KQRPvKN; KQQRPvKN -> KQQRRvKN; KQQRPvKN -> KQQPvKN; KQQRPvKN -> KQQRBvKN; KQQRPvKN -> KQQRNvKN; KQQRPvKN -> KQQRPvK; KQQRPvKN -> KQQRvKN; KQQQRvKN -> KQQRvKN; KQQQRvKN -> KQQQvKN; KQQQRvKN -> KQQQRvK; KQPPPvKN -> KQQPPvKN; KQPPPvKN -> KPPPvKN; KQPPPvKN -> KQRPPvKN; KQPPPvKN -> KQBPPvKN; KQPPPvKN -> KQNPPvKN; KQPPPvKN -> KQPPPvK; KQPPPvKN -> KQPPvKN; KQQPPvKN -> KQQQPvKN; KQQPPvKN -> KQPPvKN; KQQPPvKN -> KQQRPvKN; KQQPPvKN -> KQQBPvKN; KQQPPvKN -> KQQNPvKN; KQQPPvKN -> KQQPPvK; KQQPPvKN -> KQQPvKN; KQQQPvKN -> KQQQQvKN; KQQQPvKN -> KQQPvKN; KQQQPvKN -> KQQQRvKN; KQQQPvKN -> KQQQBvKN; KQQQPvKN -> KQQQNvKN; KQQQPvKN -> KQQQPvK; KQQQPvKN -> KQQQvKN; KQQQQvKN -> KQQQvKN; KQQQQvKN -> KQQQQvK; }