var dir_f971543c6fec6a23d4871b7bdc4cde81 = [ [ "backend", "dir_2bf49f23b468fd9a331186345badfc6c.html", "dir_2bf49f23b468fd9a331186345badfc6c" ], [ "strategies", "dir_dd13095a076813895e88058be35b59ad.html", "dir_dd13095a076813895e88058be35b59ad" ] ];