Links for certora-cli-alpha-shelly-granularptacontrolderivedfrome7a497517888ffc616226836d3de91a955768f22