8</span>&#160; </div>
<div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;  <span class="comment">// clear vector</span></div>
<div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;  path.clear();</div>
<div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;  expand.clear();</div>
<div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160; </div>
<div class="line"><a name="l00053"></a><span class="lineno">   53</span