var dir_98d7cab7f0be181117191c5f9277deb9 =
[
    [ "include", "dir_56262d09d6b935e9f3d215057f352d92.html", "dir_56262d09d6b935e9f3d215057f352d92" ],
    [ "permit_algorithms.php", "permit__algorithms_8php.html", [
      [ "permit_algorithms_1_0_0", "classpermit__algorithms__1__0__0.html", "classpermit__algorithms__1__0__0" ]
    ] ]
];