../../Task/Binary-search/Seed7