User:David Eppstein/Stars