digraph Syzygy { KRBBBvK -> KBBBvK; KRBBBvK -> KRBBvK; KRBBvK -> KBBvK; KRBBvK -> KRBvK; KRBvK -> KBvK; KRBvK -> KRvK; KBBvK -> KBvK; KBBBvK -> KBBvK; }