digraph Syzygy { KBNNvKN -> KNNvKN; KBNNvKN -> KBNvKN; KBNNvKN -> KBNNvK; KBNNvK -> KNNvK; KBNNvK -> KBNvK; KBNvK -> KNvK; KBNvK -> KBvK; KNNvK -> KNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KBvKN -> KNvK; KBvKN -> KBvK; KNvKN -> KNvK; KNNvKN -> KNvKN; KNNvKN -> KNNvK; }