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