 280</a></span>&#160;  <a class="code" href="classhelib_1_1_index_set.html">IndexSet</a> <a class="code" href="classhelib_1_1_context.html#a09e894a14a98620a7f129c992468072f">ctxtPrimes</a>;</div>
<div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160; </div>
<div class="line"><a name="l00285"></a><span class="lineno"><a class="line" href="classhelib_1_1_context.html#a4237638ccaec9233a0c7edaf334343b2">  285</a></span>&#160;  <a class="code" href="classhelib_1_1_index_set.html">IndexSet