diff -r 54840d5dab77 -r 3178f3f65d83 Publications/itp-12.pdf
Binary file Publications/itp-12.pdf has changed