var a01548 = [ [ "__mini_vector", "a10179.html", "a10179" ], [ "_Bitmap_counter", "a10203.html", "a10203" ], [ "_Ffit_finder", "a10199.html", "a10199" ] ];
var a01548 = [ [ "__mini_vector", "a10179.html", "a10179" ], [ "_Bitmap_counter", "a10203.html", "a10203" ], [ "_Ffit_finder", "a10199.html", "a10199" ] ];