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