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 ]
];