It takes 40 seconds to precompute the lookup table.
Robin released at least 2 faster/improved versions that run in a couple of seconds - less string concatenation which is slow in BASIC https://www.youtube.com/watch?v=Dw2hvtF95Qw
"Recently, yet another category of low-hanging fruit has been identified as within reach of automated tools: problems which, due to a technical flaw in their description, are unexpectedly easy to resolve. Specifically, problem #124 https://www.erdosproblems.com/124 was a problem that was stated in three separate papers of Erdos, but in two of them he omitted a key hypothesis which made the problem a consequence of a known result (Brown's criterion). However, this fact was not noticed until Boris Alexeev applied the Aristotle tool to this problem, which autonomously located (and formalized in Lean) a solution to this weaker version of the problem within hours."
Robin released at least 2 faster/improved versions that run in a couple of seconds - less string concatenation which is slow in BASIC https://www.youtube.com/watch?v=Dw2hvtF95Qw