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