digraph Syzygy { KQBNvKBB -> KBBvKBN; KQBNvKBB -> KQNvKBB; KQBNvKBB -> KQBNvKB; KQBNvKBB -> KQBvKBB; KQBvKBB -> KBBvKB; KQBvKBB -> KBBvKQ; KQBvKBB -> KQBvKB; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KQBvK -> KBvK; KQBvK -> KQvK; KQvKB -> KBvK; KQvKB -> KQvK; KBvKB -> KBvK; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KBBvK -> KBvK; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KQBNvKB -> KBNvKB; KQBNvKB -> KQNvKB; KQBNvKB -> KQBNvK; KQBNvKB -> KQBvKB; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KQNvK -> KNvK; KQNvK -> KQvK; KBNvK -> KNvK; KBNvK -> KBvK; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBvKN -> KNvK; KBvKN -> KBvK; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KQNvKBB -> KBBvKN; KQNvKBB -> KQNvKB; KQNvKBB -> KBBvKQ; KBBvKN -> KBvKN; KBBvKN -> KBBvK; KBBvKBN -> KBNvKB; KBBvKBN -> KBBvKN; KBBvKBN -> KBBvKB; }