var a00962 = [ [ "_Settings", "a09635.html", "a09635" ], [ "_GLIBCXX_PARALLEL_CONDITION", "a00962.html#ad816e8f52b933c9300598977cada7d18", null ] ];
var a00962 = [ [ "_Settings", "a09635.html", "a09635" ], [ "_GLIBCXX_PARALLEL_CONDITION", "a00962.html#ad816e8f52b933c9300598977cada7d18", null ] ];