Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.
Every few months some of the problems change slightly. Typically these are increases in the problem's ceiling, to follow the advances in computer power. I'll keep this mirror up to date.