fix book example generation and inclusion #537
| Job | Run time |
|---|---|
| 20s | |
| 8s | |
| 3m 2s | |
| 2m 37s | |
| 2m 9s | |
| 1m 59s | |
| 3m 9s | |
| 26s | |
| 59s | |
| 1m 20s | |
| 1m 20s | |
| 38s | |
| 2m 27s | |
| 1m 13s | |
| 56s | |
| 58s | |
| 59s | |
| 25s | |
| 53s | |
| 37s | |
| 58s | |
| 27m 33s |
| Job | Run time |
|---|---|
| 20s | |
| 8s | |
| 3m 2s | |
| 2m 37s | |
| 2m 9s | |
| 1m 59s | |
| 3m 9s | |
| 26s | |
| 59s | |
| 1m 20s | |
| 1m 20s | |
| 38s | |
| 2m 27s | |
| 1m 13s | |
| 56s | |
| 58s | |
| 59s | |
| 25s | |
| 53s | |
| 37s | |
| 58s | |
| 27m 33s |