var a01517 = [ [ "Branch-Based", "a01520.html", "a01520" ], [ "Hash-Based", "a01518.html", "a01518" ], [ "Heap-Based", "a01524.html", "a01524" ], [ "List-Based", "a01522.html", "a01522" ] ];
var a01517 = [ [ "Branch-Based", "a01520.html", "a01520" ], [ "Hash-Based", "a01518.html", "a01518" ], [ "Heap-Based", "a01524.html", "a01524" ], [ "List-Based", "a01522.html", "a01522" ] ];