digraph Syzygy { KBPPPvK -> KQBPPvK; KBPPPvK -> KRBPPvK; KBPPPvK -> KBBPPvK; KBPPPvK -> KPPPvK; KBPPPvK -> KBNPPvK; KBPPPvK -> KBPPvK; KBPPvK -> KQBPvK; KBPPvK -> KRBPvK; KBPPvK -> KBBPvK; KBPPvK -> KPPvK; KBPPvK -> KBNPvK; KBPPvK -> KBPvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KBNvK -> KNvK; KBNvK -> KBvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KBBvK -> KBvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBvK -> KBvK; KQBvK -> KQvK; KBNPvK -> KQBNvK; KBNPvK -> KRBNvK; KBNPvK -> KBBNvK; KBNPvK -> KNPvK; KBNPvK -> KBNNvK; KBNPvK -> KBPvK; KBNPvK -> KBNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KNNvK -> KNvK; 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; 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; KBNPPvK -> KQBNPvK; KBNPPvK -> KRBNPvK; KBNPPvK -> KBBNPvK; KBNPPvK -> KNPPvK; KBNPPvK -> KBNNPvK; KBNPPvK -> KBPPvK; KBNPPvK -> KBNPvK; KBNNPvK -> KQBNNvK; KBNNPvK -> KRBNNvK; KBNNPvK -> KBBNNvK; KBNNPvK -> KNNPvK; KBNNPvK -> KBNNNvK; KBNNPvK -> KBNPvK; KBNNPvK -> KBNNvK; 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; 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; KPPPvK -> KQPPvK; KPPPvK -> KRPPvK; KPPPvK -> KBPPvK; KPPPvK -> KNPPvK; KPPPvK -> KPPvK; KRPPvK -> KQRPvK; KRPPvK -> KRRPvK; KRPPvK -> KPPvK; KRPPvK -> KRBPvK; KRPPvK -> KRNPvK; KRPPvK -> KRPvK; KRRPvK -> KQRRvK; KRRPvK -> KRRRvK; KRRPvK -> KRPvK; KRRPvK -> KRRBvK; KRRPvK -> KRRNvK; KRRPvK -> KRRvK; KRRRvK -> KRRvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KQRPvK -> KQQRvK; KQRPvK -> KRPvK; KQRPvK -> KQRRvK; KQRPvK -> KQPvK; KQRPvK -> KQRBvK; KQRPvK -> KQRNvK; KQRPvK -> KQRvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQPPvK -> KQQPvK; KQPPvK -> KPPvK; KQPPvK -> KQRPvK; KQPPvK -> KQBPvK; KQPPvK -> KQNPvK; KQPPvK -> KQPvK; KQQPvK -> KQQQvK; KQQPvK -> KQPvK; KQQPvK -> KQQRvK; KQQPvK -> KQQBvK; KQQPvK -> KQQNvK; KQQPvK -> KQQvK; KQQQvK -> KQQvK; KBBPPvK -> KQBBPvK; KBBPPvK -> KRBBPvK; KBBPPvK -> KBBBPvK; KBBPPvK -> KBPPvK; KBBPPvK -> KBBNPvK; KBBPPvK -> KBBPvK; 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; KRBPPvK -> KQRBPvK; KRBPPvK -> KRRBPvK; KRBPPvK -> KBPPvK; KRBPPvK -> KRBBPvK; KRBPPvK -> KRPPvK; KRBPPvK -> KRBNPvK; KRBPPvK -> KRBPvK; KRRBPvK -> KQRRBvK; KRRBPvK -> KRRRBvK; KRRBPvK -> KRBPvK; KRRBPvK -> KRRBBvK; KRRBPvK -> KRRPvK; KRRBPvK -> KRRBNvK; KRRBPvK -> KRRBvK; KRRRBvK -> KRRBvK; KRRRBvK -> KRRRvK; KQRRBvK -> KRRBvK; KQRRBvK -> KQRBvK; KQRRBvK -> KQRRvK; KQRBPvK -> KQQRBvK; KQRBPvK -> KRBPvK; KQRBPvK -> KQRRBvK; KQRBPvK -> KQBPvK; KQRBPvK -> KQRBBvK; KQRBPvK -> KQRPvK; KQRBPvK -> KQRBNvK; KQRBPvK -> KQRBvK; KQQRBvK -> KQRBvK; KQQRBvK -> KQQBvK; KQQRBvK -> KQQRvK; KQBPPvK -> KQQBPvK; KQBPPvK -> KBPPvK; KQBPPvK -> KQRBPvK; KQBPPvK -> KQBBPvK; KQBPPvK -> KQPPvK; KQBPPvK -> KQBNPvK; KQBPPvK -> KQBPvK; KQQBPvK -> KQQQBvK; KQQBPvK -> KQBPvK; KQQBPvK -> KQQRBvK; KQQBPvK -> KQQBBvK; KQQBPvK -> KQQPvK; KQQBPvK -> KQQBNvK; KQQBPvK -> KQQBvK; KQQQBvK -> KQQBvK; KQQQBvK -> KQQQvK; }