You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 1-propan-2-yl-[1,3]thiazolo[4,3-e]tetrazol-4-ium by IUPAC nomenclature, provide its molecular formula.
user
C6H9N4S+
assistant