Thanks to Anna Slobodova for supplying these pictures from the ACL2 Workshop 2018 reception!
Click here to download a .zip file with all of the full-sized versions of the images below.
Click each image to view its full-sized version in a new tab or window.
