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