var dir_61c57797386c8fb992d55e625d187773 = [ [ "JSONReader.hh", "JSONReader_8hh.html", "JSONReader_8hh" ] ];