You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (2R,6S)-N,4-bis(cyclopropylmethyl)-7,7-dioxo-7lambda6-thia-4,11,13-triazatricyclo[7.4.0.02,6]trideca-1(13),9,11-trien-12-amine by IUPAC nomenclature, provide its molecular formula.
user
C17H24N4O2S
assistant