var a09656 = [ [ "__get_num_threads", "a09656.html#a18b32829b31b902699690b750e190e59", null ], [ "set_num_threads", "a09656.html#ac4b2be3fbb957a3754b13167428ab6eb", null ] ];
var a09656 = [ [ "__get_num_threads", "a09656.html#a18b32829b31b902699690b750e190e59", null ], [ "set_num_threads", "a09656.html#ac4b2be3fbb957a3754b13167428ab6eb", null ] ];