real	0m12.095s
user	0m11.773s
sys	0m1.539s

very long if you uncomment the check section some tests take for ever