var dir_95526776b256d0657870daec59cd3148 = [ [ "scaling.cpp", "scaling_8cpp.html", "scaling_8cpp" ], [ "solution.cpp", "solution_8cpp.html", "solution_8cpp" ] ];