var derrql_8f =
[
    [ "derrql", "d2/d82/derrql_8f_a018daa5c48994dd08431aaf75485f279.html#a018daa5c48994dd08431aaf75485f279", null ]
];
.