var a00041 = [ [ "FlagSaver", "a00041.html#a4aa5bb2ea757c4a3a5090c90c4d0926c", null ], [ "~FlagSaver", "a00041.html#a1beff61c203a92a2c5030268a193397f", null ] ];
var a00041 = [ [ "FlagSaver", "a00041.html#a4aa5bb2ea757c4a3a5090c90c4d0926c", null ], [ "~FlagSaver", "a00041.html#a1beff61c203a92a2c5030268a193397f", null ] ];