ne"><a name="l00216"></a><span class="lineno">  216</span>&#160;</div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;  os &lt;&lt; <span class="stringliteral">&quot;];\n&quot;</span>;</div><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;  </div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;  <span class="keywordflow">for</span>(<span class="keywordtype">size_t</span> s=0; s&lt;node-&gt;_successors.size(); ++s) {</di