text: var debug__output_8hpp =
  [
      [ "DEBUG", "debug__output_8hpp.html#a96dd473db0b3d10bd43390cdacb00120", null ],
      [ "DEBUG_OUTPUT", "debug__output_8hpp.html#a2b1da0cb514f35f2dad5f19754377274", null ]
  ];