digraph Syzygy { KBBPPPvK -> KQBBPPvK; KBBPPPvK -> KRBBPPvK; KBBPPPvK -> KBBBPPvK; KBBPPPvK -> KBPPPvK; KBBPPPvK -> KBBNPPvK; KBBPPPvK -> KBBPPvK; KBBPPvK -> KQBBPvK; KBBPPvK -> KRBBPvK; KBBPPvK -> KBBBPvK; KBBPPvK -> KBPPvK; KBBPPvK -> KBBNPvK; KBBPPvK -> KBBPvK; KBBPvK -> KQBBvK; KBBPvK -> KRBBvK; KBBPvK -> KBBBvK; KBBPvK -> KBPvK; KBBPvK -> KBBNvK; KBBPvK -> KBBvK; KBBvK -> KBvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KBNvK -> KNvK; KBNvK -> KBvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBvK -> KBvK; KQBvK -> KQvK; KBBBvK -> KBBvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBBNPvK -> KQBBNvK; KBBNPvK -> KRBBNvK; KBBNPvK -> KBBBNvK; KBBNPvK -> KBNPvK; KBBNPvK -> KBBNNvK; KBBNPvK -> KBBPvK; KBBNPvK -> KBBNvK; KBBNNvK -> KBNNvK; KBBNNvK -> KBBNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KNNvK -> KNvK; KBNPvK -> KQBNvK; KBNPvK -> KRBNvK; KBNPvK -> KBBNvK; KBNPvK -> KNPvK; KBNPvK -> KBNNvK; KBNPvK -> KBPvK; KBNPvK -> KBNvK; KNPvK -> KQNvK; KNPvK -> KRNvK; KNPvK -> KBNvK; KNPvK -> KNNvK; KNPvK -> KPvK; KNPvK -> KNvK; KRNvK -> KNvK; KRNvK -> KRvK; KQNvK -> KNvK; KQNvK -> KQvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBBBNvK -> KBBNvK; KBBBNvK -> KBBBvK; KRBBNvK -> KBBNvK; KRBBNvK -> KRBNvK; KRBBNvK -> KRBBvK; KQBBNvK -> KBBNvK; KQBBNvK -> KQBNvK; KQBBNvK -> KQBBvK; 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; 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; 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; KBBNPPvK -> KQBBNPvK; KBBNPPvK -> KRBBNPvK; KBBNPPvK -> KBBBNPvK; KBBNPPvK -> KBNPPvK; KBBNPPvK -> KBBNNPvK; KBBNPPvK -> KBBPPvK; KBBNPPvK -> KBBNPvK; KBBNNPvK -> KQBBNNvK; KBBNNPvK -> KRBBNNvK; KBBNNPvK -> KBBBNNvK; KBBNNPvK -> KBNNPvK; KBBNNPvK -> KBBNNNvK; KBBNNPvK -> KBBNPvK; KBBNNPvK -> KBBNNvK; KBBNNNvK -> KBNNNvK; KBBNNNvK -> KBBNNvK; KBNNNvK -> KNNNvK; KBNNNvK -> KBNNvK; KNNNvK -> KNNvK; KBNNPvK -> KQBNNvK; KBNNPvK -> KRBNNvK; KBNNPvK -> KBBNNvK; KBNNPvK -> KNNPvK; KBNNPvK -> KBNNNvK; KBNNPvK -> KBNPvK; KBNNPvK -> KBNNvK; KNNPvK -> KQNNvK; KNNPvK -> KRNNvK; KNNPvK -> KBNNvK; KNNPvK -> KNNNvK; KNNPvK -> KNPvK; KNNPvK -> KNNvK; KRNNvK -> KNNvK; KRNNvK -> KRNvK; KQNNvK -> KNNvK; KQNNvK -> KQNvK; KRBNNvK -> KBNNvK; KRBNNvK -> KRNNvK; KRBNNvK -> KRBNvK; KQBNNvK -> KBNNvK; KQBNNvK -> KQNNvK; KQBNNvK -> KQBNvK; KBBBNNvK -> KBBNNvK; KBBBNNvK -> KBBBNvK; KRBBNNvK -> KBBNNvK; KRBBNNvK -> KRBNNvK; KRBBNNvK -> KRBBNvK; KQBBNNvK -> KBBNNvK; KQBBNNvK -> KQBNNvK; KQBBNNvK -> KQBBNvK; KBNPPvK -> KQBNPvK; KBNPPvK -> KRBNPvK; KBNPPvK -> KBBNPvK; KBNPPvK -> KNPPvK; KBNPPvK -> KBNNPvK; KBNPPvK -> KBPPvK; KBNPPvK -> KBNPvK; 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; 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; KBBBNPvK -> KQBBBNvK; KBBBNPvK -> KRBBBNvK; KBBBNPvK -> KBBBBNvK; KBBBNPvK -> KBBNPvK; KBBBNPvK -> KBBBNNvK; KBBBNPvK -> KBBBPvK; KBBBNPvK -> KBBBNvK; KBBBBNvK -> KBBBNvK; KBBBBNvK -> KBBBBvK; KRBBBNvK -> KBBBNvK; KRBBBNvK -> KRBBNvK; KRBBBNvK -> KRBBBvK; KQBBBNvK -> KBBBNvK; KQBBBNvK -> KQBBNvK; KQBBBNvK -> KQBBBvK; KRBBNPvK -> KQRBBNvK; KRBBNPvK -> KRRBBNvK; KRBBNPvK -> KBBNPvK; KRBBNPvK -> KRBBBNvK; KRBBNPvK -> KRBNPvK; KRBBNPvK -> KRBBNNvK; KRBBNPvK -> KRBBPvK; KRBBNPvK -> KRBBNvK; KRRBBNvK -> KRBBNvK; KRRBBNvK -> KRRBNvK; KRRBBNvK -> KRRBBvK; KQRBBNvK -> KRBBNvK; KQRBBNvK -> KQBBNvK; KQRBBNvK -> KQRBNvK; KQRBBNvK -> KQRBBvK; KQBBNPvK -> KQQBBNvK; KQBBNPvK -> KBBNPvK; KQBBNPvK -> KQRBBNvK; KQBBNPvK -> KQBBBNvK; KQBBNPvK -> KQBNPvK; KQBBNPvK -> KQBBNNvK; KQBBNPvK -> KQBBPvK; KQBBNPvK -> KQBBNvK; KQQBBNvK -> KQBBNvK; KQQBBNvK -> KQQBNvK; KQQBBNvK -> KQQBBvK; KBPPPvK -> KQBPPvK; KBPPPvK -> KRBPPvK; KBPPPvK -> KBBPPvK; KBPPPvK -> KPPPvK; KBPPPvK -> KBNPPvK; KBPPPvK -> KBPPvK; 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; 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; KBBBPPvK -> KQBBBPvK; KBBBPPvK -> KRBBBPvK; KBBBPPvK -> KBBBBPvK; KBBBPPvK -> KBBPPvK; KBBBPPvK -> KBBBNPvK; KBBBPPvK -> KBBBPvK; KBBBBPvK -> KQBBBBvK; KBBBBPvK -> KRBBBBvK; KBBBBPvK -> KBBBBBvK; KBBBBPvK -> KBBBPvK; KBBBBPvK -> KBBBBNvK; KBBBBPvK -> KBBBBvK; KBBBBBvK -> KBBBBvK; KRBBBBvK -> KBBBBvK; KRBBBBvK -> KRBBBvK; KQBBBBvK -> KBBBBvK; KQBBBBvK -> KQBBBvK; KRBBBPvK -> KQRBBBvK; KRBBBPvK -> KRRBBBvK; KRBBBPvK -> KBBBPvK; KRBBBPvK -> KRBBBBvK; KRBBBPvK -> KRBBPvK; KRBBBPvK -> KRBBBNvK; KRBBBPvK -> KRBBBvK; KRRBBBvK -> KRBBBvK; KRRBBBvK -> KRRBBvK; KQRBBBvK -> KRBBBvK; KQRBBBvK -> KQBBBvK; KQRBBBvK -> KQRBBvK; KQBBBPvK -> KQQBBBvK; KQBBBPvK -> KBBBPvK; KQBBBPvK -> KQRBBBvK; KQBBBPvK -> KQBBBBvK; KQBBBPvK -> KQBBPvK; KQBBBPvK -> KQBBBNvK; KQBBBPvK -> KQBBBvK; KQQBBBvK -> KQBBBvK; KQQBBBvK -> KQQBBvK; KRBBPPvK -> KQRBBPvK; KRBBPPvK -> KRRBBPvK; KRBBPPvK -> KBBPPvK; KRBBPPvK -> KRBBBPvK; KRBBPPvK -> KRBPPvK; KRBBPPvK -> KRBBNPvK; KRBBPPvK -> KRBBPvK; KRRBBPvK -> KQRRBBvK; KRRBBPvK -> KRRRBBvK; KRRBBPvK -> KRBBPvK; KRRBBPvK -> KRRBBBvK; KRRBBPvK -> KRRBPvK; KRRBBPvK -> KRRBBNvK; KRRBBPvK -> KRRBBvK; KRRRBBvK -> KRRBBvK; KRRRBBvK -> KRRRBvK; KQRRBBvK -> KRRBBvK; KQRRBBvK -> KQRBBvK; KQRRBBvK -> KQRRBvK; KQRBBPvK -> KQQRBBvK; KQRBBPvK -> KRBBPvK; KQRBBPvK -> KQRRBBvK; KQRBBPvK -> KQBBPvK; KQRBBPvK -> KQRBBBvK; KQRBBPvK -> KQRBPvK; KQRBBPvK -> KQRBBNvK; KQRBBPvK -> KQRBBvK; KQQRBBvK -> KQRBBvK; KQQRBBvK -> KQQBBvK; KQQRBBvK -> KQQRBvK; KQBBPPvK -> KQQBBPvK; KQBBPPvK -> KBBPPvK; KQBBPPvK -> KQRBBPvK; KQBBPPvK -> KQBBBPvK; KQBBPPvK -> KQBPPvK; KQBBPPvK -> KQBBNPvK; KQBBPPvK -> KQBBPvK; KQQBBPvK -> KQQQBBvK; KQQBBPvK -> KQBBPvK; KQQBBPvK -> KQQRBBvK; KQQBBPvK -> KQQBBBvK; KQQBBPvK -> KQQBPvK; KQQBBPvK -> KQQBBNvK; KQQBBPvK -> KQQBBvK; KQQQBBvK -> KQQBBvK; KQQQBBvK -> KQQQBvK; }