digraph Syzygy { KQQRRPvK -> KQQQRRvK; KQQRRPvK -> KQRRPvK; KQQRRPvK -> KQQRRRvK; KQQRRPvK -> KQQRPvK; KQQRRPvK -> KQQRRBvK; KQQRRPvK -> KQQRRNvK; KQQRRPvK -> KQQRRvK; KQQRRvK -> KQRRvK; KQQRRvK -> KQQRvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQQvK -> KQvK; KQRvK -> KRvK; KQRvK -> KQvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KRRvK -> KRvK; KQQRRNvK -> KQRRNvK; KQQRRNvK -> KQQRNvK; KQQRRNvK -> KQQRRvK; KQQRNvK -> KQRNvK; KQQRNvK -> KQQNvK; KQQRNvK -> KQQRvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQNvK -> KNvK; KQNvK -> KQvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KRNvK -> KNvK; KRNvK -> KRvK; KQRRNvK -> KRRNvK; KQRRNvK -> KQRNvK; KQRRNvK -> KQRRvK; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KQQRRBvK -> KQRRBvK; KQQRRBvK -> KQQRBvK; KQQRRBvK -> KQQRRvK; KQQRBvK -> KQRBvK; KQQRBvK -> KQQBvK; KQQRBvK -> KQQRvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KRBvK -> KBvK; KRBvK -> KRvK; KQRRBvK -> KRRBvK; KQRRBvK -> KQRBvK; KQRRBvK -> KQRRvK; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KQQRPvK -> KQQQRvK; KQQRPvK -> KQRPvK; KQQRPvK -> KQQRRvK; KQQRPvK -> KQQPvK; KQQRPvK -> KQQRBvK; KQQRPvK -> KQQRNvK; KQQRPvK -> KQQRvK; KQQPvK -> KQQQvK; KQQPvK -> KQPvK; KQQPvK -> KQQRvK; KQQPvK -> KQQBvK; KQQPvK -> KQQNvK; KQQPvK -> KQQvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQQvK -> KQQvK; 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; KQQRRRvK -> KQRRRvK; KQQRRRvK -> KQQRRvK; KQRRRvK -> KRRRvK; KQRRRvK -> KQRRvK; KRRRvK -> KRRvK; KQRRPvK -> KQQRRvK; KQRRPvK -> KRRPvK; KQRRPvK -> KQRRRvK; KQRRPvK -> KQRPvK; KQRRPvK -> KQRRBvK; KQRRPvK -> KQRRNvK; KQRRPvK -> KQRRvK; KRRPvK -> KQRRvK; KRRPvK -> KRRRvK; KRRPvK -> KRPvK; KRRPvK -> KRRBvK; KRRPvK -> KRRNvK; KRRPvK -> KRRvK; KQQQRRvK -> KQQRRvK; KQQQRRvK -> KQQQRvK; }