digraph Syzygy { KQQRvKQN -> KQRvKQN; KQQRvKQN -> KQQRvKN; KQQRvKQN -> KQQvKQN; KQQRvKQN -> KQQRvKQ; KQQRvKQ -> KQRvKQ; KQQRvKQ -> KQQRvK; KQQRvKQ -> KQQvKQ; KQQvKQ -> KQvKQ; KQQvKQ -> KQQvK; KQQvK -> KQvK; KQvKQ -> KQvK; KQQRvK -> KQRvK; KQQRvK -> KQQvK; KQRvK -> KRvK; KQRvK -> KQvK; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KQvKR -> KRvK; KQvKR -> KQvK; KQQvKQN -> KQNvKQ; KQQvKQN -> KQQvKN; KQQvKQN -> KQQvKQ; KQQvKN -> KQvKN; KQQvKN -> KQQvK; KQvKN -> KNvK; KQvKN -> KQvK; KQNvKQ -> KQvKN; KQNvKQ -> KQNvK; KQNvKQ -> KQvKQ; KQNvK -> KNvK; KQNvK -> KQvK; KQQRvKN -> KQRvKN; KQQRvKN -> KQQvKN; KQQRvKN -> KQQRvK; KQRvKN -> KRvKN; KQRvKN -> KQvKN; KQRvKN -> KQRvK; KRvKN -> KNvK; KRvKN -> KRvK; KQRvKQN -> KQNvKR; KQRvKQN -> KQRvKN; KQRvKQN -> KQNvKQ; KQRvKQN -> KQRvKQ; KQNvKR -> KRvKN; KQNvKR -> KQNvK; KQNvKR -> KQvKR; }