Sophie
var a01094 = [ [ "_GLIBCXX_TR1_CLIMITS", "a01094.html#ab04997d5333da9c10536856dfc8c116e", null ] ];