 class="mi">1</span><span class="p">))</span>
<span class="w">      </span><span class="k">EQUIVALENCE</span><span class="w"> </span><span class="p">(</span><span class="n">Y2</span><span class="p">(</span><span class="mi">1</span><span class="p">),</span><span class="n">WS</span><span class="p">(</span><span class="mi">5001</span><span class="p">))</span>
<span class="w">      </span><span class="k">EQUIVALENCE</span><span class="w"> </span><span class="p">(</span><span class="n">Z</span><span class="p">(<