Daniel Wigton on Nostr: Man I love Grok. It found this list for me. It is my list -1 and it goes to n=22. ...Man I love Grok. It found this list for me. https://oeis.org/A144311It is my list -1 and it goes to n=22. That would take me many millenia to compute! They must have a shortcut.