John Carlos Baez @John Carlos Baez 1765915013 I solved this without any cleverness, but met an old friend I hadn't seen for a long time. (A number, that is.) 1