dzsyn-number">0</span> <span class="mdzsyn-symbol">len</span>
    (<span class="mdzsyn-coresym">for</span> <span class="mdzsyn-symbol">j</span> <span class="mdzsyn-number">0</span> <span class="mdzsyn-symbol">len</span>
      (<span class="mdzsyn-coresym">def</span> <span class="mdzsyn-symbol">k</span> (<span class="mdzsyn-coresym">get</span> <span class="mdzsyn-symbol">tab</span> (<span class="mdzsyn-coresym">-</span> <span class="mdzsyn-number">0</span> (<span class="mdzsyn-symbol">s</span> <span class="m