var dir_2d53bace0827e2bf2f77ef9b5661f678 =
[
    [ "Lecture", "dir_f8272e37d6159d9ca7e64f5775e84948.html", "dir_f8272e37d6159d9ca7e64f5775e84948" ]
];