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