ExtractLola-2021 Sources for Sara and Lola as extracted from MCC 2021 Also, a Github workflow to rebuild them.