digraph Syzygy { KQBBNvKB -> KBBNvKB; KQBBNvKB -> KQBNvKB; KQBBNvKB -> KQBBNvK; KQBBNvKB -> KQBBvKB; KQBBvKB -> KBBvKB; KQBBvKB -> KQBvKB; KQBBvKB -> KQBBvK; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KQBvK -> KBvK; KQBvK -> KQvK; KBBvK -> KBvK; KQBvKB -> KBvKB; KQBvKB -> KQvKB; KQBvKB -> KQBvK; KQvKB -> KBvK; KQvKB -> KQvK; KBvKB -> KBvK; KBBvKB -> KBvKB; KBBvKB -> KBBvK; KQBBNvK -> KBBNvK; KQBBNvK -> KQBNvK; KQBBNvK -> KQBBvK; KQBNvK -> KBNvK; KQBNvK -> KQNvK; KQBNvK -> KQBvK; KQNvK -> KNvK; KQNvK -> KQvK; KBNvK -> KNvK; KBNvK -> KBvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KQBNvKB -> KBNvKB; KQBNvKB -> KQNvKB; KQBNvKB -> KQBNvK; KQBNvKB -> KQBvKB; KQNvKB -> KBvKN; KQNvKB -> KQNvK; KQNvKB -> KQvKB; KBvKN -> KNvK; KBvKN -> KBvK; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KBBNvKB -> KBNvKB; KBBNvKB -> KBBNvK; KBBNvKB -> KBBvKB; }