HerO at AVeriTeC: The Herd of Open Large Language Models for Verifying Real-World Claims