Sophie
var a16509 = [ [ "_GLIBCXX_TR1_CFLOAT", "a16509.html#a788e0e1a60dfea003d204437260aa712", null ] ];