lass="mdzsyn-symbol">i</span> <span class="mdzsyn-symbol">j</span>))
        (<span class="mdzsyn-coresym">put</span> <span class="mdzsyn-symbol">solutions</span> {<span class="mdzsyn-symbol">i</span> <span class="mdzsyn-constant">true</span> <span class="mdzsyn-symbol">j</span> <span class="mdzsyn-constant">true</span> <span class="mdzsyn-symbol">k</span> <span class="mdzsyn-constant">true</span>} <span class="mdzsyn-constant">true</span>))))
  (<span class="mdzsyn-coresym">map</span> <span class="mdzsyn-c