var a01494 = [ [ "__mini_vector", "a08941.html", "a08941" ], [ "_Bitmap_counter", "a08965.html", "a08965" ], [ "_Ffit_finder", "a08961.html", "a08961" ] ];
var a01494 = [ [ "__mini_vector", "a08941.html", "a08941" ], [ "_Bitmap_counter", "a08965.html", "a08965" ], [ "_Ffit_finder", "a08961.html", "a08961" ] ];