Sophie
var a00248 = [ [ "_GLIBCXX_CTGMATH", "a00248.html#a8268b2b6e59f5687578692cf952d363e", null ] ];