Statistics on the song Dear Theodosia by Lin-Manuel Miranda.