var a00238 = [ [ "DictionaryManager", "a00082.html", "a00082" ], [ "DictionaryKey_T", "a00238.html#a2d5ece0f93b3e5aee35eb036ba3cce68", null ] ];
var a00238 = [ [ "DictionaryManager", "a00082.html", "a00082" ], [ "DictionaryKey_T", "a00238.html#a2d5ece0f93b3e5aee35eb036ba3cce68", null ] ];