You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Can you give the molecular formula of the molecule 7-[3-(2,3-difluorophenyl)phenyl]-N-[(3R,5S)-5-methoxy-1-prop-2-enoylpiperidin-3-yl]-6-oxo-2-thia-5,7,11-triazatricyclo[6.3.1.04,12]dodeca-1(11),3,8(12),9-tetraene-3-carboxamide ?
user
C30H25F2N5O4S
assistant