digraph Syzygy { KQRBPvKB -> KQQRBvKB; KQRBPvKB -> KRBPvKB; KQRBPvKB -> KQRRBvKB; KQRBPvKB -> KQBPvKB; KQRBPvKB -> KQRBBvKB; KQRBPvKB -> KQRPvKB; KQRBPvKB -> KQRBPvK; KQRBPvKB -> KQRBNvKB; KQRBPvKB -> KQRBvKB; KQRBvKB -> KRBvKB; KQRBvKB -> KQBvKB; KQRBvKB -> KQRvKB; KQRBvKB -> KQRBvK; KQRBvK -> KRBvK; KQRBvK -> KQBvK; KQRBvK -> KQRvK; KQRvK -> KRvK; KQRvK -> KQvK; KQBvK -> KBvK; KQBvK -> KQvK; KRBvK -> KBvK; KRBvK -> KRvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KQvKB -> KBvK; KQvKB -> KQvK; KRvKB -> KBvK; KRvKB -> KRvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KBvKB -> KBvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KQRBNvKB -> KRBNvKB; KQRBNvKB -> KQBNvKB; KQRBNvKB -> KQRNvKB; KQRBNvKB -> KQRBNvK; KQRBNvKB -> KQRBvKB; KQRBNvK -> KRBNvK; KQRBNvK -> KQBNvK; KQRBNvK -> KQRNvK; KQRBNvK -> KQRBvK; KQRNvK -> KRNvK; KQRNvK -> KQNvK; KQRNvK -> KQRvK; KQNvK -> KNvK; KQNvK -> KQvK; KRNvK -> KNvK; KRNvK -> KRvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KBNvK -> KNvK; KBNvK -> KBvK; KRBNvK -> KBNvK; KRBNvK -> KRNvK; KRBNvK -> KRBvK; KQRNvKB -> KRNvKB; KQRNvKB -> KQNvKB; KQRNvKB -> KQRNvK; KQRNvKB -> KQRvKB; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBvKN -> KNvK; KBvKN -> KBvK; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KQBNvKB -> KBNvKB; KQBNvKB -> KQNvKB; KQBNvKB -> KQBNvK; KQBNvKB -> KQBvKB; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KRBNvKB -> KBNvKB; KRBNvKB -> KRNvKB; KRBNvKB -> KRBNvK; KRBNvKB -> KRBvKB; KQRBPvK -> KQQRBvK; KQRBPvK -> KRBPvK; KQRBPvK -> KQRRBvK; KQRBPvK -> KQBPvK; KQRBPvK -> KQRBBvK; KQRBPvK -> KQRPvK; KQRBPvK -> KQRBNvK; KQRBPvK -> KQRBvK; KQRPvK -> KQQRvK; KQRPvK -> KRPvK; KQRPvK -> KQRRvK; KQRPvK -> KQPvK; KQRPvK -> KQRBvK; KQRPvK -> KQRNvK; KQRPvK -> KQRvK; KQPvK -> KQQvK; KQPvK -> KPvK; KQPvK -> KQRvK; KQPvK -> KQBvK; KQPvK -> KQNvK; KQPvK -> KQvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQQvK -> KQvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KRRvK -> KRvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQRBBvK -> KRBBvK; KQRBBvK -> KQBBvK; KQRBBvK -> KQRBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBBvK -> KBvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; 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; KQQBvK -> KQBvK; KQQBvK -> KQQvK; KQRRBvK -> KRRBvK; KQRRBvK -> KQRBvK; KQRRBvK -> KQRRvK; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KRBPvK -> KQRBvK; KRBPvK -> KRRBvK; KRBPvK -> KBPvK; KRBPvK -> KRBBvK; KRBPvK -> KRPvK; KRBPvK -> KRBNvK; KRBPvK -> KRBvK; KQQRBvK -> KQRBvK; KQQRBvK -> KQQBvK; KQQRBvK -> KQQRvK; KQRPvKB -> KQQRvKB; KQRPvKB -> KRPvKB; KQRPvKB -> KQRRvKB; KQRPvKB -> KQPvKB; KQRPvKB -> KQRBvKB; KQRPvKB -> KQRPvK; KQRPvKB -> KQRNvKB; KQRPvKB -> KQRvKB; 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; KQQvKB -> KQvKB; KQQvKB -> KQQvK; KQRRvKB -> KRRvKB; KQRRvKB -> KQRvKB; KQRRvKB -> KQRRvK; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KRPvKB -> KQRvKB; KRPvKB -> KRRvKB; KRPvKB -> KBvKP; KRPvKB -> KRBvKB; KRPvKB -> KRPvK; KRPvKB -> KRNvKB; KRPvKB -> KRvKB; KQQRvKB -> KQRvKB; KQQRvKB -> KQQvKB; KQQRvKB -> KQQRvK; KQRBBvKB -> KRBBvKB; KQRBBvKB -> KQBBvKB; KQRBBvKB -> KQRBvKB; KQRBBvKB -> KQRBBvK; KQBBvKB -> KBBvKB; KQBBvKB -> KQBvKB; KQBBvKB -> KQBBvK; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KRBBvKB -> KBBvKB; KRBBvKB -> KRBvKB; KRBBvKB -> KRBBvK; 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; KQQBvKB -> KQBvKB; KQQBvKB -> KQQvKB; KQQBvKB -> KQQBvK; KQRRBvKB -> KRRBvKB; KQRRBvKB -> KQRBvKB; KQRRBvKB -> KQRRvKB; KQRRBvKB -> KQRRBvK; KRRBvKB -> KRBvKB; KRRBvKB -> KRRvKB; KRRBvKB -> KRRBvK; KRBPvKB -> KQRBvKB; KRBPvKB -> KRRBvKB; KRBPvKB -> KBPvKB; KRBPvKB -> KRBBvKB; KRBPvKB -> KRPvKB; KRBPvKB -> KRBPvK; KRBPvKB -> KRBNvKB; KRBPvKB -> KRBvKB; KQQRBvKB -> KQRBvKB; KQQRBvKB -> KQQBvKB; KQQRBvKB -> KQQRvKB; KQQRBvKB -> KQQRBvK; }