close i3a#138. Witness: #\ (-3 #\= -3 mod 0 mod -3)
close i3a#138. Witness: #\ (-3 #\= -3 mod 0 mod -3)

jn7163/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel