zetamath puzzle stream #308 feat. Math Pesto