var a01597 = [ [ "bad_exception", "a01597.html#aa0e3e09350d3274bb4e4cd9e58ed8687", null ], [ "~bad_exception", "a01597.html#af7b1994016fe27d3c75d17c05233aa65", null ], [ "what", "a01597.html#a01e2c7a741b840a9ea27789d50e9d65c", null ] ];
var a01597 = [ [ "bad_exception", "a01597.html#aa0e3e09350d3274bb4e4cd9e58ed8687", null ], [ "~bad_exception", "a01597.html#af7b1994016fe27d3c75d17c05233aa65", null ], [ "what", "a01597.html#a01e2c7a741b840a9ea27789d50e9d65c", null ] ];