You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 5,5-dioxo-3,4,6,6a-tetrahydro-1H-thieno[3,4-c]furan-3a-carbaldehyde into its molecular formula.
user
C7H10O4S
assistant