And it's the final number +1 times the lower of the middle two if it's an even length sequence! So with modulo mapping between even and odd, we can easily const

And it's the final number +1 times the lower of the middle two if it's an even length sequence! So with modulo mapping between even and odd, we can easily construct a \sum that works for any n.