You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name ethyl (4aR,8aR)-7-oxo-1,2,3,4,5,6,8,8a-octahydronaphthalene-4a-carboxylate into its molecular formula.
user
C13H20O3
assistant