Sophie
var a00227 = [ [ "_GLIBCXX_CSTDDEF", "a00227.html#a6c15547c31e02f806ffedbf66678cdba", null ] ];