var a01417 = [ [ "Condition Variables", "a01421.html", "a01421" ], [ "Futures", "a01422.html", "a01422" ], [ "Mutexes", "a01426.html", "a01426" ], [ "Threads", "a01429.html", "a01429" ] ];
var a01417 = [ [ "Condition Variables", "a01421.html", "a01421" ], [ "Futures", "a01422.html", "a01422" ], [ "Mutexes", "a01426.html", "a01426" ], [ "Threads", "a01429.html", "a01429" ] ];