>FORMAT</span><span class="w"> </span><span class="p">(</span><span class="s1">&#39; NO UPPER BOUND FOUND AFTER 10**7 ITERATIONS&#39;</span><span class="p">)</span>
<span class="w">                     </span><span class="k">ELSE</span>
<span class="c">!</span>
<span class="w">                        </span><span class="n">ix1</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">ix2</span>
<span class="w">                        </span><span class="k">DO </span><span