var globals_dup =
[
    [ "j", "globals.html", null ],
    [ "k", "globals_k.html", null ],
    [ "m", "globals_m.html", null ],
    [ "n", "globals_n.html", null ],
    [ "s", "globals_s.html", null ]
];