var dir_f7d3c03fcac84aef1b0c66cc497ed1ea =
[
    [ "sol1.c", "db/d01/problem__13_2sol1_8c.html", "db/d01/problem__13_2sol1_8c" ]
];