digraph Syzygy { KQQBPvKB -> KQQQBvKB; KQQBPvKB -> KQBPvKB; KQQBPvKB -> KQQRBvKB; KQQBPvKB -> KQQBBvKB; KQQBPvKB -> KQQPvKB; KQQBPvKB -> KQQBPvK; KQQBPvKB -> KQQBNvKB; KQQBPvKB -> KQQBvKB; KQQBvKB -> KQBvKB; KQQBvKB -> KQQvKB; KQQBvKB -> KQQBvK; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQQvK -> KQvK; KQBvK -> KBvK; KQBvK -> KQvK; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBvKB -> KBvK; KQQBNvKB -> KQBNvKB; KQQBNvKB -> KQQNvKB; KQQBNvKB -> KQQBNvK; KQQBNvKB -> KQQBvKB; KQQBNvK -> KQBNvK; KQQBNvK -> KQQNvK; KQQBNvK -> KQQBvK; KQQNvK -> KQNvK; KQQNvK -> KQQvK; KQNvK -> KNvK; KQNvK -> KQvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBNvK -> KNvK; KBNvK -> KBvK; KQQNvKB -> KQNvKB; KQQNvKB -> KQQNvK; KQQNvKB -> KQQvKB; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBvKN -> KNvK; KBvKN -> KBvK; KQBNvKB -> KBNvKB; KQBNvKB -> KQNvKB; KQBNvKB -> KQBNvK; KQBNvKB -> KQBvKB; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KQQBPvK -> KQQQBvK; KQQBPvK -> KQBPvK; KQQBPvK -> KQQRBvK; KQQBPvK -> KQQBBvK; KQQBPvK -> KQQPvK; KQQBPvK -> KQQBNvK; KQQBPvK -> KQQBvK; KQQPvK -> KQQQvK; KQQPvK -> KQPvK; KQQPvK -> KQQRvK; KQQPvK -> KQQBvK; KQQPvK -> KQQNvK; KQQPvK -> KQQvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQRvK -> KRvK; KQRvK -> KQvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQQvK -> KQQvK; KQQBBvK -> KQBBvK; KQQBBvK -> KQQBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBBvK -> KBvK; KQQRBvK -> KQRBvK; KQQRBvK -> KQQBvK; KQQRBvK -> KQQRvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KRBvK -> KBvK; KRBvK -> KRvK; KQBPvK -> KQQBvK; KQBPvK -> KBPvK; KQBPvK -> KQRBvK; KQBPvK -> KQBBvK; KQBPvK -> KQPvK; KQBPvK -> KQBNvK; KQBPvK -> KQBvK; KBPvK -> KQBvK; KBPvK -> KRBvK; KBPvK -> KBBvK; KBPvK -> KPvK; KBPvK -> KBNvK; KBPvK -> KBvK; KQQQBvK -> KQQBvK; KQQQBvK -> KQQQvK; KQQPvKB -> KQQQvKB; KQQPvKB -> KQPvKB; KQQPvKB -> KQQRvKB; KQQPvKB -> KQQBvKB; KQQPvKB -> KQQPvK; KQQPvKB -> KQQNvKB; KQQPvKB -> KQQvKB; KQQRvKB -> KQRvKB; KQQRvKB -> KQQvKB; KQQRvKB -> KQQRvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KRvKB -> KBvK; KRvKB -> KRvK; KQPvKB -> KQQvKB; KQPvKB -> KBvKP; KQPvKB -> KQRvKB; KQPvKB -> KQBvKB; KQPvKB -> KQPvK; KQPvKB -> KQNvKB; KQPvKB -> KQvKB; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQQQvKB -> KQQvKB; KQQQvKB -> KQQQvK; KQQBBvKB -> KQBBvKB; KQQBBvKB -> KQQBvKB; KQQBBvKB -> KQQBBvK; KQBBvKB -> KBBvKB; KQBBvKB -> KQBvKB; KQBBvKB -> KQBBvK; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KQQRBvKB -> KQRBvKB; KQQRBvKB -> KQQBvKB; KQQRBvKB -> KQQRvKB; KQQRBvKB -> KQQRBvK; KQRBvKB -> KRBvKB; KQRBvKB -> KQBvKB; KQRBvKB -> KQRvKB; KQRBvKB -> KQRBvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KQBPvKB -> KQQBvKB; KQBPvKB -> KBPvKB; KQBPvKB -> KQRBvKB; KQBPvKB -> KQBBvKB; KQBPvKB -> KQPvKB; KQBPvKB -> KQBPvK; KQBPvKB -> KQBNvKB; KQBPvKB -> KQBvKB; KBPvKB -> KQBvKB; KBPvKB -> KRBvKB; KBPvKB -> KBBvKB; KBPvKB -> KBvKP; KBPvKB -> KBPvK; KBPvKB -> KBNvKB; KBPvKB -> KBvKB; KQQQBvKB -> KQQBvKB; KQQQBvKB -> KQQQvKB; KQQQBvKB -> KQQQBvK; }