Panoramic view of square lattice

[Ralf Stephan]

> 1 5 13 23 37 55 75 95 127 157 185 227 263 305 357 403 455 511 571 631
> 703 769 833 923 997 1069 1169 1245 1329 1443 1535 1631 1743 1849 1957
> 2075 2195 2307 2439 2565 2683 2845 2957 3097 3265 3385 3533 3697 3857
> 4001 4181 4347 4491 4701 4881 5033 5241 5401 5585 5797 5971 6171 6391
> 6589 6801 7027 7215 7419 7683 7909 8097 8357 8565 8793 9085 9315 9555
> 9795 10047 10307 10567 10837 11077 11407 11659 11895 12235 12467 12743
> 13097 13373 13637 13957 14237 14529 14863 15183 15471 15835 16153 16445
> 
> This is not in OEIS and also superseeker returns [empty]. Can we find
> something similar to (**)?

This is a bisection of A061571, that is,

a(n) = Sum[k=1..2n+1, phi(2k)].

Bisection should be implemented in superseeker, really.


ralf