\BOOKMARK [1][]{section.1}{Introduction}{}
\BOOKMARK [2][]{subsection.1.1}{Meaning of cost annotations}{section.1}