Happy Memorial Day! Please note that AoPS Online is closed May 24-26th.

E_NO_SUCH_USER
a