digraph Syzygy { KBBPPvKN -> KQBBPvKN; KBBPPvKN -> KRBBPvKN; KBBPPvKN -> KBBBPvKN; KBBPPvKN -> KBPPvKN; KBBPPvKN -> KBBNPvKN; KBBPPvKN -> KBBPPvK; KBBPPvKN -> KBBPvKN; KBBPvKN -> KQBBvKN; KBBPvKN -> KRBBvKN; KBBPvKN -> KBBBvKN; KBBPvKN -> KBPvKN; KBBPvKN -> KBBNvKN; KBBPvKN -> KBBPvK; KBBPvKN -> KBBvKN; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KBBvK -> KBvK; KBvKN -> KNvK; KBvKN -> KBvK; KBBPvK -> KQBBvK; KBBPvK -> KRBBvK; KBBPvK -> KBBBvK; KBBPvK -> KBPvK; KBBPvK -> KBBNvK; KBBPvK -> KBBvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KBNvK -> KNvK; KBNvK -> KBvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBvK -> KBvK; KQBvK -> KQvK; KBBBvK -> KBBvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBBNvKN -> KBNvKN; KBBNvKN -> KBBvKN; KBBNvKN -> KBBNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KNvKN -> KNvK; KBPvKN -> KQBvKN; KBPvKN -> KRBvKN; KBPvKN -> KBBvKN; KBPvKN -> KNvKP; KBPvKN -> KBNvKN; KBPvKN -> KBPvK; KBPvKN -> KBvKN; KNvKP -> KQvKN; KNvKP -> KRvKN; KNvKP -> KBvKN; KNvKP -> KNvKN; KNvKP -> KPvK; KNvKP -> KNvK; KRvKN -> KNvK; KRvKN -> KRvK; KQvKN -> KNvK; KQvKN -> KQvK; KRBvKN -> KBvKN; KRBvKN -> KRvKN; KRBvKN -> KRBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBBBvKN -> KBBvKN; KBBBvKN -> KBBBvK; KRBBvKN -> KBBvKN; KRBBvKN -> KRBvKN; KRBBvKN -> KRBBvK; KQBBvKN -> KBBvKN; KQBBvKN -> KQBvKN; KQBBvKN -> KQBBvK; KBBPPvK -> KQBBPvK; KBBPPvK -> KRBBPvK; KBBPPvK -> KBBBPvK; KBBPPvK -> KBPPvK; KBBPPvK -> KBBNPvK; KBBPPvK -> KBBPvK; KBBNPvK -> KQBBNvK; KBBNPvK -> KRBBNvK; KBBNPvK -> KBBBNvK; KBBNPvK -> KBNPvK; KBBNPvK -> KBBNNvK; KBBNPvK -> KBBPvK; KBBNPvK -> KBBNvK; KBBNNvK -> KBNNvK; KBBNNvK -> KBBNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KNNvK -> KNvK; KBNPvK -> KQBNvK; KBNPvK -> KRBNvK; KBNPvK -> KBBNvK; KBNPvK -> KNPvK; KBNPvK -> KBNNvK; KBNPvK -> KBPvK; KBNPvK -> KBNvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNvK -> KNvK; KQNvK -> KQvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBBBNvK -> KBBNvK; KBBBNvK -> KBBBvK; KRBBNvK -> KBBNvK; KRBBNvK -> KRBNvK; KRBBNvK -> KRBBvK; KQBBNvK -> KBBNvK; KQBBNvK -> KQBNvK; KQBBNvK -> KQBBvK; KBPPvK -> KQBPvK; KBPPvK -> KRBPvK; KBPPvK -> KBBPvK; KBPPvK -> KPPvK; KBPPvK -> KBNPvK; KBPPvK -> KBPvK; KPPvK -> KQPvK; KPPvK -> KRPvK; KPPvK -> KBPvK; KPPvK -> KNPvK; KPPvK -> KPvK; 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; 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; 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; KBBNPvKN -> KQBBNvKN; KBBNPvKN -> KRBBNvKN; KBBNPvKN -> KBBBNvKN; KBBNPvKN -> KBNPvKN; KBBNPvKN -> KBBNNvKN; KBBNPvKN -> KBBPvKN; KBBNPvKN -> KBBNPvK; KBBNPvKN -> KBBNvKN; KBBNNvKN -> KBNNvKN; KBBNNvKN -> KBBNvKN; KBBNNvKN -> KBBNNvK; KBNNvKN -> KNNvKN; KBNNvKN -> KBNvKN; KBNNvKN -> KBNNvK; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KBNPvKN -> KQBNvKN; KBNPvKN -> KRBNvKN; KBNPvKN -> KBBNvKN; KBNPvKN -> KNPvKN; KBNPvKN -> KBNNvKN; KBNPvKN -> KBPvKN; KBNPvKN -> KBNPvK; KBNPvKN -> KBNvKN; KNPvKN -> KQNvKN; KNPvKN -> KRNvKN; KNPvKN -> KBNvKN; KNPvKN -> KNNvKN; KNPvKN -> KNvKP; KNPvKN -> KNPvK; KNPvKN -> KNvKN; KRNvKN -> KNvKN; KRNvKN -> KRvKN; KRNvKN -> KRNvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KRBNvKN -> KBNvKN; KRBNvKN -> KRNvKN; KRBNvKN -> KRBvKN; KRBNvKN -> KRBNvK; KQBNvKN -> KBNvKN; KQBNvKN -> KQNvKN; KQBNvKN -> KQBvKN; KQBNvKN -> KQBNvK; KBBBNvKN -> KBBNvKN; KBBBNvKN -> KBBBvKN; KBBBNvKN -> KBBBNvK; KRBBNvKN -> KBBNvKN; KRBBNvKN -> KRBNvKN; KRBBNvKN -> KRBBvKN; KRBBNvKN -> KRBBNvK; KQBBNvKN -> KBBNvKN; KQBBNvKN -> KQBNvKN; KQBBNvKN -> KQBBvKN; KQBBNvKN -> KQBBNvK; KBPPvKN -> KQBPvKN; KBPPvKN -> KRBPvKN; KBPPvKN -> KBBPvKN; KBPPvKN -> KPPvKN; KBPPvKN -> KBNPvKN; KBPPvKN -> KBPPvK; KBPPvKN -> KBPvKN; KPPvKN -> KQPvKN; KPPvKN -> KRPvKN; KPPvKN -> KBPvKN; KPPvKN -> KNPvKN; KPPvKN -> KPPvK; KPPvKN -> KNvKP; 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; 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; 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; }