var a01651 = [ [ "bad_exception", "a01651.html#aa0e3e09350d3274bb4e4cd9e58ed8687", null ], [ "~bad_exception", "a01651.html#a1dc096b686abf33f3c1b4afbb469fda8", null ], [ "what", "a01651.html#a039e9f2a4314de27076f0ab3c15da722", null ] ];
var a01651 = [ [ "bad_exception", "a01651.html#aa0e3e09350d3274bb4e4cd9e58ed8687", null ], [ "~bad_exception", "a01651.html#a1dc096b686abf33f3c1b4afbb469fda8", null ], [ "what", "a01651.html#a039e9f2a4314de27076f0ab3c15da722", null ] ];