diff -r 4d5c31bb78c5 -r cf44e95e28f2 Publications/Nominal2-2016.tgz
Binary file Publications/Nominal2-2016.tgz has changed