small-cropped-logo-left-HOL2