
real	0m12.976s
user	0m12.800s
sys	0m0.120s
