var a08525 = [ [ "multiway_mergesort_sampling_tag", "a08525.html#a7b9a0865e4f658010679c11b3889adcf", null ], [ "multiway_mergesort_sampling_tag", "a08525.html#ad701e9c8fa6cc8a0f245440b6222183b", null ], [ "__get_num_threads", "a08525.html#a18b32829b31b902699690b750e190e59", null ], [ "set_num_threads", "a08525.html#ac4b2be3fbb957a3754b13167428ab6eb", null ] ];