digraph Syzygy { KRRRPvKB -> KQRRRvKB; KRRRPvKB -> KRRRRvKB; KRRRPvKB -> KRRPvKB; KRRRPvKB -> KRRRBvKB; KRRRPvKB -> KRRRPvK; KRRRPvKB -> KRRRNvKB; KRRRPvKB -> KRRRvKB; KRRRvKB -> KRRvKB; KRRRvKB -> KRRRvK; KRRRvK -> KRRvK; KRRvK -> KRvK; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KRvKB -> KBvK; KRvKB -> KRvK; KRRRNvKB -> KRRNvKB; KRRRNvKB -> KRRRNvK; KRRRNvKB -> KRRRvKB; KRRRNvK -> KRRNvK; KRRRNvK -> KRRRvK; KRRNvK -> KRNvK; KRRNvK -> KRRvK; KRNvK -> KNvK; KRNvK -> KRvK; KRRNvKB -> KRNvKB; KRRNvKB -> KRRNvK; KRRNvKB -> KRRvKB; KRNvKB -> KBvKN; KRNvKB -> KRNvK; KRNvKB -> KRvKB; KBvKN -> KNvK; KBvKN -> KBvK; KRRRPvK -> KQRRRvK; KRRRPvK -> KRRRRvK; KRRRPvK -> KRRPvK; KRRRPvK -> KRRRBvK; KRRRPvK -> KRRRNvK; KRRRPvK -> KRRRvK; KRRRBvK -> KRRBvK; KRRRBvK -> KRRRvK; KRRBvK -> KRBvK; KRRBvK -> KRRvK; KRBvK -> KBvK; KRBvK -> KRvK; KRRPvK -> KQRRvK; KRRPvK -> KRRRvK; KRRPvK -> KRPvK; KRRPvK -> KRRBvK; KRRPvK -> KRRNvK; KRRPvK -> KRRvK; KRPvK -> KQRvK; KRPvK -> KRRvK; KRPvK -> KPvK; KRPvK -> KRBvK; KRPvK -> KRNvK; KRPvK -> KRvK; KPvK -> KQvK; KPvK -> KRvK; KPvK -> KBvK; KPvK -> KNvK; KQRvK -> KRvK; KQRvK -> KQvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KRRRRvK -> KRRRvK; KQRRRvK -> KRRRvK; KQRRRvK -> KQRRvK; KRRRBvKB -> KRRBvKB; KRRRBvKB -> KRRRvKB; KRRRBvKB -> KRRRBvK; KRRBvKB -> KRBvKB; KRRBvKB -> KRRvKB; KRRBvKB -> KRRBvK; KRBvKB -> KBvKB; KRBvKB -> KRvKB; KRBvKB -> KRBvK; KBvKB -> KBvK; KRRPvKB -> KQRRvKB; KRRPvKB -> KRRRvKB; KRRPvKB -> KRPvKB; KRRPvKB -> KRRBvKB; KRRPvKB -> KRRPvK; KRRPvKB -> KRRNvKB; KRRPvKB -> KRRvKB; KRPvKB -> KQRvKB; KRPvKB -> KRRvKB; KRPvKB -> KBvKP; KRPvKB -> KRBvKB; KRPvKB -> KRPvK; KRPvKB -> KRNvKB; KRPvKB -> KRvKB; KBvKP -> KQvKB; KBvKP -> KRvKB; KBvKP -> KBvKB; KBvKP -> KPvK; KBvKP -> KBvKN; KBvKP -> KBvK; KQvKB -> KBvK; KQvKB -> KQvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KQRRvKB -> KRRvKB; KQRRvKB -> KQRvKB; KQRRvKB -> KQRRvK; KRRRRvKB -> KRRRvKB; KRRRRvKB -> KRRRRvK; KQRRRvKB -> KRRRvKB; KQRRRvKB -> KQRRvKB; KQRRRvKB -> KQRRRvK; }