digraph Syzygy { KQBPPvKN -> KQQBPvKN; KQBPPvKN -> KBPPvKN; KQBPPvKN -> KQRBPvKN; KQBPPvKN -> KQBBPvKN; KQBPPvKN -> KQPPvKN; KQBPPvKN -> KQBNPvKN; KQBPPvKN -> KQBPPvK; KQBPPvKN -> KQBPvKN; KQBPvKN -> KQQBvKN; KQBPvKN -> KBPvKN; KQBPvKN -> KQRBvKN; KQBPvKN -> KQBBvKN; KQBPvKN -> KQPvKN; KQBPvKN -> KQBNvKN; KQBPvKN -> KQBPvK; KQBPvKN -> KQBvKN; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KQBvK -> KBvK; KQBvK -> KQvK; KQvKN -> KNvK; KQvKN -> KQvK; KBvKN -> KNvK; KBvKN -> KBvK; KQBPvK -> KQQBvK; KQBPvK -> KBPvK; KQBPvK -> KQRBvK; KQBPvK -> KQBBvK; KQBPvK -> KQPvK; KQBPvK -> KQBNvK; KQBPvK -> KQBvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KQNvK -> KNvK; KQNvK -> KQvK; KBNvK -> KNvK; KBNvK -> KBvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KQRvK -> KRvK; KQRvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQvK -> KQvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBBvK -> KBvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KRBvK -> KBvK; KRBvK -> KRvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQBNvKN -> KBNvKN; KQBNvKN -> KQNvKN; KQBNvKN -> KQBvKN; KQBNvKN -> KQBNvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KNvKN -> KNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KQPvKN -> KQQvKN; KQPvKN -> KNvKP; KQPvKN -> KQRvKN; KQPvKN -> KQBvKN; KQPvKN -> KQNvKN; KQPvKN -> KQPvK; KQPvKN -> KQvKN; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRvKN -> KNvK; KRvKN -> KRvK; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQBBvKN -> KBBvKN; KQBBvKN -> KQBvKN; KQBBvKN -> KQBBvK; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KQRBvKN -> KRBvKN; KQRBvKN -> KQBvKN; KQRBvKN -> KQRvKN; KQRBvKN -> KQRBvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KBPvKN -> KQBvKN; KBPvKN -> KRBvKN; KBPvKN -> KBBvKN; KBPvKN -> KNvKP; KBPvKN -> KBNvKN; KBPvKN -> KBPvK; KBPvKN -> KBvKN; KQQBvKN -> KQBvKN; KQQBvKN -> KQQvKN; KQQBvKN -> KQQBvK; KQBPPvK -> KQQBPvK; KQBPPvK -> KBPPvK; KQBPPvK -> KQRBPvK; KQBPPvK -> KQBBPvK; KQBPPvK -> KQPPvK; KQBPPvK -> KQBNPvK; KQBPPvK -> KQBPvK; KQBNPvK -> KQQBNvK; KQBNPvK -> KBNPvK; KQBNPvK -> KQRBNvK; KQBNPvK -> KQBBNvK; KQBNPvK -> KQNPvK; KQBNPvK -> KQBNNvK; KQBNPvK -> KQBPvK; KQBNPvK -> KQBNvK; KQBNNvK -> KBNNvK; KQBNNvK -> KQNNvK; KQBNNvK -> KQBNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KQNPvK -> KQQNvK; KQNPvK -> KNPvK; KQNPvK -> KQRNvK; KQNPvK -> KQBNvK; KQNPvK -> KQNNvK; KQNPvK -> KQPvK; KQNPvK -> KQNvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KRNvK -> KNvK; KRNvK -> KRvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQBBNvK -> KBBNvK; KQBBNvK -> KQBNvK; KQBBNvK -> KQBBvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KQRBNvK -> KRBNvK; KQRBNvK -> KQBNvK; KQRBNvK -> KQRNvK; KQRBNvK -> KQRBvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KBNPvK -> KQBNvK; KBNPvK -> KRBNvK; KBNPvK -> KBBNvK; KBNPvK -> KNPvK; KBNPvK -> KBNNvK; KBNPvK -> KBPvK; KBNPvK -> KBNvK; KQQBNvK -> KQBNvK; KQQBNvK -> KQQNvK; KQQBNvK -> KQQBvK; KQPPvK -> KQQPvK; KQPPvK -> KPPvK; KQPPvK -> KQRPvK; KQPPvK -> KQBPvK; KQPPvK -> KQNPvK; KQPPvK -> KQPvK; KQRPvK -> KQQRvK; KQRPvK -> KRPvK; KQRPvK -> KQRRvK; KQRPvK -> KQPvK; KQRPvK -> KQRBvK; KQRPvK -> KQRNvK; KQRPvK -> KQRvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KRRvK -> KRvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KPPvK -> KQPvK; KPPvK -> KRPvK; KPPvK -> KBPvK; KPPvK -> KNPvK; KPPvK -> KPvK; KQQPvK -> KQQQvK; KQQPvK -> KQPvK; KQQPvK -> KQQRvK; KQQPvK -> KQQBvK; KQQPvK -> KQQNvK; KQQPvK -> KQQvK; KQQQvK -> KQQvK; KQBBPvK -> KQQBBvK; KQBBPvK -> KBBPvK; KQBBPvK -> KQRBBvK; KQBBPvK -> KQBBBvK; KQBBPvK -> KQBPvK; KQBBPvK -> KQBBNvK; KQBBPvK -> KQBBvK; KQBBBvK -> KBBBvK; KQBBBvK -> KQBBvK; KBBBvK -> KBBvK; KQRBBvK -> KRBBvK; KQRBBvK -> KQBBvK; KQRBBvK -> KQRBvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KBBPvK -> KQBBvK; KBBPvK -> KRBBvK; KBBPvK -> KBBBvK; KBBPvK -> KBPvK; KBBPvK -> KBBNvK; KBBPvK -> KBBvK; KQQBBvK -> KQBBvK; KQQBBvK -> KQQBvK; KQRBPvK -> KQQRBvK; KQRBPvK -> KRBPvK; KQRBPvK -> KQRRBvK; KQRBPvK -> KQBPvK; KQRBPvK -> KQRBBvK; KQRBPvK -> KQRPvK; KQRBPvK -> KQRBNvK; KQRBPvK -> KQRBvK; KQRRBvK -> KRRBvK; KQRRBvK -> KQRBvK; KQRRBvK -> KQRRvK; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KRBPvK -> KQRBvK; KRBPvK -> KRRBvK; KRBPvK -> KBPvK; KRBPvK -> KRBBvK; KRBPvK -> KRPvK; KRBPvK -> KRBNvK; KRBPvK -> KRBvK; KQQRBvK -> KQRBvK; KQQRBvK -> KQQBvK; KQQRBvK -> KQQRvK; KBPPvK -> KQBPvK; KBPPvK -> KRBPvK; KBPPvK -> KBBPvK; KBPPvK -> KPPvK; KBPPvK -> KBNPvK; KBPPvK -> KBPvK; KQQBPvK -> KQQQBvK; KQQBPvK -> KQBPvK; KQQBPvK -> KQQRBvK; KQQBPvK -> KQQBBvK; KQQBPvK -> KQQPvK; KQQBPvK -> KQQBNvK; KQQBPvK -> KQQBvK; KQQQBvK -> KQQBvK; KQQQBvK -> KQQQvK; KQBNPvKN -> KQQBNvKN; KQBNPvKN -> KBNPvKN; KQBNPvKN -> KQRBNvKN; KQBNPvKN -> KQBBNvKN; KQBNPvKN -> KQNPvKN; KQBNPvKN -> KQBNNvKN; KQBNPvKN -> KQBPvKN; KQBNPvKN -> KQBNPvK; KQBNPvKN -> KQBNvKN; KQBNNvKN -> KBNNvKN; KQBNNvKN -> KQNNvKN; KQBNNvKN -> KQBNvKN; KQBNNvKN -> KQBNNvK; KQNNvKN -> KNNvKN; KQNNvKN -> KQNvKN; KQNNvKN -> KQNNvK; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KBNNvKN -> KNNvKN; KBNNvKN -> KBNvKN; KBNNvKN -> KBNNvK; KQNPvKN -> KQQNvKN; KQNPvKN -> KNPvKN; KQNPvKN -> KQRNvKN; KQNPvKN -> KQBNvKN; KQNPvKN -> KQNNvKN; KQNPvKN -> KQPvKN; KQNPvKN -> KQNPvK; KQNPvKN -> KQNvKN; KQRNvKN -> KRNvKN; KQRNvKN -> KQNvKN; KQRNvKN -> KQRvKN; KQRNvKN -> KQRNvK; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KQQNvKN -> KQNvKN; KQQNvKN -> KQQvKN; KQQNvKN -> KQQNvK; KQBBNvKN -> KBBNvKN; KQBBNvKN -> KQBNvKN; KQBBNvKN -> KQBBvKN; KQBBNvKN -> KQBBNvK; KBBNvKN -> KBNvKN; KBBNvKN -> KBBvKN; KBBNvKN -> KBBNvK; KQRBNvKN -> KRBNvKN; KQRBNvKN -> KQBNvKN; KQRBNvKN -> KQRNvKN; KQRBNvKN -> KQRBvKN; KQRBNvKN -> KQRBNvK; KRBNvKN -> KBNvKN; KRBNvKN -> KRNvKN; KRBNvKN -> KRBvKN; KRBNvKN -> KRBNvK; KBNPvKN -> KQBNvKN; KBNPvKN -> KRBNvKN; KBNPvKN -> KBBNvKN; KBNPvKN -> KNPvKN; KBNPvKN -> KBNNvKN; KBNPvKN -> KBPvKN; KBNPvKN -> KBNPvK; KBNPvKN -> KBNvKN; KQQBNvKN -> KQBNvKN; KQQBNvKN -> KQQNvKN; KQQBNvKN -> KQQBvKN; KQQBNvKN -> KQQBNvK; KQPPvKN -> KQQPvKN; KQPPvKN -> KPPvKN; KQPPvKN -> KQRPvKN; KQPPvKN -> KQBPvKN; KQPPvKN -> KQNPvKN; KQPPvKN -> KQPPvK; KQPPvKN -> KQPvKN; KQRPvKN -> KQQRvKN; KQRPvKN -> KRPvKN; KQRPvKN -> KQRRvKN; KQRPvKN -> KQPvKN; KQRPvKN -> KQRBvKN; KQRPvKN -> KQRNvKN; KQRPvKN -> KQRPvK; KQRPvKN -> KQRvKN; 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; KPPvKN -> KQPvKN; KPPvKN -> KRPvKN; KPPvKN -> KBPvKN; KPPvKN -> KNPvKN; KPPvKN -> KPPvK; KPPvKN -> KNvKP; KQQPvKN -> KQQQvKN; KQQPvKN -> KQPvKN; KQQPvKN -> KQQRvKN; KQQPvKN -> KQQBvKN; KQQPvKN -> KQQNvKN; KQQPvKN -> KQQPvK; KQQPvKN -> KQQvKN; KQQQvKN -> KQQvKN; KQQQvKN -> KQQQvK; KQBBPvKN -> KQQBBvKN; KQBBPvKN -> KBBPvKN; KQBBPvKN -> KQRBBvKN; KQBBPvKN -> KQBBBvKN; KQBBPvKN -> KQBPvKN; KQBBPvKN -> KQBBNvKN; KQBBPvKN -> KQBBPvK; KQBBPvKN -> KQBBvKN; KQBBBvKN -> KBBBvKN; KQBBBvKN -> KQBBvKN; KQBBBvKN -> KQBBBvK; KBBBvKN -> KBBvKN; KBBBvKN -> KBBBvK; KQRBBvKN -> KRBBvKN; KQRBBvKN -> KQBBvKN; KQRBBvKN -> KQRBvKN; KQRBBvKN -> KQRBBvK; KRBBvKN -> KBBvKN; KRBBvKN -> KRBvKN; KRBBvKN -> KRBBvK; KBBPvKN -> KQBBvKN; KBBPvKN -> KRBBvKN; KBBPvKN -> KBBBvKN; KBBPvKN -> KBPvKN; KBBPvKN -> KBBNvKN; KBBPvKN -> KBBPvK; KBBPvKN -> KBBvKN; KQQBBvKN -> KQBBvKN; KQQBBvKN -> KQQBvKN; KQQBBvKN -> KQQBBvK; KQRBPvKN -> KQQRBvKN; KQRBPvKN -> KRBPvKN; KQRBPvKN -> KQRRBvKN; KQRBPvKN -> KQBPvKN; KQRBPvKN -> KQRBBvKN; KQRBPvKN -> KQRPvKN; KQRBPvKN -> KQRBNvKN; KQRBPvKN -> KQRBPvK; KQRBPvKN -> KQRBvKN; KQRRBvKN -> KRRBvKN; KQRRBvKN -> KQRBvKN; KQRRBvKN -> KQRRvKN; KQRRBvKN -> KQRRBvK; KRRBvKN -> KRBvKN; KRRBvKN -> KRRvKN; KRRBvKN -> KRRBvK; KRBPvKN -> KQRBvKN; KRBPvKN -> KRRBvKN; KRBPvKN -> KBPvKN; KRBPvKN -> KRBBvKN; KRBPvKN -> KRPvKN; KRBPvKN -> KRBNvKN; KRBPvKN -> KRBPvK; KRBPvKN -> KRBvKN; KQQRBvKN -> KQRBvKN; KQQRBvKN -> KQQBvKN; KQQRBvKN -> KQQRvKN; KQQRBvKN -> KQQRBvK; KBPPvKN -> KQBPvKN; KBPPvKN -> KRBPvKN; KBPPvKN -> KBBPvKN; KBPPvKN -> KPPvKN; KBPPvKN -> KBNPvKN; KBPPvKN -> KBPPvK; KBPPvKN -> KBPvKN; KQQBPvKN -> KQQQBvKN; KQQBPvKN -> KQBPvKN; KQQBPvKN -> KQQRBvKN; KQQBPvKN -> KQQBBvKN; KQQBPvKN -> KQQPvKN; KQQBPvKN -> KQQBNvKN; KQQBPvKN -> KQQBPvK; KQQBPvKN -> KQQBvKN; KQQQBvKN -> KQQBvKN; KQQQBvKN -> KQQQvKN; KQQQBvKN -> KQQQBvK; }