You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
ethyl (3S,3aR,9bR)-9b-(4-fluorophenyl)sulfonyl-7-(1,1,1,2-tetrafluoropropan-2-yl)-1,2,3,3a,4,5-hexahydrocyclopenta[a]naphthalene-3-carboxylate is the IUPAC name of a molecule. Please give its molecular formula.
user
C25H25F5O4S
assistant