You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 3-[(E)-2-[(3aR)-spiro[3a,4-dihydro-3H-1-benzothiophene-2,4'-cyclohexa-1,5-diene]-1'-yl]ethenyl]-2-cycloprop-2-en-1-yl-4H-benzo[h][1,4]benzoxazine by IUPAC nomenclature, provide its molecular formula.
user
C30H25NOS
assistant