6 ms·https://archive.ph/xQSmu https://archive.ph/xQSmuby haltingproblem 1y agohttps://archive.ph/xQSmu https://archive.ph/xQSmu