Sophie
var a01512 = [ [ "_GLIBCXX_DEBUG_SET", "a01512.html#aed7228825e99effdad4d8836d93cd199", null ] ];