[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true 
[*] /tmp/math/py-z3/work/.tools/bin/true
<.> true