"o">*</span> <span class="n">T</span><span class="p">]</span> <span class="o">&lt;=</span> <span class="mi">0</span><span class="p">)</span>
                    <span class="p">)</span>
                    <span class="c1"># (2.2)</span>
                    <span class="n">solver</span><span class="o">.</span><span class="n">Add</span><span class="p">(</span>
                        <span class="p">(</span>
                            <span class="p">(</span>
                                    <span class=