You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
1'-(thiophen-3-ylmethyl)spiro[3,5-dihydro-2H-6,1lambda6,2-benzoxathiazocine-4,4'-piperidine] 1,1-dioxide;2,2,2-trifluoroacetic acid is the IUPAC name of a molecule. Please give its molecular formula.
user
C20H23F3N2O5S2
assistant