#1 timethis 1: 10.4524 wallclock secs ( 9.35 usr +  0.16 sys =  9.51 CPU) @  0.11/s (n=1)
#2 timethis 1: 9.9961 wallclock secs ( 9.31 usr +  0.18 sys =  9.49 CPU) @  0.11/s (n=1)
#3 timethis 1: 9.85224 wallclock secs ( 9.29 usr +  0.17 sys =  9.46 CPU) @  0.11/s (n=1)