digraph Syzygy { KQQQPvK -> KQQQQvK; KQQQPvK -> KQQPvK; KQQQPvK -> KQQQRvK; KQQQPvK -> KQQQBvK; KQQQPvK -> KQQQNvK; KQQQPvK -> KQQQvK; KQQQvK -> KQQvK; KQQvK -> KQvK; KQQQNvK -> KQQNvK; KQQQNvK -> KQQQvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQNvK -> KNvK; KQNvK -> KQvK; KQQQBvK -> KQQBvK; KQQQBvK -> KQQQvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQQQRvK -> KQQRvK; KQQQRvK -> KQQQvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQRvK -> KRvK; KQRvK -> KQvK; 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; KQQQQvK -> KQQQvK; }