digraph Syzygy { KPPPPPvK -> KQPPPPvK; KPPPPPvK -> KRPPPPvK; KPPPPPvK -> KBPPPPvK; KPPPPPvK -> KNPPPPvK; KPPPPPvK -> KPPPPvK; KPPPPvK -> KQPPPvK; KPPPPvK -> KRPPPvK; KPPPPvK -> KBPPPvK; KPPPPvK -> KNPPPvK; KPPPPvK -> KPPPvK; KPPPvK -> KQPPvK; KPPPvK -> KRPPvK; KPPPvK -> KBPPvK; KPPPvK -> KNPPvK; KPPPvK -> KPPvK; KPPvK -> KQPvK; KPPvK -> KRPvK; KPPvK -> KBPvK; KPPvK -> KNPvK; KPPvK -> KPvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; 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; 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; 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; KNPPPPvK -> KQNPPPvK; KNPPPPvK -> KRNPPPvK; KNPPPPvK -> KBNPPPvK; KNPPPPvK -> KNNPPPvK; KNPPPPvK -> KPPPPvK; KNPPPPvK -> KNPPPvK; KNNPPPvK -> KQNNPPvK; KNNPPPvK -> KRNNPPvK; KNNPPPvK -> KBNNPPvK; KNNPPPvK -> KNNNPPvK; KNNPPPvK -> KNPPPvK; KNNPPPvK -> KNNPPvK; KNNNPPvK -> KQNNNPvK; KNNNPPvK -> KRNNNPvK; KNNNPPvK -> KBNNNPvK; KNNNPPvK -> KNNNNPvK; KNNNPPvK -> KNNPPvK; KNNNPPvK -> KNNNPvK; KNNNNPvK -> KQNNNNvK; KNNNNPvK -> KRNNNNvK; KNNNNPvK -> KBNNNNvK; KNNNNPvK -> KNNNNNvK; KNNNNPvK -> KNNNPvK; KNNNNPvK -> KNNNNvK; KNNNNNvK -> KNNNNvK; KBNNNNvK -> KNNNNvK; KBNNNNvK -> KBNNNvK; KRNNNNvK -> KNNNNvK; KRNNNNvK -> KRNNNvK; KQNNNNvK -> KNNNNvK; KQNNNNvK -> KQNNNvK; KBNNNPvK -> KQBNNNvK; KBNNNPvK -> KRBNNNvK; KBNNNPvK -> KBBNNNvK; KBNNNPvK -> KNNNPvK; KBNNNPvK -> KBNNNNvK; KBNNNPvK -> KBNNPvK; KBNNNPvK -> KBNNNvK; KBBNNNvK -> KBNNNvK; KBBNNNvK -> KBBNNvK; KRBNNNvK -> KBNNNvK; KRBNNNvK -> KRNNNvK; KRBNNNvK -> KRBNNvK; KQBNNNvK -> KBNNNvK; KQBNNNvK -> KQNNNvK; KQBNNNvK -> KQBNNvK; KRNNNPvK -> KQRNNNvK; KRNNNPvK -> KRRNNNvK; KRNNNPvK -> KNNNPvK; KRNNNPvK -> KRBNNNvK; KRNNNPvK -> KRNNNNvK; KRNNNPvK -> KRNNPvK; KRNNNPvK -> KRNNNvK; KRRNNNvK -> KRNNNvK; KRRNNNvK -> KRRNNvK; KQRNNNvK -> KRNNNvK; KQRNNNvK -> KQNNNvK; KQRNNNvK -> KQRNNvK; KQNNNPvK -> KQQNNNvK; KQNNNPvK -> KNNNPvK; KQNNNPvK -> KQRNNNvK; KQNNNPvK -> KQBNNNvK; KQNNNPvK -> KQNNNNvK; KQNNNPvK -> KQNNPvK; KQNNNPvK -> KQNNNvK; KQQNNNvK -> KQNNNvK; KQQNNNvK -> KQQNNvK; KBNNPPvK -> KQBNNPvK; KBNNPPvK -> KRBNNPvK; KBNNPPvK -> KBBNNPvK; KBNNPPvK -> KNNPPvK; KBNNPPvK -> KBNNNPvK; KBNNPPvK -> KBNPPvK; KBNNPPvK -> KBNNPvK; KBBNNPvK -> KQBBNNvK; KBBNNPvK -> KRBBNNvK; KBBNNPvK -> KBBBNNvK; KBBNNPvK -> KBNNPvK; KBBNNPvK -> KBBNNNvK; KBBNNPvK -> KBBNPvK; KBBNNPvK -> KBBNNvK; KBBBNNvK -> KBBNNvK; KBBBNNvK -> KBBBNvK; KRBBNNvK -> KBBNNvK; KRBBNNvK -> KRBNNvK; KRBBNNvK -> KRBBNvK; KQBBNNvK -> KBBNNvK; KQBBNNvK -> KQBNNvK; KQBBNNvK -> KQBBNvK; KRBNNPvK -> KQRBNNvK; KRBNNPvK -> KRRBNNvK; KRBNNPvK -> KBNNPvK; KRBNNPvK -> KRBBNNvK; KRBNNPvK -> KRNNPvK; KRBNNPvK -> KRBNNNvK; KRBNNPvK -> KRBNPvK; KRBNNPvK -> KRBNNvK; KRRBNNvK -> KRBNNvK; KRRBNNvK -> KRRNNvK; KRRBNNvK -> KRRBNvK; KQRBNNvK -> KRBNNvK; KQRBNNvK -> KQBNNvK; KQRBNNvK -> KQRNNvK; KQRBNNvK -> KQRBNvK; KQBNNPvK -> KQQBNNvK; KQBNNPvK -> KBNNPvK; KQBNNPvK -> KQRBNNvK; KQBNNPvK -> KQBBNNvK; KQBNNPvK -> KQNNPvK; KQBNNPvK -> KQBNNNvK; KQBNNPvK -> KQBNPvK; KQBNNPvK -> KQBNNvK; KQQBNNvK -> KQBNNvK; KQQBNNvK -> KQQNNvK; KQQBNNvK -> KQQBNvK; KRNNPPvK -> KQRNNPvK; KRNNPPvK -> KRRNNPvK; KRNNPPvK -> KNNPPvK; KRNNPPvK -> KRBNNPvK; KRNNPPvK -> KRNNNPvK; KRNNPPvK -> KRNPPvK; KRNNPPvK -> KRNNPvK; KRRNNPvK -> KQRRNNvK; KRRNNPvK -> KRRRNNvK; KRRNNPvK -> KRNNPvK; KRRNNPvK -> KRRBNNvK; KRRNNPvK -> KRRNNNvK; KRRNNPvK -> KRRNPvK; KRRNNPvK -> KRRNNvK; KRRRNNvK -> KRRNNvK; KRRRNNvK -> KRRRNvK; KQRRNNvK -> KRRNNvK; KQRRNNvK -> KQRNNvK; KQRRNNvK -> KQRRNvK; KQRNNPvK -> KQQRNNvK; KQRNNPvK -> KRNNPvK; KQRNNPvK -> KQRRNNvK; KQRNNPvK -> KQNNPvK; KQRNNPvK -> KQRBNNvK; KQRNNPvK -> KQRNNNvK; KQRNNPvK -> KQRNPvK; KQRNNPvK -> KQRNNvK; KQQRNNvK -> KQRNNvK; KQQRNNvK -> KQQNNvK; KQQRNNvK -> KQQRNvK; KQNNPPvK -> KQQNNPvK; KQNNPPvK -> KNNPPvK; KQNNPPvK -> KQRNNPvK; KQNNPPvK -> KQBNNPvK; KQNNPPvK -> KQNNNPvK; KQNNPPvK -> KQNPPvK; KQNNPPvK -> KQNNPvK; KQQNNPvK -> KQQQNNvK; KQQNNPvK -> KQNNPvK; KQQNNPvK -> KQQRNNvK; KQQNNPvK -> KQQBNNvK; KQQNNPvK -> KQQNNNvK; KQQNNPvK -> KQQNPvK; KQQNNPvK -> KQQNNvK; KQQQNNvK -> KQQNNvK; KQQQNNvK -> KQQQNvK; KBNPPPvK -> KQBNPPvK; KBNPPPvK -> KRBNPPvK; KBNPPPvK -> KBBNPPvK; KBNPPPvK -> KNPPPvK; KBNPPPvK -> KBNNPPvK; KBNPPPvK -> KBPPPvK; KBNPPPvK -> KBNPPvK; KBBNPPvK -> KQBBNPvK; KBBNPPvK -> KRBBNPvK; KBBNPPvK -> KBBBNPvK; KBBNPPvK -> KBNPPvK; KBBNPPvK -> KBBNNPvK; KBBNPPvK -> KBBPPvK; KBBNPPvK -> KBBNPvK; KBBBNPvK -> KQBBBNvK; KBBBNPvK -> KRBBBNvK; KBBBNPvK -> KBBBBNvK; KBBBNPvK -> KBBNPvK; KBBBNPvK -> KBBBNNvK; KBBBNPvK -> KBBBPvK; KBBBNPvK -> KBBBNvK; KBBBBNvK -> KBBBNvK; KBBBBNvK -> KBBBBvK; KRBBBNvK -> KBBBNvK; KRBBBNvK -> KRBBNvK; KRBBBNvK -> KRBBBvK; KQBBBNvK -> KBBBNvK; KQBBBNvK -> KQBBNvK; KQBBBNvK -> KQBBBvK; KRBBNPvK -> KQRBBNvK; KRBBNPvK -> KRRBBNvK; KRBBNPvK -> KBBNPvK; KRBBNPvK -> KRBBBNvK; KRBBNPvK -> KRBNPvK; KRBBNPvK -> KRBBNNvK; KRBBNPvK -> KRBBPvK; KRBBNPvK -> KRBBNvK; KRRBBNvK -> KRBBNvK; KRRBBNvK -> KRRBNvK; KRRBBNvK -> KRRBBvK; KQRBBNvK -> KRBBNvK; KQRBBNvK -> KQBBNvK; KQRBBNvK -> KQRBNvK; KQRBBNvK -> KQRBBvK; KQBBNPvK -> KQQBBNvK; KQBBNPvK -> KBBNPvK; KQBBNPvK -> KQRBBNvK; KQBBNPvK -> KQBBBNvK; KQBBNPvK -> KQBNPvK; KQBBNPvK -> KQBBNNvK; KQBBNPvK -> KQBBPvK; KQBBNPvK -> KQBBNvK; KQQBBNvK -> KQBBNvK; KQQBBNvK -> KQQBNvK; KQQBBNvK -> KQQBBvK; KRBNPPvK -> KQRBNPvK; KRBNPPvK -> KRRBNPvK; KRBNPPvK -> KBNPPvK; KRBNPPvK -> KRBBNPvK; KRBNPPvK -> KRNPPvK; KRBNPPvK -> KRBNNPvK; KRBNPPvK -> KRBPPvK; KRBNPPvK -> KRBNPvK; KRRBNPvK -> KQRRBNvK; KRRBNPvK -> KRRRBNvK; KRRBNPvK -> KRBNPvK; KRRBNPvK -> KRRBBNvK; KRRBNPvK -> KRRNPvK; KRRBNPvK -> KRRBNNvK; KRRBNPvK -> KRRBPvK; KRRBNPvK -> KRRBNvK; KRRRBNvK -> KRRBNvK; KRRRBNvK -> KRRRNvK; KRRRBNvK -> KRRRBvK; KQRRBNvK -> KRRBNvK; KQRRBNvK -> KQRBNvK; KQRRBNvK -> KQRRNvK; KQRRBNvK -> KQRRBvK; KQRBNPvK -> KQQRBNvK; KQRBNPvK -> KRBNPvK; KQRBNPvK -> KQRRBNvK; KQRBNPvK -> KQBNPvK; KQRBNPvK -> KQRBBNvK; KQRBNPvK -> KQRNPvK; KQRBNPvK -> KQRBNNvK; KQRBNPvK -> KQRBPvK; KQRBNPvK -> KQRBNvK; KQQRBNvK -> KQRBNvK; KQQRBNvK -> KQQBNvK; KQQRBNvK -> KQQRNvK; KQQRBNvK -> KQQRBvK; KQBNPPvK -> KQQBNPvK; KQBNPPvK -> KBNPPvK; KQBNPPvK -> KQRBNPvK; KQBNPPvK -> KQBBNPvK; KQBNPPvK -> KQNPPvK; KQBNPPvK -> KQBNNPvK; KQBNPPvK -> KQBPPvK; KQBNPPvK -> KQBNPvK; KQQBNPvK -> KQQQBNvK; KQQBNPvK -> KQBNPvK; KQQBNPvK -> KQQRBNvK; KQQBNPvK -> KQQBBNvK; KQQBNPvK -> KQQNPvK; KQQBNPvK -> KQQBNNvK; KQQBNPvK -> KQQBPvK; KQQBNPvK -> KQQBNvK; KQQQBNvK -> KQQBNvK; KQQQBNvK -> KQQQNvK; KQQQBNvK -> KQQQBvK; KRNPPPvK -> KQRNPPvK; KRNPPPvK -> KRRNPPvK; KRNPPPvK -> KNPPPvK; KRNPPPvK -> KRBNPPvK; KRNPPPvK -> KRNNPPvK; KRNPPPvK -> KRPPPvK; KRNPPPvK -> KRNPPvK; KRRNPPvK -> KQRRNPvK; KRRNPPvK -> KRRRNPvK; KRRNPPvK -> KRNPPvK; KRRNPPvK -> KRRBNPvK; KRRNPPvK -> KRRNNPvK; KRRNPPvK -> KRRPPvK; KRRNPPvK -> KRRNPvK; KRRRNPvK -> KQRRRNvK; KRRRNPvK -> KRRRRNvK; KRRRNPvK -> KRRNPvK; KRRRNPvK -> KRRRBNvK; KRRRNPvK -> KRRRNNvK; KRRRNPvK -> KRRRPvK; KRRRNPvK -> KRRRNvK; KRRRRNvK -> KRRRNvK; KRRRRNvK -> KRRRRvK; KQRRRNvK -> KRRRNvK; KQRRRNvK -> KQRRNvK; KQRRRNvK -> KQRRRvK; KQRRNPvK -> KQQRRNvK; KQRRNPvK -> KRRNPvK; KQRRNPvK -> KQRRRNvK; KQRRNPvK -> KQRNPvK; KQRRNPvK -> KQRRBNvK; KQRRNPvK -> KQRRNNvK; KQRRNPvK -> KQRRPvK; KQRRNPvK -> KQRRNvK; KQQRRNvK -> KQRRNvK; KQQRRNvK -> KQQRNvK; KQQRRNvK -> KQQRRvK; KQRNPPvK -> KQQRNPvK; KQRNPPvK -> KRNPPvK; KQRNPPvK -> KQRRNPvK; KQRNPPvK -> KQNPPvK; KQRNPPvK -> KQRBNPvK; KQRNPPvK -> KQRNNPvK; KQRNPPvK -> KQRPPvK; KQRNPPvK -> KQRNPvK; KQQRNPvK -> KQQQRNvK; KQQRNPvK -> KQRNPvK; KQQRNPvK -> KQQRRNvK; KQQRNPvK -> KQQNPvK; KQQRNPvK -> KQQRBNvK; KQQRNPvK -> KQQRNNvK; KQQRNPvK -> KQQRPvK; KQQRNPvK -> KQQRNvK; KQQQRNvK -> KQQRNvK; KQQQRNvK -> KQQQNvK; KQQQRNvK -> KQQQRvK; KQNPPPvK -> KQQNPPvK; KQNPPPvK -> KNPPPvK; KQNPPPvK -> KQRNPPvK; KQNPPPvK -> KQBNPPvK; KQNPPPvK -> KQNNPPvK; KQNPPPvK -> KQPPPvK; KQNPPPvK -> KQNPPvK; KQQNPPvK -> KQQQNPvK; KQQNPPvK -> KQNPPvK; KQQNPPvK -> KQQRNPvK; KQQNPPvK -> KQQBNPvK; KQQNPPvK -> KQQNNPvK; KQQNPPvK -> KQQPPvK; KQQNPPvK -> KQQNPvK; KQQQNPvK -> KQQQQNvK; KQQQNPvK -> KQQNPvK; KQQQNPvK -> KQQQRNvK; KQQQNPvK -> KQQQBNvK; KQQQNPvK -> KQQQNNvK; KQQQNPvK -> KQQQPvK; KQQQNPvK -> KQQQNvK; KQQQQNvK -> KQQQNvK; KQQQQNvK -> KQQQQvK; KBPPPPvK -> KQBPPPvK; KBPPPPvK -> KRBPPPvK; KBPPPPvK -> KBBPPPvK; KBPPPPvK -> KPPPPvK; KBPPPPvK -> KBNPPPvK; KBPPPPvK -> KBPPPvK; KBBPPPvK -> KQBBPPvK; KBBPPPvK -> KRBBPPvK; KBBPPPvK -> KBBBPPvK; KBBPPPvK -> KBPPPvK; KBBPPPvK -> KBBNPPvK; KBBPPPvK -> KBBPPvK; KBBBPPvK -> KQBBBPvK; KBBBPPvK -> KRBBBPvK; KBBBPPvK -> KBBBBPvK; KBBBPPvK -> KBBPPvK; KBBBPPvK -> KBBBNPvK; KBBBPPvK -> KBBBPvK; KBBBBPvK -> KQBBBBvK; KBBBBPvK -> KRBBBBvK; KBBBBPvK -> KBBBBBvK; KBBBBPvK -> KBBBPvK; KBBBBPvK -> KBBBBNvK; KBBBBPvK -> KBBBBvK; KBBBBBvK -> KBBBBvK; KRBBBBvK -> KBBBBvK; KRBBBBvK -> KRBBBvK; KQBBBBvK -> KBBBBvK; KQBBBBvK -> KQBBBvK; KRBBBPvK -> KQRBBBvK; KRBBBPvK -> KRRBBBvK; KRBBBPvK -> KBBBPvK; KRBBBPvK -> KRBBBBvK; KRBBBPvK -> KRBBPvK; KRBBBPvK -> KRBBBNvK; KRBBBPvK -> KRBBBvK; KRRBBBvK -> KRBBBvK; KRRBBBvK -> KRRBBvK; KQRBBBvK -> KRBBBvK; KQRBBBvK -> KQBBBvK; KQRBBBvK -> KQRBBvK; KQBBBPvK -> KQQBBBvK; KQBBBPvK -> KBBBPvK; KQBBBPvK -> KQRBBBvK; KQBBBPvK -> KQBBBBvK; KQBBBPvK -> KQBBPvK; KQBBBPvK -> KQBBBNvK; KQBBBPvK -> KQBBBvK; KQQBBBvK -> KQBBBvK; KQQBBBvK -> KQQBBvK; KRBBPPvK -> KQRBBPvK; KRBBPPvK -> KRRBBPvK; KRBBPPvK -> KBBPPvK; KRBBPPvK -> KRBBBPvK; KRBBPPvK -> KRBPPvK; KRBBPPvK -> KRBBNPvK; KRBBPPvK -> KRBBPvK; KRRBBPvK -> KQRRBBvK; KRRBBPvK -> KRRRBBvK; KRRBBPvK -> KRBBPvK; KRRBBPvK -> KRRBBBvK; KRRBBPvK -> KRRBPvK; KRRBBPvK -> KRRBBNvK; KRRBBPvK -> KRRBBvK; KRRRBBvK -> KRRBBvK; KRRRBBvK -> KRRRBvK; KQRRBBvK -> KRRBBvK; KQRRBBvK -> KQRBBvK; KQRRBBvK -> KQRRBvK; KQRBBPvK -> KQQRBBvK; KQRBBPvK -> KRBBPvK; KQRBBPvK -> KQRRBBvK; KQRBBPvK -> KQBBPvK; KQRBBPvK -> KQRBBBvK; KQRBBPvK -> KQRBPvK; KQRBBPvK -> KQRBBNvK; KQRBBPvK -> KQRBBvK; KQQRBBvK -> KQRBBvK; KQQRBBvK -> KQQBBvK; KQQRBBvK -> KQQRBvK; KQBBPPvK -> KQQBBPvK; KQBBPPvK -> KBBPPvK; KQBBPPvK -> KQRBBPvK; KQBBPPvK -> KQBBBPvK; KQBBPPvK -> KQBPPvK; KQBBPPvK -> KQBBNPvK; KQBBPPvK -> KQBBPvK; KQQBBPvK -> KQQQBBvK; KQQBBPvK -> KQBBPvK; KQQBBPvK -> KQQRBBvK; KQQBBPvK -> KQQBBBvK; KQQBBPvK -> KQQBPvK; KQQBBPvK -> KQQBBNvK; KQQBBPvK -> KQQBBvK; KQQQBBvK -> KQQBBvK; KQQQBBvK -> KQQQBvK; KRBPPPvK -> KQRBPPvK; KRBPPPvK -> KRRBPPvK; KRBPPPvK -> KBPPPvK; KRBPPPvK -> KRBBPPvK; KRBPPPvK -> KRPPPvK; KRBPPPvK -> KRBNPPvK; KRBPPPvK -> KRBPPvK; KRRBPPvK -> KQRRBPvK; KRRBPPvK -> KRRRBPvK; KRRBPPvK -> KRBPPvK; KRRBPPvK -> KRRBBPvK; KRRBPPvK -> KRRPPvK; KRRBPPvK -> KRRBNPvK; KRRBPPvK -> KRRBPvK; KRRRBPvK -> KQRRRBvK; KRRRBPvK -> KRRRRBvK; KRRRBPvK -> KRRBPvK; KRRRBPvK -> KRRRBBvK; KRRRBPvK -> KRRRPvK; KRRRBPvK -> KRRRBNvK; KRRRBPvK -> KRRRBvK; KRRRRBvK -> KRRRBvK; KRRRRBvK -> KRRRRvK; KQRRRBvK -> KRRRBvK; KQRRRBvK -> KQRRBvK; KQRRRBvK -> KQRRRvK; KQRRBPvK -> KQQRRBvK; KQRRBPvK -> KRRBPvK; KQRRBPvK -> KQRRRBvK; KQRRBPvK -> KQRBPvK; KQRRBPvK -> KQRRBBvK; KQRRBPvK -> KQRRPvK; KQRRBPvK -> KQRRBNvK; KQRRBPvK -> KQRRBvK; KQQRRBvK -> KQRRBvK; KQQRRBvK -> KQQRBvK; KQQRRBvK -> KQQRRvK; KQRBPPvK -> KQQRBPvK; KQRBPPvK -> KRBPPvK; KQRBPPvK -> KQRRBPvK; KQRBPPvK -> KQBPPvK; KQRBPPvK -> KQRBBPvK; KQRBPPvK -> KQRPPvK; KQRBPPvK -> KQRBNPvK; KQRBPPvK -> KQRBPvK; KQQRBPvK -> KQQQRBvK; KQQRBPvK -> KQRBPvK; KQQRBPvK -> KQQRRBvK; KQQRBPvK -> KQQBPvK; KQQRBPvK -> KQQRBBvK; KQQRBPvK -> KQQRPvK; KQQRBPvK -> KQQRBNvK; KQQRBPvK -> KQQRBvK; KQQQRBvK -> KQQRBvK; KQQQRBvK -> KQQQBvK; KQQQRBvK -> KQQQRvK; KQBPPPvK -> KQQBPPvK; KQBPPPvK -> KBPPPvK; KQBPPPvK -> KQRBPPvK; KQBPPPvK -> KQBBPPvK; KQBPPPvK -> KQPPPvK; KQBPPPvK -> KQBNPPvK; KQBPPPvK -> KQBPPvK; KQQBPPvK -> KQQQBPvK; KQQBPPvK -> KQBPPvK; KQQBPPvK -> KQQRBPvK; KQQBPPvK -> KQQBBPvK; KQQBPPvK -> KQQPPvK; KQQBPPvK -> KQQBNPvK; KQQBPPvK -> KQQBPvK; KQQQBPvK -> KQQQQBvK; KQQQBPvK -> KQQBPvK; KQQQBPvK -> KQQQRBvK; KQQQBPvK -> KQQQBBvK; KQQQBPvK -> KQQQPvK; KQQQBPvK -> KQQQBNvK; KQQQBPvK -> KQQQBvK; KQQQQBvK -> KQQQBvK; KQQQQBvK -> KQQQQvK; KRPPPPvK -> KQRPPPvK; KRPPPPvK -> KRRPPPvK; KRPPPPvK -> KPPPPvK; KRPPPPvK -> KRBPPPvK; KRPPPPvK -> KRNPPPvK; KRPPPPvK -> KRPPPvK; KRRPPPvK -> KQRRPPvK; KRRPPPvK -> KRRRPPvK; KRRPPPvK -> KRPPPvK; KRRPPPvK -> KRRBPPvK; KRRPPPvK -> KRRNPPvK; KRRPPPvK -> KRRPPvK; KRRRPPvK -> KQRRRPvK; KRRRPPvK -> KRRRRPvK; KRRRPPvK -> KRRPPvK; KRRRPPvK -> KRRRBPvK; KRRRPPvK -> KRRRNPvK; KRRRPPvK -> KRRRPvK; KRRRRPvK -> KQRRRRvK; KRRRRPvK -> KRRRRRvK; KRRRRPvK -> KRRRPvK; KRRRRPvK -> KRRRRBvK; KRRRRPvK -> KRRRRNvK; KRRRRPvK -> KRRRRvK; KRRRRRvK -> KRRRRvK; KQRRRRvK -> KRRRRvK; KQRRRRvK -> KQRRRvK; KQRRRPvK -> KQQRRRvK; KQRRRPvK -> KRRRPvK; KQRRRPvK -> KQRRRRvK; KQRRRPvK -> KQRRPvK; KQRRRPvK -> KQRRRBvK; KQRRRPvK -> KQRRRNvK; KQRRRPvK -> KQRRRvK; KQQRRRvK -> KQRRRvK; KQQRRRvK -> KQQRRvK; KQRRPPvK -> KQQRRPvK; KQRRPPvK -> KRRPPvK; KQRRPPvK -> KQRRRPvK; KQRRPPvK -> KQRPPvK; KQRRPPvK -> KQRRBPvK; KQRRPPvK -> KQRRNPvK; KQRRPPvK -> KQRRPvK; KQQRRPvK -> KQQQRRvK; KQQRRPvK -> KQRRPvK; KQQRRPvK -> KQQRRRvK; KQQRRPvK -> KQQRPvK; KQQRRPvK -> KQQRRBvK; KQQRRPvK -> KQQRRNvK; KQQRRPvK -> KQQRRvK; KQQQRRvK -> KQQRRvK; KQQQRRvK -> KQQQRvK; KQRPPPvK -> KQQRPPvK; KQRPPPvK -> KRPPPvK; KQRPPPvK -> KQRRPPvK; KQRPPPvK -> KQPPPvK; KQRPPPvK -> KQRBPPvK; KQRPPPvK -> KQRNPPvK; KQRPPPvK -> KQRPPvK; KQQRPPvK -> KQQQRPvK; KQQRPPvK -> KQRPPvK; KQQRPPvK -> KQQRRPvK; KQQRPPvK -> KQQPPvK; KQQRPPvK -> KQQRBPvK; KQQRPPvK -> KQQRNPvK; KQQRPPvK -> KQQRPvK; KQQQRPvK -> KQQQQRvK; KQQQRPvK -> KQQRPvK; KQQQRPvK -> KQQQRRvK; KQQQRPvK -> KQQQPvK; KQQQRPvK -> KQQQRBvK; KQQQRPvK -> KQQQRNvK; KQQQRPvK -> KQQQRvK; KQQQQRvK -> KQQQRvK; KQQQQRvK -> KQQQQvK; KQPPPPvK -> KQQPPPvK; KQPPPPvK -> KPPPPvK; KQPPPPvK -> KQRPPPvK; KQPPPPvK -> KQBPPPvK; KQPPPPvK -> KQNPPPvK; KQPPPPvK -> KQPPPvK; KQQPPPvK -> KQQQPPvK; KQQPPPvK -> KQPPPvK; KQQPPPvK -> KQQRPPvK; KQQPPPvK -> KQQBPPvK; KQQPPPvK -> KQQNPPvK; KQQPPPvK -> KQQPPvK; KQQQPPvK -> KQQQQPvK; KQQQPPvK -> KQQPPvK; KQQQPPvK -> KQQQRPvK; KQQQPPvK -> KQQQBPvK; KQQQPPvK -> KQQQNPvK; KQQQPPvK -> KQQQPvK; KQQQQPvK -> KQQQQQvK; KQQQQPvK -> KQQQPvK; KQQQQPvK -> KQQQQRvK; KQQQQPvK -> KQQQQBvK; KQQQQPvK -> KQQQQNvK; KQQQQPvK -> KQQQQvK; KQQQQQvK -> KQQQQvK; }