You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name (8R)-8-thiophen-2-yl-7-(thiophen-2-ylmethyl)-6,8-dihydro-5H-tetrazolo[1,5-a]pyrazine ?
user
C13H13N5S2
assistant