var a00959 = [ [ "_Settings", "a09632.html", "a09632" ], [ "_GLIBCXX_PARALLEL_CONDITION", "a00959.html#ad816e8f52b933c9300598977cada7d18", null ] ];
var a00959 = [ [ "_Settings", "a09632.html", "a09632" ], [ "_GLIBCXX_PARALLEL_CONDITION", "a00959.html#ad816e8f52b933c9300598977cada7d18", null ] ];