Title: Catalogue of the seventy-second public sale