You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
[[(1S)-1-[(3S)-5-(2,4-dioxo-1,3,5-triazin-1-yl)-3,4-dihydroxy-4-prop-1-ynyloxolan-2-yl]ethoxy]-hydroxyphosphoryl] phosphono hydrogen phosphate is the IUPAC name of a molecule. Please give its molecular formula.
user
C12H18N3O15P3
assistant