[ 30 bernoulli-numbers ] time
...
Running time: 0.004331652 seconds