Sophie
var dir_1eb986491de2d01b7c7929cba4004b2c = [ [ "trademgen-paths.hpp", "a00132.html", "a00132" ] ];