Dirk Beyer, Sudeep Kanav, Henrik Wachowitz: Reproduction Package for the ICSE 2023 Submission 'CoVeriTeam Service: Verification as a Service'. Zenodo 2022