var a01605 =
[
    [ "bad_alloc", "a01605.html#a7bb38632dad33c3c7ec32ec0d44e7396", null ],
    [ "~bad_alloc", "a01605.html#a3630eba8fce0f00e30f629ab25c3e147", null ],
    [ "what", "a01605.html#a3559b1691d8a8138d5fb7aa79ac06cbe", null ]
];