var a01482 = [ [ "Mutating", "a01483.html", "a01483" ], [ "Non-Mutating", "a01484.html", "a01484" ], [ "Sorting", "a01485.html", "a01485" ] ];
var a01482 = [ [ "Mutating", "a01483.html", "a01483" ], [ "Non-Mutating", "a01484.html", "a01484" ], [ "Sorting", "a01485.html", "a01485" ] ];