digraph Syzygy { KQQPPvK -> KQQQPvK; KQQPPvK -> KQPPvK; KQQPPvK -> KQQRPvK; KQQPPvK -> KQQBPvK; KQQPPvK -> KQQNPvK; KQQPPvK -> KQQPvK; KQQPvK -> KQQQvK; KQQPvK -> KQPvK; KQQPvK -> KQQRvK; KQQPvK -> KQQBvK; KQQPvK -> KQQNvK; KQQPvK -> KQQvK; KQQvK -> KQvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQNvK -> KNvK; KQNvK -> KQvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQRvK -> KRvK; KQRvK -> KQvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQQvK -> KQQvK; KQQNPvK -> KQQQNvK; KQQNPvK -> KQNPvK; KQQNPvK -> KQQRNvK; KQQNPvK -> KQQBNvK; KQQNPvK -> KQQNNvK; KQQNPvK -> KQQPvK; KQQNPvK -> KQQNvK; KQQNNvK -> KQNNvK; KQQNNvK -> KQQNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KQQBNvK -> KQBNvK; KQQBNvK -> KQQNvK; KQQBNvK -> KQQBvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBNvK -> KNvK; KBNvK -> KBvK; KQQRNvK -> KQRNvK; KQQRNvK -> KQQNvK; KQQRNvK -> KQQRvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNPvK -> KQQNvK; KQNPvK -> KNPvK; KQNPvK -> KQRNvK; KQNPvK -> KQBNvK; KQNPvK -> KQNNvK; KQNPvK -> KQPvK; KQNPvK -> KQNvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQQQNvK -> KQQNvK; KQQQNvK -> KQQQvK; KQQBPvK -> KQQQBvK; KQQBPvK -> KQBPvK; KQQBPvK -> KQQRBvK; KQQBPvK -> KQQBBvK; KQQBPvK -> KQQPvK; KQQBPvK -> KQQBNvK; KQQBPvK -> KQQBvK; KQQBBvK -> KQBBvK; KQQBBvK -> KQQBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBBvK -> KBvK; KQQRBvK -> KQRBvK; KQQRBvK -> KQQBvK; KQQRBvK -> KQQRvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBPvK -> KQQBvK; KQBPvK -> KBPvK; KQBPvK -> KQRBvK; KQBPvK -> KQBBvK; KQBPvK -> KQPvK; KQBPvK -> KQBNvK; KQBPvK -> KQBvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KQQQBvK -> KQQBvK; KQQQBvK -> KQQQvK; KQQRPvK -> KQQQRvK; KQQRPvK -> KQRPvK; KQQRPvK -> KQQRRvK; KQQRPvK -> KQQPvK; KQQRPvK -> KQQRBvK; KQQRPvK -> KQQRNvK; KQQRPvK -> KQQRvK; KQQRRvK -> KQRRvK; KQQRRvK -> KQQRvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KRRvK -> KRvK; KQRPvK -> KQQRvK; KQRPvK -> KRPvK; KQRPvK -> KQRRvK; KQRPvK -> KQPvK; KQRPvK -> KQRBvK; KQRPvK -> KQRNvK; KQRPvK -> KQRvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KQQQRvK -> KQQRvK; KQQQRvK -> KQQQvK; KQPPvK -> KQQPvK; KQPPvK -> KPPvK; KQPPvK -> KQRPvK; KQPPvK -> KQBPvK; KQPPvK -> KQNPvK; KQPPvK -> KQPvK; KPPvK -> KQPvK; KPPvK -> KRPvK; KPPvK -> KBPvK; KPPvK -> KNPvK; KPPvK -> KPvK; KQQQPvK -> KQQQQvK; KQQQPvK -> KQQPvK; KQQQPvK -> KQQQRvK; KQQQPvK -> KQQQBvK; KQQQPvK -> KQQQNvK; KQQQPvK -> KQQQvK; KQQQQvK -> KQQQvK; }