digraph Syzygy { KQBBvKQR -> KQRvKBB; KQBBvKQR -> KQBBvKR; KQBBvKQR -> KQBBvKQ; KQBBvKQR -> KQRvKQB; KQRvKQB -> KQBvKR; KQRvKQB -> KQRvKB; KQRvKQB -> KQBvKQ; KQRvKQB -> KQRvKQ; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KQvKQ -> KQvK; KQRvK -> KRvK; KQRvK -> KQvK; KQvKR -> KRvK; KQvKR -> KQvK; KQBvKQ -> KQvKB; KQBvKQ -> KQBvK; KQBvKQ -> KQvKQ; KQBvK -> KBvK; KQBvK -> KQvK; KQvKB -> KBvK; KQvKB -> KQvK; KQRvKB -> KRvKB; KQRvKB -> KQvKB; KQRvKB -> KQRvK; KRvKB -> KBvK; KRvKB -> KRvK; KQBvKR -> KRvKB; KQBvKR -> KQBvK; KQBvKR -> KQvKR; KQBBvKQ -> KBBvKQ; KQBBvKQ -> KQBBvK; KQBBvKQ -> KQBvKQ; KQBBvK -> KBBvK; KQBBvK -> KQBvK; KBBvK -> KBvK; KBBvKQ -> KBBvK; KBBvKQ -> KQvKB; KQBBvKR -> KBBvKR; KQBBvKR -> KQBBvK; KQBBvKR -> KQBvKR; KBBvKR -> KBBvK; KBBvKR -> KRvKB; KQRvKBB -> KBBvKR; KQRvKBB -> KBBvKQ; KQRvKBB -> KQRvKB; }