Tickets went for up to $100,000, and Miranda showed off his new short haircut and was in khakis and a blazer after giving up the revolutionary role.

A spy said of Clinton’s address after Miranda’s introduction: “Her speech was short, but seemed heartfelt. She made the joke that she was not going to give away her shot, pulled from the show’s lyrics.”

For the uninitiated, the show’s tune, “My Shot,” includes the Alexander Hamilton character rapping: “I am not throwing away my shot/I’m just like my country/I’m young, scrappy and hungry/And I’m not throwing away my shot!”

Clinton’s cribbed lines from the musical before, tweeting, “They don’t have a plan — they just hate mine.”

In the performance, Javier Muñoz played the lead role, but Clinton saw Miranda in the musical earlier this month and also saw the show off-Broadway.