Wow, are you all 5 year old girls 😯
Take it from someone that teaches 60 kids a week, they’ll bend 9-42, 9-46, 10-48 equally as easily with a couple of days to adjust.
11-54 on my electrics here.
But all of this is confusing to Harry! I’d nip into your local guitar shop and ask for a set of standard guage electric guitar strings….99% of people will class 9-42’s as standard guage of electric strings and it’s highly likely that that is what is on the guitar now. Brand of string won’t really matter to a beginner tbh…..it’s not as if they’re going to be out gigging them is it? They’ll all last just as long as each other in the hands of a beginner ime