Re-derived from the same timings file. P2 missed: the larger library was not the slower one.