text: var NAVTREE =
  [
    [ "flexfringe", "index.html", [
      [ "README", "md_pypackage_README.html", null ],
      [ "README", "md_pypackage_src_README.html", null ],
      [ "README", "md_pypackage_src_space-saving_build_README.html", null ],
      [ "README", "md_README.html", null ],
      [ "README", "md_space-saving_build_README.html", null ],
      [ "Namespaces", null, [
        [ "Namespace List", "namespaces.html", "namespaces" ]
      ] ],
      [ "Classes", "annotated.html", [
        [ "Class List", "annotated.html", "annotated_dup" ],
        [ "Class Index", "classes.html", null ],
        [ "Class Hierarchy", "hierarchy.html", "hierarchy" ],
        [ "Class Members", "functions.html", [
          [ "All", "functions.html", null ],
          [ "Functions", "functions_func.html", null ],
          [ "Variables", "functions_vars.html", null ]
        ] ]
      ] ],
      [ "Files", null, [
        [ "File List", "files.html", "files" ],
        [ "File Members", "globals.html", [
          [ "All", "globals.html", null ],
          [ "Functions", "globals_func.html", null ]
        ] ]
      ] ]
    ] ]
  ];
  
  var NAVTREEINDEX =
  [
  ".html",
  "evaluation_2num__count_8h_source.html"
  ];
  
  var SYNCONMSG = 'click to disable panel synchronisation';
  var SYNCOFFMSG = 'click to enable panel synchronisation';