<svg width="40" height="40" viewBox="0 0 40 40" fill="none" xmlns="http://www.w3.org/2000/svg">
<path d="M25.9142 13.5858L27.3284 15L25.7017 16.6274C26.8229 17.9381 27.5 19.64 27.5 21.5C27.5 25.6421 24.1421 29 20 29C15.8579 29 12.5 25.6421 12.5 21.5C12.5 17.3579 15.8579 14 20 14C21.5601 14 23.0089 14.4763 24.209 15.2915L25.9142 13.5858ZM20 16C16.9624 16 14.5 18.4624 14.5 21.5C14.5 24.5376 16.9624 27 20 27C23.0376 27 25.5 24.5376 25.5 21.5C25.5 18.4624 23.0376 16 20 16ZM23 11V13H17V11H23Z"/>
<path fill-rule="evenodd" clip-rule="evenodd" d="M18.5 18V25H17V19.5H16.5V18H18.5ZM22.5 18C23.0523 18 23.5 18.4477 23.5 19V24C23.5 24.5523 23.0523 25 22.5 25H20.5C19.9477 25 19.5 24.5523 19.5 24V19C19.5 18.4477 19.9477 18 20.5 18H22.5ZM22 19.5H21V23.5H22V19.5Z"/>
</svg>