Sophie
var a00404 = [ [ "OptimisationNotificationPtr_T", "a00404.html#a33133fb67e4726a04b73a38ace47cbe4", null ] ];