[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true 
[*] /tmp/lang/coq/work/.tools/bin/true
<.> true