Sophie
var a00977 = [ [ "_GLIBCXX_TR2_BOOL_SET_TCC", "a00977.html#aae2c5b47a088bda66bba6786321ec7cf", null ] ];