
$\sigma_\infty
  (84) = \sigma_\infty
  (85) = 8$
