digraph Syzygy { KBBBvKN -> KBBvKN; KBBBvKN -> KBBBvK; KBBBvK -> KBBvK; KBBvK -> KBvK; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KBvKN -> KNvK; KBvKN -> KBvK; }