var searchData=
[
  ['12_202023_0',['Video showcase (as of Oct 12 2023)',['../index.html#autotoc_md6',1,'']]]
];