You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule identified by (2S,4aR,5R,8aS)-5-methyl-2-propyl-1,2,3,4,4a,5,6,7,8,8a-decahydroquinoline ?
user
C13H25N
assistant