var a01731 = [ [ "Branch-Based", "a01734.html", "a01734" ], [ "Hash-Based", "a01732.html", "a01732" ], [ "Heap-Based", "a01738.html", "a01738" ], [ "List-Based", "a01736.html", "a01736" ] ];
var a01731 = [ [ "Branch-Based", "a01734.html", "a01734" ], [ "Hash-Based", "a01732.html", "a01732" ], [ "Heap-Based", "a01738.html", "a01738" ], [ "List-Based", "a01736.html", "a01736" ] ];