class="lineno"><a class="line" href="classhelib_1_1_context.html#ab261446cf0a635a7bf1edf081df48d81">   68</a></span>&#160;  <a class="code" href="classhelib_1_1_p_algebra.html">PAlgebra</a> <a class="code" href="classhelib_1_1_context.html#ab261446cf0a635a7bf1edf081df48d81">zMStar</a>;</div>
<div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160; </div>
<div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="classhelib_1_1_context.html#a9a8689e8a591a15fdf4f1b