digraph Syzygy { KQPvKBB -> KQQvKBB; KQPvKBB -> KBBvKP; KQPvKBB -> KQRvKBB; KQPvKBB -> KQBvKBB; KQPvKBB -> KQPvKB; KQPvKBB -> KQNvKBB; KQPvKBB -> KBBvKQ; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KQvKB -> KBvK; KQvKB -> KQvK; KBBvK -> KBvK; KQNvKBB -> KBBvKN; KQNvKBB -> KQNvKB; KQNvKBB -> KBBvKQ; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KQNvK -> KNvK; KQNvK -> KQvK; KBvKN -> KNvK; KBvKN -> KBvK; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KQPvKB -> KQQvKB; KQPvKB -> KBvKP; KQPvKB -> KQRvKB; KQPvKB -> KQBvKB; KQPvKB -> KQPvK; KQPvKB -> KQNvKB; KQPvKB -> KQvKB; 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; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBvKB -> KBvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KRvKB -> KBvK; KRvKB -> KRvK; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQBvKBB -> KBBvKB; KQBvKBB -> KBBvKQ; KQBvKBB -> KQBvKB; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KQRvKBB -> KBBvKR; KQRvKBB -> KBBvKQ; KQRvKBB -> KQRvKB; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KBBvKP -> KBBvKQ; KBBvKP -> KBBvKR; KBBvKP -> KBBvKB; KBBvKP -> KBvKP; KBBvKP -> KBBvKN; KBBvKP -> KBBvK; KQQvKBB -> KBBvKQ; KQQvKBB -> KQQvKB; }