You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 5-pyrrolidin-2-yl-3-(thian-3-yl)-1H-1,2,4-triazole by IUPAC nomenclature, provide its molecular formula.
user
C11H18N4S
assistant