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