Sophie
var a14872 = [ [ "_GLIBCXX_TR1_CSTDBOOL", "a14872.html#ad3a319a8edbe437f451ade1e66244201", null ] ];