binary sorted_merge