var a03233 =
[
    [ "overflow_error", "a03233.html#a51754d706ebceec5910c074f8264532b", null ],
    [ "overflow_error", "a03233.html#a65ed5cdb36320ddafb7ed4e01c10f55b", null ],
    [ "~overflow_error", "a03233.html#ade3599629a586cede8e9bc29b7069996", null ],
    [ "what", "a03233.html#a45f5b9c4b7141ac429bf6ea99a7ff6bf", null ]
];