
$\sigma_\infty
  (12) = \sigma_\infty
  (13) = 7$
