Sophie
var a00032 = [ [ "_GLIBCXX_ALGORITHM", "a00032.html#a79fab435d35ca1932a4db75af83979a1", null ] ];