diff -r 3e5d8657302f -r fc72f3ab3a57 pics/hoare.jpg Binary file pics/hoare.jpg has changed