diff -r ebd1ed4032b5 -r 1835bf2e2bc2 Publications/bitcoded-itp.pdf
Binary file Publications/bitcoded-itp.pdf has changed