You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 8-(5-fluoroisoquinolin-8-yl)-4-[(3S,5R)-4-(1-hydroxyprop-2-enyl)-3,5-dimethylpiperazin-1-yl]-12-(methoxymethyl)-7-(trifluoromethyl)-10-thia-1,3-diazatricyclo[7.3.1.05,13]trideca-3,5,7,9(13)-tetraen-2-one by IUPAC nomenclature, provide its molecular formula.
user
C31H31F4N5O3S
assistant