var a01545 = [ [ "__mini_vector", "a10176.html", "a10176" ], [ "_Bitmap_counter", "a10200.html", "a10200" ], [ "_Ffit_finder", "a10196.html", "a10196" ] ];
var a01545 = [ [ "__mini_vector", "a10176.html", "a10176" ], [ "_Bitmap_counter", "a10200.html", "a10200" ], [ "_Ffit_finder", "a10196.html", "a10196" ] ];