Instruct: What theme has a mintage of 3527?
Output: SELECT Theme FROM table WHERE Mintage = 3527