var a01465 = [ [ "Condition Variables", "a01468.html", "a01468" ], [ "Futures", "a01469.html", "a01469" ], [ "Mutexes", "a01495.html", "a01495" ], [ "Threads", "a01475.html", "a01475" ] ];
var a01465 = [ [ "Condition Variables", "a01468.html", "a01468" ], [ "Futures", "a01469.html", "a01469" ], [ "Mutexes", "a01495.html", "a01495" ], [ "Threads", "a01475.html", "a01475" ] ];