var a01412 = [ [ "Associative", "a01414.html", "a01414" ], [ "Sequences", "a01413.html", "a01413" ], [ "Unordered Associative", "a01415.html", "a01415" ] ];
var a01412 = [ [ "Associative", "a01414.html", "a01414" ], [ "Sequences", "a01413.html", "a01413" ], [ "Unordered Associative", "a01415.html", "a01415" ] ];