var a01520 = [ [ "Branch-Based", "a01523.html", "a01523" ], [ "Hash-Based", "a01521.html", "a01521" ], [ "Heap-Based", "a01527.html", "a01527" ], [ "List-Based", "a01525.html", "a01525" ] ];
var a01520 = [ [ "Branch-Based", "a01523.html", "a01523" ], [ "Hash-Based", "a01521.html", "a01521" ], [ "Heap-Based", "a01527.html", "a01527" ], [ "List-Based", "a01525.html", "a01525" ] ];