Sophie
var a00182 = [ [ "_GLIBCXX_VECTOR", "a00182.html#a3dd19664524c7ab611cec0df3c7431a9", null ] ];