Sophie
var a00107 = [ [ "_GLIBCXX_NUMERIC", "a00107.html#a4963830538d441634b327d209762b3fe", null ] ];