4 ms·

Yes: https://oeis.org/search?q=1%2C57%2C12675&sort=&language=english&go=Search https://oeis.org/search?q=1%2C57%2C12675&sort=&language=engl...

• schoen 11y ago
  Cool! It looks like OEIS only lists terms up to n=14, but they seem to be getting them directly from the researcher who did the computation, so hopefully it will be updated in the future.
  • tromp 11y ago
    They couldn't fit more terms on the A094777 page, but it links to a more complete table at https://oeis.org/A094777/b094777.txt https://oeis.org/A094777/b094777.txt which will soon be updated with the 19x19 result.
    • schoen 11y ago
      Congratulations on your results.