ordered_array_search encoding