You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(4R,4aS)-2-amino-4-(4-bromothiophen-2-yl)-4a,5,6,7-tetrahydro-4H-naphthalene-1,3,3-tricarbonitrile The above is the IUPAC name of a molecule. Write its molecular formula.
user
C17H13BrN4S
assistant