var clatrs_8f =
[
    [ "clatrs", "de/d23/group__latrs_ga9c2a720b776e8dbb2eda57518f988d63.html#ga9c2a720b776e8dbb2eda57518f988d63", null ]
];
.