digraph Syzygy { KQBNvKNN -> KBNvKNN; KQBNvKNN -> KQNvKNN; KQBNvKNN -> KQBvKNN; KQBNvKNN -> KQBNvKN; KQBNvKN -> KBNvKN; KQBNvKN -> KQNvKN; KQBNvKN -> KQBvKN; KQBNvKN -> KQBNvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KQBvK -> KBvK; KQBvK -> KQvK; KQNvK -> KNvK; KQNvK -> KQvK; KBNvK -> KNvK; KBNvK -> KBvK; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KQvKN -> KNvK; KQvKN -> KQvK; KBvKN -> KNvK; KBvKN -> KBvK; KQNvKN -> KNvKN; KQNvKN -> KQvKN; KQNvKN -> KQNvK; KNvKN -> KNvK; KBNvKN -> KNvKN; KBNvKN -> KBvKN; KBNvKN -> KBNvK; KQBvKNN -> KNNvKB; KQBvKNN -> KNNvKQ; KQBvKNN -> KQBvKN; KNNvKQ -> KNNvK; KNNvKQ -> KQvKN; KNNvK -> KNvK; KNNvKB -> KNNvK; KNNvKB -> KBvKN; KQNvKNN -> KNNvKN; KQNvKNN -> KNNvKQ; KQNvKNN -> KQNvKN; KNNvKN -> KNvKN; KNNvKN -> KNNvK; KBNvKNN -> KNNvKN; KBNvKNN -> KNNvKB; KBNvKNN -> KBNvKN; }