docs/html/search/pages_a.js

var searchData=
[
  ['start_0',['Quick start',['../quick_start.html',1,'index']]],
  ['statistics_1',['Statistics',['../statistics.html',1,'optimal_allocation']]]
];