It’s rare for a student chorus at that level to be good enough to pick up a complex vocal piece by ear. I’m pretty sure the choral department bought sheet music for it.