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-amino-7-(hydroxymethyl)-5,7-dihydro-4H-thieno[2,3-c]pyran-3-carboxylate ?
user
C13H19NO4S
assistant