Sophie
var a00224 = [ [ "_GLIBCXX_CSTDBOOL", "a00224.html#a9c1f28732d2a5c21a2f556f542e80f72", null ] ];