ml#a4237638ccaec9233a0c7edaf334343b2">specialPrimes</a>;</div>
<div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;  }</div>
<div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160; </div>
<div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;  <span class="comment">// returns first nprimes ctxtPrimes</span></div>
<div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;  IndexSet getCtxtPrimes(<span class="keywordt