digraph Syzygy {
  KBBBBvKR -> KBBBBvK;
  KBBBBvKR -> KBBBvKR;
  KBBBvKR -> KBBBvK;
  KBBBvKR -> KBBvKR;
  KBBvKR -> KBBvK;
  KBBvKR -> KRvKB;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KBBvK -> KBvK;
  KBBBvK -> KBBvK;
  KBBBBvK -> KBBBvK;
}