an class="p">)</span>
<span class="w">      </span><span class="k">if</span><span class="p">(</span><span class="k">all</span><span class="p">(</span><span class="n">x</span><span class="p">(</span><span class="mi">2</span><span class="p">:</span><span class="n">n</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="n">hold</span><span class="p">))</span><span class="w"> </span><span class="k">then</span>
<span class="k">         write</span><sp