<|start_filename|>docs/build/html/app-data.js<|end_filename|>

(function() {
  var sizzle = $(document).data('sizzle');

  sizzle.app_data = JSON.parse('{"glossary": {"document": null, "terms": {}}, "custom_data": {}}');
})();
