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