
real	13m20.015s
user	12m44.770s
sys	0m5.690s
