var a01433 = [ [ "Mutating", "a01434.html", "a01434" ], [ "Non-Mutating", "a01435.html", "a01435" ], [ "Sorting", "a01436.html", "a01436" ] ];
var a01433 = [ [ "Mutating", "a01434.html", "a01434" ], [ "Non-Mutating", "a01435.html", "a01435" ], [ "Sorting", "a01436.html", "a01436" ] ];