You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule identified by tert-butyl 2-[[(3aR,7aS)-5-[6-(2,2,2-trifluoroethyl)thieno[2,3-d]pyrimidin-4-yl]-3,3a,4,6,7,7a-hexahydro-2H-pyrrolo[3,2-c]pyridin-1-yl]methyl]pyrrole-1-carboxylate ?
user
C25H30F3N5O2S
assistant