var dir_085055f4c2058d5fe199ee9dcc987b2b =
[
    [ "include", "dir_b29d8700aa26c910713628c701fe7317.html", "dir_b29d8700aa26c910713628c701fe7317" ],
    [ "user_algorithms.php", "user__algorithms_8php.html", [
      [ "user_algorithms_1_0_0", "classuser__algorithms__1__0__0.html", "classuser__algorithms__1__0__0" ]
    ] ]
];