digraph Syzygy { KNNNPPvK -> KQNNNPvK; KNNNPPvK -> KRNNNPvK; KNNNPPvK -> KBNNNPvK; KNNNPPvK -> KNNNNPvK; KNNNPPvK -> KNNPPvK; KNNNPPvK -> KNNNPvK; KNNNPvK -> KQNNNvK; KNNNPvK -> KRNNNvK; KNNNPvK -> KBNNNvK; KNNNPvK -> KNNNNvK; KNNNPvK -> KNNPvK; KNNNPvK -> KNNNvK; KNNNvK -> KNNvK; KNNvK -> KNvK; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KBNvK -> KNvK; KBNvK -> KBvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNvK -> KNvK; KQNvK -> KQvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNNNvK -> KNNNvK; KBNNNvK -> KNNNvK; KBNNNvK -> KBNNvK; KRNNNvK -> KNNNvK; KRNNNvK -> KRNNvK; KQNNNvK -> KNNNvK; KQNNNvK -> KQNNvK; KNNPPvK -> KQNNPvK; KNNPPvK -> KRNNPvK; KNNPPvK -> KBNNPvK; KNNPPvK -> KNNNPvK; KNNPPvK -> KNPPvK; KNNPPvK -> KNNPvK; KNPPvK -> KQNPvK; KNPPvK -> KRNPvK; KNPPvK -> KBNPvK; KNPPvK -> KNNPvK; KNPPvK -> KPPvK; KNPPvK -> KNPvK; KPPvK -> KQPvK; KPPvK -> KRPvK; KPPvK -> KBPvK; KPPvK -> KNPvK; KPPvK -> KPvK; 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; 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; 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; 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; }