deletions | additions       diff --git a/figures/pka.f5.time/pka.f5.time.pdf b/figures/pka.f5.time/pka.f5.time.pdf  index ecf5a33..69141cd 100644  Binary files a/figures/pka.f5.time/pka.f5.time.pdf and b/figures/pka.f5.time/pka.f5.time.pdf differ diff --git a/figures/pka.f5.time/pka.f5.time.png b/figures/pka.f5.time/pka.f5.time.png  index c322899..f7281e5 100644  Binary files a/figures/pka.f5.time/pka.f5.time.png and b/figures/pka.f5.time/pka.f5.time.png differ