var globals_dup =
[
    [ "_", "globals.html", null ],
    [ "p", "globals_p.html", null ],
    [ "r", "globals_r.html", null ],
    [ "s", "globals_s.html", null ],
    [ "u", "globals_u.html", null ],
    [ "v", "globals_v.html", null ],
    [ "x", "globals_x.html", null ]
];