an class="o">/</span><span class="n">F</span>
<span class="w">         </span><span class="n">alen1</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">lenma1</span>
<span class="w">         </span><span class="n">alen2</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">lenma2</span>
<span class="w">         </span><span class="n">imax1</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span clas