You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name (2S,8aS)-N-cyclopropyl-2-(oxan-4-ylsulfonylamino)-2,3,5,6,7,8-hexahydro-1H-indolizine-8a-carboxamide ?
user
C17H29N3O4S
assistant