var a00905 = [ [ "_Settings", "a08473.html", "a08473" ], [ "_GLIBCXX_PARALLEL_CONDITION", "a00905.html#ad816e8f52b933c9300598977cada7d18", null ] ];
var a00905 = [ [ "_Settings", "a08473.html", "a08473" ], [ "_GLIBCXX_PARALLEL_CONDITION", "a00905.html#ad816e8f52b933c9300598977cada7d18", null ] ];