a>();</div>
<div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;    <a class="code" href="classhelib_1_1_index_set.html">IndexSet</a> primes = <a class="code" href="classhelib_1_1_context.html#a09e894a14a98620a7f129c992468072f">ctxtPrimes</a> | <a class="code" href="classhelib_1_1_context.html#a4237638ccaec9233a0c7edaf334343b2">specialPrimes</a>;</div>
<div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160; </div>
<div class="line"><a name="l00421"></a><span 