Wow, that's a lot less than I thought. I'm just noticing now there's also a (giant, terrible) 2-generator representation mentioned in the wiki. It's always cool how simple these huge structures can turn out to be.