2021-08-16 13:58:59+00:00 In reply to @JanDoesMath @JanDoesMath @fermatslibrary It's even in the OEIS! oeis.org/A174115