RE: [math-fun] OEIS 100K Party