Sophie
var a00065 = [ [ "_GLIBCXX_FORWARD_LIST", "a00065.html#a08abed5e2b8b5158cb38470a8722d8d2", null ] ];