digraph Syzygy { KBNNPPvK -> KQBNNPvK; KBNNPPvK -> KRBNNPvK; KBNNPPvK -> KBBNNPvK; KBNNPPvK -> KNNPPvK; KBNNPPvK -> KBNNNPvK; KBNNPPvK -> KBNPPvK; KBNNPPvK -> KBNNPvK; KBNNPvK -> KQBNNvK; KBNNPvK -> KRBNNvK; KBNNPvK -> KBBNNvK; KBNNPvK -> KNNPvK; KBNNPvK -> KBNNNvK; KBNNPvK -> KBNPvK; KBNNPvK -> KBNNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KBNvK -> KNvK; KBNvK -> KBvK; KNNvK -> KNvK; KBNPvK -> KQBNvK; KBNPvK -> KRBNvK; KBNPvK -> KBBNvK; KBNPvK -> KNPvK; KBNPvK -> KBNNvK; KBNPvK -> KBPvK; KBNPvK -> KBNvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KBBvK -> KBvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBvK -> KBvK; KQBvK -> KQvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNvK -> KNvK; KQNvK -> KQvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBNNNvK -> KNNNvK; KBNNNvK -> KBNNvK; KNNNvK -> KNNvK; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KBBNNvK -> KBNNvK; KBBNNvK -> KBBNvK; KRBNNvK -> KBNNvK; KRBNNvK -> KRNNvK; KRBNNvK -> KRBNvK; KQBNNvK -> KBNNvK; KQBNNvK -> KQNNvK; KQBNNvK -> KQBNvK; KBNPPvK -> KQBNPvK; KBNPPvK -> KRBNPvK; KBNPPvK -> KBBNPvK; KBNPPvK -> KNPPvK; KBNPPvK -> KBNNPvK; KBNPPvK -> KBPPvK; KBNPPvK -> KBNPvK; 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; 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; KNPPvK -> KQNPvK; KNPPvK -> KRNPvK; KNPPvK -> KBNPvK; KNPPvK -> KNNPvK; KNPPvK -> KPPvK; KNPPvK -> KNPvK; 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; 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; KBNNNPvK -> KQBNNNvK; KBNNNPvK -> KRBNNNvK; KBNNNPvK -> KBBNNNvK; KBNNNPvK -> KNNNPvK; KBNNNPvK -> KBNNNNvK; KBNNNPvK -> KBNNPvK; KBNNNPvK -> KBNNNvK; KBNNNNvK -> KNNNNvK; KBNNNNvK -> KBNNNvK; KNNNNvK -> KNNNvK; KNNNPvK -> KQNNNvK; KNNNPvK -> KRNNNvK; KNNNPvK -> KBNNNvK; KNNNPvK -> KNNNNvK; KNNNPvK -> KNNPvK; KNNNPvK -> KNNNvK; KRNNNvK -> KNNNvK; KRNNNvK -> KRNNvK; KQNNNvK -> KNNNvK; KQNNNvK -> KQNNvK; KBBNNNvK -> KBNNNvK; KBBNNNvK -> KBBNNvK; KRBNNNvK -> KBNNNvK; KRBNNNvK -> KRNNNvK; KRBNNNvK -> KRBNNvK; KQBNNNvK -> KBNNNvK; KQBNNNvK -> KQNNNvK; KQBNNNvK -> KQBNNvK; KNNPPvK -> KQNNPvK; KNNPPvK -> KRNNPvK; KNNPPvK -> KBNNPvK; KNNPPvK -> KNNNPvK; KNNPPvK -> KNPPvK; KNNPPvK -> KNNPvK; 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; 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; }