Earlier quoted context omitted.
sequence is actually released by Moderna in their patent: https://www.modernatx.com/sites/default/files/US10702600.pdf though they do present multiple sequences, so I guess you'd have to go to the FDA application to figure out exactly which one got used.
Reading the primary claim is fascinating: "A composition, comprising: a messenger ribonucleic acid (mRNA) comprising an open reading frame encoding a betacoronavirus (BetaCoV) S protein or S protein subunit formulated in a lipid nanoparticle." I have a "I'm sure that means something to somebody" feeling. It's also surprising that the remaining claims seem to describe the resulting bits of the sequence, and that that…
Animation of transcription from mRNA: https://youtu.be/TfYf_rPWUdY