var dir_4fd0dc9a50f7a53e22cb356c650f915e =
[
    [ "strategies", "dir_b0553efdd4ad7f265c0580564941af0c.html", "dir_b0553efdd4ad7f265c0580564941af0c" ]
];