 class="code" href="classhelib_1_1_context.html#a8319e609dbde819ac81130b035711fee">ea</a>;</div>
<div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160; </div>
<div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;  std::shared_ptr&lt;const PowerfulDCRT&gt; pwfl_converter;</div>
<div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160; </div>
<div class="line"><a name="l00082"></a><span class="lineno"><a class="line" href="classhelib_1_1_co