digraph Syzygy { KBBNvKQB -> KBBNvKB; KBBNvKQB -> KQBvKBN; KBBNvKQB -> KBBNvKQ; KBBNvKQB -> 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; KBBNvKQ -> KBBNvK; KBBNvKQ -> KBNvKQ; KBBNvKQ -> KBBvKQ; KBNvKQ -> KBNvK; KBNvKQ -> KQvKN; KBNvKQ -> KQvKB; KQvKN -> KNvK; KQvKN -> KQvK; KBNvK -> KNvK; KBNvK -> KBvK; KBBNvK -> KBNvK; KBBNvK -> KBBvK; KQBvKBN -> KBNvKB; KQBvKBN -> KBNvKQ; KQBvKBN -> KQBvKN; KQBvKBN -> KQBvKB; KQBvKN -> KBvKN; KQBvKN -> KQvKN; KQBvKN -> KQBvK; KBvKN -> KNvK; KBvKN -> KBvK; KBNvKB -> KBvKN; KBNvKB -> KBNvK; KBNvKB -> KBvKB; KBBNvKB -> KBNvKB; KBBNvKB -> KBBNvK; KBBNvKB -> KBBvKB; }