
$\sigma_\infty
  (52) = \sigma_\infty
  (53) = 9$
