diff --git a/doc/paper3/figs/mem-pressure.pdf b/doc/paper3/figs/mem-pressure.pdf index 255cfe0..eb1c47d 100644 Binary files a/doc/paper3/figs/mem-pressure.pdf and b/doc/paper3/figs/mem-pressure.pdf differ diff --git a/doc/paper3/figs/oo7.pdf b/doc/paper3/figs/oo7.pdf index 9c64ebd..0f16c55 100644 Binary files a/doc/paper3/figs/oo7.pdf and b/doc/paper3/figs/oo7.pdf differ diff --git a/doc/paper3/figs/tps-extended.pdf b/doc/paper3/figs/tps-extended.pdf index 7de9e19..e7d7b00 100644 Binary files a/doc/paper3/figs/tps-extended.pdf and b/doc/paper3/figs/tps-extended.pdf differ