digraph Syzygy { KQNPPPvK -> KQQNPPvK; KQNPPPvK -> KNPPPvK; KQNPPPvK -> KQRNPPvK; KQNPPPvK -> KQBNPPvK; KQNPPPvK -> KQNNPPvK; KQNPPPvK -> KQPPPvK; KQNPPPvK -> KQNPPvK; KQNPPvK -> KQQNPvK; KQNPPvK -> KNPPvK; KQNPPvK -> KQRNPvK; KQNPPvK -> KQBNPvK; KQNPPvK -> KQNNPvK; KQNPPvK -> KQPPvK; KQNPPvK -> KQNPvK; KQNPvK -> KQQNvK; KQNPvK -> KNPvK; KQNPvK -> KQRNvK; KQNPvK -> KQBNvK; KQNPvK -> KQNNvK; KQNPvK -> KQPvK; KQNPvK -> KQNvK; KQNvK -> KNvK; KQNvK -> KQvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQRvK -> KRvK; KQRvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQvK -> KQvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KNNvK -> KNvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBNvK -> KNvK; KBNvK -> KBvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KRNvK -> KNvK; KRNvK -> KRvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQPPvK -> KQQPvK; KQPPvK -> KPPvK; KQPPvK -> KQRPvK; KQPPvK -> KQBPvK; KQPPvK -> KQNPvK; KQPPvK -> KQPvK; KQBPvK -> KQQBvK; KQBPvK -> KBPvK; KQBPvK -> KQRBvK; KQBPvK -> KQBBvK; KQBPvK -> KQPvK; KQBPvK -> KQBNvK; KQBPvK -> KQBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBBvK -> KBvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KRBvK -> KBvK; KRBvK -> KRvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQRPvK -> KQQRvK; KQRPvK -> KRPvK; KQRPvK -> KQRRvK; KQRPvK -> KQPvK; KQRPvK -> KQRBvK; KQRPvK -> KQRNvK; KQRPvK -> KQRvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KRRvK -> KRvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KPPvK -> KQPvK; KPPvK -> KRPvK; KPPvK -> KBPvK; KPPvK -> KNPvK; KPPvK -> KPvK; KQQPvK -> KQQQvK; KQQPvK -> KQPvK; KQQPvK -> KQQRvK; KQQPvK -> KQQBvK; KQQPvK -> KQQNvK; KQQPvK -> KQQvK; KQQQvK -> KQQvK; KQNNPvK -> KQQNNvK; KQNNPvK -> KNNPvK; KQNNPvK -> KQRNNvK; KQNNPvK -> KQBNNvK; KQNNPvK -> KQNNNvK; KQNNPvK -> KQNPvK; KQNNPvK -> KQNNvK; KQNNNvK -> KNNNvK; KQNNNvK -> KQNNvK; KNNNvK -> KNNvK; KQBNNvK -> KBNNvK; KQBNNvK -> KQNNvK; KQBNNvK -> KQBNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KQRNNvK -> KRNNvK; KQRNNvK -> KQNNvK; KQRNNvK -> KQRNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KQQNNvK -> KQNNvK; KQQNNvK -> KQQNvK; KQBNPvK -> KQQBNvK; KQBNPvK -> KBNPvK; KQBNPvK -> KQRBNvK; KQBNPvK -> KQBBNvK; KQBNPvK -> KQNPvK; KQBNPvK -> KQBNNvK; KQBNPvK -> KQBPvK; KQBNPvK -> KQBNvK; KQBBNvK -> KBBNvK; KQBBNvK -> KQBNvK; KQBBNvK -> KQBBvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KQRBNvK -> KRBNvK; KQRBNvK -> KQBNvK; KQRBNvK -> KQRNvK; KQRBNvK -> KQRBvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KBNPvK -> KQBNvK; KBNPvK -> KRBNvK; KBNPvK -> KBBNvK; KBNPvK -> KNPvK; KBNPvK -> KBNNvK; KBNPvK -> KBPvK; KBNPvK -> KBNvK; KQQBNvK -> KQBNvK; KQQBNvK -> KQQNvK; KQQBNvK -> KQQBvK; KQRNPvK -> KQQRNvK; KQRNPvK -> KRNPvK; KQRNPvK -> KQRRNvK; KQRNPvK -> KQNPvK; KQRNPvK -> KQRBNvK; KQRNPvK -> KQRNNvK; KQRNPvK -> KQRPvK; KQRNPvK -> KQRNvK; KQRRNvK -> KRRNvK; KQRRNvK -> KQRNvK; KQRRNvK -> KQRRvK; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KRNPvK -> KQRNvK; KRNPvK -> KRRNvK; KRNPvK -> KNPvK; KRNPvK -> KRBNvK; KRNPvK -> KRNNvK; KRNPvK -> KRPvK; KRNPvK -> KRNvK; KQQRNvK -> KQRNvK; KQQRNvK -> KQQNvK; KQQRNvK -> KQQRvK; KNPPvK -> KQNPvK; KNPPvK -> KRNPvK; KNPPvK -> KBNPvK; KNPPvK -> KNNPvK; KNPPvK -> KPPvK; KNPPvK -> KNPvK; KQQNPvK -> KQQQNvK; KQQNPvK -> KQNPvK; KQQNPvK -> KQQRNvK; KQQNPvK -> KQQBNvK; KQQNPvK -> KQQNNvK; KQQNPvK -> KQQPvK; KQQNPvK -> KQQNvK; KQQQNvK -> KQQNvK; KQQQNvK -> KQQQvK; KQPPPvK -> KQQPPvK; KQPPPvK -> KPPPvK; KQPPPvK -> KQRPPvK; KQPPPvK -> KQBPPvK; KQPPPvK -> KQNPPvK; KQPPPvK -> KQPPvK; KQBPPvK -> KQQBPvK; KQBPPvK -> KBPPvK; KQBPPvK -> KQRBPvK; KQBPPvK -> KQBBPvK; KQBPPvK -> KQPPvK; KQBPPvK -> KQBNPvK; KQBPPvK -> KQBPvK; KQBBPvK -> KQQBBvK; KQBBPvK -> KBBPvK; KQBBPvK -> KQRBBvK; KQBBPvK -> KQBBBvK; KQBBPvK -> KQBPvK; KQBBPvK -> KQBBNvK; KQBBPvK -> KQBBvK; KQBBBvK -> KBBBvK; KQBBBvK -> KQBBvK; KBBBvK -> KBBvK; KQRBBvK -> KRBBvK; KQRBBvK -> KQBBvK; KQRBBvK -> KQRBvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KBBPvK -> KQBBvK; KBBPvK -> KRBBvK; KBBPvK -> KBBBvK; KBBPvK -> KBPvK; KBBPvK -> KBBNvK; KBBPvK -> KBBvK; KQQBBvK -> KQBBvK; KQQBBvK -> KQQBvK; KQRBPvK -> KQQRBvK; KQRBPvK -> KRBPvK; KQRBPvK -> KQRRBvK; KQRBPvK -> KQBPvK; KQRBPvK -> KQRBBvK; KQRBPvK -> KQRPvK; KQRBPvK -> KQRBNvK; KQRBPvK -> KQRBvK; KQRRBvK -> KRRBvK; KQRRBvK -> KQRBvK; KQRRBvK -> KQRRvK; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KRBPvK -> KQRBvK; KRBPvK -> KRRBvK; KRBPvK -> KBPvK; KRBPvK -> KRBBvK; KRBPvK -> KRPvK; KRBPvK -> KRBNvK; KRBPvK -> KRBvK; KQQRBvK -> KQRBvK; KQQRBvK -> KQQBvK; KQQRBvK -> KQQRvK; KBPPvK -> KQBPvK; KBPPvK -> KRBPvK; KBPPvK -> KBBPvK; KBPPvK -> KPPvK; KBPPvK -> KBNPvK; KBPPvK -> KBPvK; KQQBPvK -> KQQQBvK; KQQBPvK -> KQBPvK; KQQBPvK -> KQQRBvK; KQQBPvK -> KQQBBvK; KQQBPvK -> KQQPvK; KQQBPvK -> KQQBNvK; KQQBPvK -> KQQBvK; KQQQBvK -> KQQBvK; KQQQBvK -> KQQQvK; KQRPPvK -> KQQRPvK; KQRPPvK -> KRPPvK; KQRPPvK -> KQRRPvK; KQRPPvK -> KQPPvK; KQRPPvK -> KQRBPvK; KQRPPvK -> KQRNPvK; KQRPPvK -> KQRPvK; KQRRPvK -> KQQRRvK; KQRRPvK -> KRRPvK; KQRRPvK -> KQRRRvK; KQRRPvK -> KQRPvK; KQRRPvK -> KQRRBvK; KQRRPvK -> KQRRNvK; KQRRPvK -> KQRRvK; KQRRRvK -> KRRRvK; KQRRRvK -> KQRRvK; KRRRvK -> KRRvK; KRRPvK -> KQRRvK; KRRPvK -> KRRRvK; KRRPvK -> KRPvK; KRRPvK -> KRRBvK; KRRPvK -> KRRNvK; KRRPvK -> KRRvK; KQQRRvK -> KQRRvK; KQQRRvK -> KQQRvK; KRPPvK -> KQRPvK; KRPPvK -> KRRPvK; KRPPvK -> KPPvK; KRPPvK -> KRBPvK; KRPPvK -> KRNPvK; KRPPvK -> KRPvK; KQQRPvK -> KQQQRvK; KQQRPvK -> KQRPvK; KQQRPvK -> KQQRRvK; KQQRPvK -> KQQPvK; KQQRPvK -> KQQRBvK; KQQRPvK -> KQQRNvK; KQQRPvK -> KQQRvK; KQQQRvK -> KQQRvK; KQQQRvK -> KQQQvK; KPPPvK -> KQPPvK; KPPPvK -> KRPPvK; KPPPvK -> KBPPvK; KPPPvK -> KNPPvK; KPPPvK -> KPPvK; KQQPPvK -> KQQQPvK; KQQPPvK -> KQPPvK; KQQPPvK -> KQQRPvK; KQQPPvK -> KQQBPvK; KQQPPvK -> KQQNPvK; KQQPPvK -> KQQPvK; KQQQPvK -> KQQQQvK; KQQQPvK -> KQQPvK; KQQQPvK -> KQQQRvK; KQQQPvK -> KQQQBvK; KQQQPvK -> KQQQNvK; KQQQPvK -> KQQQvK; KQQQQvK -> KQQQvK; KQNNPPvK -> KQQNNPvK; KQNNPPvK -> KNNPPvK; KQNNPPvK -> KQRNNPvK; KQNNPPvK -> KQBNNPvK; KQNNPPvK -> KQNNNPvK; KQNNPPvK -> KQNPPvK; KQNNPPvK -> KQNNPvK; KQNNNPvK -> KQQNNNvK; KQNNNPvK -> KNNNPvK; KQNNNPvK -> KQRNNNvK; KQNNNPvK -> KQBNNNvK; KQNNNPvK -> KQNNNNvK; KQNNNPvK -> KQNNPvK; KQNNNPvK -> KQNNNvK; KQNNNNvK -> KNNNNvK; KQNNNNvK -> KQNNNvK; KNNNNvK -> KNNNvK; KQBNNNvK -> KBNNNvK; KQBNNNvK -> KQNNNvK; KQBNNNvK -> KQBNNvK; KBNNNvK -> KNNNvK; KBNNNvK -> KBNNvK; KQRNNNvK -> KRNNNvK; KQRNNNvK -> KQNNNvK; KQRNNNvK -> KQRNNvK; KRNNNvK -> KNNNvK; KRNNNvK -> KRNNvK; KNNNPvK -> KQNNNvK; KNNNPvK -> KRNNNvK; KNNNPvK -> KBNNNvK; KNNNPvK -> KNNNNvK; KNNNPvK -> KNNPvK; KNNNPvK -> KNNNvK; KQQNNNvK -> KQNNNvK; KQQNNNvK -> KQQNNvK; KQBNNPvK -> KQQBNNvK; KQBNNPvK -> KBNNPvK; KQBNNPvK -> KQRBNNvK; KQBNNPvK -> KQBBNNvK; KQBNNPvK -> KQNNPvK; KQBNNPvK -> KQBNNNvK; KQBNNPvK -> KQBNPvK; KQBNNPvK -> KQBNNvK; KQBBNNvK -> KBBNNvK; KQBBNNvK -> KQBNNvK; KQBBNNvK -> KQBBNvK; KBBNNvK -> KBNNvK; KBBNNvK -> KBBNvK; KQRBNNvK -> KRBNNvK; KQRBNNvK -> KQBNNvK; KQRBNNvK -> KQRNNvK; KQRBNNvK -> KQRBNvK; KRBNNvK -> KBNNvK; KRBNNvK -> KRNNvK; KRBNNvK -> KRBNvK; KBNNPvK -> KQBNNvK; KBNNPvK -> KRBNNvK; KBNNPvK -> KBBNNvK; KBNNPvK -> KNNPvK; KBNNPvK -> KBNNNvK; KBNNPvK -> KBNPvK; KBNNPvK -> KBNNvK; KQQBNNvK -> KQBNNvK; KQQBNNvK -> KQQNNvK; KQQBNNvK -> KQQBNvK; KQRNNPvK -> KQQRNNvK; KQRNNPvK -> KRNNPvK; KQRNNPvK -> KQRRNNvK; KQRNNPvK -> KQNNPvK; KQRNNPvK -> KQRBNNvK; KQRNNPvK -> KQRNNNvK; KQRNNPvK -> KQRNPvK; KQRNNPvK -> KQRNNvK; KQRRNNvK -> KRRNNvK; KQRRNNvK -> KQRNNvK; KQRRNNvK -> KQRRNvK; KRRNNvK -> KRNNvK; KRRNNvK -> KRRNvK; KRNNPvK -> KQRNNvK; KRNNPvK -> KRRNNvK; KRNNPvK -> KNNPvK; KRNNPvK -> KRBNNvK; KRNNPvK -> KRNNNvK; KRNNPvK -> KRNPvK; KRNNPvK -> KRNNvK; KQQRNNvK -> KQRNNvK; KQQRNNvK -> KQQNNvK; KQQRNNvK -> KQQRNvK; KNNPPvK -> KQNNPvK; KNNPPvK -> KRNNPvK; KNNPPvK -> KBNNPvK; KNNPPvK -> KNNNPvK; KNNPPvK -> KNPPvK; KNNPPvK -> KNNPvK; KQQNNPvK -> KQQQNNvK; KQQNNPvK -> KQNNPvK; KQQNNPvK -> KQQRNNvK; KQQNNPvK -> KQQBNNvK; KQQNNPvK -> KQQNNNvK; KQQNNPvK -> KQQNPvK; KQQNNPvK -> KQQNNvK; KQQQNNvK -> KQQNNvK; KQQQNNvK -> KQQQNvK; KQBNPPvK -> KQQBNPvK; KQBNPPvK -> KBNPPvK; KQBNPPvK -> KQRBNPvK; KQBNPPvK -> KQBBNPvK; KQBNPPvK -> KQNPPvK; KQBNPPvK -> KQBNNPvK; KQBNPPvK -> KQBPPvK; KQBNPPvK -> KQBNPvK; KQBBNPvK -> KQQBBNvK; KQBBNPvK -> KBBNPvK; KQBBNPvK -> KQRBBNvK; KQBBNPvK -> KQBBBNvK; KQBBNPvK -> KQBNPvK; KQBBNPvK -> KQBBNNvK; KQBBNPvK -> KQBBPvK; KQBBNPvK -> KQBBNvK; KQBBBNvK -> KBBBNvK; KQBBBNvK -> KQBBNvK; KQBBBNvK -> KQBBBvK; KBBBNvK -> KBBNvK; KBBBNvK -> KBBBvK; KQRBBNvK -> KRBBNvK; KQRBBNvK -> KQBBNvK; KQRBBNvK -> KQRBNvK; KQRBBNvK -> KQRBBvK; KRBBNvK -> KBBNvK; KRBBNvK -> KRBNvK; KRBBNvK -> KRBBvK; KBBNPvK -> KQBBNvK; KBBNPvK -> KRBBNvK; KBBNPvK -> KBBBNvK; KBBNPvK -> KBNPvK; KBBNPvK -> KBBNNvK; KBBNPvK -> KBBPvK; KBBNPvK -> KBBNvK; KQQBBNvK -> KQBBNvK; KQQBBNvK -> KQQBNvK; KQQBBNvK -> KQQBBvK; KQRBNPvK -> KQQRBNvK; KQRBNPvK -> KRBNPvK; KQRBNPvK -> KQRRBNvK; KQRBNPvK -> KQBNPvK; KQRBNPvK -> KQRBBNvK; KQRBNPvK -> KQRNPvK; KQRBNPvK -> KQRBNNvK; KQRBNPvK -> KQRBPvK; KQRBNPvK -> KQRBNvK; KQRRBNvK -> KRRBNvK; KQRRBNvK -> KQRBNvK; KQRRBNvK -> KQRRNvK; KQRRBNvK -> KQRRBvK; KRRBNvK -> KRBNvK; KRRBNvK -> KRRNvK; KRRBNvK -> KRRBvK; KRBNPvK -> KQRBNvK; KRBNPvK -> KRRBNvK; KRBNPvK -> KBNPvK; KRBNPvK -> KRBBNvK; KRBNPvK -> KRNPvK; KRBNPvK -> KRBNNvK; KRBNPvK -> KRBPvK; KRBNPvK -> KRBNvK; KQQRBNvK -> KQRBNvK; KQQRBNvK -> KQQBNvK; KQQRBNvK -> KQQRNvK; KQQRBNvK -> KQQRBvK; KBNPPvK -> KQBNPvK; KBNPPvK -> KRBNPvK; KBNPPvK -> KBBNPvK; KBNPPvK -> KNPPvK; KBNPPvK -> KBNNPvK; KBNPPvK -> KBPPvK; KBNPPvK -> KBNPvK; KQQBNPvK -> KQQQBNvK; KQQBNPvK -> KQBNPvK; KQQBNPvK -> KQQRBNvK; KQQBNPvK -> KQQBBNvK; KQQBNPvK -> KQQNPvK; KQQBNPvK -> KQQBNNvK; KQQBNPvK -> KQQBPvK; KQQBNPvK -> KQQBNvK; KQQQBNvK -> KQQBNvK; KQQQBNvK -> KQQQNvK; KQQQBNvK -> KQQQBvK; KQRNPPvK -> KQQRNPvK; KQRNPPvK -> KRNPPvK; KQRNPPvK -> KQRRNPvK; KQRNPPvK -> KQNPPvK; KQRNPPvK -> KQRBNPvK; KQRNPPvK -> KQRNNPvK; KQRNPPvK -> KQRPPvK; KQRNPPvK -> KQRNPvK; KQRRNPvK -> KQQRRNvK; KQRRNPvK -> KRRNPvK; KQRRNPvK -> KQRRRNvK; KQRRNPvK -> KQRNPvK; KQRRNPvK -> KQRRBNvK; KQRRNPvK -> KQRRNNvK; KQRRNPvK -> KQRRPvK; KQRRNPvK -> KQRRNvK; KQRRRNvK -> KRRRNvK; KQRRRNvK -> KQRRNvK; KQRRRNvK -> KQRRRvK; KRRRNvK -> KRRNvK; KRRRNvK -> KRRRvK; KRRNPvK -> KQRRNvK; KRRNPvK -> KRRRNvK; KRRNPvK -> KRNPvK; KRRNPvK -> KRRBNvK; KRRNPvK -> KRRNNvK; KRRNPvK -> KRRPvK; KRRNPvK -> KRRNvK; KQQRRNvK -> KQRRNvK; KQQRRNvK -> KQQRNvK; KQQRRNvK -> KQQRRvK; KRNPPvK -> KQRNPvK; KRNPPvK -> KRRNPvK; KRNPPvK -> KNPPvK; KRNPPvK -> KRBNPvK; KRNPPvK -> KRNNPvK; KRNPPvK -> KRPPvK; KRNPPvK -> KRNPvK; KQQRNPvK -> KQQQRNvK; KQQRNPvK -> KQRNPvK; KQQRNPvK -> KQQRRNvK; KQQRNPvK -> KQQNPvK; KQQRNPvK -> KQQRBNvK; KQQRNPvK -> KQQRNNvK; KQQRNPvK -> KQQRPvK; KQQRNPvK -> KQQRNvK; KQQQRNvK -> KQQRNvK; KQQQRNvK -> KQQQNvK; KQQQRNvK -> KQQQRvK; KNPPPvK -> KQNPPvK; KNPPPvK -> KRNPPvK; KNPPPvK -> KBNPPvK; KNPPPvK -> KNNPPvK; KNPPPvK -> KPPPvK; KNPPPvK -> KNPPvK; KQQNPPvK -> KQQQNPvK; KQQNPPvK -> KQNPPvK; KQQNPPvK -> KQQRNPvK; KQQNPPvK -> KQQBNPvK; KQQNPPvK -> KQQNNPvK; KQQNPPvK -> KQQPPvK; KQQNPPvK -> KQQNPvK; KQQQNPvK -> KQQQQNvK; KQQQNPvK -> KQQNPvK; KQQQNPvK -> KQQQRNvK; KQQQNPvK -> KQQQBNvK; KQQQNPvK -> KQQQNNvK; KQQQNPvK -> KQQQPvK; KQQQNPvK -> KQQQNvK; KQQQQNvK -> KQQQNvK; KQQQQNvK -> KQQQQvK; }