digraph Syzygy {
  KBBBBvKB -> KBBBvKB;
  KBBBBvKB -> KBBBBvK;
  KBBBBvK -> KBBBvK;
  KBBBvK -> KBBvK;
  KBBvK -> KBvK;
  KBBBvKB -> KBBvKB;
  KBBBvKB -> KBBBvK;
  KBBvKB -> KBvKB;
  KBBvKB -> KBBvK;
  KBvKB -> KBvK;
}