digraph Syzygy { KQRRvKQB -> KQBvKRR; KQRRvKQB -> KQRRvKB; KQRRvKQB -> KQRvKQB; KQRRvKQB -> KQRRvKQ; KQRRvKQ -> KRRvKQ; KQRRvKQ -> KQRRvK; KQRRvKQ -> KQRvKQ; KQRvKQ -> KQvKR; KQRvKQ -> KQRvK; KQRvKQ -> KQvKQ; KQvKQ -> KQvK; KQRvK -> KRvK; KQRvK -> KQvK; KQvKR -> KRvK; KQvKR -> KQvK; KQRRvK -> KRRvK; KQRRvK -> KQRvK; KRRvK -> KRvK; KRRvKQ -> KRRvK; KRRvKQ -> KQvKR; KQRvKQB -> KQBvKR; KQRvKQB -> KQRvKB; KQRvKQB -> KQBvKQ; KQRvKQB -> KQRvKQ; 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; KQRRvKB -> KRRvKB; KQRRvKB -> KQRvKB; KQRRvKB -> KQRRvK; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KQBvKRR -> KRRvKB; KQBvKRR -> KQBvKR; KQBvKRR -> KRRvKQ; }