\BOOKMARK [1][-]{section.1}{Introduction}{}% 1
\BOOKMARK [2][-]{subsection.1.1}{Acquiring TreeSearch}{section.1}% 2
\BOOKMARK [1][-]{section.2}{Strategy}{}% 3
\BOOKMARK [1][-]{section.3}{Data Structures}{}% 4
\BOOKMARK [1][-]{section.4}{Compilation}{}% 5
\BOOKMARK [1][-]{section.5}{Execution}{}% 6
