digraph Syzygy { KBBNvKN -> KBNvKN; KBBNvKN -> KBBvKN; KBBNvKN -> KBBNvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KBBvK -> KBvK; KBNvK -> KNvK; KBNvK -> KBvK; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KBvKN -> KNvK; KBvKN -> KBvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KNvKN -> KNvK; }